University Post-Doctoral Position at the Cyber-Physical Systems Group, Computer Science Department, Technical University of Vienna, Austria
We have been awarded a Microsoft Azure sponsorship with value of $20,000.00 for using state-of-the-art cloud services provided by Microsoft for our research
Ramin M. Hasani from TU Wien together with Dr. Stephen Larson from the OpenWorm Foundation have led a live discussion about a recent work describing a model for predicting C. elegans random search behavior. The paper to be discussed is "A stochastic neuronal model predicts random search behaviors at multiple spatial scales in C. elegans" by W. Roberts, et. al.
Postdoc in FWF-funded PostDoc in Formal Methods for Rigorous Engineering of Cyber-Physical Systems at the Institute of Computer Engineering at the Vienna University of Technology, Vienna, Austria.
"Der Standard" interviewed Radu Grosu for their article "Der Mensch im Netz der klugen Maschinen" covering CPS Week.
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.
The German SWR2 radio station interviewed Rasu Grosu for their "Campus" magazine.
"Wiener Zeitung" article "Software dirigiert den Alltag" covering CPS Week features an interview with Radu Grosu.
"Die Presse" interviewed Radu Grosu for the article "Bienen als Vorbild für intelligente Mikrochips" covering the CPS Week in Vienna.
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.
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.
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 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: the 7th International Workshop on Medical Cyber Physical Systems, 11 April 2016, Vienna, Austria.
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 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.
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.
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.
His work on automotive security caught the attention of the ORF.
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.