Personenprofil

Univ.Prof. Dr.

Ezio Bartocci

Telefon +43 1 58801 18226

E-Mailezio.bartocci@tuwien.ac.at

Zugeordnet

E191-01	E056-17

Visitenkarte

https://orcid.org/0000-0002-8004-6601

Forschungsbereich

Name	Leitung/Mitglied
Fachbereich Trustworthy Autonomous Cyber-Physical Systems	Leitung
Forschungsbereich Cyber-Physical Systems	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

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
Computational Science and Engineering	Modeling and Simulation	Particle Physics, Process Simulation, Multiscale Modelling, Mixed Signal Simulation, Computational Economics, Computational Health Care, Biomedical Engineering, Actuarial Modelling	50
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	50

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
ComputerEngineering	100

Internationale Auszeichnungen

Verleihende Organisation	Land	Programm	Funktion	Name	Von	Bis	Webseite	Projekt ID
19th International Conference on Quantitative Evaluation of SysTems	Polen			Best Paper of QEST 2022 International Conference	11.09.2022
European Association of Software Science and Technology (EASST)	Deutschland			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...

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Von	Bis	Funktion/Bemerkungen
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.