News & Activities [+]

• 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 International 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.
• December 2020 - Our paper Automated Termination Analysis of Polynomial Probabilistic Programs, has been accepted for presenting at ESOP 2021: the 30th European Symposium on Programming, March 2021, online
• December 2020 - I am really happy to announce that I have been promoted to Full Professor for Formal Methods in Cyber-Physical Systems Engineering. Many thanks to my family, my friends, my students, my amazing collaborators and colleagues for having supported me so far.
• November 2020 - Emery A. Neufeld passed his proficiency exam.
• October 2020 - Dr. Laura Nenzi (TrustCPS group) received the Hedy Lamarr Award 2020 by the City of Vienna. Press realeases from TU Wien, Faculty of Informatics, City of Vienna, Wienerin.
• September 2020 - Our paper Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems, has been accepted to be published in IEEE Access International Journal.
• September 2020 - Our paper Analysis of Bayesian Networks via Prob-Solvable Loops, has been accepted for presenting at ICTAC 2020: the 20th Intern. Colloquium on Theoretical Aspects of Computing, 30 Nov - 4 Dec 2020, Macau S.A.R., China
• September 2020 - Invited to join the Steering Committee of QEST: the intern. conference on quantitative evaluation of systems.
• September 2020 - Invited to join the Programme Committee of CAV 2021: The 33rd International Conference of Computer Aided Verification, will be held in Los Angeles, 2021.
• August 2020 - Our paper Runtime Verification of Autonomous Driving Systems in CARLA, has been accepted for presenting at RV 2020: the 20th International Conference on Runtime Verification, online, October 6-9, 2020.
• August 2020 - Our paper MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties, has been accepted for presenting at RV 2020: the 20th International Conference on Runtime Verification, online, October 6-9, 2020.
• July 2020 - I was invited to join the Program Committee of ADHS 2021, the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), will be held in Brussels, Belgium, July 7-9, 2021.
• July 2020 - I was invited to join the Program Committee of HSCC 2021, the 24th ACM International Conference on Hybrid Systems: Computation and Control, which will take place in Nashville, Tennessee, US on May 19-21, 2021.
• July 2020 - I was invited to join the Program Committee of SAC 2021, The 36th ACM/SIGAPP Symposium On Applied Computing that will be held in Gwangju, Korea, March 22-26, 2020.
• July 2020 - We are hiring !!! Our doctoral college proposal: SecInt: Secure and Intelligent Human-Centric Digital Technologies was selected for funding among other 11 proposals. Principal Investigators are: Ezio Bartocci (Formal Methods and Cyber Physical Systems), Efstathia Bura (Applied Statistics), Thomas Gärtner (Machine Learning), Laura Kovacs (Formal Methods & Automated Reasoning), Andreas Kugi (Robotics & Machine Learning), Martina Lindorfer (Cybersecurity), Matteo Maffei (Security & Privacy), Semeen Rehman (Hardware design & Machine Learning), Georg Weissenbacher (Formal Methods & Verification), Tanja Zseby (Network & Security). We have available 10 PhD positions. We are looking for the best candidates to join our exciting team.
• July 2020 - Our Paper on Mining Shape Expression from Positive Examples, has been accepted for presenting at EMSOFT 2020: the International Conference on Embedded Software, and it will be published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020
• July 2020 - Laura Nenzi has received the nomination for the Hedy Lamarr Award 2020 awarded by the City of Vienna for extraordinary contributions to Computer Science.
• June 2020 - Lilly Treml passed her proficiency exam.
• June 2020 - Our Paper on Probabilistic Hyperproperties with Nondeterminism, has been accepted for presenting at ATVA 2020: the 18th International Conference on Automated Technology for Verification and Analysis, 2020
• June 2020 - Our Tool Demonstration Paper on CPSDebug: A Tool for Failure Explanation in Cyber-Physical Systems, has been accepted for presenting at ISSTA 2020: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
• May 2020 - Listed among the Top Italian Computer Scientists. top cited [H-index greater than 30] italian scientists ranking.
• Apr 2020 - Our paper on "Parameter Synthesis for Probabilistic Hyperproperties" has been accepted for presenting at Proc. of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2020
• Apr 2020 - Our paper on "CPSDebug: Automatic Failure Explanation in CPS Models" has been accepted at International Journal on Software Tools for Technology Transfer, 2020
• Dec 2019 - Our paper on "SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities" has been accepted at ICCPS'20: the 11th IEEE/ACM Conference on Cyber-Physical Systems that will be held in Sydney, Australia, as part of CPSWeek 2020.
• Dec 2019 - Our paper on "MORA - Automatic Generation of Moment-Based Invariants" has been accepted at TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems that will be held in Dublin on 25-30 April 2020, Ireland.
• Dec 2019 - I was invited to join the Program Committee of CMSB 2020, 18th International Conference on Computational Methods in Systems Biology, 23th-25th September 2020, University of Konstanz (DE)
• Nov 2019 - I was invited to join the Program Committee of RV 2020, the 20th International Conference on Runtime Verification, which will take place in Los Angeles, USA during October 6-9, 2020.
• Nov 2019 - Dr. Denise Ratasich has defending her Ph.D. on Self-Healing Cyber Physical Systems. Her research was partially funded by the Austrian FFG IoT4CPS project. Denise is now employed as a Data Scientist in Austrian Railways (OBB).
• Nov 2019 - I was invited to join the Program Committee of ACSOS 2020, the 1st International Conference on Autonomic Computing and Self-Organizing Systems, August 17 - Fri 21 August 2020 Washington, DC, Washington, United States.
• Oct 2019 - Our proposal ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs (E. Bartocci - PI, co-PI: E. Bura, L. Kovacs) has been accepted for funding with the amount of roughly € 800K. The project will funded by WWTF funding agency. We are looking for brilliant PhDs and PostDoc to hire !!!.
• Oct 2019 - I was invited to join the Editorial Board of the Journal of Electronics (Section of Computer Science & Engineering) a peer-reviewed, open access journal on the science of electronics and its applications.
• Oct 2019 - I was invited to join the Program Committee of ATVA 2020, 18th International Symposium on Automated Technology for Verification and Analysis, will be held in Hanoi, Vietnam, October 26-30, 2020
• Sept 2019 - I will give an invited talk at STRCC 2019, an international workshop on Spatio-Temporal Reasoning for Control of Cyber-physical Systems. This workshop will be co-located with CDC'19 on December 10th, Nice, France.
• Aug 2019 - I was invited to join the Program Committee of HSCC 2020, the 23rd ACM International Conference on Hybrid Systems: Computation and Control, which will take place in Sydney, Australia during April 21-24, 2020.
• Aug 2019 - The website of Wien QONFEST 2020 is now available.
• Aug 2019 - We have organized the ScottFest a conference in honour of the 65th birthday of Scott A. Smolka.
• July 2019 - Our paper on "Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics" has been accepted at CDC 2019: the 58th IEEE Conference on Decision and Control that will be held in Nice, France - December 11th-13th 2019.
• July 2019 - I was invited to join the Program Committee of MedCPS 2020, the 10th Medical Cyber Physical Systems in Internet of Things Workshop that will be held in Washington, DC, USA, September 25th, 2020.
• July 2019 - I was invited to join the Program Committee of SAC 2020, The 35th ACM/SIGAPP Symposium On Applied Computing that will be held in Brno, Czech Republic, March 30-April 3, 2020.
• July 2019 - We have available a new PhD position in my group at TU Wien, Vienna. The research area: formal methods applied to the specification and monitor of large-scale, spatially-distributed, stochastic systems. The position is funded by “High-dimensional statistical learning: new methods to advance economic and sustainability policies” grant of FWF & ÖAW. The successful candidate will be part of the LogiCS Doctoral College and she/he will be supervised by Prof. Ezio Bartocci and co-supervised by Dr. Laura Nenzi. Application Deadline August 31, 2019. More details are available here
• July 2019 - I start my new appointment at TU Wien as tenured Associate Professor.
• July 2019 - I was invited to join the Program Committee of SpringSim 2020, the 2020 Spring Simulation Conference that will be held in Virginia, USA, May. 19-21, 2020.
• June 2019 - Congratulations to Dr. Anna Lukina that has just graduated with the maximum score. The title of her thesis was Adaptive Optimization Framework for Verification and Control of Cyber-Physical Systems.
• June 2019 - Our paper on "Automatic Failure Explanation in CPS Models" has been accepted at SEFM 2019: the 17th edition of the International Conference on Software Engineering and Formal Methods that will be held in Oslo, Norway.
• June 2019 - Our paper on "Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty" has been accepted at FORMATS 2019: 17th International Symposium on Formal Modeling and Analysis of Timed Systems that will be held in Amsterdam, Netherlands.
• June 2019 - Our paper on "Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops" has been accepted at ATVA 2019: the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019) that will be held in Taipei City, Taiwan.
• June 2019 - Our paper on "Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting" has been accepted at CMSB 2019: the 17th International Conference on Computational Methods in Systems Biology, 18th-20th September 2019, University of Trieste, Trieste (Italy).
• May 2019 - Our paper on "Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home" has been accepted at ICST 2019: the 2019 IEEE 23rd international symposium on consumer technologies, 19th – 21st June 2019, Ancona, Italy
• May 2019 - I was promoted from tenure-track Assistant Professor to tenured Associate Professor.
• May 2019 - I was invited to join the Program Committee of DATE 2020: Design, Automation, and Test in Europe, 09 – 13 March 2020, ALPEXPO, Grenoble, France.
• Apr 2019 - I was invited to join the Program Committee of ICECCS 2019, the 24th IEEE International Conference on Engineering of Complex Computer Systems, 10-13 November 2019 - Hong Kong, China.
• Apr 2019 - Our paper on "Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time" has been accepted at SASO 2019: the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems held in Umeå, Sweden on June 16 – 20, 2019.
• Apr 2019 - I have successfully defended the Habilitation (Venia Docendi) in Computer Science. I am now also a Privat Dozent at the Faculty of Informatics of TU Wien, Austria
• Mar 2019 - I will be an adjunct Faculty Member of the International PhD School in Research Methods in Science and Technology at University of Urbino, Italy
• Feb 2019 - I was invited to join the Program Committee of SETTA 2019, (Symposium on Dependable Software Engineering Theories, Tools and Applications) will be held in Shanghai, China, Nov. 27-29, 2019.
• Feb 2019 - I was invited to join the Steering Committee of the International Conference on Runtime Verification and I am very honoured to serve it.
• Feb 2019 - I was invited to join the Program Committee of RV 2019, The 19th International Conference on Runtime Verification will take place in Porto, Portugal, 8-11 October 2019.
• Feb 2019 - I was invited to join the Program Committee of SASO 2019, The 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2019) is held in Umeå, Sweden on June 16 – 20, 2019.
• Jan 2019 - Emily Neufeld was awarded with Christiana HÖRBIGER Prize for the Promotion of International Mobility for Young Scientists.
• Dec 2018 - Our paper: "A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems" has been accepted in IEEE Access (Impact Factor: 3.557).
• Dec 2018 - Another success in my team. Laura Nenzi will lead the TU Wien part of the FWF Young Independent Researcher Groups grant on "New methods for economic and sustainability policy" - Total budget 1.5 millions of Euro. The aim of this project is the development and the application of innovative and future-oriented methods for the analysis of large amounts of data. Congratulations to Laura and to the other PIs. More information is available on the FWF website (in German).
• Dec 2018 - Our paper on "Quantitative Regular Expressions for Arrhythmia Detection" has been accepted in IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Dec 2018 - Denise is presenting our IoT4CPS demonstrator on Self-Healing at ICT Imagine Digital 2018 – Austrian Village

