"Cyber-Physical Systems are engineering, physical and biological systems
whose operations are integrated, monitored, and/or controlled by a computational core. Components are networked at every scale.
Computing is deeply embedded into every physical component, possibly even into materials.
The computational core is an embedded system, usually demands real-time response, and is most often distributed.
The behavior of a
cyber-physical system is a fully-integrated hybridisation of computational (logical)
and physical action."
Oct 2016 - co-Chairing the RVE Track at ISoLA 2016: Runtime Verification and Enforcement,
the (industrial) application perspective. Here
is the program.
Oct 2016 - Invited to join the Programme Committee of SA3V 2017: the first Workshop
on Safety Assurance of Autonomous Adaptive Vehicles at CPS Week 2017, April 18-21, 2017
Sept 2016 - The enrollment for the Course on Networked
Embedded Systems (for the Winter Semester) will be performed using the
MyTI portal starting from
25th September. The enrolment will be closed on Friday 14th October.
The max number of students for this course is 15.
Please register soon !!!
Sept 2016 - Chairing the CMSB 2016
Conference at Computer Laboratory at Cambridge University (21-23 September, 2016).
Sept 2016 - Our paper "Parallel Reachability Analysis for Hybrid Systems"
has been accepted at MEMOCODE 2016:
the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design.
Aug 2016 - Our paper "A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks"
has been accepted to be published in the IEEE Transactions on Control of Network Systems.
Aug 2016 - Invited to join the Programme Committee of SPIN 2017,
the 24th International SPIN Symposium on Model Checking of Software (SPIN), Santa Barbara, USA
Aug 2016 - Invited to join the Programme Committee of QEST 2017,
14th International Conference on Quantitative Evaluation of SysTems (QEST), Berlin, Germany
July 2016 - Our paper on "Quantitative Monitoring of STL with Edit Distance" has been accepted
at the 16th International Conference on Runtime Verification, September 23-30 2016, Madrid, Spain
July 2016 - Our paper on "Applying Runtime Monitoring for Automotive Electronic Development" has been accepted
at the 16th International Conference on Runtime Verification, September 23-30 2016, Madrid, Spain
June 2016 - Invited to join the Programme Committee of HSCC 2017,
20th International Conference on Hybrid Systems: Computation and Control (HSCC), Pittsburgh, USA
June 2016 - Invited to join the Programme Committee of FSEN 2017,
7th IPM International Conference on Fundamentals of Software Engineering (FSEN), Tehran, Iran
Nov 2015 - Invited to join the Programme Committee of SNR '16,
the 2nd Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR'16), April, 2016, Vienna, Austria
Nov 2015 - Our paper on "Monitoring of MTL Specifications With IBM's
Spiking-Neuron Model" will appear in the 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany.
Oct 2015 - Invited to join the Programme Committee of MT CPS'16,
the 1st Workshop on Monitoring and Testing of Cyber-Physical Systems, 2016, Vienna, Austria
Sep 2015 - Our paper on "Abstraction-based Parameter Synthesis for Multiaffine Systems" will appear in
the 11th Haifa Verification Conference, Haifa, Israel (HVC 2015).
Sep 2015 - Our paper on "XSpeed: Accelerating Reachability Analysis on MultiCore Processors" will appear in
the 11th Haifa Verification Conference, Haifa, Israel (HVC 2015).
August 2015 - The call for workshops and tutorials for CPS Week 2016 is now available online.
August 2015 - The call for paper for CPS Week 2016 is now available online.
August 2015 - The program for the RV 2015 conference is now available online.
July 2015 - Our paper on "Neural Programming: Towards Adaptive Control in Cyber-Physical Systems" will appear in
the 54th IEEE Conference on Decision and Control, Osaka, Japan (CDC 2015).
July 2015 - Our paper on "From Signal Temporal Logic to FPGA Monitors" will appear in the
the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design
July 2015 - Our paper on "Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic" will appear in
the Fourth International Workshop on Hybrid Systems Biology (HSB 2015).
July 2015 - The collaboration proposal titled "Novel Optimal Solutions for Security and Reliability in Dispersed and Federated Cloud Storage Systems" has
been funded by University of Politecnica delle Marche, Ancona, Italy
July 2015 - I will collaborate in the new exciting NSF-funded “CyberHeart” project, led by Scott A. Smolka
June 2015 - I am in the Programme Committee of HSCC'16,
the Hybrid Systems: Computation and Control, April 11-14, 2016, Vienna, Austria
June 2015 - I am in the Programme Committee of DoCEIS'16,
the 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, April 11-13, 2016, Portugal
June 2015 - I am in the Programme Committee of SSV’15,
the 9th International Conference on Systems Software Verification, December 7-8 on the Gold Coast, Australia
May 2015 - I am in the Programme Committee of RTSI’15, 1st International Forum on
on Research and Technologies for Society and Industry, Torino, Italy 16-18 September, 2015
May 2015 - I am in the Programme Committee of SCOPES’15,
International Workshop on Spatial and COllective PErvasive Computing Systems, MIT, Cambridge, USA on September 21, 2015
Jan 2015 - Looking for a PostDoc ! The job description is posted here
Dic 2014 - Our paper on "SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems "
will appear at HSCC 2015: the 18th International Conference on Hybrid Systems:
Computation and Control (HSCC 2015)
Dic 2014 Kick-off meeting for the EU Cost ARVI: Runtime Verification beyond Monitoring.
Ylies Falcone and I were elected to co-Chair the RV Core Working Group.
Dic 2014 I am in the Organizing committee for the CPS week 2016 that will be held in Vienna !!!
Dic 2014 I won one of four openly advertised tenure-track positions (4 positions over 180 candidates from all over the world) at the Faculty of Informatics of Vienna University of Technology.
Dic 2014 The SHiNE proposal has been approved and funded by Austrian FWF ”Nationales Forschungsnetzwerk” !! SHINE: Systematic Methods in Systems Engineering. I am looking for a Post Doc.
Nov 2014 The results of the 1st International Competition on Software for Runtime Verification
are now available here.
Oct 2014 - In the winter semester I will teach Networked Embedded Systems and with the students we will have a lot of fun with Arduino, Android, XBee, Lego Mindstroms and Raspberry PI
September 2014 - I am in the Management Committee of the European ICT COST Action IC1402
on "Runtime Verification beyond Monitoring (ARVI)" representing Austria.
September 2014 - I am in the Program Committee of NSV'15, 2nd International Workshop on Numerical Software Verification
that will be held during CPS week 2015 in Seattle.
September 2014 - I am in the Program Committee of QAPL'15.
August 2014 - The program for the Medical Cyber-Physical Systems Track at ISoLA 2014,
that I am co-chairing with Scott A. Smolka (Stony Brook University) and Sicun Gao (Carnegie Mellon University), is now available.
August 2014 - 4 PhD positions available for the FFG HARMONIA project. One PhD candidate will be co-supervised by Prof. Grosu and me and will be hosted by VUT in Vienna, Austria.
August 2014 - The web site for RV 2015 is now under construction
July 2014 - Our report on "First International Competion on Software for Runtime Verification" will appear at RV 2014: 14th International Conference on Runtime Verification, Toronto, Canada
July 2014 - Our paper on "A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems" will appear at CDC 2014: 53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA
July 2014 - I am in the award committee that will assign the VCLA International Student Awards for the Outstanding Master Thesis and the Outstanding Undergraduate Research.
July 2014 - I am volunteering and attending Vienna Summer of Logic: the greatest event in the history of Logic !!!
July 2014 - I am teaching Runtime Verification at MOVEP 2014: 11th Summer School on Modelling and Verification of Parallel Processes (MOVEP'14), 7-11 July 2014, Nantes, France
<June 2014 - Our paper on "Temporal Logic based Monitoring of Assisted
Ventilation in Intensive Care Patients" will appear at ISoLA 2014:
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 08-11 October 2014 - Imperial, Corfu, Greece
June 2014 - The IKT der Zukunft FFG Proposal "Assertion-based Hardware Monitors Automotive Systems: HARMONIA"
has been approved for funding (I am co-proposer for TU Wien with Dr. Nickovick (AIT), Dr. Thang (INFINEON) and Prof. Grosu).
June 2014 - Our paper on "Data-driven Statistical Learning of Temporal Properties" has been accepted at FORMATS 2014:
12th International Conference on Formal Modeling and Analysis of Timed Systems Florence, Italy
June 2014 - I was invited to be part of the Editorial Board of Information and Computation
June 2014 - Keynote Speaker on "Executable Heart" at CIBB 2014, 26th June, University of Cambrdige, UK
June 2014 - Our paper on "Bayesian Design for the Whole Cell Synthetic Biology Models" has been accepted at HSB 2014: Third Third International Workshop on Hybrid Systems Biology, Vienna, Austria
June 2014 - Our paper on "Towards GPGPU-Parallel SPIN Model Checker" has been accepted at SPIN 2014: 21st International SPIN Symposium on Model Checking of Software, Hilton San Jose, Bay Area, California
May 2014 - The COST european cooperation in Science and Technology: ARVI: Runtime Verification beyond Monitoring in which I'm co-PI for TU Wien has been approved.
May 2014 - I'm in the Programme Committee of FSEN 2015, the 6th IPM International Conference on
Fundamentals of Software Engineering, Tehran, Iran
Jan 2014 - Our paper on "Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control" has been accepted at BIOTECHNO 2014, Chamonix, France.
Jan 2014 - I'm a Keynote Speaker at CIBB 2014, The 11th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, June 26-28, 2014, Cambridge, UK.
Dec 2013 - I'm in the HSCC 2014 Repeatability Evaluation Committee (REC).
Dec 2013 - I'm an associated faculty for the Doctoral School LogiCS - Logic in Computer Science sponsored by the Austrian FWF
Dec 2013 - I'm in the Programme Committee of ISoLA 2014, the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 08-11 October 2014 - Imperial, Corfu', Greece
Nov 2013 - I'm in the Programme Committee of HSB 2014, the 3rd Inter. Workshop on Hybrid Systems and Biology (satellite event of CAV 2014), Vienna, Austria
Oct 2013 - I'm the co-Chair of CSRV-2014, the 1st Intl. Competition of Software for Runtime Verification (CSRV-2014) held with RV 2014 in Toronto, Canada
Oct 2013 - I'm the Tool Track Chair of RV 2014, the 14th Inter. Conference on Runtime Verification, Toronto, Canada
Sept 2013 - I will co-Chair the Programme Committee of RV 2015, the 15th Inter. Conference on Runtime Verification, Vienna, Austria
The cover page of the IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) from March/April 2013 is dedicated to our work on cardiac dynamics simulations.
E. Bartocci, C. R. Ramakrishnan (Eds.):
Proc. of SPIN 2013, the 20th International Symposium on Model Checking Software, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013.
E. Bartocci, L. Bortolussi, L. Nenzi, G. Sanguinetti,
On the Robustness of Temporal Properties for Stochastic Models ,
In Proc. of HSB 2013, the 2nd Intern. Workshop on Hybrid Systems and Biology,
Taormina, Italy, September 2, 2013
I'm in the PC of the SPIN 21th Intern. Symposium on Model Checking Software, SPIN 2014, San Jose, CA, USA, July 21-23, 2014
I'm in the Programme Committee of the 12th Inter. Workshop on Quantitative Aspects of
Programming Languages and Systems, QAPL 2014, Grenoble, France
I'm in the Programme Committee of the 14th Inter. Conference on Runtime Verification, RV 2014, Toronto, Canada
K. Kalajdzic, E. Bartocci, S. A. Smolka, S. Stoller and R. Grosu ,
Runtime Verification with Particle Filtering. In Proc. of RV 2013, the 4th International Conference on Runtime Verification,
INRIA Rennes, France, September 24-27, 2013
A. Murthy, E. Bartocci, F. H. Fenton, J. Glimm, R. A. Gray, E. M. Cherry, S. A. Smolka, R. Grosu
Curvature Analysis of Cardiac Excitation Wavefronts. In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 10(2), pp. 323--336, 2013
E. Bartocci, L. Bortolussi, L. Nenzi ,
A temporal logic approach to modular design of synthetic biological circuits. In Proc. of CMSB 2013, the 11th International Conference on Computational Methods in Systems Biology,
IST Austria, Klosterneuburg, Austria, September 23-25, 2013
I'm a Programme Committee member of the 2nd Intern. Workshop on Hybrid Systems and Biology, HSB 2013, Sept 2013, Taormina, Italy.
Master Degree Thesis project for TU Wien students (Students that are interest, please contact me soon !!).
Distributed Perception realized by Drones
July 27th-30th, 2013 - Invited Talk on "A Computational Modeling perspective of Systems Biology" at the
Systems Biology Summer School (SBSS), held at the Chateau of Nove Hrady, South Bohemia, Czech Republic from
27th to 30th July 2013.
I'm a Programme Committee Co-Chair of the SPIN Intern. Symposium on Model Checking Software (20th edition)SPIN 2013, July 2013, Stony Brook, USA.
I'm a Programme Committee member of the 3rd Intern. Workshop of Hybrid Autonomous Systems, HAS 2013, March 2013, Rome, Italy.
I'm a Programme Committee member of the 11th Intern. Workshop of Quantitative Aspects in Programming Languages QAPL 2013, March 2013, Rome, Italy.
I am currently a tenure-track Assistant Professor (holding the National Habilitation as Associate Professor in Italy) at the
Institute of Computer Engineering, Vienna University of Technology (TU Wien).
The primary focus of my research is to develop formal methods, computational tools and techniques which support the modeling and
the automated analysis of complex computational systems, including software systems, cyber-physical systems and biological systems.
On these topics I was the author and co-author of more than 60 papers published in refereed journals, edited books, and refereed conference proceedings.
I joined the Faculty of Informatics at Vienna University of Technology in 2012 as University Assistant. In Dec. 2014 I won
a "Laufbahnstelle" becoming a tenure-track Assistant Professor.
Previously I was a post-doctoral researcher at the Department
of Computer Science (Research Scientist - from March 2011) and at the Department
of Applied Math and Statistics (Research Associate - from February 2010) of the State University
of New York at Stony Brook. My research area, in the framework of the NSF Expeditions in Computing project CMACS, was the Computational Modelling and
Analysis of Cardiac Dynamics for Prediction and Control of Cardiac Arrhythmia. I received the B.S. degree in Computer Science and the M.S. degree in Bioinformatics from the University of
Camerino in Italy, in 2002 and 2005, respectively. During my M.S. degree in Bioinformatics I won a scholarship (from June 2003 to Feb 2004) funded by the MIUR project Oncology Over Internet
(O2I). In 2009 I got a Ph.D. in Complex Systems and Information Sciences from the University of Camerino.
In 2014 I earned the National Italian Habilitation as Associate Professor in Computer Science by the Italian Ministry of Education, Universities and Research.
I co-chaired several international events, such as HSB 2012, the First International Workshop on Hybrid Systems and Biology, SPIN 2013, the 20th Intern.
Symposium on Model Checking Software, the CSRV-2014, the First Intl. Competition of Software Runtime Verification in Canada, the Medical CPS track at Isola 2014 and in
2015 he will co-chair in Vienna the 15th Intl. Conference on Runtime Verification. I also serve as Editorial Board Member of the International Journal
of Information and Computation (Elsevier).
I represent Austria in the management committee of the EU COST ICT action ARVI on Runtime Verification and I co-chair the RV core working group in this action.