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 - 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.
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'm an Invited Speaker at the Workshop of the Second Joint Summer School on Biology, Computation and Information BCI 2012 , 10-14 September 2012, Udine
E. Bartocci, R. Grosu, A. Karmarkar, S. A. Smolka, S. D. Stoller, E. Zadok, J. Seyster.
Adaptive Runtime Verification. In Proc. of RV 2012, the Third International Conference on Runtime Verification
Instambul, Turkey, September 25-28, 2012
A. Murthy, E. Bartocci, F. Fenton, J. Glimm, R. Gray, S.A. Smolka, and R. Grosu.
Curvature Analysis of Cardiac Excitation Wavefronts. To appear in IEEE Transactions on Computational Biology and Bioinformatics, 2012, IEEE.
E. Bartocci, P. Lio', E. Merelli, N. Paoletti.
Multiple verification in complex biological systems: the bone remodelling case study Special issue of Transactions on Computational Systems Biology on "Computational models for cell processses, 2012, To Appear
E. Bartocci, D. Cacciagrano, M.R. Di Berardini, E. Merelli, L. Vito.
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. Journal of Integrative Bioinformatics, 9 (1):192, 2012[PDF_LOCAL], [PDF2]
A. Murthy, A. Islam, E. Bartocci, E. M. Cherry, F. H. Fenton, J. Glimm, S. A. Smolka, R. Grosu.
Approximate Bisimulations for Sodium-Channel Dynamics. In Proc. of CMSB 2012, the Tenth International Conference on Computational Methods in Systems Biology
The Royal Society, London, UK, October 3-5, 2012
A. Donzé, O. Maler, E. Bartocci, D. Nickovic, R. Grosu, S.A. Smolka.
On Temporal Logic and Signal Processing. In Proc. of ATVA 2012, the Tenth International Symposium on Automated Technology for
Verification and Analysis, Thiruvananthapuram (Trivandrum), Kerala, October 3-6, 2012
I'm Co-Chair of HSB 2012 in Newcastle upon Tyne, UK
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. 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, 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.
Mar 2014 - This summer semester I will teach the course of 
