GARGANTINI, Angelo Michele Statistiche
GARGANTINI, Angelo Michele
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
2025-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models
2025-01-01 Arcaini, Paolo; Bombarda, Andrea; Gargantini, Angelo Michele
Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems
2025-01-01 Taheri Monfared, Asma; Bombarda, Andrea; Gargantini, Angelo Michele; Haghparast, Majid
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications
2025-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern
2025-05-12 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE
2025-09-16 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico
My feature model has changed... What should I do with my tests?
2025-10-08 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
On the Completion of Partial Combinatorial Test Suites
2025-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations
2025-01-01 Pievani, Fabio; Taheri Monfared, Asma; Bombarda, Andrea; Gargantini, Angelo Michele
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time
2025-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico; Scandurra, Patrizia
SIMSPIRE: A Simulator of the Respiratory System
2025-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements
2025-01-01 Zanenga, Aurora Francesca; Bisceglia, Nunzio Marco; Ippoliti, Benedetta; Bombarda, Andrea; Gargantini, Angelo Michele; Rajhans, Akshay; Menghi, Claudio
‘Forensic-DataFusion-Tool’: A Python-based application for exploratory forensic data analysis using merged datasets from analytical sensors
2025-01-01 Felizzato, Giorgio; Verdi, Michele; Gargantini, Angelo Michele; Pellegrinelli, Nico; Romolo, Francesco Saverio
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers
2024-01-01 Essbai, Wasim; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
2024-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
An Android App for Training New Doctors in Mechanical Ventilation
2024-01-01 Bombarda, Andrea; Millefiori, Sara; Penzo, Michela; Novelli, Luca; Gargantini, Angelo Michele
ASMETA Tool Set for Rigorous System Design
2024-09-13 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools
2024-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2025 | A compositional simulation framework for Abstract State Machine models of Discrete Event Systems | Bonfanti, Silvia; 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-2025 | A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models | Arcaini, Paolo; Bombarda, Andrea; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2025 | Efficient and scalable designs for ternary quantum reversible multiplexer and demultiplexer systems | Taheri Monfared, Asma; Bombarda, Andrea; Gargantini, Angelo Michele; Haghparast, Majid | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2025 | Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 12-mag-2025 | Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 16-set-2025 | Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 8-ott-2025 | My feature model has changed... What should I do with my tests? | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2025 | On the Completion of Partial Combinatorial Test Suites | Bombarda, Andrea; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2025 | QuTiP-MRL: A Library for Multiple-Valued Reversible Logic Simulations | Pievani, Fabio; Taheri Monfared, Asma; Bombarda, Andrea; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2025 | Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico; 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-2025 | SIMSPIRE: A Simulator of the Respiratory System | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2025 | Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements | Zanenga, Aurora Francesca; Bisceglia, Nunzio Marco; Ippoliti, Benedetta; Bombarda, Andrea; Gargantini, Angelo Michele; Rajhans, Akshay; Menghi, Claudio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2025 | ‘Forensic-DataFusion-Tool’: A Python-based application for exploratory forensic data analysis using merged datasets from analytical sensors | Felizzato, Giorgio; Verdi, Michele; Gargantini, Angelo Michele; Pellegrinelli, Nico; Romolo, Francesco Saverio | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2024 | A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers | Essbai, Wasim; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2024 | A journey with ASMETA from requirements to code: application to an automotive system with adaptive features | Arcaini, Paolo; Bonfanti, Silvia; 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-2024 | An Android App for Training New Doctors in Mechanical Ventilation | Bombarda, Andrea; Millefiori, Sara; Penzo, Michela; Novelli, Luca; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 13-set-2024 | ASMETA Tool Set for Rigorous System Design | Bombarda, Andrea; Bonfanti, Silvia; 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-2024 | Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools | Bombarda, Andrea; Gargantini, Angelo Michele | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2024 | Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems | Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2024 | From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |