News & Activities [+]

• June 2025 - Our paper "POPACheck: a Model Checker for probabilistic Pushdown Automata" has been accepted for publication in Proc. of CAV 2025: the 37th International Conference on Computer Aided Verification.
• May 2025 - Our paper "Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs" has been accepted for publication in Proc. of ICML 2025: the 42nd International Conference on Machine Learning.
• April 2025 - Our paper "Rule-Guided Reinforcement Learning Policy Evaluation and Improvement" has been accepted for publication in Proc. of IJCAI 2025: the 33rd International Joint Conference on Artificial Intelligence.
• January 2025 - Our paper "Mining Specifications for Predictive Safety Monitoring" has been accepted for publication in Proc. of the 6th ACM/IEEE International Conference on Cyber-Physical Systems.
• January 2025 - Our paper "Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent Control" has been accepted for publication in IEEE Transactions on Automatic Control.
• January 2025 - Our paper "Signal Feature Coverage and Testing for CPS Dataflow Models" has been accepted for publication in ACM Transactions on Software Engineering and Methodology.
• December 2024 - FWF funded our Doctoral college in Automated Reasoning with 2.5 Millions of Euro. Our TrustCPS group will have two PhD positions in formal methods starting from October 2025.
• 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.