Real-time Java API specifications for high coverage test generation. - Wolfgang Ahrendt; Wojciech Mostowski; Gabriele Paganelli (JTRES, 2012)

Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. - Gabriele Paganelli; Wolfgang Ahrendt (SYNASC, 2013)

A CNL for Contract-Oriented Diagrams. - John J. Camilleri; Gabriele Paganelli; Gerardo Schneider (CNL, 2014)

Horn Binary Serialization Analysis. - Gabriele Paganelli (HCVS@ETAPS, 2016)

Evaluation of Land Use and Environmental Comfort in Reinventing Cities Competition: The Case of La Folie, Bobigny, France. - Gabriele Paganelli; Camilla Misani; Letizia Soffiantini; Gabriele Masera; Francesco Pittau; Giorgia Sugoni (ICCSA (Workshops 7), 2024)