DI BERARDINI, Maria Rita
DI BERARDINI, Maria Rita
Scuola di Scienze e Tecnologie
A Shape Calculus for Biological Processes
2009-01-01 Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Automated Analysis of MUTEX Algorithms with FASE
2011-01-01 Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, Walter
Checking a Mutex Algorithm in a Process Algebra with Fairness
2006-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, V.
Code Mobility for Pervasive Computing
2004-01-01 Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita
Fairness of Actions in System Computations
2006-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Fairness of Components in System Computations
2005-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Fairness of components in system computations
2006-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Integrating Ontologies in Mobile Agents
2005-01-01 Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita; Merelli, Emanuela
Liveness of a Mutex Algorithm in a Fair Process Algebra
2009-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata
2009-01-01 Bartocci, E.; Corradini, Flavio; DI BERARDINI, Maria Rita; Encheva, E.; Smolka, S. A.; Grosu, R. :.
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.
2001-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Read Operators and their Expressiveness in Process Algebras
2011-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Walter, Vogler
Relating Fairness and Timing in Process Algebras
2003-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
2010-01-01 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Shape Calculus: A spatial calculus for 3D colliding shapes
2009-01-01 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Shape Calculus: Timed Operational Semantics and Well-Formedness
2010-01-01 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Spatial Network of Hybrid I/O Automata for Modelling Excitable Tissue
2008-01-01 Bartocci, E; Corradini, Flavio; DI BERARDINI, Maria Rita; Entcheva, E; Grosu, R; Smolka, A. S.
Time and Fairness in a Process Algebra with Non-blocking Reading
2009-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Timed Operational Semantics and Well-Formedness of Shape Calculus
2010-01-01 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Towards Abstraction-Based Verification of Shape Calculus
2012-01-01 Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A Shape Calculus for Biological Processes | 1-gen-2009 | Bartocci, Ezio; DI BERARDINI, Maria Rita; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su volume | |
Automated Analysis of MUTEX Algorithms with FASE | 1-gen-2011 | Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, Walter | Contributo in atto di convegno su rivista | |
Checking a Mutex Algorithm in a Process Algebra with Fairness | 1-gen-2006 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, V. | Contributo in atto di convegno su volume | |
Code Mobility for Pervasive Computing | 1-gen-2004 | Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita | Contributo in atto di convegno su volume | |
Fairness of Actions in System Computations | 1-gen-2006 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Articolo | |
Fairness of Components in System Computations | 1-gen-2005 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Articolo | |
Fairness of components in system computations | 1-gen-2006 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Articolo | |
Integrating Ontologies in Mobile Agents | 1-gen-2005 | Corradini, Flavio; Culmone, Rosario; DI BERARDINI, Maria Rita; Merelli, Emanuela | Contributo in atto di convegno su volume | |
Liveness of a Mutex Algorithm in a Fair Process Algebra | 1-gen-2009 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Articolo | |
Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata | 1-gen-2009 | Bartocci, E.; Corradini, Flavio; DI BERARDINI, Maria Rita; Encheva, E.; Smolka, S. A.; Grosu, R. :. | Articolo | |
PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. | 1-gen-2001 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Contributo in atto di convegno su volume | |
Read Operators and their Expressiveness in Process Algebras | 1-gen-2011 | Corradini, Flavio; DI BERARDINI, Maria Rita; Walter, Vogler | Contributo in atto di convegno su rivista | |
Relating Fairness and Timing in Process Algebras | 1-gen-2003 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Contributo in atto di convegno su volume | |
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes | 1-gen-2010 | Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca | Articolo | |
Shape Calculus: A spatial calculus for 3D colliding shapes | 1-gen-2009 | Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca | Altro | |
Shape Calculus: Timed Operational Semantics and Well-Formedness | 1-gen-2010 | Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca | Altro | |
Spatial Network of Hybrid I/O Automata for Modelling Excitable Tissue | 1-gen-2008 | Bartocci, E; Corradini, Flavio; DI BERARDINI, Maria Rita; Entcheva, E; Grosu, R; Smolka, A. S. | Contributo in atto di convegno su rivista | |
Time and Fairness in a Process Algebra with Non-blocking Reading | 1-gen-2009 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Contributo in atto di convegno su volume | |
Timed Operational Semantics and Well-Formedness of Shape Calculus | 1-gen-2010 | Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca | Articolo | |
Towards Abstraction-Based Verification of Shape Calculus | 1-gen-2012 | Buti, Federico; CALLISTO DE DONATO, Massimo; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su rivista |