Person
RICCOBENE ELVINIA MARIA

RICCOBENE ELVINIA MARIA

PROFESSORE ORDINARIO
Dipartimento di Informatica Giovanni Degli Antoni

Fields (4)

Keywords (2)

FORMAL METHODS, ABSTRACT STATE MACHINES, MODELING, VERIFICATION, MODEL-DRIVEN ENGINEERING
METODI FORMALI, MACCHINE A STATI ASTRATTE, PROGETTAZIONE MODEL-DRIVEN, MODELLAZIONE, VERIFICA
No Results Found

Funded research (7)

Basi di dati in outsourcing: modelli e tecniche per la protezione dei dati 
PUR20062008 - PUR 2006-2008
Project
participant
2007
Controllo dell'accesso a dati forniti in outsourcing 
PUR20062008 - PUR 2006-2008
Project
participant
2006
Controllo dell'accesso per la protezione di dati sensibili 
PUR20062008 - PUR 2006-2008
Project
participant
2008
Data-Centric Genomic Computing (GenData 2020) 
PRIN10-11 - PRIN bando 2010-11
Project
participant
2013
36 months
Milano Ventilatore Meccanico in presenza d'incertezza (MVM-Adapt) 
FISR - Fondo integrativo speciale per la ricerca
Project
Scientific Manager
2021
6 months
Protezione di dati sensibili in scenari aperti 
PUR90 - PUR 90%
Project
participant
2009
SAFEST: Trust assurance of Digital Twins for medical cyber-physical systems 
PRIN2022 - PRIN bando 2022
Project
Scientific Manager
2023
29 months
No Results Found

Publications (149)

Awards and honors (5)

Best Paper Award IEEE A-MOST at ICST 2013, conferred by IEEE - 2013
Best Paper Award IEEE ICSEA 2009, conferred by IEEE - 2009
Best Paper Award IEEE FDL, conferred by IEEE - 2008
Best Paper Award IEEE FDL, conferred by IEEE - 2007
"Alfiere del Lavoro", conferred by Federazione Nazionale dei Cavalieri del Lavoro - 1983
No Results Found

Teaching and research activities with third-party institutions (6)

Position carried out at: University of Virginia (13/07/2016 - 10/09/2016)
Position carried out at: Florida Atlantic University di Boca Raton, (04/08/2011 - 05/09/2011)
Attività di ricerca presso il Center For High Assurance Computer System at: The Naval Research Laboratory of the United States of America (NRL) (11/11/1997 - 03/11/1998)
Visting John Lloyd for reaserch on the semantics of the Goedel Programming Language at: University of Bristol (01/03/1992 - 30/06/1992)
Visiting Steve Gregory for research on the semantics of the Pandora Programming Language at: University of Bristol (01/10/1991 - 31/12/1991)
Visiting Prof. Peter Schmitt at the Institute fuer Logik, Komplexitaet und Deduktionssysteme at: Universität Karlsruhe (01/07/1990 - 30/11/1990)
No Results Found

Conferences (4)

Program chair (presidente/responsabile del comitato scientifico) - Eclipse IT 2013: Mobile and Coordination (01/01/2013 - )
Program chair (presidente/responsabile del comitato scientifico) - Dagstuhl Seminar: 28-0113 "Integration of Tools for Rigorous Software Construction and Analysis" (01/01/2013 - )
Program chair (presidente/responsabile del comitato scientifico) - Third International Conference ABZ 2012 (01/01/2012 - )
Program chair (presidente/responsabile del comitato scientifico) - 10th International Workshop on Abstract State Machines (01/01/2003 - )
No Results Found

Doctoral Boards (21)

Università degli Studi di MILANO - INFORMATICA-2025 (cycle: 41 - Year: 2025 )
Università degli Studi di MILANO - INFORMATICA-2024 (cycle: 40 - Year: 2024 )
Università degli Studi di MILANO - INFORMATICA-2023 (cycle: 39 - Year: 2023 )
Università degli Studi di MILANO - INFORMATICA-2022 (cycle: 38 - Year: 2022 )
Università degli Studi di MILANO - INFORMATICA-2021 (cycle: 37 - Year: 2021 )
Università degli Studi di MILANO - INFORMATICA-2020 (cycle: 36 - Year: 2020 )
Università degli Studi di MILANO - INFORMATICA-2019 (cycle: 35 - Year: 2019 )
Università degli Studi di MILANO - INFORMATICA-2018 (cycle: 34 - Year: 2018 )
Università degli Studi di MILANO - INFORMATICA-2017 (cycle: 33 - Year: 2017 )
Università degli Studi di MILANO - INFORMATICA-2016 (cycle: 32 - Year: 2016 )
Università degli Studi di MILANO - INFORMATICA-2015 (cycle: 31 - Year: 2015 )
Università degli Studi di MILANO - INFORMATICA-2014 (cycle: 30 - Year: 2014 )
Università degli Studi di MILANO - INFORMATICA-2013 (cycle: 29 - Year: 2013 )
Università degli Studi di MILANO - INFORMATICA-2012 (cycle: 28 - Year: 2012 )
Università degli Studi di MILANO - INFORMATICA-2011 (cycle: 27 - Year: 2011 )
Università degli Studi di MILANO - INFORMATICA-2010 (cycle: 26 - Year: 2010 )
Università degli Studi di MILANO - INFORMATICA-2009 (cycle: 25 - Year: 2009 )
Università degli Studi di MILANO - INFORMATICA-2008 (cycle: 24 - Year: 2008 )
Università degli Studi di MILANO - INFORMATICA-2007 (cycle: 23 - Year: 2007 )
Università degli Studi di MILANO - INFORMATICA-2006 (cycle: 22 - Year: 2006 )
Università degli Studi di CATANIA - INFORMATICA-2003 (cycle: 19 - Year: 2003 )
No Results Found

Tutoring

tutorship - Dottorandi/e - LILLI MARIO
No Results Found