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.008 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Towards Trust-preserving Continuous Co-evolution of Digital Twins 2022 Braghin, ChiaraRiccobene, ElviniaScandurra, Patrizia + Book Part (author) -
MSL: A pattern language for engineering self-adaptive systems 2020 Arcaini, PaoloRiccobene, ElviniaScandurra, Patrizia + Article (author) -
Model-Based Testing for MAPE-K adaptation control loops 2020 Arcaini P.Riccobene E.Scandurra P. + Book Part (author) -
Zone-based formal specification and timing analysis of real-time self-adaptive systems 2018 M. CamilliP. Scandurra + Article (author) -
Online Model-Based Testing under Uncertainty 2018 Camilli, MatteoBellettini, CarloScandurra, Patrizia + Book Part (author) -
A DSL for MAPE patterns representation in self-adapting systems 2018 Arcaini, PaoloRiccobene, ElviniaScandurra, Patrizia + Book Part (author) -
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets 2017 M. CamilliP. ScandurraC. Bellettini + Book Part (author) -
Specifying and verifying real-time self-adaptive systems 2015 M. CamilliP. Scandurra + Book Part (author) -
The ASMETA framework 2012 P. ArcainiE. RiccobeneP. Scandurra + Book Part (author) -
Ten reasons to metamodel ASMs 2009 E. RiccobeneP. Scandurra + Book Part (author) -
A scenario-based validation language for ASMs 2008 E. RiccobeneP. Scandurra + Book Part (author) -
Scenario-based validation of embedded systems 2008 E. RiccobeneP. Scandurra + Book Part (author) -
A metamodel-based language and a simulation engine for abstract state machines 2008 E. RiccobeneP. Scandurra + Article (author) -
An enhanced SystemC UML profile for modeling at transaction-level 2008 E. RiccobeneP. Scandurra + Book Part (author) -
Exploiting the ASM method for validation & verification of embedded systems 2008 E. RiccobeneP. Scandurra + Book Part (author) -
A model-driven validation & verification environment for embedded systems 2008 E. RiccobeneP. Scandurra + Book Part (author) -
Model-driven language engineering : the ASMETA case study 2008 E. RiccobeneP. Scandurra + Book Part (author) -
UML and MDA for transactional level modeling 2007 E. RiccobeneP. Scandurra + Conference Object -
A metamodel-based simulator for ASMs 2007 Elvinia RiccobenePatrizia Scandurra + Book Part (author) -
A model-driven co-design flow for embedded systems 2007 Elvinia RiccobenePatrizia Scandurra + Book Part (author) -