Maria Rita Di Berardini

24 papers B 3C 2Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2014 C conf
CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems.
ICFEM
Francesco De Angelis, Maria Rita Di Berardini, Henry Muccini, Andrea Polini
2012 J jnl
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.
J. Integr. Bioinform.
Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito
2011 J jnl
A Framework for the Evaluation of Worst-Case System Efficiency
CoRR
Massimo Callisto De Donato, Maria Rita Di Berardini
2011 — conf
Automated Analysis of MUTEX Algorithms with FASE
GandALF
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2011 J jnl
Evaluating the Efficiency of Asynchronous Systems with FASE
CoRR
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2011 — conf
Read Operators and their Expressiveness in Process Algebras
EXPRESS
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2011 — conf
Towards Abstraction-Based Verification of Shape Calculus.
SASB
Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 J jnl
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comput. Sci.
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 J jnl
Shape Calculus: Timed Operational Semantics and Well-formedness
CoRR
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2010 J jnl
Timed Operational Semantics and Well-Formedness of Shape Calculus.
Sci. Ann. Comput. Sci.
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009 — conf
A Shape Calculus for Biological Processes.
ICTCS
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
2009 J jnl
Liveness of a mutex algorithm in a fair process algebra.
Acta Informatica
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2009 J jnl
Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci.
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu
2009 B conf
Time and Fairness in a Process Algebra with Non-blocking Reading.
SOFSEM
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2007 — conf
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
FBTC@CONCUR
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
2006 B conf
Checking a Mutex Algorithm in a Process Algebra with Fairness.
CONCUR
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2006 J jnl
Fairness of Actions in System Computations.
Acta Informatica
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2006 J jnl
Fairness of components in system computations.
Theor. Comput. Sci.
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2005 — conf
Integrating Ontologies in Mobile Agents.
WOA
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini, Emanuela Merelli
2005 — —
Timing, efficiency and fairness of Asynchronous systems.
Maria Rita Di Berardini
2004 C conf
Code Mobility for Pervasive Computing.
WETICE
Flavio Corradini, Rosario Culmone, Maria Rita Di Berardini
2004 — conf
Fairness of Components in System Computations.
EXPRESS
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2003 B conf
Relating Fairness and Timing in Process Algebras.
CONCUR
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
2001 — conf
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.
APAQS
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler