RICCOBENE ELVINIA MARIA
RICCOBENE ELVINIA MARIA
Settori (5)
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 (2)
2013
2013
No Results Found
Pubblicazioni (121)
Premi E Riconoscimenti (5)
No Results Found
Ricerca E Didattica Presso Enti (6)
Visiting Researcher - Visiting Researcher -
presso: University of Virginia
(13/07/2016 - 10/09/2016)
20160713
Visiting Researcher - Visiting Researcher -
presso: Florida Atlantic University di Boca Raton,
(04/08/2011 - 05/09/2011)
20110804
Visiting Researcher - Visiting Researcher -
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
Visiting Researcher - Visiting Researcher -
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 Researcher - Visiting Researcher -
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 Researcher - Visiting Researcher -
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 (2013-01-01 12:22:03.589 - )
20130101
Program chair (presidente/responsabile del comitato scientifico) - Dagstuhl Seminar: 28-0113 "Integration of Tools for Rigorous Software Construction and Analysis" (2013-01-01 12:22:03.559 - )
20130101
Program chair (presidente/responsabile del comitato scientifico) - Third International Conference ABZ 2012 (2012-01-01 12:22:03.544 - )
20120101
Program chair (presidente/responsabile del comitato scientifico) - 10th International Workshop on Abstract State Machines (2003-01-01 12:22:03.578 - )
20030101
No Results Found
Collegi Di Dottorato (15)
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