• Dec 2018 - I was invited to join the Program Committee of TACAS 2020, the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, which will take place April 27-30, 2010 in Dublin, Ireland.
• Nov 2018 - I will organize the TOOLympics 2019, an event to celebrate the achievements of the various competitions or comparative evaluations in the field of Tools and Algorithms for the Construction and Analysis of Systems.
• Oct 2018 - Lilly Treml and Emily Neufield start their PhD in my group. Welcome Emily and Lilly !!

• Sep 2018 - I was invited by the Rector of University of Camerino (Italian university founded in 1336) to deliver a commencement address on Saturday 22nd September to more than 400 graduates of the University of Camerino in Italy. More information can be found in italian online newspaper. My interview can be found here or here.

• Sep 2018 - I was invited to join the Programme Committee of the 17th International Conference on Computational Methods in Systems Biology (CMSB 2019) that will be held in Trieste, Italy, September 2019.
• Sep 2018 - I will be the General Chair of Wien QONFEST 2020: the umbrella conference comprising the joint international 2020 meetings CONCUR, QEST, FORMATS, alongside with several workshops and tutorials.
• Sep 2018 - I will give an invited tutorial on "Monitoring, Learning and Control of Cyber-Physical Systems with STL" at RV 2018, the 18th International Conference on Runtime Verification.
• Sep 2018 - Ana Oliveira da Costa starts her PhD in my group. Welcome Ana !!
• July 2018 - Our paper on "An Algebraic Framework for Runtime Verification" has been accepted at EMSOFT 2018: the 18th International International Conference on Embedded Software, Turin, Italy, September 30-October 5, 2018. The final version of the paper will appear in IEEE Transactions on Computer-Aided Design (IEEE TCAD).
• June 2018 - Our paper on "Signal Convolution Logic" has been accepted at ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, Los Angeles, USA, October 7-10, 2018
• May 2018 - Our paper on "A Robust Genetic Algorithm for Learning Temporal Specifications from Data" has been accepted at QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems, Beijing, China, September 4-7, 2018
• May 2018 - Our paper on "Parameter-Independent Strategies for pMDPs via POMDPs" has been accepted at QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems, Beijing, China, September 4-7, 2018
• May 2018 - I was invited to join the program committee of FSEN 2019: the 8th IPM International Conference on Fundamentals of Software Engineering, 1-3 May, 2019
• May 2018 - I was invited to join the technical program committee (TPC) of DATE 2019: Design, Automation, and Test in Europe, Florence, Italy, the 25-29 March, 2019
• April 2018 - Our paper on "A Counting Semantics for Monitoring LTL Specifications over Finite Traces" has been accepted at CAV 2018: 30th International Conference on Computer Aided Verification, Oxford, UK, July 14-17, 2018
• April 2018 - Our paper on "Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes" has been accepted at CAV 2018: 30th International Conference on Computer Aided Verification, Oxford, UK, July 14-17, 2018
• March 2018 - Our paper on "Quantitative Monitoring of STL with Edit Distance" has been accepted in International Journal on Formal Methods in Systems Design.
• March 2018 - I am participating to Dagstuhl Seminar 18121 on Machine Learning and Model Checking Join Forces.
• March 2018 - Our paper on "Verifying nonlinear analog and mixed-signal circuits with inputs" has been accepted to be presented in ADHS 2018 - IFAC Conference on Analysis and Design of Hybrid Systems that will be held in Oxford, UK during FLOC 2018.
• February 2018 - I was invited to join the Programme Committee of VORTEX 2018: the second workshop on runtime verification and monitoring for object-oriented languages and systems, which will be co-located with ECOOP 2018 in Amsterdam, July 16-21
• February 2018 - I was invited to join the Programme Committee of SHPCS 2018: the 13th International Workshop on Security and High Performance Computing Systems, July 16 – 20, 2018, Orléans, France
• February 2018 - I was invited to join the Programme Committee of RV 2018: the 18th International Conference on Runtime Verification, Limassol, Cyprus (10-13 November)
• January 2018 - Our DK in LogiCS has been re-funded by FWF !! I am looking for a new PhD student to hire !!
• January 2018 - I will co-organize the Vienna Young Scientists Symposium on Intelligent Data Systems. The VSS 2018 takes place on Thursday June 7, and Friday June 8, 2018 in TUtheSky. Please consider to submit an abstract .
• January 2018 - Our paper on "Parallel Reachability Analysis for Hybrid Systems Using XSpeed" has been accepted to appear in the International Journal on Software Tools for Technology Transfer (Springer)
• January 2018 - I was invited to give a talk on "Safe and trustworthy Cyber-Physical Systems" at Vienna Cyber Security Week 2018
• January 2018 - I was invited to join the Programme Committee of MT-CPS 2018: the Third International Workshop on the Monitoring and Testing of CPS, that will held at CPS Week 2018 in Porto, Portugal on April 10, 2018
• December 2017 - Our paper "Localizing Faults in Simulink/Stateflow Models with Signal Temporal Logic" has been accepted in the 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018), Porto, 11-13 April 2018
• December 2017 - I was invited to join the Programme Committee of the Embedded Systems and the Internet of Things (ES-IoT) track at the 44th EUROMICRO Conference on Software Engineering and Advanced applications (SEAA) in Prague, Czech Republic, August 29-31, 2018.
• December 2017 - I was invited to join the Programme Committee of the 1st Edition of the International Smart Farming Workshop, April 10, 2018, Porto, Portugal (Smart Farming 2018)
• December 2017 - I was invited to join the Programme Committee of the 8th Edition of the International Medical Cyber-Physical Systems Workshop, April 10, 2018, Porto, Portugal (MCPS 2018)
• December 2017 - I was invited to join the Programme Committee of the Third Workshop on Design and Analysis of Robust Systems April 10, 2018, Porto, Portugal (DARS 2018)
• November 2017 - I was invited to join the Programme Committee of 13th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2018) ENS Paris-Saclay, Cachan, France. (July 16 − 20, 2018)
• November 2017 - Congratulations to Dr. Konstantin Selyunin that has just graduated with the maximum score. The title of his thesis was Neural Models for Monitoring and Control - with Applications in Automotive Domain and the slides of his talk are available here.
• November 2017 - Laura Nenzi was awarded with Christiana HÖRBIGER Prize for the Promotion of International Mobility for Young Scientists.
• November 2017 - Lilly Treml was awarded with a stipendium to work for nine months on her master thesis under my supervision.
• November 2017 - I was invited to join the Programme Committee of the 16th International Conference on Computational Methods in Systems Biology (CMSB 2018) that will be held in Brno, Czech Republic, 12th to 14th September 2018.
• October 2017 - I was invited to join the Programme Committee of the 2nd International Workshop on Safe Control of Connected and Autonomous Vehicles (SCAV 2018) that will be held in Porto, April 11-13, 2018.
• October 2017 - I was invited to join the Programme Committee of the International Conference on Quantitative Evaluation of SysTems (QEST) that will be held on September 4-7, 2018, Beijing, China.
• October 2017 - I am the TU Wien Principal Investigator for the Light-project on "Trustworthy IoT for Cyber-Physical-Systems" funded by Austrian FFG.
• October 2017 - I was invited to join the Programme Committee of the IFIP Internet of Things Conference that will be held during the 24th IFIP World Computer Congress, Poznan, Poland, September 2018.
• September 2017 - Received the nomination for the EATCS Council Election 2017.
• September 2017 - Invited to join the Programme Committee of CAV 2018: The 30th International Conference of Computer Aided Verification, will be held at Oxford University, UK, July, 14-17, 2018.
• September 2017 - Our paper "SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems" has been accepted in the 13th IBM Haifa Verification Conference, Haifa, Israel
• August 2017 - Our paper "Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes" has been accepted in the International Journal of Performance Evaluation (Elsevier).
• July 2017 - Invited to join the Programme Committee of ADHS 2018: The 6th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), will be held at Oxford University, UK, July, 11-13, 2018.
• July 2017 - Our paper "Monitoring Mobile and Spatially Distributed Cyber-Physical Systems" has been accepted for MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design that will be held at TU Wien (co-located with FMCAD), Vienna, Austria, from September 29 to October 2, 2017.
• June 2017 - Invited to join the Programme Committee of HSCC 2018: the 21st International Conference on Hybrid Systems: Computation and Control, Porto, Portugal from April 10-13, 2018.
• June 2017 - Participant of OPCT 2017: Open Problems in Concurrency Theory II
• June 2017 - Our paper "Quantitative Regular Expressions for Arrhythmia Detection Algorithms" has been accepted to be presented at CMSB 2017 (15th International Conference on Computational Methods in Systems Biology), 27th-29th September 2017 Technische Universität Darmstadt (Germany)
• June 2017 - Invited to join the Programme Committee of SAC 2018: the 33rd ACM/SIGAPP Symposium On Applied Computing, will be held at Université de Pau et des Pays de l'Adour (UPPA), Bayonne, France, on April, 2018.
• June 2017 - Invited to join the Programme Committee of InfQ 2017: the International Workshop on New Frontiers in Quantitative Methods in Informatics

	Congratulations to Bernard for his exciting master thesis work and for the design work of the six-legged robots !!
May 2017

• May 2017 - Our paper "A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage" has been accepted to be presented at QEST 2017 (14th International Conference on Quantitative Evaluation of SysTems), Berlin, Germany, 2017
• April 2017 - Invited to join the Programme Committee of DataMod 2017: the 6th International Symposium “From Data to Models and Back", will be held in conjunction with SEFM 2017 on 4-5 September in Trento, Italy.
• April 2017 - Our paper "Runtime Monitoring with Recovery of the SENT Communication Protocols" has been accepted to be presented at CAV 2017 (29th International Conference on Computer-Aided Verification), Heidelberg, Germany, 2017
• April 2017 - The Special Issue on Medical Cyber Physical Systems workshop (MedicalCPS'16) co-edited with Martin Leucker is now available in SIGBED Review.
• April 2017 - I earned the National Italian Habilitation as Associate Professor in "Sistemi di Elaborazione dell'Informazione ING-INF 05" (equivalent to Computer Engineering) by the Italian Ministry of Education, Universities and Research.
• April 2017 - Our paper "Computing with Biophysical and Hardware-efficient Neural Models" has been accepted to be presented at IWANN 2017 (14th International Work-Conference on Artificial Neural Networks), Cadiz, Spain, 14-16 June, 2017
• March 2017 - I am organising a satellite event of CAV 2017: RISE4CPS - International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems. This tutorial-based workshop will be held jointly with NSV 2017 - 10th International Workshop on Numerical Software Verification 2017.
• March 2017 - Invited to join the Organisation Committee as a Publicity Chair of ETAPS 2018 that will held next year in Thessaloniki, Greece
• March 2017 - Our paper "SEA-PARAM: Exploring Schedulers in Parametric MDPs" has been accepted to be presented at QAPL 2017 (15th International Workshop on Quantitative Aspects of Programming Languages and Systems), Uppsala, Sweden, Sunday 23 April 2017
• March 2017 - Our paper "First International Competition on Runtime Verification, Rules, Benchmarks, Tools, and Final Results of CRV 2014" has been accepted to appear in the International Journal on Software Tools for Technology Transfer.
• Feb 2017 - Our paper "A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics" has been accepted to the 20th World Congress of the International Federation of Automatic Control (IFAC), 9-14 July 2017
I am co-organising CPS Week 2016 in the Hofburg Palace in Vienna.
We have reached the record of 850 participants !!