My research Interests mainly concern with:

• Modeling and Verification of Real-time Systems: (Timed) Process Algebras, (Timed) Automata, Hybrid Automata;
• Performance and Perfomability-Aware Computing: efficiency preorders, qualitative and quantitative efficiency measures;
• Relationships between timing and non-functional properties (e.g. fairness and liveness) of systems;
• Formal models for Systems Biology: modeling and simulation of excitable tissues with hybrid automata, spacial properties of biological systems.

Research Groups
I'm a member of CoSy, Complex Systems research. Coordinator Prof. Flavio Corradini

Projects

• PaCo - Performability Aware-Computing: Performability-Aware Computing: Logics, Models, and Languages. PRIN Italian funds. In progress. Member of the Unit of Camerino
• Laboratory for Interdisciplinary Technologies in Bioinformatics (LITBIO) - Italian Investment Funds for Basic Research (FIRB) 2005-2010. In progress. Member of Unit of Camerino.

Journal Papers

1. E. Bartocci, D. R. Cacciagrano, M. R. Di Berardini, E. Merelli, L. Tesei: Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comp. Sci. 20: 32-52 (2010).
2. E. Bartocci, D. R. Cacciagrano, M. R. Di Berardini, E. Merelli, L. Tesei: Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comp. Sci. 20: 1-31 (2010).
3. F. Corradini, M. R. Di Berardini and W. Vogler: Liveness of a Mutex Algorithm in a Fair Process Algebra. Acta Inf. 46(3): 209-235 (2009)
4. E. Bartocci, F. Corradini, M. R. Di Berardini, E. Entcheva, S. A. Smolka and R. Grosu: Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009)
5. F. Corradini, M. R. Di Berardini, W. Vogler: Fairness of Actons in System Computations. Acta Inf. 43(2):73-130 (2006)
6. F. Corradini, M. R. Di Berardini, W. Vogler: Fairness of Components in System Computations. Theor. Comput. Sci. 356(3):291-324 (2006)

Conference and Workshops Proceedings

1. F. Buti, M. Callisto De Donato, F. Corradini, M. R. Di Berardini, W. Vogler: Automated Analysis of MUTEX Algorithms with FASE. To be published In Proc. of GandALF 2011 (2011).
2. E. Bartocci, F. Corradini, M. R. Di Berardini, E. Merelli, L. Tesei: A Shape Calculus for Biological Processes. In Proc. of ICTCS 2009.
3. F. Corradini, M. R. Di Berardini, W. Vogler: Time and Fairness in a Process Algebra with Non-Blocking Reading. In Proc. of SOFSEM 2009, LNCS 5404: 193-204 (2009).
4. E. Bartocci, F. Corradini, M. R. Di Berardini, E. Entcheva, R. Grosu, S. A. Smolka: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. In Proc. of FBTC 2007, Elect. Notes Theor. Comput. Sci. 194(3): 51-67 (2008).
5. F. Corradini, M. R. Di Berardini, W. Vogler: Checking a Mutex Algorithm in a Process Algebra with Fairness. In Proc. of CONCUR 2006, LNCS 4137:142-152 (2006).
6. F. Corradini, R. Culmone, M. R. Di Berardini, E. Merelli: Integrating Ontologies in Mobile Agents. In Proc. of WOA 2005:37-45 (2005).
7. F. Corradini, M. R. Di Berardini, W. Vogler: Fairness of Components in Systems Computations. In Proc. of EXPRESS 2004, Electr. Notes Theor. Comput. Sci. 128(2): 35-52 (2005).
8. F. Corradini, R. Culmone, M. R. Di Berardini: Code Mobility for Pervasive Computing. In Proc. of WETICE 2004:431-432 (2004).
9. F. Corradini, M. R. Di Berardini, W. Vogler: Relating Fairness and Timing in Process Algebras. In Proc. of CONCUR 2003, LNCS 2761:438-452 (2003).
10. F. Corradini, M. R. Di Berardini, W. Vogler: PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. In Proc. of APAQS 2001, IEEE Computer Society 2001:231-240 (2001).

Internal/Technical Reports

• F. Corradini, M. R. Di Berardini, W. Vogler: Time and Fairness in a Process Algebra with Non-Blocking Reading - TR 2008-13, Univ. of Augsburg.
• F. Corradini, M. R. Di Berardini, W. Vogler: Liveness of a Mutex Algorithm in a Fair Process Algebra - TR 2008-03, Univ. of Augsburg.
• F. Corradini, M. R. Di Berardini, W. Vogler: Fairness of Components in System Computations - TR 2005-03, Univ. of Augsburg.
• F. Corradini, M. R. Di Berardini, W. Vogler: Fairness of Actions in System Computations - TR 2005-02, Univ. of Augsburg.
• F. Corradini, M. R. Di Berardini, W. Vogler: PAFAS at work: Comparing the Worst-Case Efficiency of Three Buffer Implementations - Internal Report 1-2001, Univ. of L'Aquila.

PhD Thesis
Title: Timing, Efficiency and Fairness of Asynchronous Systems, Supervisor: Prof. Flavio Corradini (University of L'Aquila, April 2001)