PELLEGRINELLI, Nico Statistiche

PELLEGRINELLI, Nico  

Scuola di Alta Formazione Dottorale  

Mostra schede
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.006 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2026 A Bibliometric Analysis of the Abstract State Machine Research Production and Community over the Years Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/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
1-gen-2026 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 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 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 ‘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