ARCAINI, PAOLO
ARCAINI, PAOLO
Universita' degli Studi di MILANO
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
Integrating formal methods into medical software development : the ASM approach
2018 P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene
Closing the gap between the specification and the implementation: the ASMETA way
2018 P. Arcaini, A. Gargantini, E. Riccobene
AsmetaF: A flattener for the ASMETA framework
2018 P. Arcaini, R. Melioli, E. Riccobene
SMT for state-based formal methods: the ASM case study
2018 P. Arcaini, A. Gargantini, E. Riccobene:
Interactive testing and repairing of regular expressions
2018 P. Arcaini, A. Gargantini, E. Riccobene
A DSL for MAPE patterns representation in self-adapting systems
2018 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
2017 P. Arcaini, E. Riccobene, P. Scandurra
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions
2017 P. Arcaini, A. Gargantini, E. Riccobene
NuSeen: A Tool Framework for the NuSMV Model Checker
2017 P. Arcaini, A. Gargantini, E. Riccobene
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
2013 P. Arcaini, A. Gargantini, E. Riccobene
TOOL-ASSISTED VALIDATION AND VERIFICATION TECHNIQUES FOR STATE-BASED FORMAL METHODS
2013 P. Arcaini
The ASMETA framework
2012 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
Formal Semantics for Metamodel-Based Domain Specific Languages
2012 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
epop : an Eclipse-based Extensible Research Evaluator
2012 P. Arcaini, A. Gargantini, E. Riccobene
CoMA : Conformance Monitoring of Java Programs by Abstract State Machines
2012 P. Arcaini, A. Gargantini, E. Riccobene
Components monitoring through formal specifications
2012 P. Arcaini, A. Gargantini, E. Riccobene
Test Generation for Sequential Nets of Abstract State Machines
2012 P. Arcaini, F. Bolis, A. Gargantini
A model advisor for NuSMV specifications
2011 P. Arcaini, A. Gargantini, E. Riccobene