ARCAINI, PAOLO
ARCAINI, PAOLO
Universita' degli Studi di MILANO
A DSL for MAPE patterns representation in self-adapting systems
2018 P. Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
A model advisor for NuSMV specifications
2011 P. Arcaini, A. Gargantini, E. Riccobene
A model-driven process for engineering a toolset for a formal method
2011 P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
AsmetaF: A flattener for the ASMETA framework
2018 P. Arcaini, R. Melioli, E. Riccobene
AsmetaSMV : a model checker for AsmetaL models. Tutorial
2009 P. Arcaini, A. Gargantini, E. Riccobene
AsmetaSMV : a way to link high-level ASM models to low-level nuSMV specifications
2010 P. Arcaini, A. Gargantini, E. Riccobene
Automatic review of Abstract State Machines by meta-property verification
2010 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
CoMA : Conformance Monitoring of Java Programs by Abstract State Machines
2012 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
Components monitoring through formal specifications
2012 P. Arcaini, A. Gargantini, E. Riccobene
epop : an Eclipse-based Extensible Research Evaluator
2012 P. Arcaini, A. Gargantini, E. Riccobene
Equivalence checking of NuSMV specifications
2011 P. Arcaini, A. Gargantini, E. Riccobene
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
2017 P. Arcaini, E. Riccobene, P. Scandurra
Formal Semantics for Metamodel-Based Domain Specific Languages
2012 P. Arcaini, A. Gargantini, 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
Interactive testing and repairing of regular expressions
2018 P. Arcaini, A. Gargantini, E. Riccobene
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
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions
2017 P. Arcaini, A. Gargantini, E. Riccobene