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 and a member of the Cyber-Security Center of TU Wien.

Selected Professional Activities:

News & Activities [+]

  • July 2024 - Congratulation to Dr. 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.