Maria Rita Di Berardini

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems.
Proceedings of the Formal Methods and Software Engineering, 2014

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.
J. Integrative Bioinformatics, 2012

Towards Abstraction-Based Verification of Shape Calculus.
Electr. Notes Theor. Comput. Sci., 2012

Read Operators and their Expressiveness in Process Algebras
Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Automated Analysis of MUTEX Algorithms with FASE
Proceedings of Second International Symposium on Games, 2011

A Framework for the Evaluation of Worst-Case System Efficiency
CoRR, 2011

Evaluating the Efficiency of Asynchronous Systems with FASE
CoRR, 2011

Timed Operational Semantics and Well-Formedness of Shape Calculus.
Sci. Ann. Comp. Sci., 2010

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comp. Sci., 2010

Shape Calculus: Timed Operational Semantics and Well-formedness
CoRR, 2010

Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci., 2009

Liveness of a mutex algorithm in a fair process algebra.
Acta Inf., 2009

Time and Fairness in a Process Algebra with Non-blocking Reading.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

A Shape Calculus for Biological Processes.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
Electr. Notes Theor. Comput. Sci., 2008

Fairness of components in system computations.
Theor. Comput. Sci., 2006

Fairness of Actions in System Computations.
Acta Inf., 2006

Checking a Mutex Algorithm in a Process Algebra with Fairness.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Fairness of Components in System Computations.
Electr. Notes Theor. Comput. Sci., 2005

Integrating Ontologies in Mobile Agents.
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

Code Mobility for Pervasive Computing.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Relating Fairness and Timing in Process Algebras.
Proceedings of the CONCUR 2003, 2003

PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001