IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 27
Titolo Data di pubblicazione Autori Tipo File Abstract
AsmetaSMV : a model checker for AsmetaL models. Tutorial 2009 P. ArcainiE. Riccobene + Working Paper -
AsmetaSMV : a way to link high-level ASM models to low-level nuSMV specifications 2010 P. ArcainiE. Riccobene + Book Part (author) -
Automatic review of Abstract State Machines by meta-property verification 2010 P. ArcainiE. Riccobene + Book Part (author) -
Runtime monitoring of Java programs by Abstract State Machines 2010 ARCAINI, PAOLOE. Riccobene + Working Paper -
A model advisor for NuSMV specifications 2011 P. ArcainiE. Riccobene + Article (author) -
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions 2011 P. ArcainiE. Riccobene + Book Part (author) -
A model-driven process for engineering a toolset for a formal method 2011 P. ArcainiE. Riccobene + Article (author) -
Equivalence checking of NuSMV specifications 2011 P. ArcainiE. Riccobene + Working Paper -
Components monitoring through formal specifications 2012 P. ArcainiE. Riccobene + Book Part (author) -
CoMA : Conformance Monitoring of Java Programs by Abstract State Machines 2012 P. ArcainiE. Riccobene + Book Part (author) -
Test Generation for Sequential Nets of Abstract State Machines 2012 P. Arcaini + Book Part (author) -
Formal Semantics for Metamodel-Based Domain Specific Languages 2012 P. ArcainiE. Riccobene + Book Part (author) -
The ASMETA framework 2012 P. ArcainiE. RiccobeneP. Scandurra + Book Part (author) -
epop : an Eclipse-based Extensible Research Evaluator 2012 P. ArcainiE. Riccobene + 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 -
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) -
SMT for state-based formal methods: the ASM case study 2018 P. ArcainiE. Riccobene: + Book Part (author) -
Mostrati risultati da 1 a 20 di 27
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile