Gabriele Paganelli

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

Gabriele Paganelli, Wolfgang Ahrendt, 2013, 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

A CNL for Contract-Oriented Diagrams

Gabriele Paganelli, Gerardo Schneider, John J. Camilleri, 2014, CNL.

Horn Binary Serialization Analysis

Gabriele Paganelli, 2016, HCVS@ETAPS.

Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

Gabriele Paganelli, 2013 .

Real-time Java API specifications for high coverage test generation

Gabriele Paganelli, Wolfgang Ahrendt, Wojciech Mostowski, 2012, JTRES '12.