Sfoglia per Autore
Scenario-based validation of embedded systems
2008 A. Gargantini, E. Riccobene, P. Scandurra, A. Carioni
Ten reasons to metamodel ASMs
2009 A. Gargantini, E. Riccobene, P. Scandurra
The ASMETA framework
2012 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
Specifying and verifying real-time self-adaptive systems
2015 M. Camilli, A. Gargantini, P. Scandurra
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets
2017 M. Camilli, A. Gargantini, P. Scandurra, C. Bellettini
A DSL for MAPE patterns representation in self-adapting systems
2018 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
Model-Based Testing for MAPE-K adaptation control loops
2020 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
MSL: A pattern language for engineering self-adaptive systems
2020 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
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
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile