SCANDURRA, PATRIZIA

SCANDURRA, PATRIZIA  

DIPARTIMENTO DI TECNOLOGIE DELL'INFORMAZIONE (CREMA) (attivo dal 01/01/2001 al 27/04/2012)  

Mostra records
Risultati 1 - 20 di 31 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A complete SystemC UML profile with dynamic features for behavioural descriptions 1-gen-2007 E. RiccobeneP. Scandurra + Book Part (author) -
A DSL for MAPE patterns representation in self-adapting systems 1-gen-2018 Arcaini, PaoloRiccobene, ElviniaScandurra, Patrizia + Book Part (author) -
A metamodel-based language and a simulation engine for abstract state machines 1-gen-2008 E. RiccobeneP. Scandurra + Article (author) -
A metamodel-based simulator for ASMs 1-gen-2007 Elvinia RiccobenePatrizia Scandurra + Book Part (author) -
A model-driven co-design flow for embedded systems 1-gen-2007 Elvinia RiccobenePatrizia Scandurra + Book Part (author) -
A model-driven design environment for embedded systems 1-gen-2006 E. RiccobeneP. Scandurra + Book Part (author) -
A model-driven validation & verification environment for embedded systems 1-gen-2008 E. RiccobeneP. Scandurra + Book Part (author) -
A scenario-based validation language for ASMs 1-gen-2008 E. RiccobeneP. Scandurra + Book Part (author) -
A SoC design flow based on UML 2.0 and SystemC 12-giu-2005 E. RiccobeneP. Scandurra + Book Part (author) -
An enhanced SystemC UML profile for modeling at transaction-level 1-gen-2008 E. RiccobeneP. Scandurra + Book Part (author) -
AsmEE : an Eclipse plug-in in a metamodel based framework for the abstract state machines 1-gen-2007 E. RiccobeneP. Scandurra + Book Part (author) -
Deriving a textual notation from a metamodel : an experience on bridging modelware and grammarware 1-gen-2006 E. RiccobeneP. Scandurra + Book Part (author) -
Designing a unified process for embedded systems 1-gen-2007 E. RiccobeneP. Scandurra + Book Part (author) -
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets 9-apr-2017 M. CamilliP. ScandurraC. Bellettini + Book Part (author) -
Exploiting the ASM method for validation & verification of embedded systems 1-gen-2008 E. RiccobeneP. Scandurra + Book Part (author) -
Exploiting the ASM method within the model-driven engineering paradigm 1-gen-2006 E. RiccobeneP. Scandurra + Article (author) -
Exploiting the MDA approach for embedded system design 1-gen-2006 E. RiccobeneP. Scandurra + Book Part (author) -
Metamodelling a formal method : applying MDE to abstract state machines 1-nov-2006 E. RiccobeneP. Scandurra + Working Paper -
Model-Based Testing for MAPE-K adaptation control loops 1-gen-2020 Arcaini P.Riccobene E.Scandurra P. + Book Part (author) -
Model-driven language engineering : the ASMETA case study 1-gen-2008 E. RiccobeneP. Scandurra + Book Part (author) -