Gabriele Paganelli

According to our database, Gabriele Paganelli authored at least 5 papers between 2012 and 2024.

Collaborative distances:

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

2024

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

Proceedings of the Computational Science and Its Applications - ICCSA 2024 Workshops, 2024

2016

Horn Binary Serialization Analysis.

Gabriele Paganelli

Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

2014

A CNL for Contract-Oriented Diagrams.

John J. Camilleri, Gabriele Paganelli, Gerardo Schneider

Proceedings of the Controlled Natural Language - 4th International Workshop, 2014

2013

Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving.

Gabriele Paganelli, Wolfgang Ahrendt

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

2012

Real-time Java API specifications for high coverage test generation.

Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012