Maria Rita Di Berardini
Title
Cited by
Cited by
Year
Feature algebra
P Höfner, R Khedri, B Möller
International Symposium on Formal Methods, 300-315, 2006
612006
Modeling and simulation of cardiac tissue using hybrid I/O automata
E Bartocci, F Corradini, MR Di Berardini, E Entcheva, SA Smolka, R Grosu
Theoretical Computer Science 410 (33-34), 3149-3165, 2009
372009
Shape calculus. a spatial mobile calculus for 3d shapes
E Bartocci, F Corradini, MR Di Berardini, E Merelli, L Tesei
Scientific Annals of Computer Science 20, 1, 2010
312010
Timed operational semantics and well-formedness of shape calculus
E Bartocci, DR Cacciagrano, MR Di Berardini, E Merelli, L Tesei
Scientific Annals of Computer Science 20, 33, 2010
162010
PAFAS at work: comparing the worst-case efficiency of three buffer implementations
F Corradini, MR Di Berardini, W Vogler
Proceedings Second Asia-Pacific Conference on Quality Software, 231-240, 2001
162001
Fairness of actions in system computations
F Corradini, MR Di Berardini, W Vogler
Acta Informatica 43 (2), 73-130, 2006
132006
A Shape Calculus for Biological Processes.
E Bartocci, F Corradini, MR Di Berardini, E Merelli, L Tesei
ICTCS 2009, 30-33, 2009
102009
Cassandra: An online failure prediction strategy for dynamically evolving systems
F De Angelis, MR Di Berardini, H Muccini, A Polini
International Conference on Formal Engineering Methods, 107-122, 2014
92014
Time and fairness in a process algebra with non-blocking reading
F Corradini, MR Di Berardini, W Vogler
International Conference on Current Trends in Theory and Practice of …, 2009
82009
Shape Calculus A spatial calculus for 3D colliding shapes
E Bartocci, F Corradini, MR Di Berardini, E Merelli, L Tesei
82009
Fairness of components in system computations
F Corradini, MR Di Berardini, W Vogler
Theoretical Computer Science 356 (3), 291-324, 2006
82006
Liveness of a mutex algorithm in a fair process algebra
F Corradini, MR Di Berardini, W Vogler
Acta Informatica 46 (3), 209-235, 2009
72009
Checking a mutex algorithm in a process algebra with fairness
F Corradini, MR Di Berardini, W Vogler
International Conference on Concurrency Theory, 142-157, 2006
72006
Relating fairness and timing in process algebras
F Corradini, MR Di Berardini, W Vogler
International Conference on Concurrency Theory, 446-460, 2003
72003
Spatial networks of hybrid I/O automata for modeling excitable tissue
E Bartocci, F Corradini, MR Di Berardini, E Entcheva, R Grosu, SA Smolka
Electronic Notes in Theoretical Computer Science 194 (3), 51-67, 2008
62008
Code mobility for pervasive computing
F Corradini, R Culmone, MR Di Berardini
13th IEEE International Workshops on Enabling Technologies: Infrastructure …, 2004
62004
Shape calculus: Timed operational semantics and well-formedness
E Bartocci, DR Cacciagrano, MR Di Berardini, E Merelli, L Tesei
arXiv preprint arXiv:1011.2488, 2010
52010
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments
E Bartocci, MR Di Berardini, E Merelli, L Vito
Journal of integrative bioinformatics 9 (1), 12-31, 2012
42012
Automated analysis of MUTEX algorithms with FASE
F Buti, MC De Donato, F Corradini, MR Di Berardini, W Vogler
arXiv preprint arXiv:1106.1231, 2011
42011
Fairness of components in system computations
F Corradini, MR Di Berardini, W Vogler
Electronic Notes in Theoretical Computer Science 128 (2), 35-52, 2005
32005
The system can't perform the operation now. Try again later.
Articles 1–20