SCANDURRA, PATRIZIA
SCANDURRA, PATRIZIA
DIPARTIMENTO DI TECNOLOGIE DELL'INFORMAZIONE (CREMA) (attivo dal 01/01/2001 al 27/04/2012)
A complete SystemC UML profile with dynamic features for behavioural descriptions
2007 S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra
A DSL for MAPE patterns representation in self-adapting systems
2018 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
A metamodel-based language and a simulation engine for abstract state machines
2008 A. Gargantini, E. Riccobene, P. Scandurra
A metamodel-based simulator for ASMs
2007 A. Gargantini, E.M. Riccobene, P. Scandurra
A model-driven co-design flow for embedded systems
2007 S. Bocchio, E.M. Riccobene, A. Rosti, P. Scandurra
A model-driven design environment for embedded systems
2006 S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra
A model-driven validation & verification environment for embedded systems
2008 A. Gargantini, E. Riccobene, P. Scandurra
A scenario-based validation language for ASMs
2008 A. Carioni, A. Gargantini, E. Riccobene, P. Scandurra
A SoC design flow based on UML 2.0 and SystemC
2005 S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra
An enhanced SystemC UML profile for modeling at transaction-level
2008 S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra
AsmEE : an Eclipse plug-in in a metamodel based framework for the abstract state machines
2007 A. Gargantini, E. Riccobene, P. Scandurra
Deriving a textual notation from a metamodel : an experience on bridging modelware and grammarware
2006 A. Gargantini, E. Riccobene, P. Scandurra
Designing a unified process for embedded systems
2007 E. Riccobene, P. Scandurra, A. Rosti, S. Bocchio
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Exploiting the ASM method for validation & verification of embedded systems
2008 A. Gargantini, E. Riccobene, P. Scandurra
Exploiting the ASM method within the model-driven engineering paradigm
2006 A. Gargantini, E. Riccobene, P. Scandurra
Exploiting the MDA approach for embedded system design
2006 S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra
Metamodelling a formal method : applying MDE to abstract state machines
2006 A. Gargantini, E. Riccobene, P. Scandurra
Model-Based Testing for MAPE-K adaptation control loops
2020 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
Model-driven language engineering : the ASMETA case study
2008 A. Gargantini, E. Riccobene, P. Scandurra