Barbara Di Giampaolo

According to our database, Barbara Di Giampaolo authored at least 3 papers between 2010 and 2025.

Collaborative distances:

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

2025

Automated Testing in Railways: Leveraging Robotic Arm Precision and Efficiency for Superior Customizability and Usability Test Case Execution.

Giuseppe Guida, Mario D'Avino, Massimo Nisci, Roberto Villano, Barbara Di Giampaolo, Michele Schettino, Erasmo Alessio Bortone

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2025 - Workshops, Naples, Italy, March 31, 2025

2015

Parametric metric interval temporal logic.

Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli

Theor. Comput. Sci., 2015

2010

Safraless Procedures for Timed Specifications.

Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010