Person profile

Research area

Name	Management/Member
Fachbereich Trustworthy Autonomous Cyber-Physical Systems	Management
Fachbereich LogiCS	Member
Forschungsbereich Cyber-Physical Systems	Member
Fachbereich Automated Reasoning	Member

Profile

Research profile (German):

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.

Research profile (English):

Publications:

Publications

Research Focal Areas

Research focus	Research field	Keywords	Percentage
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

Faculty focus

Faculty focus	Percentage
ComputerEngineering	100

International award

Awarding Organization	Country	Function	Name	From	Website
Runtime Verification Conference	Vereinigte St. v. Amerika	co-author of the paper	Best Paper Award 2011	30.09.2011	https://rv2011.eecs.berkeley.e...
Embedded Systems Week (ESWEEK) 2025 (EMSOFT)	China (Republik/Taiwan)	co-author of the paper	Best Paper Award of EMSOFT 2025	02.10.2025
19th International Conference on Quantitative Evaluation of SysTems	Polen	co-author of the paper	Best Paper of QEST 2022 International Conference	11.09.2022
European Association of Software Science and Technology (EASST)	Deutschland	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	Österreich	co-author of the paper	Honorable mention for the Best Student Paper Award at HSCC 2016	14.04.2016
The Static Analysis Symposia	Neuseeland	co-author of the paper	Radhia Cousot Young Researcher Best Paper Award	05.12.2022	https://staticanalysis.org/#aw...

Events / Conferences

Category	Collaboration	From	Until	Function/Comments
Postgraduale Lehrgänge/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
Postgraduale Lehrgänge/Summer School	Sonstiges	10/2012	10/2012	Invited Talk at CMACS Fall 2012 PI Meeting, Stony Brook, USATitle: Time-Frequency Logic for Signal Processing
Postgraduale Lehrgänge/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
Postgraduale Lehrgänge/Summer School	Sonstiges	11/2012	11/2012	Seminar at Masaryk University, Brno, Czech Republic,Title: Adaptive Runtime Verification
Wissenschaftliche Konferenz/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
Wissenschaftliche Konferenz/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
Wissenschaftliche Konferenz/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
Wissenschaftliche Konferenz/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
Wissenschaftliche Konferenz/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/
Wissenschaftliche Konferenz/Symposium	Sonstiges	10/2012	09/2014	Tools Chair of the 5th International Conference on Runtime Verification (RV 2014), Toronto, Canada.