Nico Pellegrinelli

According to our database, Nico Pellegrinelli authored at least 10 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract).

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli

CoRR, March, 2026

Replication Package for "Evaluating coverage and fault detection capability of scenarios for the validation of Asmeta specifications".

Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli

Dataset, January, 2026

Replication Package for "Evaluating coverage and fault detection capability of scenarios for the validation of Asmeta specifications".

Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli

Dataset, January, 2026

Can Large Language Models Support Modeling Systems with ASMETA? A Case Study with a Planetary Rover.

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

Evaluating the Practical Impact of Parallelism in Asmeta.

Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

Evaluating Coverage and Fault Detection Capability of Scenario-Based Validation of Asmeta Specifications.

Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli

Proceedings of the NASA Formal Methods, 2026

2025

'Forensic-DataFusion-Tool': A Python-based application for exploratory forensic data analysis using merged datasets from analytical sensors.

Giorgio Felizzato, Michele Verdi, Angelo Gargantini, Nico Pellegrinelli, Francesco Saverio Romolo

Softw. Impacts, 2025

Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [e-mail].

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli, Patrizia Scandurra

Proceedings of the Rigorous State-Based Methods - 11th International Conference, 2025

Introducing CreaTest: A Framework for Test Case Generation in itemis CREATE.

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli

Proceedings of the Testing Software and Systems, 2025

Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications.

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025