ARCAINI, PAOLO

ARCAINI, PAOLO  

Universita' degli Studi di MILANO  

Mostra records
Risultati 1 - 20 di 27 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A DSL for MAPE patterns representation in self-adapting systems 1-gen-2018 Arcaini, PaoloRiccobene, ElviniaScandurra, Patrizia + Book Part (author) -
A model advisor for NuSMV specifications 1-gen-2011 P. ArcainiE. Riccobene + Article (author) -
A model-driven process for engineering a toolset for a formal method 1-gen-2011 P. ArcainiE. Riccobene + Article (author) -
AsmetaF: A flattener for the ASMETA framework 1-gen-2018 Arcaini, PaoloRiccobene, Elvinia + Article (author) -
AsmetaSMV : a model checker for AsmetaL models. Tutorial 1-gen-2009 P. ArcainiE. Riccobene + Working Paper -
AsmetaSMV : a way to link high-level ASM models to low-level nuSMV specifications 1-gen-2010 P. ArcainiE. Riccobene + Book Part (author) -
Automatic review of Abstract State Machines by meta-property verification 1-gen-2010 P. ArcainiE. Riccobene + Book Part (author) -
Closing the gap between the specification and the implementation: the ASMETA way 1-gen-2018 P. ArcainiE. Riccobene + Book Part (author) -
CoMA : Conformance Monitoring of Java Programs by Abstract State Machines 1-gen-2012 P. ArcainiE. Riccobene + Book Part (author) -
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism 1-gen-2013 P. ArcainiE. Riccobene + Book Part (author) -
Components monitoring through formal specifications 1-gen-2012 P. ArcainiE. Riccobene + Book Part (author) -
epop : an Eclipse-based Extensible Research Evaluator 1-set-2012 P. ArcainiE. Riccobene + Book Part (author) -
Equivalence checking of NuSMV specifications 1-nov-2011 P. ArcainiE. Riccobene + Working Paper -
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control 1-gen-2017 Arcaini, PaoloRiccobene, Elvinia + Article (author) -
Formal Semantics for Metamodel-Based Domain Specific Languages 1-gen-2012 P. ArcainiE. Riccobene + Book Part (author) -
Integrating formal methods into medical software development : the ASM approach 1-gen-2018 P. ArcainiE. Riccobene + Article (author) -
Interactive testing and repairing of regular expressions 1-gen-2018 Arcaini, PaoloRiccobene, Elvinia + Book Part (author) -
Model-Based Testing for MAPE-K adaptation control loops 1-gen-2020 Arcaini P.Riccobene E.Scandurra P. + Book Part (author) -
MSL: A pattern language for engineering self-adaptive systems 1-giu-2020 Arcaini, PaoloRiccobene, ElviniaScandurra, Patrizia + Article (author) -
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions 1-gen-2017 Arcaini, PaoloRiccobene, Elvinia + Book Part (author) -