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)
News & Activities [+]
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 PC 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 PC 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 PC 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 PC of the 12th Inter. Workshop on Quantitative Aspects of
Programming Languages and Systems, QAPL 2014, Grenoble, France
I'm in the PC 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 PC 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 PC Co-Chair of the SPIN Intern. Symposium on Model Checking Software (20th edition)SPIN 2013, July 2013, Stony Brook, USA.