PELLEGRINELLI, Nico Statistiche

PELLEGRINELLI, Nico  

Scuola di Alta Formazione Dottorale  

Mostra schede
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.004 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
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-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 [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