PELLEGRINELLI, Nico Statistiche
PELLEGRINELLI, Nico
Scuola di Alta Formazione Dottorale
Mostra
schede
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications
2025-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico
Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE
2025-09-16 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico
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
‘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
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 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 | |
| 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 | |
| 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 | ‘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 |