Maria Rita Di Berardini
According to our database1, Maria Rita Di Berardini authored at least 23 papers between 2001 and 2014.
Legend:Book In proceedings Article PhD thesis Other
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
Evaluating the Efficiency of Asynchronous Systems with FASE
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
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