PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (APAQS, 2001)

Relating Fairness and Timing in Process Algebras. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (CONCUR, 2003)

Code Mobility for Pervasive Computing. - Flavio Corradini; Rosario Culmone; Maria Rita Di Berardini (WETICE, 2004)

Integrating Ontologies in Mobile Agents. - Flavio Corradini; Rosario Culmone; Maria Rita Di Berardini; Emanuela Merelli (WOA, 2005)

Timing, efficiency and fairness of Asynchronous systems. - Maria Rita Di Berardini (2005)

Checking a Mutex Algorithm in a Process Algebra with Fairness. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (CONCUR, 2006)

Fairness of Actions in System Computations. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (Acta Informatica, 2006)

Fairness of components in system computations. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (Theor. Comput. Sci., 2006)

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emilia Entcheva; Radu Grosu; Scott A. Smolka (FBTC@CONCUR, 2007)

A Shape Calculus for Biological Processes. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (ICTCS, 2009)

Time and Fairness in a Process Algebra with Non-blocking Reading. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (SOFSEM, 2009)

Liveness of a mutex algorithm in a fair process algebra. - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (Acta Informatica, 2009)

Modeling and simulation of cardiac tissue using hybrid I/O automata. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emilia Entcheva; Scott A. Smolka; Radu Grosu (Theor. Comput. Sci., 2009)

Shape Calculus: Timed Operational Semantics and Well-formedness - Ezio Bartocci; Diletta Romana Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (CoRR, 2010)

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (Sci. Ann. Comput. Sci., 2010)

Timed Operational Semantics and Well-Formedness of Shape Calculus. - Ezio Bartocci; Diletta Romana Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (Sci. Ann. Comput. Sci., 2010)

Evaluating the Efficiency of Asynchronous Systems with FASE - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (CoRR, 2011)

A Framework for the Evaluation of Worst-Case System Efficiency - Massimo Callisto De Donato; Maria Rita Di Berardini (CoRR, 2011)

Automated Analysis of MUTEX Algorithms with FASE - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (GandALF, 2011)

Read Operators and their Expressiveness in Process Algebras - Flavio Corradini; Maria Rita Di Berardini; Walter Vogler (EXPRESS, 2011)

Towards Abstraction-Based Verification of Shape Calculus. - Federico Buti; Massimo Callisto De Donato; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (SASB, 2011)

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. - Ezio Bartocci; Diletta Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Leonardo Vito (J. Integr. Bioinform., 2012)

CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems. - Francesco De Angelis 001; Maria Rita Di Berardini; Henry Muccini; Andrea Polini (ICFEM, 2014)