Scorri Autori Unibg  

Opzioni
Risultati da 1 a 20 di 60
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2010 Automatic review of Abstract State Machines by Meta Property Verification Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 A model advisor for NuSMV specifications Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2011 Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 A model-driven process for engineering a toolset for a formal method Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2012 The ASMETA framework Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 epop: an Eclipse-based extensible research evaluator Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 Components monitoring through formal specifications Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2012 CoMA: Conformance Monitoring of Java programs by Abstract State Machines Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 NuSeen: an eclipse-based environment for the NuSMV model checker Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Formal Semantics for Metamodel-Based Domain Specific Languages Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2013 Wildfire susceptibility maps flexible querying and answering Arcaini, Paolo; Bordogna, Gloria; Sterlacchini, Simone 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Flexible querying of volunteered geographic information for risk management Arcaini, Paolo; Bordogna, Gloria; Sterlacchini, Simone 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Online Testing of LTL Properties for Java Code Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Using SMT for dealing with nondeterminism in ASM-based runtime verification Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Offline model-based testing and runtime monitoring of the sensor voting module Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Test generation for sequential nets of Abstract State Machines with information passing Arcaini, Paolo; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2014 An abstraction technique for testing decomposable systems by model checking Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Modeling and analyzing using ASMs: the landing gear system case study Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati da 1 a 20 di 60
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