Personenprofil

Forschungsbereich

Name	Leitung/Mitglied
Service Unit of Trustworthy Autonomous Cyber-Physical Systems	Leitung
Research Unit of Cyber-Physical Systems	Leitung
Service Unit of LogiCS	Mitglied
Service Unit of Automated Reasoning	Mitglied

Profil

Forschungsprofil (Deutsch):

He is a Full Professor for Formal Methods in Cyber-Physical Systems Engineering at the Faculty of Computer Science TU Wien, and he is leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the Cyber-Physical System Research Unit.

Forschungsprofil (Englisch):

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Formal Methods	Formal Methods
Cyber-Physical Systems	Cyber-Physical Systems
Machine Learning	Machine Learning
Cybersecurity	Cybersecurity
Formale Verifikation	Formal verification

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
Information and Communication Technology	Logic and Computation	No additional information is available.	20
Information and Communication Technology	Computer Engineering and Software-Intensive Systems	Dependable Networked Embedded Systems, Fehlertolerante verteilte Echtzeitsysteme, Zeitgesteuerte Echtzeitsysteme, Dependable Systems-on-Chip, Model-based Design, Validation & Verification, Automation Systems, Speichersysteme	80

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
ComputerEngineering	100

Internationale Auszeichnungen

Verleihende Organisation	Land	Funktion	Name	Von	Webseite
Runtime Verification Conference	United States of America	co-author of the paper	Best Paper Award 2011	30.09.2011	https://rv2011.eecs.berkeley.e...
Embedded Systems Week (ESWEEK) 2025 (EMSOFT)	Taiwan	co-author of the paper	Best Paper Award of EMSOFT 2025	02.10.2025
19th International Conference on Quantitative Evaluation of SysTems	Poland	co-author of the paper	Best Paper of QEST 2022 International Conference	11.09.2022
European Association of Software Science and Technology (EASST)	Germany	co-author of the paper	Best Software Science Paper of the European Joint Conferences on Theory and Practice of Software (ETAPS) 2022	05.04.2022	https://etaps.org/2022/best-pa...
19th International Conference on Hybrid Systems: Computation and Control	Austria	co-author of the paper	Honorable mention for the Best Student Paper Award at HSCC 2016	14.04.2016
The Static Analysis Symposia	New Zealand	co-author of the paper	Radhia Cousot Young Researcher Best Paper Award	05.12.2022	https://staticanalysis.org/#aw...

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Von	Bis	Funktion/Bemerkungen
Postgraduate courses / Summer School	Sonstiges	11/2012	11/2012	4th Conference in Breaking News in Interventional Cardiovascular, Milan, Italyhttp://www.ocmcomunicazioni.com/wp-content/uploads/2012/07/programma-Breaking-News-20121.pdfInvited Talk:Virtual Models of Cardiac Arrhythmias
Postgraduate courses / Summer School	Sonstiges	10/2012	10/2012	Invited Talk at CMACS Fall 2012 PI Meeting, Stony Brook, USATitle: Time-Frequency Logic for Signal Processing
Postgraduate courses / Summer School	Sonstiges	09/2012	09/2012	Second Joint PhD Summer School on Biology, Computation and Information, Udine, Italyhttp://phdsummerschools.uniud.it/bci/workshop-invited-talksInvited Talk: Executable Heart
Postgraduate courses / Summer School	Sonstiges	11/2012	11/2012	Seminar at Masaryk University, Brno, Czech Republic,Title: Adaptive Runtime Verification
Scientific Conference / Symposium	Sonstiges	01/2012	09/2012	Co-Chair and PC member of the 1st International Workshop on Hybrid Systems and Biology (HSB 2012), Newcasle upon Tyne, UK.http://hsb2012.units.it/index2.html
Scientific Conference / Symposium	Sonstiges	10/2012	07/2013	Co-Chair of the 1st International SPIN Symposium on Model Checking Software(SPIN 2013), Stony Brook, NY, USA.http://spin2013.cs.sunysb.edu
Scientific Conference / Symposium	Sonstiges	10/2012	03/2013	Member of the program committee of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), Rome, Italy.http://qapl2013.units.it
Scientific Conference / Symposium	Sonstiges	10/2012	09/2013	Member of the program committee of the 2nd International Workshop on Hybrid Sys- tems and Biology (HSB 2013), Taormina, Italy
Scientific Conference / Symposium	Sonstiges	11/2012	03/2013	Member of the program committee of the 3rd International Workshop on Hybrid Autonomous Systems (HAS 2013), Rome, Italy.http://www2.warwick.ac.uk/fac/sci/maths/people/staff/bujorianu/has2013/
Scientific Conference / Symposium	Sonstiges	10/2012	09/2014	Tools Chair of the 5th International Conference on Runtime Verification (RV 2014), Toronto, Canada.