ARCAINI, PAOLO

ARCAINI, PAOLO  

Universita' degli Studi di MILANO  

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Model-Based Testing for MAPE-K adaptation control loops 2020 Arcaini P.Riccobene E.Scandurra P. + Book Part (author) -
MSL: A pattern language for engineering self-adaptive systems 2020 Arcaini, PaoloRiccobene, ElviniaScandurra, Patrizia + Article (author) -
Integrating formal methods into medical software development : the ASM approach 2018 P. ArcainiE. Riccobene + Article (author) -
Closing the gap between the specification and the implementation: the ASMETA way 2018 P. ArcainiE. Riccobene + Book Part (author) -
AsmetaF: A flattener for the ASMETA framework 2018 Arcaini, PaoloRiccobene, Elvinia + Article (author) -
SMT for state-based formal methods: the ASM case study 2018 P. ArcainiE. Riccobene: + Book Part (author) -
Interactive testing and repairing of regular expressions 2018 Arcaini, PaoloRiccobene, Elvinia + Book Part (author) -
A DSL for MAPE patterns representation in self-adapting systems 2018 Arcaini, PaoloRiccobene, ElviniaScandurra, Patrizia + Book Part (author) -
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control 2017 Arcaini, PaoloRiccobene, Elvinia + Article (author) -
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 2017 Arcaini, PaoloRiccobene, Elvinia + Book Part (author) -
NuSeen: A Tool Framework for the NuSMV Model Checker 2017 Arcaini, PaoloRiccobene, Elvinia + Book Part (author) -
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism 2013 P. ArcainiE. Riccobene + Book Part (author) -
TOOL-ASSISTED VALIDATION AND VERIFICATION TECHNIQUES FOR STATE-BASED FORMAL METHODS 2013 P. Arcaini Doctoral Thesis -
The ASMETA framework 2012 P. ArcainiE. RiccobeneP. Scandurra + Book Part (author) -
Formal Semantics for Metamodel-Based Domain Specific Languages 2012 P. ArcainiE. Riccobene + Book Part (author) -
epop : an Eclipse-based Extensible Research Evaluator 2012 P. ArcainiE. Riccobene + Book Part (author) -
CoMA : Conformance Monitoring of Java Programs by Abstract State Machines 2012 P. ArcainiE. Riccobene + Book Part (author) -
Components monitoring through formal specifications 2012 P. ArcainiE. Riccobene + Book Part (author) -
Test Generation for Sequential Nets of Abstract State Machines 2012 P. Arcaini + Book Part (author) -
A model advisor for NuSMV specifications 2011 P. ArcainiE. Riccobene + Article (author) -