Univ.Prof. Dott. Ric. Ezio Bartocci


CPS Research Unit

Faculty of Informatics
Technische Universität Wien

Email: name.surname@tuwien.ac.at
Tel: (+43)(1) 58801 - 18226
Fax: (+43) (1) 58801 - 18299
Office: Treitlstrasse 3,
1040 Vienna, Austria
Head of the TrustCPS group

ORCID ID, Scopus, DBLP
I am a professor for Formal Methods in Cyber-Physical Systems Engineering at the Faculty of Computer Science TU Wien, and I am leading the Trustworthy Cyber-Physical Systems (TrustCPS) Group of the Cyber-Physical System Research Unit. The primary focus of my research is to develop formal methods, computational tools and techniques that support the modeling and the automated analysis of complex computational systems, including software systems, cyber-physical systems and biological systems.

Selected Professional Activities:

News & Activities [+]

  • May 2023 - Eleonora Nesterini is awarded with the Marshal Plan Scholarship !!
  • May 2023 - Emery Neufeld successfully defended his Ph.D. thesis: "Norm Compliance for Reinforcement Learning Agents"
  • April 2023 - Miroslav Stankovic successfully defended his Ph.D. thesis: "Moment-Based Loop Analysis"
  • March 2023 - Our paper TD-Magic: From Pictures of Timing Diagrams To Formal Specifications has been accepted for publication in Proc. of DAC 2023: the 60th Design Automation Conference, 2023
  • February 2023 - Our paper Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties has been accepted for publication in SPIN 2023, the 29th International Symposium on Model Checking Software, 2023
  • February 2023 - Michele Chiari was awarded with EU Marie Curie Postdoctoral Fellowship with the project "CORPORA" (PI: Michele Chiari, Mentor: Ezio Bartocci)
  • December 2022 - Our project proposal "TAIGER: Training and Guiding AI Agents with Ethical Rules" (PI: Agata Ciabattoni, co-PIs: Ezio Bartocci and Thomas Eiter) has been funded by Vienna Science and Technology Fund. We will hire one PostDoc, two PhDs students and three master students.
  • December 2022 - Our paper Property-based Mutation Testing has been accepted for publication in ICST 2023: the 16th IEEE International Conference on Software Testing, Verification and Validation.
  • December 2022 - Our paper Solving Invariant Generation for Unsolvable Loops has been awarded with the Radhia Cousot Young Researcher Best Paper Award at SAS 2022: the 29th Static Analysis Symposium.
  • October 2022 - I have joined the Editorial Board of "Research Directions: Cyber-Physical Systems", Cambridge Univ. Press.
  • September 2022 - Our paper Moment-based Invariants for Probabilistic Loops with non-polynomial assignments has been awarded with the Best Paper Award at QEST 2022: the 19th Intern. Conference on Quantitative Evaluation of SysTems.
  • September 2022 - Our paper On Normative Reinforcement Learning via Safe Reinforcement Learning has been accepted for publication in PRIMA 2022: the 24th International Conference on Principles and Practice of Multi-Agent Systems
  • September 2022 - Our paper Survey on Mining Signal Temporal Logic Specifications has been accepted for publication in Information and Computation International Journal (Elsevier) 2022
  • September 2022 - Our paper This is the Moment for Probabilistic Loops has been accepted for publication in OOPSLA 2022/Proc. of ACM on Programming Languages that will be presented at SPLASH 2022: The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity that that will be held in Aukland, New Zealand in December 2022
  • August 2022 - Our paper FIM: Fault Injection and Mutation for Simulink has been accepted for publication in the Proc. of ESEC/FSE 2022 (Demostrations Track) ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering that will be held in Singapore in November 2022
  • July 2022 - Our paper Search-based Testing for Accurate Fault Localization in CPS has been accepted for publication in the Proc. of ISSRE 2022 - The 33rd IEEE International Symposium on Software Reliability Engineering
  • July 2022 - Our paper Adaptive Testing for Specification Coverage and Refinement in CPS Models has been accepted for publication in the Journal of Nonlinear Analysis: Hybrid Systems (Elsevier)
  • July 2022 - Our paper Solving Invariant Generation for Unsolvable Loops has been accepted for publication in Proc. of SAS 2022: the 29th Static Analysis Symposium.
  • July 2022 - Our paper Enforcing Ethical Goals over Reinforcement-Learning Policies has been accepted for publication in the Journal on Ethics and Information Technology.
  • June 2022 - Our paper Moment-based Invariants for Probabilistic Loops with non-polynomial assignments has been accepted for publication in the Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems.
  • June 2022 - Our paper Distribution Estimation for Probabilistic Loops has been accepted for publication in the Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems.
  • May 2022 - I am co-chairing with Sylvie Putot HSCC2022: the 25th ACM International Conference on Hybrid Systems: Computation and Control.
  • April 2022 - Our paper Information-Flow Interfaces, has received the Best Software Science Paper Award at joint European Joint Conferences on Theory and Practice 2022.
  • March 2022 - Our paper Probabilistic Hyperproperties with Rewards has been accepted for publication in the Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods.
  • March 2022 - Our paper Information-Flow Interfaces, has been been nominated for the EASST ETAPS Best Paper Award.
  • January 2022 - Our paper MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties, has been accepted for publication in the International Journal on Software Tools for Technology Transfer
  • December 2021 - Our paper Information-Flow Interfaces, has been accepted for publication in the Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering.
  • December 2021 - Our paper Moment-Based Analysis of Bayesian Network Properties, has been accepted for publication in the Journal of Theoretical Computer Science.
  • December 2021 - Our paper DeepSTL - From English Requirements to Signal Temporal Logic, has been accepted for publication in the Proc. of ICSE 2022: the 44th International Conference on Software Engineering.
  • November 2021 - Our paper Flavours of Sequential Information Flow, has been invited for publication in the Proc. of VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation.
  • October 2021 - Our paper A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems, has been accepted for publication in the Journal of Logical Methods in Computer Science.
  • September 2021 - Our paper Mining Shape Expressions with ShapeIt, has been accepted for publication at the 19th International Conference on Software Engineering and Formal Methods (SEFM 2021).
  • August 2021 - Our paper Online Monitoring of Spatio-Temporal Properties for Imprecise Signals, has been accepted for publication at the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
    (MEMOCODE 2021).
  • July 2021 - Our Marie Skłodowska-Curie COFUND LogiCS@TUWien Website is out. LogiCS@TUWien is an interdisciplinary Marie Skłodowska-Curie COFUND doctoral programme at Technische Universität Wien (TU Wien) that educates 20 PhD students for 4 years on logical methods in Computer Science and their applications, in particular to Artificial Intelligence, Databases, Verification, Algorithms, Security, Distributed and Cyber-Physical Systems.
  • July 2021 - Our paper Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications, has been accepted for publication at the 60th IEEE Conference on Decision and Control (CDC'21).
  • July 2021 - Our paper HyperProb: A Model Checker for Probabilistic Hyperproperties, has been accepted for publication at the 24th international symposium of Formal Methods (FM'21).
  • July 2021 - Our paper The Probabilistic Termination Tool Amber, has been accepted for publication at the 24th international symposium of Formal Methods (FM'21).
  • July 2021 - Congratulations to Laura Nenzi that got the tenure track assistant professorship at University of Trieste
  • July 2021 - Our paper Adaptive Testing for Specification Coverage in CPS Models,
    has been awarded with the IFAC Young Author Award.
  • July 2021 - Our paper Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems, has been accepted for publication at the international conference on embedded software (EMSOFT'21).
  • May 2021 - I was invited as a speaker in the closing panel of the Workshop on Synthesis of Models and Systems, part of the ongoing Simons Institute on Theoretical Foundations of Computer Systems.
  • April 2021 - I will co-chair the 25th ACM International Conference on Hybrid Systems: Computation and Control.
  • April 2021 - Our paper A Normative Supervisor for Reinforcement Learning Agents (System Description), has been accepted for publication in CADE 2021: the 28th International Conference on Automated Deduction.
  • March 2021 - Our paper A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities, has been accepted for publication in the IEEE Internet of Things Journal.
  • March 2021 - Congratulations to Dr. Niveditha Manjunath for her well-deserved PhD.
  • March 2021 - Dr. Stefan Schupp and Eleonora Nesterini join our TrustCPS group.
  • March 2021 - Our doctoral college proposal: Our Marie Skłodowska-Curie actions LogiCS@TU Wien was co-funded by the European Union. Principal Investigators are: E. Bartocci, A. Ciabattoni, P. Cerny, T. Eiter, G. Gottlob, R. Ganian, M. Maffei, L. Kovacs, M. Ortiz, S. Szeider, G. Weissenbacher, S. Woltran, F. Zuleger.
  • February 2021 - Our paper Adaptive Testing for Specification Coverage in CPS Models, has been accepted for publication in the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'21).
  • January 2021 - I was invited to join the Program Committee of ATVA 2021, the 19th International Symposium on Automated Technology for Verification and Analysis, which will take in Gold Coast, Australia, 18-22 October 2021. Please consider to submit your best paper.