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 (Picture 2024)

ORCID ID, Scopus, DBLP

I am a full 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. I am also the chair of the Doctoral College on Trustworthy Autonomous Cyber-Physical Systems, the vice-chair for the program admission of the Marie Skłodowska-Curie COFUND doctoral programme LogiCS_at_TUWien, the advisory board member of the Doctoral College on Resilient Embedded Systems, the scientific coordinator of the WWTF project ProbInG, a member of the Cyber-Security Center of TU Wien, and one of the coordinators for the Sustainability and AI special interest group of the Center for Artificial Intelligence and Machine Learning (CAIML) of TU Wien.

Selected Professional Activities:

News & Activities [+]

  • November 2024 - Congratulations to Dr.in tech. Drishti Yadav for defending her dissertation “Enhancing Fault Diagnosis in Safety-Critical Cyber-Physical Systems”.
  • July 2024 - Congratulations to Dr.in tech. Ana Oliveira da Costa for defending her dissertation “Design and Verification of Information Flows”.
  • June 2024 - Our paper Probabilistic Loop Synthesis from Sequences of Moments has been accepted for publication in Proc. of QEST/FORMATS 2024 QEST+FORMATS joint conference, which will be held on 9-13 September 2024 in Calgary, Canada.
  • May 2024 - Our paper (Un)Solvable Loop Analysis has been accepted for publication in Formal Methods in Systems Design International Journal.
  • April 2024 - Our paper Adaptable configuration of decentralized monitors has been accepted for publication in Proc. of FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems.
  • March 2024 - Our paper Verifying Global Two-Safety Properties in Neural Networks with Confidence has been accepted for publication in the Proc. of CAV 2024: the 36th International Conference on Computer Aided Verification
  • February 2024 - Our paper DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications has been accepted for publication in the Proc. of DAC 2024: the 61st Design Automation Conference
  • February 2024 - Our European twinning project VASSAL has been funded by the European Union
  • September 2023 - We have established a new Doctoral College on Trustworthy Autonomous Cyber-Physical Systems and we have three positions funded by TTTech Auto and B&C Privatstiftung.
  • July 2023 - Our paper An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge has been accepted for publication in the Proc. of ASE 2023: the 38th IEEE/ACM International Conference on Automated Software Engineering
  • July 2023 - Our paper Progression for Monitoring in Temporal ASP has been accepted for publication in the Proc. of ECAI 2023: the 26th European Conference on Artificial Intelligence
  • July 2023 - Our paper Mining Specification Parameters for Multi-Class Classification has been accepted for publication in the Proc. of RV 2023: the 23rd International Conference on Runtime Verification
  • July 2023 - Our paper Lightweight Verification of Hyperproperties has been accepted for publication in the Proc. of ATVA 2023: the 21st International Symposium on Automated Technology for Verification and Analysis
  • June 2023 - Our paper Deductive Controller Synthesis for Probabilistic Hyperproperties has been accepted for publication in the Proc. of QEST 2023, the 20th International Conference on Quantitative Evaluation of SysTems, 2023
  • June 2023 - Our paper Introducing Asynchronicity to Probabilistic Hyperproperties has been accepted for publication in the Proc. of QEST 2023, the 20th International Conference on Quantitative Evaluation of SysTems, 2023
  • June 2023 - Our paper Mining Hyperproperties using Temporal Logics has been accepted for publication in the Proc. of EMSOFT 2023, the ACM SIGBED International Conference on Embedded Software
  • June 2023 - Our paper Hypernode Automata has been accepted for publication in the Proc. of CONCUR 2023, the 34th International Conference on Concurrency Theory
  • 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.