IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.

AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.

RICCOBENE, ELVINIA MARIA

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Info

Dettaglio

Nome completo:

RICCOBENE, ELVINIA MARIA

struttura:

DIPARTIMENTO DI INFORMATICA "Giovanni Degli Antoni"

settore SSD:

Settore INF/01 - Informatica

Pubblicazioni (Tutti)

Risultati 1 - 20 di 106 (tempo di esecuzione: 0.001 secondi).

	Titolo	Data di pubblicazione	Autori	Tipo	File	Abstract
1	Weaving executability into UML class models at PIM level	2009	RICCOBENE, ELVINIA MARIA ; P. Scandurra	Book Part (author)	-
2	Visual notation and patterns for abstract state machines	2016	P. Arcaini; S. Bonfanti; A. Gargantini; RICCOBENE, ELVINIA MARIA	Book Part (author)	-
3	ViBBA : a toolbox for automatic model driven animation	2005	A. GARGANTINI; RICCOBENE, ELVINIA MARIA	Book Part (author)	-	-
4	Using mutation to assess fault detection capability of model review	2015	P. Arcaini; A. Gargantini; RICCOBENE, ELVINIA MARIA	Article (author)	riservati
5	Unified syntax for abstract state machines	2016	P. Arcaini; S. Bonfanti; M. Dausend; A. Gargantini; A. Mashkoor; A. Raschke; RICCOBENE, ELVINIA MARIA ; P. Scandurra; M. Stegmaier	Book Part (author)	-
6	UML for ESL design : basic principles, tools, and applications	2006	W. Mueller; A. Rosti; S. Bocchio; RICCOBENE, ELVINIA MARIA ; SCANDURRA, PATRIZIA ; W. Dehane; Y. Vanderperren	Book Part (author)	-
7	UML and MDA for transactional level modeling	2007	S. Bocchio; RICCOBENE, ELVINIA MARIA ; A. Rosti; SCANDURRA, PATRIZIA	Conference Object	Open Access	-
8	A UML 2.0 profile for SystemC : toward high-level SoC design	2005	RICCOBENE, ELVINIA MARIA ; P. SCANDURRA; A. ROSTI; S. BOCCHIO	Book Part (author)	-
9	A UML 2.0 profile for SystemC	2005	RICCOBENE, ELVINIA MARIA ; P. SCANDURRA; A. ROSTI; S. BOCCHIO	Working Paper	-	-
10	Towards ASM-based formal specification of self-adaptive systems	2014	RICCOBENE, ELVINIA MARIA ; P. Scandurra	Book Part (author)	riservati
11	The ASMETA framework	giu-2012	ARCAINI, PAOLO ; A. Gargantini; RICCOBENE, ELVINIA MARIA ; SCANDURRA, PATRIZIA	Book Part (author)	-	-
12	Ten reasons to metamodel ASMs	2009	A. Gargantini; RICCOBENE, ELVINIA MARIA ; SCANDURRA, PATRIZIA	Book Part (author)	-
13	SystemC/C-based model-driven design for embedded systems	2009	RICCOBENE, ELVINIA MARIA ; P. Scandurra; S. Bocchio; A. Rosti; L. Lavazza; L. Mantellini	Article (author)	-
14	Specifying formal executable behavioral models for structural models of service-oriented components	2010	RICCOBENE, ELVINIA MARIA ; P. Scandurra	Book Part (author)	-
15	A SoC design methodology involving a UML 2.0 profile for SystemC	2005	RICCOBENE, ELVINIA MARIA ; P. SCANDURRA; A. ROSTI; S. BOCCHIO	Book Part (author)	-
16	A SoC design flow based on UML 2.0 and SystemC	12-giu-2005	S. Bocchio; RICCOBENE, ELVINIA MARIA ; A. Rosti; SCANDURRA, PATRIZIA	Book Part (author)	-
17	SMT-based automatic proof of ASM model refinement	2016	P. Arcaini; A. Gargantini; RICCOBENE, ELVINIA MARIA	Book Part (author)	-
18	SMT for state-based formal methods: the ASM case study	2018	ARCAINI, PAOLO ; A. Gargantini; RICCOBENE, ELVINIA MARIA	Book Part (author)	riservati
19	A semantic framework for metamodel-based languages	2009	A. Gargantini; RICCOBENE, ELVINIA MARIA ; P. Scandurra	Article (author)	-
20	Scenario-based validation of embedded systems	2008	A. Gargantini; RICCOBENE, ELVINIA MARIA ; SCANDURRA, PATRIZIA ; A. Carioni	Book Part (author)	-