Menù

Home
Curriculum
Publications
Research interests
Talks
Stages/Thesis
Developed Software
Photo gallery

News about me !!

January 2014 - Habilitation as Associate Professor in Italy


March-April 2013 - My GPU simulations featured on Cover of Transactions on Computational Biology and Bioinformatics


Nov. 2011 - Post Doc of the Month (Interview)


Sep. 2011 - Best Paper Award (RV 2011)


July 2011 - From chaos to cures (Cornell University)


Jan. 2011 - CMACS Researchers Perform First Automated Formal Analysis of Realistic Cardiac Cell Model


UNICAM news:

Random Picture

Last papers                             

Toward real-time simulation of cardiac dynamics


Runtime Verification with State Estimation


Toward Realtime Simulation of Cardiac Dynamics


From Cardiac Cells to Genetic Regulatory Networks


Modeling the cell cycle: From deterministic models to hybrid systems


Model Repair for Probabilistic Systems


Curvature Analysis of Cardiac Excitation Wavefronts


Shape Calculus: Timed Operational Semantics and Well-formedness


Shape Calculus: Timed Operational Semantics and Well-formedness


Shape Calculus. A Spatial Mobile Calculus for 3D Shapes


Timed Operational Semantics and Well-Formedness of Shape Calculus


Random Poster

Links


PhD Stuff

ADI - Italian PhD Association
Fullbright scolarships
Marie Curie Fellowship Association


My University

SUNY in Stony Brook
Applied Math and Statistics
Computer Science


My Current Research Projects

CMACS
CMACS (AFIB)
Survaivable Software

Old Projects

Resourceome
Oncology Over Internet
Litbio Project
Litbio CoSy Group
BioAgent Project
Hermes Project

Counter and browser compatibility



Get Firefox!


Get Thunderbird!


Valid XHTML 1.0 Transitional


"..fatti non foste a viver come bruti
ma per seguir virtute e canoscenza..."

(Dante Alighieri, Divina Commedia, Inferno canto XXVI, 119-120)

Ezio Bartocci, PhD

Tenure-track
Assistant Professor
(holding the National Habilitation as Associate Professor in Italy)
Cyber-Physical Systems Group
Faculty of Informatics
Vienna University of Technology

Email: ezio (dot) bartocci (at) tuwien (dot) ac (dot) at
Tel: (+43)(1) 58801 - 18226
Fax: (+43) (1) 58801 - 18299
Office: Treitlstrasse 3, 1040 Vienna, Austria (3rd floor)

ArduGlove: one of the projects assigned to my students of Networked Embedded Systems (Fall 2013).

Edited Books and Journals:

Professional Activities:

Inf & Comp 2014 SPIN 2013

News & Activities [+]

  • 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
  • Oct 2014
  • Medical Cyber-Physical Systems Track: One of the Most Successful Events at ISoLA 2014
  • Oct 2014
  • Hearing at Austrian FWF for SHINE: Systematic Methods in Systems Engineering, 2nd funding period of the ”Nationales Forschungsnetzwerk” Rigorous Systems Engineering (RISE)
  • September 2014 - I will participate to the Dagstuhl Seminar 14481, "Multiscale Spatial Computational Systems Biology", from November 23 – 28, 2014
  • 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 - 10 PhD positions positions available for the Doctoral College in "Cyber-Physical Production Systems". One PhD position will be on "Smart Attributes for CPPS" under the supervision of Prof. Grosu and me.
  • 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
  • May 2014 - Doctoral Program Logical Methods in Computer Science - We are looking for PhD candidates. Click here for more details about the admission.
  • Apr 2014 - ERCIM Newsletter 97, Cyber-Physical Systems: Theoretical and Practical Challenges, by Ezio Bartocci, Oliver Hoeftberger and Radu Grosu
  • Apr 2014 - I will participate to the Dagstuhl Seminar 14171, "Evaluating Software Verification Systems: Benchmarks and Competitions", from April 21 – 25, 2014
  • Mar 2014 - Invited Talk on "Runtime Verification" at 11th Summer School on Modelling and Verification of Parallel Processes (MOVEP'14), 7-11 July 2014, Nantes, France
  • Mar 2014
  • ArduGlove: one of the projects assigned to my students of Networked Embedded Systems (Fall 2013).
  • Mar 2014 - This summer semester I will teach the course of GPU Computing and Architecture.
  • Mar 2014 - Our paper on "Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation" has been accepted as a journal paper in Theoretical Computer Science.
  • Feb 2014
  • The Special Issue of Information and Computation on Hybrid Systems and Biology, edited by E. Bartocci, L. Bortolussi, S. A. Smolka is now in press.
  • Feb 2014 - I'm in the Program Committee of MOD* 2014, The 1st Workshop on Logics and MODel-checking for self-* systems
  • Jan 2014 - I now hold the Italian Scientific National Habilitation for Associate Professor in Computer Science, granted by the Ministry of Education, Universities and Research.
  • Jan 2014 - I'm co-organizing with Sicun Gao and Scott A. Smolka a track on Medical Cyber-Physical Systems @ ISoLA 2014, Corfu', Greece
  • 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
  • Sept 2013
  • 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.
  • July 2013
  • 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.
  • I'm a Guest-Editor for a Special Issue of Information and Computation on Hybrid Systems and Biology
  • 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.
  • 28 April- 3 May, 2013 - I will partecipate to the Dagstuhl Seminars. VaToMAS - Verification and Testing of Multi-Agent Systems
  • 5, March, 2013 - I'm teaching a new course in the summer semester: GPU Architectures and Computing.
  • 18, February, 2013 - Invited talk at Univeristy of Oxford.
  • 06, February, 2013 - Invited talk at Univeristy of Cambridge.
  • 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.

In Brief:

I am currently (from 2012) an Assistant Professor (holding the National Habilitation as Associate Professor in Italy) at the Faculty of Informatics, Cyber-Physical Systems Group at the Vienna University of Technology. The primary focus of my research is to develop formal methods, tools and techniques which support the modeling and automated analysis of complex computational systems, including software systems, embedded systems and biological systems and on these topics I was the author or coauthor of more than 50 papers published in refereed journals, edited books, and refereed conference proceedings.

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, working with Prof. James Glimm, Prof. Radu Grosu and Prof. Scott. A. Smolka. 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, under the supervision of Prof. Flavio Corradini, and the co-supervision of Prof. Radu Grosu and Prof. Scott A. Smolka. 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).


Incoming event:




This site is powered by:

Powered byPivot - 1.30 beta 2: 'Rippersnapper'