ARCAINI, PAOLO
ARCAINI, PAOLO
Universita' degli Studi di MILANO
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
SMT for state-based formal methods: the ASM case study
2018 P. Arcaini, A. Gargantini, E. Riccobene:
Closing the gap between the specification and the implementation: the ASMETA way
2018 P. Arcaini, A. Gargantini, E. Riccobene
Integrating formal methods into medical software development : the ASM approach
2018 P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, 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
AsmetaF: A flattener for the ASMETA framework
2018 P. Arcaini, R. Melioli, E. Riccobene
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
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
2017 P. Arcaini, E. Riccobene, P. Scandurra
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
epop : an Eclipse-based Extensible Research Evaluator
2012 P. Arcaini, A. Gargantini, E. Riccobene
Test Generation for Sequential Nets of Abstract State Machines
2012 P. Arcaini, F. Bolis, A. Gargantini
Formal Semantics for Metamodel-Based Domain Specific Languages
2012 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
The ASMETA framework
2012 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
Components monitoring through formal specifications
2012 P. Arcaini, A. Gargantini, E. Riccobene
CoMA : Conformance Monitoring of Java Programs by Abstract State Machines
2012 P. Arcaini, A. Gargantini, E. Riccobene
Equivalence checking of NuSMV specifications
2011 P. Arcaini, A. Gargantini, E. Riccobene