News

Der Standard Interview with Radu Grosu about CPS: In the Web of Intelligent Machines

"Der Standard" interviewed Radu Grosu for their article "Der Mensch im Netz der klugen Maschinen" covering CPS Week.

BMVIT Interview with Radu Grosu about CPS

The Federal Ministry for Transport, Innovation and Technology (Bundesministerium für Verkehr, Innovation und Technologie) interviewed Radu Grosu about Cyber-Physical Systems as part of the CPS week.

SWR2 Radio Interview with Radu Grosu about CPS: Die Gefahren der totalen Vernetzung

The German SWR2 radio station interviewed Rasu Grosu for their "Campus" magazine.

Wiener Zeitung Interview with Radu Grosu about CPS: Software Directs Everyday Life

"Wiener Zeitung" article "Software dirigiert den Alltag" covering CPS Week features an interview with Radu Grosu.

Die Presse Interview with Radu Grosu about CPS: Intelligent Microchips Inspired by Bees

"Die Presse" interviewed Radu Grosu for the article "Bienen als Vorbild für intelligente Mikrochips" covering the CPS Week in Vienna.

APA Interview with Radu Grosu about CPS: Connecting the World

From smart clothing and driving assistants to smart grids: The digitalisation of all areas of life increasingly combines the real and virtual world in "Cyber-Physical Systems". How the growing armada of sensors and small computers should communicate is topic of a conference next week in Vienna with more than a thousand participants.

Medianet Interview with Radu Grosu about CPS: Everyday Life in Cyberspace

The spreading of information and communications technologies leads to "Cyber-Physical Systems", which effects all areas of everyday life.

From computer chips triggering an airbag to smart cities: “cyber-physical systems” are changing our world. During CPS-week (April 11 -14. 2016), the international scientific community comes together in Vienna.

PULS 4 TV Interview with Radu Grosu about CPS: The present and the future of IoT

Radu Grosu was interviewed by the PULS 4 TV station about the present and the future of the Internet of Things.

Calin Belta will give a talk on Formal Methods for Dynamical Systems on Friday, 15th April 2016 at 10:00 at the Library of the Cyber Physical Systems Group, Treitlstraße 1-3, A-1040 Wien, 3rd floor.

Radu Grosu, Oded Maler and Dejan Nickovic will co-chair MT CPS'16

Radu Grosu together with Oded Maler and Dejan Nickovic will organize the 1st Workshop on Monitoring and Testing of Cyber-Physical Systems, Vienna, Austria that will be held on April 11th 2016 during CPS Week 2016, Hofburg Palace, Vienna, Austria.

Ezio Bartocci is the co-Chair of Medical CPS'16

Ezio Bartocci is the co-Chair of Medical CPS'16: the 7th International Workshop on Medical Cyber Physical Systems, 11 April 2016, Vienna, Austria.

Ezio Bartocci is the co-Chair of CMSB'16

Ezio Bartocci will co-organize the 14th International Conference on Computational Methods in Systems Biology, that will be held in the Computer Laboratory at University of Cambridge, UK, on 21-23 September.

Radu Grosu Receives Official Letter of Thanks for his Participation in the European Forum Alpbach

Radu Grosu discussed the challenges and immense opportunities of Cyber-Physical Systems in his plenary talk at the Technology Symposium of the European Forum Alpbach in August 2015.

DieselGate: Armin Wasicek in Zeit-im-Bild on the VW Scandal

VW has manipulated its Diesel cars in the US to trick emission tests. The Austrian TV news Zeit-im-Bild interviewed Armin Wasicek in a TV report. Armin states that without security, manipulation of the car computers is absolutely possible.

Futurezone Interview with Radu Grosu about CPS Billionenmarkt

Radu Grosu discusses Cyber-Physical Systems at the Technology Forum in Alpbach.

Radu Grosu discusses the challenges and immense opportunities of Cyber-Physical Systems in Austria in his Plenary talk at the Technology Forum in Alpbach.

Armin Wasicek is on-air in the Austrian News

His work on automotive security caught the attention of the ORF.

Ezio Bartocci is Invited Speaker at MEMICS 2015

Ezio Bartocci is invited speaker at the 10th International Doctoral Workshop in Mathematical and Engineering Methods in Computer Science on October 23-25 2015 in Telč, Czech Republic.

Ezio Bartocci and Radu Grosu will be respectively the Programme Committe co-Chair and the General Chair of the 15th International Conference on Runtime Verification, that will be held in Vienna in September 2015.

A new Erasmus agreement for the students and teachers exchange between the Vienna University of Technology and University of Camerino, Italy, has been signed.

Susanne Kandl is invited speaker at DATE 2015 (Grenoble, France).

Susanne Kandl gets a best paper award for a presentation at DEPEND 2014.

"Laufbahnstelle" for Ezio Bartocci

Ezio Bartocci of our CPS-Team won one of four openly advertised tenure-track positions at the TU Vienna against 180 (!) competitors from all over the world.

The goal of this PhD activity is to develop and investigate new methods and concepts for verification of Mixed-Signal Smart Power ICs for various automotive applications, like lighting, heating, power distribution, motor driving etc. Short time to market requirements, increasing complexity, miniaturisation of modern ICs and latest safety standards result in stringent requirements and considerable effort for the pre-silicon verification process. To satisfy these needs Infineon Technologies Austria together with KAI and the Vienna University of Technology will set up a research project on new methods and concepts for IC verification.

Radu Grosu Gets Best Paper Award

Radu Grosu gets the best paper award for his paper on "Assume-Guarantee Abstraction Refinement Meets Hybrid Systems”.

Thomas Reinbacher got his doctoral degree awarded "sub auspiciis praesidentis" in March 2014. The title of his thesis (supervised by Andreas Steininger) is "Analysis of Embedded Real-Time Systems at Runtime". Part of the work was done by him at NASA Ames Research Center. Recently, Thomas Reinbacher got the Scholarship of Excellence (Exzellenzstipendium) awarded from TU Vienna, which is specifically devoted to supporting "sub auspiciis preasidentis" graduates. He will use the award to strengthen his relation to the Chinese academia, industry, and culture in general, with the vision of intensifying the scientific collaboration between our countries, especially in his field.

The diploma thesis "Online Test Vector Insertion - A Concurrent Built-In Self-Testing (CBIST) Approach for Asynchronous Logic" by Jürgen Maier (supervisor Andreas Steininger) has been ranked by a jury among the top 4 diploma thesis that have been completed at of your faculty during the last 6 months. On Dec 2 2014 Jürgen Maier will present his work in a public talk at Epilog, where the final winner will then be determined by the jury.