BOMBARDA, Andrea Statistiche

BOMBARDA, Andrea  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 51 (tempo di esecuzione: 0.029 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2025 A Flexible and Open-Source Tool for Genetic Variant Annotation Bombarda, Andrea; Bellini, Matteo; Iascone, Maria; Savo, Domenico Fabio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
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 A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring Bombarda, Andrea; Ruscica, Giuseppe; 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 Automated Phenotype-Based Clustering of Clinical Reports Using Large Language Models Saletta, Martina; Bombarda, Andrea; Bellini, Matteo; Goisis, Lucrezia; Cazzaniga, Paolo; Iascone, Maria; Savo, Domenico Fabio 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
1-gen-2025 Integrating Uncertainty Into U-Net Robustness Evaluation Under Natural MRI Alterations: Application to Kidney Segmentation Damiano, Rossella; Scalco, Elisa; Della Vedova, Marco L.; Arrigoni, Alberto; Caroli, Anna; Bombarda, Andrea; Lanzarone, Ettore 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
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 Welcome to the IWCT 2025 Workshop Bombarda, Andrea; Garn, Bernhard 1.2 Contributi in volume - Book chapters::1.2.03 Brevi introduzioni - Introductions
1-gen-2024 A Comprehensive Approach for Software Quality Assurance for Medical Systems Bombarda, Andrea 1.9 Tesi di dottorato - Unibg doctoral theses::1.9.03 Collana della Scuola di Alta Formazione Dottorale
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 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