Safraless Procedures for Timed Specifications. - Barbara Di Giampaolo; Gilles Geeraerts; Jean-François Raskin; Nathalie Sznajder (FORMATS, 2010)

Parametric metric interval temporal logic. - Barbara Di Giampaolo; Salvatore La Torre; Margherita Napoli (Theor. Comput. Sci., 2015)

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 (ICSTW, 2025)