Maria Rita Di Berardini

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Dynamically Evolving

Web Usage Mining

Face Verification

Failure Prediction

Top Venues

Electron. Notes Theor. Comput. Sci.

J. Integr. Bioinform.

Publications

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