Skip to Main Content (Press Enter)

Logo UNIMI
  • ×
  • Home
  • Persone
  • Attività
  • Ambiti
  • Strutture
  • Pubblicazioni
  • Terza Missione

Expertise & Skills
Logo UNIMI

|

Expertise & Skills

unimi.it
  • ×
  • Home
  • Persone
  • Attività
  • Ambiti
  • Strutture
  • Pubblicazioni
  • Terza Missione
  1. Persone
Persona
RICCOBENE ELVINIA MARIA

RICCOBENE ELVINIA MARIA

PROFESSORE ORDINARIO
Dipartimento di Informatica Giovanni Degli Antoni

Gruppo 01/INFO-01 - INFORMATICA

Settore INFO-01/A - Informatica
  • Contatti
  •  elvinia.riccobene@unimi.it
  •  Rubrica di Ateneo
  •  02503 30055
  • Aree Di Ricerca
  • Progetti
  • Pubblicazioni
  • Premi E Incarichi Scientifici
  • Altre Attività
  • Cv

Settori (2)


PE6_3 - Software engineering, operating systems, computer languages - (2016)

PE6_4 - Theoretical computer science, formal methods, and quantum computing - (2016)

Parole chiave (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

Ricerca finanziata (7)

  • crescente
  • decrescente
Basi di dati in outsourcing: modelli e tecniche per la protezione dei dati 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2007
Controllo dell'accesso a dati forniti in outsourcing 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2006
Controllo dell'accesso per la protezione di dati sensibili 
PUR20062008 - PUR 2006-2008
Progetto
Partecipante
2008
Data-Centric Genomic Computing (GenData 2020) 
PRIN10-11 - PRIN bando 2010-11
Progetto
Partecipante
2013
36 mesi
Milano Ventilatore Meccanico in presenza d'incertezza (MVM-Adapt) 
FISR - Fondo integrativo speciale per la ricerca
Progetto
Responsabile scientifico
2021
6 mesi
Protezione di dati sensibili in scenari aperti 
PUR90 - PUR 90%
Progetto
Partecipante
2009
SAFEST: Trust assurance of Digital Twins for medical cyber-physical systems 
PRIN2022 - PRIN bando 2022
Progetto
Responsabile scientifico
2023
24 mesi
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}

Pubblicazioni (132)

  • crescente
  • decrescente
  • Tutti
  • All
  • Open
  • Partially Open
  • Mixed
  • Embargoed
  • Reserved

Premi e riconoscimenti (5)

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

Ricerca e didattica presso enti (6)

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

Congressi (4)

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

Collegi di dottorato (19)

  • crescente
  • decrescente
Università degli Studi di MILANO - INFORMATICA-2023 (ciclo: 39 - Anno: 2023 2023 )
Università degli Studi di MILANO - INFORMATICA-2022 (ciclo: 38 - Anno: 2022 2022 )
Università degli Studi di MILANO - INFORMATICA-2021 (ciclo: 37 - Anno: 2021 2021 )
Università degli Studi di MILANO - INFORMATICA-2020 (ciclo: 36 - Anno: 2020 2020 )
Università degli Studi di MILANO - INFORMATICA-2019 (ciclo: 35 - Anno: 2019 2019 )
Università degli Studi di MILANO - INFORMATICA-2018 (ciclo: 34 - Anno: 2018 2018 )
Università degli Studi di MILANO - INFORMATICA-2017 (ciclo: 33 - Anno: 2017 2017 )
Università degli Studi di MILANO - INFORMATICA-2016 (ciclo: 32 - Anno: 2016 2016 )
Università degli Studi di MILANO - INFORMATICA-2015 (ciclo: 31 - Anno: 2015 2015 )
Università degli Studi di MILANO - INFORMATICA-2014 (ciclo: 30 - Anno: 2014 2014 )
Università degli Studi di MILANO - INFORMATICA-2013 (ciclo: 29 - Anno: 2013 2013 )
Università degli Studi di MILANO - INFORMATICA-2012 (ciclo: 28 - Anno: 2012 2012 )
Università degli Studi di MILANO - INFORMATICA-2011 (ciclo: 27 - Anno: 2011 2011 )
Università degli Studi di MILANO - INFORMATICA-2010 (ciclo: 26 - Anno: 2010 2010 )
Università degli Studi di MILANO - INFORMATICA-2009 (ciclo: 25 - Anno: 2009 2009 )
Università degli Studi di MILANO - INFORMATICA-2008 (ciclo: 24 - Anno: 2008 2008 )
Università degli Studi di MILANO - INFORMATICA-2007 (ciclo: 23 - Anno: 2007 2007 )
Università degli Studi di MILANO - INFORMATICA-2006 (ciclo: 22 - Anno: 2006 2006 )
Università degli Studi di CATANIA - INFORMATICA-2003 (ciclo: 19 - Anno: 2003 2003 )
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}

Tutoraggio

tutorship - Dottorandi - LILLI MARIO (01/11/2020 - 17/04/2024) 20201101
No Results Found

Pdf

elvinia_riccobene.pdf
  • Informazioni
  • Assistenza
  • Accessibilità
  • Privacy
  • Utilizzo dei cookie
  • Note legali

Realizzato con VIVO | Progettato da Cineca | 24.12.0.7