Menu:

UPCOMING Events:

Links:

Contact Information

   Elvinia Riccobene
   Department of Computer Science, Università degli Studi di Milano
   Via Bramante 65 - 26013 Crema (CR), Italy
   Phone: +39-02-50330055
   Fax: +39-02-50330010
   email: elvinia.riccobene@unimi.it
   www: http://www.dti.unimi.it/riccobene


Education

- Ph.D. in Mathematics (IV cycle), 1993. Thesis "Formal Models for Logic Languages" (Prof. Egon Boerger, Univ. of Pisa, supervisor)
- Laurea Degree in Mathematics, 1987, University of Catania.


Positions

CURRENT POSITION
Associate Professor in Computer Science at the University of Milano (from 1/11/2004)

PREVIOUS POSITIONS
- Associate Professor in Computer Science for the Faculty of Sciences at the University of Catania (from 1/1/2000 till 1/11/2004)
- Assistant Professor in Computer Science for the Faculty of Sciences at the University of Catania (from 14/6/1994 to 31/12/1999)
- Teacher of Mathematics at undergraduate school (from 1/11/1992 till 13/6/1994)

VISITING POSITIONS
-
Visiting scholar at Department of Electrical and Computer Engineering, University of Virginia (USA), July-September 2016.
- Visiting researcher at the Department of Computer & Electrical Engineering and Computer Science, Florida Atlantic University (USA), Aug. 2011.
- Visiting researcher at the Centre For High Assurance Computer System, Naval Research Laboratory, Washington DC, Nov. 1997-Oct. 1998.
- Visiting student at the Department of Computer Science, University of Bristol, Oct-Dec 1991 and Mar-Jun 1992.
- Visiting student at the Institute fuer Logik, Komplexitaet und Deduktionssysteme, University of Karlsruhe (Germany), July- Nov. 1990.


Research

I am currently the Scientific Coordinator of the FM&SE Lab (Formal Methods and Software Engineering Laboratory)

RESEARCH INTERESTS

 - Formal methods and their application to the Software Engineering
 
- Model-based development and analysis (validation and verification) techniques for software applications
 
- Integration of Formal Methods and Model-Driven Engineering
 
- Testing and monitoring at runtime
 
- Modeling Service-Oriented Applications
 
- Techniques of Model-Driven Development for the definition of languages ​​and development environments
 - Metamodelling techniques for high-level system description, and refinement techniques
 
- Abstract State Machines (ASM)



RESEARCH ACTIVITY
Research activity regarding formal methods and their application to SE problems, as well as the integration between formal and semi-formal methods, and specification and analysis of complex systems has concerned the following topics:

* Development of techniques of model review for the validation of models.
* Definition of techniques for
model-based testing in the presence of nondeterminism.
* Definition of techniques to combine
model-based tesing and runtime monitoring for program testing in the presence of nondeterminism.
* Development of techniques for at run-time checking and monitoring of Java programs.
* Definition of a model-driven methodology for the design of embedded systems based on the integration between UML profiles and formal methods.
* Definition of a modeling framework for self-adaptation.
* Definition of a modeling framework and a reliability model for service-oriented component systems.
* Definition of an integration methodology between ASMs (Abstract State Machines) and lightweight methods used for the object-oriented software design and systems development process.
* Definition of a complete and precise operational semantics of the behavioral UML diagrams (activity diagrams and statcharts) using the ASMs.
* Definition of operational semantics for logic languages with parallelism and constraints.
* Definition, by means of metamodelling, of an interchange language among ASM models; it allows ASM tools interoperability and the development of a new ASM simulator.
* Specification and verification of authentication systems and cryptographic protocols.
* Definition of a method to make proofs of ASM specification using the theorem prover PVS (Prototype Verification System); this method has been successfully applied to prove security properties of authentication protocols.
* Definition of proof systems which allow ‘human-style reasoning’ on mathematical models of real-time systems.
* Definition of criteria for the compositionality of ASM models; definition of model compatibility rules and models consistency tests.
* Definition of a method, and its implementation using automatic tools, for the validation of critical security systems by means of test cases generation from ASM specifications; definition of coverage criteria for the automatic generation of test cases from ASM specifications.
* Definition of a new approach for critical reactive systems validation based on graphical animation.

MEMBERSHIP OF ORGANIZING AND PROGRAM COMMETTES

List of Conferences I have chaired or I have been member of the Program Committee

EDITORIAL ACTIVITIES

Guest Editor
Special Issue on Abstract State Machine, Alloy, B, VDM and Z formal methods. SCIENCE OF COMPUTER PROGRAMMING, ISSN: 0167-6423, S. Reeves, E. Riccobene (eds.)

Volume Editor
- Elvinia Riccobene (ed.) (2013). Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community.
http://arxiv.org/abs/1310.2464. ISBN 978-88-904388-4-4
- John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Riccobene E (a cura di) (2012). Abstract State Machines, Alloy, B, VDM, and Z. Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. LECTURE NOTES IN COMPUTER SCIENCE, vol. 7316, Springer, ISBN: 978-3-642-30884-0, ISSN: 0302-9743
- BOERGER E., GARGANTINI A., RICCOBENE E (2003). Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings. vol. LNCS 2589, BERLIN:Springer, ISBN: 3540006249

REFEREEING DUTIES

I have acted as a referee for the following international journal:

- Transactions on Software Engineering, Transactions on Industrial Informatics
- Transactions on Services Computing
- Theoretical Computer Science
- Formal Aspects of Computing
- Science of Computer Programming
- Journal of Universal Computer Science
- Software: Practice and Experience
- International Journal of Software and Informatics
- Journal of Software: Evolution and Process
- Journal Design Automation for Embedded Systems
- Innovations in Systems and Software Engineering
- IEEE Systems Journal
- Transactions on Large Scale Data and Knowledge Centered Systems
- Journal of Systems Architecture
- International Journal of Advances Software
- ISRN Software Engineering

I have been scientic reviewer of research projects submitted to:

- Spanish Ministry of Science and Innovation (Consolider Programme)
- Austrian Science Fund FWF

INVITED SEMINARS

- "A Formal Analysis of the Kerberos Authentication System", December 1997, Michigan Univerisity;
- "Aspetti di Concorrenza in UML", December 2001, Dipartimento di Informatica, University of  Pisa;
- "Towards an Interchange Language for ASMs", November 2003, Dipartimento di Informatica, University of Pisa;
- "Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis", 26 August 2011, FAU, Boca Raton, Florida;
- "Formal modelling and analysis of self-adaptive systems", June 24, 2015, Department of Distributed and Dependable Systems, Charles University in Prague, Rep. Ceca;
- "Formal design and verification of self-adaptive systems with decentralized control", June 21, 2016, Dipartimento di Informatica, Università di Pisa;
- "Abstract State Machines. A way to model applications for automata processing", August 6, 2016, Center for Automata Processing, University of Virginia (USA);
- "Integrating Formal Methods into medical Software development: the Abstract State Machine approach", August 30, 2016, Center For High Assurance Computer System, Naval Research Laboratory, Washington DC, USA.

RESEARCH PROJECTS

List of progects I participate/have participated.

SCIENTIFIC SUPERVISOR

I have acted as supervisor of the following assistant research projects and positions:

-- Assegno di Ricerca, Dott. Scandurra Patrizia (10/2006 - 12/2008), University of Milan
-- Borsa di studio Giovani Promettenti, Dott. Carioni Alessandro (09/2007 - 12/2008), University of Milan

CO-AUTHORS

I have published papers, or edited volumes, with the following co-authors:

Fabio Albani, Paolo Arcaini, Myla Archer, Marianna Nicolosi Asmundo, Christoph Beierle, Giampaolo Bella, Stefano Bistarelli, Sara Bocchio, Egon Boerger, Davide Brugali, Alessandro Carioni, Alessandra Cavarra, Wim Dehaene, John Derrick, Igor Durdanovic, John A. Fitzgerald, Angelo Gargantini, Uwe Glaesser, Luca Gherardi, Stefania Gnesi, Steve Gregory, Yuri Gurevich, Connie Heitmeyer, Sarfraz Khurshid, Luigi Lavazza, Michael Leuschel, John Lloyd, Luca Mantellini, Raffaela Mirandola, Angelo Morzenti, Wolfgang Mueller, Pasqualina Potena, Steve Reeves, Salvatore Rinzivillo, Alberto Rosti, Patrizia Scandurra, Joachim Schmid, Peter Schmitt, Yves Vanderperren, Andrea Zavanella.


