PELLEGRINELLI, Nico Statistiche

PELLEGRINELLI, Nico  

Scuola di Alta Formazione Dottorale  

Mostra schede
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
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