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.
News
Institute of Computer Engineering News
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.
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 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.
Radu Grosu is the Keynote Speaker at the First International Conference on Formal Methods in Macro-Biology on September 22-24 in Nouméa, New Caledonia.
Radu Grosu visits Beihang University in Beijing, to strengthen the cooperation of the Faculty of Informatics and of the TU Wien with China.
Computer engineering graduates are some of the top paid workers in the US, Brookings finds.
The track on Medical Cyber-Physical Systems (CPS) co-chaired by Ezio Bartocci (CPS group) took place during the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 08-11 October 2014 - Imperial, Corfu, Greece.
The Laprie Award is given by the International Conference on Dependable Systems and Networks in recognition of outstanding papers that have significantly influenced the theory and/or practice of Dependable Computing.
The paper "Online Test Vector Insertion: A Concurrent Built-In Self-Testing (CBIST) Approach for Asynchronous Logic" by our diploma student Jürgen Maier and his supervisor Andreas Steininger received the best paper award at this year's IEEE International Conference on Design and Diagnostics of Electronic Circuits and Systems, in the category "test".
On May 26 the Slovak University of Technology in Bratislava will host a PhD workshop in which students from three partner universities will present the current state of their work. Beyond the host, these universities are the Brno University of Technology, and the Vienna Universtiy of Technology represented by students from the ECS group.
The 20th IEEE International Conference on Asynchronous Circuits and Systems was held in Potsdam from May 12-14, 2014 with Marly Roncken (Portland University) and Andreas Steininger (ECS/TU Vienna) being the program co-chairs.
On May 16 Ivan Sutherland -- a poineer of CAD, virtual reality and, more recently, clockless processing -- and his wife Marly Roncken visited the ECS group.
