Nico Pellegrinelli

According to our database¹, Nico Pellegrinelli authored at least 3 papers in 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2025

Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications.

[BibT_eX]

[DOI]

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