Scorri Autori Unibg
Automatic review of Abstract State Machines by Meta Property Verification
2010-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
2010-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo
A model-driven process for engineering a toolset for a formal method
2011-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
A model advisor for NuSMV specifications
2011-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions
2011-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
epop: an Eclipse-based extensible research evaluator
2012-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
The ASMETA framework
2012-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
CoMA: Conformance Monitoring of Java programs by Abstract State Machines
2012-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Components monitoring through formal specifications
2012-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
NuSeen: an eclipse-based environment for the NuSMV model checker
2013-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
Wildfire susceptibility maps flexible querying and answering
2013-01-01 Arcaini, Paolo; Bordogna, Gloria; Sterlacchini, Simone
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism
2013-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Flexible querying of volunteered geographic information for risk management
2013-01-01 Arcaini, Paolo; Bordogna, Gloria; Sterlacchini, Simone
Formal Semantics for Metamodel-Based Domain Specific Languages
2013-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Online Testing of LTL Properties for Java Code
2013-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Modeling and analyzing using ASMs: the landing gear system case study
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Using SMT for dealing with nondeterminism in ASM-based runtime verification
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
An abstraction technique for testing decomposable systems by model checking
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Offline model-based testing and runtime monitoring of the sensor voting module
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Validation of Models and Tests for Constrained Combinatorial Interaction Testing
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
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-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-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-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 | 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 | 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-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-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 | 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 | 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 | 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 | 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 | 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 | 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 | |
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 | 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 | 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 | Validation of Models and Tests for Constrained Combinatorial Interaction Testing | 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 |
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