Join EATCS

Edited Books & Journal Issues

Vol 51 (1), FMSD, 2017

LNBI Vol. 9859, CMSB 2016

Vol. 4, STTT 2016

LNCS Vol. 9333, RV 2015

Vol. 236, Inf & Comp 2014

LNCS Vol. 7976, SPIN 2013

News about me !!

March 2015 - Rigorous Systems Engineering continues to rise and shine


December 2014 - "Laufbahnstelle" for Ezio Bartocci


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:

Counter and browser compatibility



Get Firefox!


Get Thunderbird!


Valid XHTML 1.0 Transitional


"Computers are incredibly fast, accurate, and stupid.
Human beings are incredibly slow, inaccurate, and brilliant.
Together they are powerful beyond imagination."

(Albert Einstein)

Supplement Material for the MEMOCODE 2016 paper

Supplement Material for the TACAS 2011 paper

The Kaminsky DNS cache-poisoning attack (Parametric PRISM models) The generated rational functions (Kamisky DNS cache-poisining) Nonlinear Programming Models in Ipopt for Model Repair
Knuth Example Zeroconf Example

Supplement Material for the CAV 2011 paper

Flavio's Fenton Minimal Conductance Model written in matlab (Single Cell): Minimal Resistor Model written in matlab (Single Cell):  single_cell_mrm4V.m (E. Bartocci)
Global Optimal Linear Approximation Algorithm: optimalLinearApproximation.m segmentErr.m (R. Grosu, E. Bartocci)
Segmentation of Mode 1: mode1segmentation.m Segmentation of Mode 2: mode2segmentation.m
Segmentation of Mode 3: mode3segmentation.m Segmentation of Mode 4: mode4segmentation.m
1D Cable Comparison among the Minimal Resistor Model and the Piecewise MultiAffine Model:
Comparison with a Stimulus every 100 ms Comparison with a Stimulus every 160 ms:
Comparison with a Stimulus every 200 ms Comparison with a Stimulus every 310 ms:
Restitution:
Rovergene for Mac (64 bit for Matlab2009R updated) (Author G. Batt): RoVerGeNeMac64BitMatLab2009R.zip
Model File for Rovergene: (Authors: E. Bartocci, G. Batt, Colas Le Guernic, R. Grosu): cell_model.txt
Simulator of Rovergene Cell Model: (Author: E. Bartocci): sim_cell_model.m
Analysis Results: analysis_result.txtKS_existsP.smvKS_forallP.smv



This site is powered by:

Powered byPivot - 1.30 beta 2: 'Rippersnapper'