Gabriele Paganelli

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 2

Top Topics

Association Rules

Quantitative Evaluation

Evaluation Methods

Top Venues

ICCSA (Workshops 7)

Publications

Gabriele Paganelli, Camilla Misani, Letizia Soffiantini, Gabriele Masera, Francesco Pittau, Giorgia Sugoni
Evaluation of Land Use and Environmental Comfort in Reinventing Cities Competition: The Case of La Folie, Bobigny, France. ICCSA (Workshops 7) (2024)
Gabriele Paganelli
Horn Binary Serialization Analysis. HCVS@ETAPS (2016)
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
A CNL for Contract-Oriented Diagrams. CoRR (2014)
John J. Camilleri, Gabriele Paganelli, Gerardo Schneider
A CNL for Contract-Oriented Diagrams. CNL (2014)
Gabriele Paganelli, Wolfgang Ahrendt
Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. SYNASC (2013)
Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli
Real-time Java API specifications for high coverage test generation. JTRES (2012)