SCANDURRA, PATRIZIA
SCANDURRA, PATRIZIA
DIPARTIMENTO DI TECNOLOGIE DELL'INFORMAZIONE (CREMA) (attivo dal 01/01/2001 al 27/04/2012)
Towards Trust-preserving Continuous Co-evolution of Digital Twins
2022 M. Bersani, C. Braghin, V. Cortellessa, A. Gargantini, V. Grassi, F. Lo Presti, R. Mirandola, A. Pierantonio, E. Riccobene, P. Scandurra
MSL: A pattern language for engineering self-adaptive systems
2020 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
Model-Based Testing for MAPE-K adaptation control loops
2020 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
Zone-based formal specification and timing analysis of real-time self-adaptive systems
2018 M. Camilli, A. Gargantini, P. Scandurra
Online Model-Based Testing under Uncertainty
2018 M. Camilli, C. Bellettini, A. Gargantini, P. Scandurra
A DSL for MAPE patterns representation in self-adapting systems
2018 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
Specifying and verifying real-time self-adaptive systems
2015 M. Camilli, A. Gargantini, P. Scandurra
The ASMETA framework
2012 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
Ten reasons to metamodel ASMs
2009 A. Gargantini, E. Riccobene, P. Scandurra
Model-driven language engineering : the ASMETA case study
2008 A. Gargantini, E. Riccobene, P. Scandurra
Exploiting the ASM method for validation & verification of 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
Scenario-based validation of embedded systems
2008 A. Gargantini, E. Riccobene, P. Scandurra, A. Carioni
A model-driven validation & verification environment for embedded systems
2008 A. Gargantini, E. Riccobene, P. Scandurra
A metamodel-based language and a simulation engine for abstract state machines
2008 A. Gargantini, E. Riccobene, P. Scandurra
An enhanced SystemC UML profile for modeling at transaction-level
2008 S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra
A complete SystemC UML profile with dynamic features for behavioural descriptions
2007 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
Process state machines for behavioral modeling of embedded systems
2007 S. Bocchio, E. Riccobene, A. Rosti, P. Scandurra