Teaching

COURSE TAUGHT

Ph.D Courses:

- Formal Methods for System Specificationa and Verification, Ph.D in Computer Science, University of Catania, A.A. 2003/04
- Rigorous UML-like Modeling Techniques, 14th International School for Computer Science Researchers, Lipari 2002
- Abstract State Machines as specification and verification method for hardware and software systems, Ph.D in Computer Science, University of Catania, A.A. 96/97

Undergraduate and graduate courses:

- Modellazione e l'Analisi di Sistemi, Laurea Specialistica in Sicurezza Informatica, University of Milan, A.A. 2008/09, 2009/10, 2010/11, 2011/12, 2012/13
- Progettazione del Software, Laurea in Informatica, University of  Milan, A.A. 2011/12, 2012/13
- Progettazione del Software Sicuro, Laurea in Sicurezza dei Sistemi e delle Reti Informatiche, University of  Milan, A.A. 2011/12, 2012/13
- Progettazione del Software Sicuro, Laurea on-line in Sicurezza dei Sistemi e delle Reti Informatiche, University of  Milan, A.A. 2011/12, 2012/13
- Linguaggi di Programmazione per la sicurezza, LT Sicurezza dei Sistemi e delle Reti Informatiche, University of  Milan, A.A. 2006/07, 2007/08, 2008/09, 2009/10, 2010/11
- Linguaggi di Programmazione per la sicurezza, LT on line Sicurezza dei Sistemi e delle Reti Informatiche, University of Milan, A.A. 2006/07, 2007/08, 2008/09, 2009/10, 2010/11
- Metodi per il Ragionamento Automatico, LM Scienze e Tecnologie dell'Informazione, University of  Milan, A.A. 2004/05, 2005/06, 2006/07, 2007/08, 2008/09, 2009/10, 2010/11, 2011/12, 2012/13
- Tecniche per la Verifica Formale di sistemi, LM Scienze e Tecnologie dell'Informazione, University of  Milan, A.A. 2006/07, 2007/08
- Metodi Formali dell'Informatica, LM Scienze e Tecnologie dell'Informazione, University of  Milan, A.A. 2004/05, 2005/06
- Ingegneria del Software, Laurea in Informatica, University of Catania, A.A. 1998/99, 1999/00, 2000/01, 2001/02, 2002/03, 2003/04
- Programmazione e Laboratorio 2, Laurea in Informatica, University of Catania, A.A. 1998/99, 1999/00, 2000/01, 2001/02, 2002/03, 2003/04
- Laboratorio di Informatica, Laurea in Scienze Biologiche, University of Catania, A.A. 2002/03
- Sistemi per l'Elaborazione dell'Informazione 1, Laurea in Informatica, University of Catania, A.A. 94/95, 95/96
- Logica della Programmazione, Laurea in Informatica, University of Catania, A.A. 94/95, 95/96
- Linguaggi di Programmazione, Laurea in Informatica, University of Catania, A.A. 95/96, 96/97, 97/98

Master Courses:

- Software Design and Analysis, Master ITC (Information and Communication Technology), University of Catania, 2003 and  2005
- Object Oriented Programming, Master ITC (Information and Communication Technology), University of Catania, 2003 and 2005

Specialization school for teaching in secondary educational programs

- Software Engineering, SISSIS (Scuola Interuniversitaria Siciliana di Specializzazione per l'Insegnamento Secondario), University of Catania, A.A. 99/00, 2001/02, 2002/03
- Introduction to the Computer Science, COF (Centro Orientamento Formazione), University of Catania, 2000, 2001, 2002
- Introduction to the Computer Science, Training Course for "Technicians for detection of degradation and restoration design for archaeological, bibliographical and historical-artistic" University of Catania, 1996
- Computer Science, Opera Universitaria, University of Catania, 1989

GRADUATE SUPERVISION

PhD. Students

Member of the PHD ADJUDICATION COMMITTEE, Institutt for Informatikk, Universitetet i Oslo, for the PhD Dissertation di Jan P. Nytun " Consistency Modeling by Attaching Semantics to a Multi-Model Architecture- Integrate and celebrate the Diversity", Ph.D thesis, Oct. 2010

M.Sc. Students

B.Sc. Students

Awards

- Best Paper Award A-MOST 2013: P.Arcaini, A. Gargantini, E. Riccobene (2013). Combining Model-Based Tesing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism, A-MOST 2013, 9th Workshop on Advances in Model Based Testing, Luxembourg, March 22 2013
- Best Paper Award IEEE ICSEA 2009: A. Gargantini, E. Riccobene, P. Scandurra (2009). Integrating formal methods with model-driven engineering. In: The Fourth International conference on software engineering advances, ICSEA 2009 : 20-25 september 2009, Porto, Portugal : proceedings. Porto, 2009, p. 86-92, Institute of electrical and electronics engineers, ISBN: 9780769537771
- Best Paper Award IEEE FDL 2008: A. Gargantini, E. Riccobene, P. Scandurra, A. Carioni (2008). Scenario-based validation of embedded systems. In: Forum on specification & design languages : proceedings : Stuttgart, Germany, september 23-25, 2008. Stuttgart, Germany, 2008, p. 191-196, Institute of electrical and electronics engineers, ISBN: 9781424422647
- Best Paper Award IEEE FDL 2007: S. BOCCHIO, RICCOBENE E, A. ROSTI, P. SCANDURRA (2007). A complete SystemC UML profile with
dynamic features for behavioural descriptions. In: Forum on specification and Design Languages,Spain, September 18-20, 2007, ISBN: 9782953050400.
- Alfiere del Lavoro 1983,  honorary title awarded annually by the President of the Italian Republic at the best 25 students in Italy


University Service Offices

I have served as a member of several university boards:

- Coordinator COMMISSION GUIDANCE IN OUTPUT, Degree Courses of the Department of Computer Science, University of Milan, from November 2016 to date;
- Member of the JOINT COMMITTEE, Degree Courses of the Department of Computer Science, University Milan, from 2013 to date;
- MANAGER of the post-graduate studies program SIDI (Information Technologies in Education Innovative), Department of Computer Science, University of Milan, 2011;
- DEPUTY DIRECTOR of the Department of Information Technologies, triennium 2007-2009 and triennium 2010-2012;
- Member of the Executive Council, Ph.D  School in Computer Science, University of Milan from 2013 to date;
- Member of the Academic Board, Ph.D School in Computer Science, University of Milan from 2010 to 2014;
- Member of the Joint Committee of Undergraduate (Laurea Triennale and Laurea Magistrale) in Computer Science and
Information Security, University of Milan, Crema Campus;
- Member of the Committee on the redesign of the Master of Science in Information Security, University of Milan, Crema Campus
- Member of the COMMISSION OF BEAUTY for the Department of Information Technology, University of Milan, period 2005-2007;
- Member of the Committee for the Assiciate Professor CONFIRMATION IN ROLE in the period 2002-2005;
- Member of the Committee on BENCHMARKING to a position
of Assistent Professor INF 01, Faculty Science MM.FF.NN. , University of Messina;
- Member of the Committee on BENCHMARKING to a position of Associate Professor INF 01, Faculty Science MM.FF.NN. , University of Messina;
- Member of the COMMISSION FUNDS AND CONSTRUCTION of the Faculty of Sciences MM.FF.NN. for three-year periods 1998-2000 and 2001-2003, University of Catania;
- Member of the Commission for the Project of the University "E-learning" as the representative of the Dean of the Faculty, 2003, University of Catania;
- Member of the Committee for the project CAMPUS
ONE for the Programme in Computer Science, University of Catania.

Publications