Davide Bresolin

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Pierluigi Nuzzo, Alberto Sangiovanni‐Vincentelli, Davide Bresolin et al. · Proceedings of the IEEE · 2015 · 142 citations · Full text

Contract Operations, Engineering, Software Engineering +23

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Davide Bresolin, Valentin Goranko, Angelo Montanari et al. · Annals of Pure and Applied Logic · 2009 · 83 citations

Applied Logic, Engineering, Undecidable Extensions +6

Tableaux for Logics of Subinterval Structures over Dense Orderings

Davide Bresolin, Valentin Goranko, Andrea Montanari et al. · Journal of Logic and Computation · 2008 · 56 citations

Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>

Luca Benvenuti, Davide Bresolin, Pieter Collins et al. · International Journal of Robust and Nonlinear Control · 2012 · 52 citations

Engineering, Reachability Problem, Verification +18

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

Davide Bresolin, Angelo Montanari, Guido Sciavicco · Journal of Automated Reasoning · 2006 · 44 citations

Applied Logic, Optimal Decision Procedure, Engineering +5