Maria Rita Di Berardini

According to our database, Maria Rita Di Berardini authored at least 23 papers between 2001 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems.

Francesco De Angelis, Maria Rita Di Berardini, Henry Muccini, Andrea Polini

Proceedings of the Formal Methods and Software Engineering, 2014

2012

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

2011

Towards Abstraction-Based Verification of Shape Calculus.

Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

Read Operators and their Expressiveness in Process Algebras

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Automated Analysis of MUTEX Algorithms with FASE

Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Proceedings of Second International Symposium on Games, 2011

A Framework for the Evaluation of Worst-Case System Efficiency

Massimo Callisto De Donato, Maria Rita Di Berardini

CoRR, 2011

Evaluating the Efficiency of Asynchronous Systems with FASE

Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

CoRR, 2011

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

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

Shape Calculus: Timed Operational Semantics and Well-formedness

Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

CoRR, 2010

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

Liveness of a mutex algorithm in a fair process algebra.

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Acta Informatica, 2009

Time and Fairness in a Process Algebra with Non-blocking Reading.

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

A Shape Calculus for Biological Processes.

Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2007

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

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

2006

Fairness of components in system computations.

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Theor. Comput. Sci., 2006

Fairness of Actions in System Computations.

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Acta Informatica, 2006

Checking a Mutex Algorithm in a Process Algebra with Fairness.

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Timing, efficiency and fairness of Asynchronous systems.

Maria Rita Di Berardini

PhD thesis, 2005

Integrating Ontologies in Mobile Agents.

Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

2004

Code Mobility for Pervasive Computing.

Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

2003

Relating Fairness and Timing in Process Algebras.

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Proceedings of the CONCUR 2003, 2003

2001

PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.

Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001