Maria Rita Di Berardini

According to our database1, Maria Rita Di Berardini
  • authored at least 23 papers between 2001 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2012
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

2011
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

2010
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

2009
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

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

2006
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

2005
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

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

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

2001
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


  Loading...