Scorri Autori Unibg
Using SMT for dealing with nondeterminism in ASM-based runtime verification
2014-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Generating Tests for Detecting Faults in Feature Models
2015-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
Modeling and validating self-adaptive service-oriented applications
2015-01-01 Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia
Using mutation to assess fault detection capability of model review
2015-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions
2015-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Elvinia, Riccobene
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation
2015-01-01 Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts
2015-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Vavassori, Paolo
Visual Notation and Patterns for Abstract State Machines
2016-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Automatic Detection and Removal of Conformance Faults in Feature Models
2016-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
Unified syntax for abstract state machines
2016-01-01 Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
SMT-based automatic Proof of ASM model refinement
2016-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
How to assure correctness and safety of medical software: The hemodialysis machine case study
2016-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Formal design and verification of self-adaptive systems with decentralized control
2017-01-01 Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions
2017-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
NuSeen: A Tool Framework for the NuSMV Model Checker
2017-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Rigorous development process of a safety-critical system: from ASM models to Java code
2017-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Automated repairing of variability models
2017-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Vavassori, Paolo
A novel use of equivalent mutants for static anomaly detection in software artifacts
2017-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Vavassori, Paolo
An evolutionary process for product-driven updates of feature models
2018-01-01 Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco
A DSL for MAPE patterns representation in self-adapting systems
2018-01-01 Arcaini, Paolo; Mirandola, Raffaela; Riccobene, Elvinia; Scandurra, Patrizia
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
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-2015 | Generating Tests for Detecting Faults in Feature Models | 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-2015 | Modeling and validating self-adaptive service-oriented applications | Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2015 | Using mutation to assess fault detection capability of model review | 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-2015 | How to optimize the use of SAT and SMT solvers for test generation of Boolean expressions | Arcaini, Paolo; Gargantini, Angelo Michele; Elvinia, Riccobene | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2015 | Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation | Arcaini, Paolo; 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-2015 | Rehabilitating equivalent mutants as static anomaly detectors in software artifacts | Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; 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-2016 | Visual Notation and Patterns for Abstract State Machines | Arcaini, Paolo; Bonfanti, Silvia; 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-2016 | Automatic Detection and Removal of Conformance Faults in Feature Models | 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-2016 | Unified syntax for abstract state machines | Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo Michele; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2016 | SMT-based automatic Proof of ASM model refinement | 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-2016 | How to assure correctness and safety of medical software: The hemodialysis machine case study | Arcaini, Paolo; Bonfanti, Silvia; 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-2017 | Formal design and verification of self-adaptive systems with decentralized control | Arcaini, Paolo; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2017 | MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular 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-2017 | NuSeen: A Tool Framework for the NuSMV Model Checker | 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-2017 | Rigorous development process of a safety-critical system: from ASM models to Java code | 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-2017 | Automated repairing of variability models | 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-2017 | A novel use of equivalent mutants for static anomaly detection in software artifacts | Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia; Vavassori, Paolo | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2018 | An evolutionary process for product-driven updates of feature models | Arcaini, Paolo; Gargantini, Angelo Michele; Radavelli, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | A DSL for MAPE patterns representation in self-adapting systems | Arcaini, Paolo; Mirandola, Raffaela; 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 |
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