BRESOLIN, DAVIDE
BRESOLIN, DAVIDE
A Decidable Spatial Generalization of Metric Interval Temporal Logic
2010 Bresolin D.; Sala P.; Della Monica D.; Montanari A.; Sciavicco G.
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions
2013 D. Bresolin;M. Capiluppi
A game-theoretic approach to fault diagnosis and identification of hybrid systems
2013 D. Bresolin; M. Capiluppi
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
2011 D. Bresolin; M. Capiluppi
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
2015 Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
2013 D. Bresolin; D. Della Monica; A. Montanari; G. Sciavicco
A tableau-based decision procedure for a branching-time interval temporal logic
2005 Davide Bresolin; Angelo Montanari
A tableau-based decision procedure for right propositional neighborhood logic
2005 Davide Bresolin; Angelo Montanari
A tableau-based system for spatial reasoning about directional relations
2009 Bresolin D.; Montanari A.; Sala P.; Sciavicco G.
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity
2009 D. Bresolin; A. Montanari; G. Puppis
An introduction to the verification of hybrid systems using ARIADNE
2015 Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter
An Optimal Decision Procedure for MPNL over the Integers
2011 D. Bresolin; A. Montanari; P. Sala; G. Sciavicco
An optimal decision procedure for Right Propositional Neighborhood Logic
2007 Davide Bresolin; Angelo Montanari; Guido Sciavicco
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2007 Davide Bresolin; Angelo Montanari; Pietro Sala
Application of contract-based verification techniques for hybrid automata to surgical robotic systems
2014 Luzie Schreiter; Davide Bresolin; Marta Capiluppi; Joerg Raczkowsky; Paolo Fiorini; Heinz Woern
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
2012 L. Benvenuti; D. Bresolin; P. Collins; A. Ferrari; L. Geretti; T. Villa
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
2014 L. Benvenuti; D. Bresolin; P. Collins; A. Ferrari; L. Geretti; T. Villa
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
2010 Bresolin D.; Sala P.; Sciavicco G.
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
2009 D. Bresolin; V. Goranko; A. Montanari; P. Sala
Computing the evolution of hybrid systems using rigorous function calculus
2012 Collins P.; Bresolin D.; Geretti L.; Villa T.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Decidable Spatial Generalization of Metric Interval Temporal Logic | Bresolin D.; Sala P.; Della Monica D.; Montanari A.; Sciavicco G. | 2010-01-01 | - | IEEE Comp. Society Press | 4.01 Contributo in Atti di convegno | - |
| A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions | D. Bresolin;M. Capiluppi | 2013-01-01 | - | IEEE Comp. Society Press | 4.01 Contributo in Atti di convegno | - |
| A game-theoretic approach to fault diagnosis and identification of hybrid systems | D. Bresolin; M. Capiluppi | 2013-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems | D. Bresolin; M. Capiluppi | 2011-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | - |
| A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems | Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Bresolin, Davide; Geretti, Luca; Villa, Ti...ziano | 2015-01-01 | PROCEEDINGS OF THE IEEE | - | 1.01 Articolo in rivista | - |
| A tableau system for right propositional neighborhood logic over finite linear orders: an implementation | D. Bresolin; D. Della Monica; A. Montanari; G. Sciavicco | 2013-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A tableau-based decision procedure for a branching-time interval temporal logic | Davide Bresolin; Angelo Montanari | 2005-01-01 | - | Humboldt University | 4.01 Contributo in Atti di convegno | - |
| A tableau-based decision procedure for right propositional neighborhood logic | Davide Bresolin; Angelo Montanari | 2005-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A tableau-based system for spatial reasoning about directional relations | Bresolin D.; Montanari A.; Sala P.; Sciavicco G. | 2009-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity | D. Bresolin; A. Montanari; G. Puppis | 2009-01-01 | ACTA INFORMATICA | - | 1.01 Articolo in rivista | - |
| An introduction to the verification of hybrid systems using ARIADNE | Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter | 2015-01-01 | - | Springer International Publishing | 2.01 Capitolo / saggio in libro | - |
| An Optimal Decision Procedure for MPNL over the Integers | D. Bresolin; A. Montanari; P. Sala; G. Sciavicco | 2011-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | - |
| An optimal decision procedure for Right Propositional Neighborhood Logic | Davide Bresolin; Angelo Montanari; Guido Sciavicco | 2007-01-01 | JOURNAL OF AUTOMATED REASONING | - | 1.01 Articolo in rivista | - |
| An optimal tableau-based decision algorithm for Propositional Neighborhood Logic | Davide Bresolin; Angelo Montanari; Pietro Sala | 2007-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Application of contract-based verification techniques for hybrid automata to surgical robotic systems | Luzie Schreiter; Davide Bresolin; Marta Capiluppi; Joerg Raczkowsky; Paolo Fiorini; Heinz Woern | 2014-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
| Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis | L. Benvenuti; D. Bresolin; P. Collins; A. Ferrari; L. Geretti; T. Villa | 2012-01-01 | - | Springer Berlin Heidelberg | 4.01 Contributo in Atti di convegno | - |
| Assume–guarantee verification of nonlinear hybrid systems with Ariadne | L. Benvenuti; D. Bresolin; P. Collins; A. Ferrari; L. Geretti; T. Villa | 2014-01-01 | INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL | - | 1.01 Articolo in rivista | - |
| Begin, After, and Later: a Maximal Decidable Interval Temporal Logic | Bresolin D.; Sala P.; Sciavicco G. | 2010-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | - |
| Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings | D. Bresolin; V. Goranko; A. Montanari; P. Sala | 2009-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Computing the evolution of hybrid systems using rigorous function calculus | Collins P.; Bresolin D.; Geretti L.; Villa T. | 2012-01-01 | - | Academic Press, Elsevier | 4.01 Contributo in Atti di convegno | - |