| 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 | 44 | 2009 |
| 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, 2010 | 38 | 2010 |
| 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 | 20 | 2001 |
| 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 | 17 | 2010 |
| Fairness of actions in system computations F Corradini, MRD Berardini, W Vogler Acta Informatica 43, 73-130, 2006 | 13 | 2006 |
| Cassandra: An online failure prediction strategy for dynamically evolving systems F De Angelis, MR Di Berardini, H Muccini, A Polini Formal Methods and Software Engineering: 16th International Conference on …, 2014 | 11 | 2014 |
| Time and fairness in a process algebra with non-blocking reading F Corradini, MR Di Berardini, W Vogler SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on …, 2009 | 11 | 2009 |
| A Shape Calculus for Biological Processes. E Bartocci, F Corradini, MR Di Berardini, E Merelli, L Tesei ICTCS 2009, 30-33, 2009 | 11 | 2009 |
| Shape calculus: A spatial calculus for 3d colliding shapes E Bartocci, F Corradini, MR Di Berardini, E Merelli, L Tesei | 9 | 2009 |
| 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 | 9 | 2008 |
| Checking a mutex algorithm in a process algebra with fairness F Corradini, MR Di Berardini, W Vogler CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006 | 8 | 2006 |
| Relating fairness and timing in process algebras F Corradini, MR Di Berardini, W Vogler CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003 | 8 | 2003 |
| Liveness of a mutex algorithm in a fair process algebra F Corradini, MR Di Berardini, W Vogler Acta Informatica 46, 209-235, 2009 | 7 | 2009 |
| Fairness of components in system computations F Corradini, MR Di Berardini, W Vogler Theoretical Computer Science 356 (3), 291-324, 2006 | 7 | 2006 |
| Code mobility for pervasive computing F Corradini, R Culmone, MR Di Berardini 13th IEEE International Workshops on Enabling Technologies: Infrastructure …, 2004 | 7 | 2004 |
| 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 | 5 | 2011 |
| 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 | 5 | 2010 |
| UBioLab: a web-LABoratory for Ubiquitous in-silico experiments E Bartocci, MR Di Berardini, E Merelli, L Vito Journal of Integrative Bioinformatics (JIB) 9 (1), 12-31, 2012 | 4 | 2012 |
| Fairness of components in system computations F Corradini, MR Di Berardini, W Vogler Electronic Notes in Theoretical Computer Science 128 (2), 35-52, 2005 | 3 | 2005 |
| Read operators and their expressiveness in process algebras F Corradini, MR Di Berardini, W Vogler arXiv preprint arXiv:1108.4466, 2011 | 2 | 2011 |
