Gabriele Paganelli

According to our database, Gabriele Paganelli authored at least 4 papers between 2012 and 2016.

Collaborative distances:

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

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