GARGANTINI, Angelo Michele Statistiche

GARGANTINI, Angelo Michele  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 226 (tempo di esecuzione: 0.02 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
18-mag-2026 ASMETA: A comprehensive tool set for formal system engineering based on abstract state machines Bombarda, Andrea; 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-2026 Can Large Language Models Support Modeling Systems with ASMETA? A Case Study with a Planetary Rover 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
1-gen-2026 Evaluating the Practical Impact of Parallelism in Asmeta Bombarda, Andrea; Bonfanti, Silvia; Cornejo, Cesar Mauricio; 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
13-mag-2026 Genetic Synthesis of Compact Quaternary Reversible Comparators for Quantum Computing Taheri Monfared, Asma; Bombarda, Andrea; Gargantini, Angelo Michele; Ciriani, Valentina 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2026 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-2026 Test Case Generation for Simulink Models: An Experience from the E-Bike Domain Marzella, Michael; Bombarda, Andrea; Minervini, Marcello; Bisceglia, Nunzio Marco; Gargantini, Angelo Michele; 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 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 Are (formal) models still really useful in software engineering? Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts
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
1-gen-2025 Genetic algorithm for path-based testing of component outage situations in IoT system processes Klima, M.; Bures, M.; Ahmed, B. S.; Hindy, H.; Bellekens, X.; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
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 Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected] 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