BRESOLIN, Davide
BRESOLIN, Davide
DIPARTIMENTO DI INFORMATICA
A computable and compositional semantics for hybrid systems
2024-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
A game-theoretic approach to fault diagnosis and identification of hybrid systems
2013-01-01 Bresolin, Davide; Capiluppi, Marta
A higher order method for input-affine uncertain systems
2023-01-01 Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems
2015-01-01 Nuzzo, P.; Sangiovanni Vincentelli, A.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity
2009-01-01 Bresolin, Davide; A., Montanari; G., Puppis
An optimal decision procedure for Right Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Angelo, Montanari; Guido, Sciavicco
Assume-guarantee verification of nonlinear hybrid systems with Ariadne
2014-01-01 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Formal verification of medical CPS: a laser incision case study
2018-01-01 Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano
Formal verification of robotic surgery tasks by reachability analysis
2015-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
2014-01-01 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Metric propositional neighborhood logics on natural numbers
2013-01-01 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
On Begin, Meets and Before
2012-01-01 Bresolin, Davide; Sala, Pietro; G., Sciavicco
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
2013-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions
2009-01-01 Bresolin, Davide; V., Goranko; A., Montanari; G., Sciavicco
Relational dual tableaux for interval temporal logics
2006-01-01 Bresolin, Davide; Joanna Golinska, Pilarek; Ewa, Orlowska
Robotic surgery
2011-01-01 Muradore, Riccardo; Bresolin, Davide; Geretti, Luca; Fiorini, Paolo; Villa, Tiziano
Tableaux for Logics of Subinterval Structures over Dense Orderings
2010-01-01 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
The dark side of interval temporal logic: marking the undecidability border
2013-01-01 Bresolin, Davide; Dario Della, Monica; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
2013-01-01 Bresolin, Davide; Dario Della, Monica; Angelo, Montanari; Guido, Sciavicco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A computable and compositional semantics for hybrid systems | 1-gen-2024 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja | |
| A game-theoretic approach to fault diagnosis and identification of hybrid systems | 1-gen-2013 | Bresolin, Davide; Capiluppi, Marta | |
| A higher order method for input-affine uncertain systems | 1-gen-2023 | Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter | |
| A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems | 1-gen-2015 | Nuzzo, P.; Sangiovanni Vincentelli, A.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano | |
| A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity | 1-gen-2009 | Bresolin, Davide; A., Montanari; G., Puppis | |
| An optimal decision procedure for Right Propositional Neighborhood Logic | 1-gen-2007 | Bresolin, Davide; Angelo, Montanari; Guido, Sciavicco | |
| Assume-guarantee verification of nonlinear hybrid systems with Ariadne | 1-gen-2014 | L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano | |
| Formal verification of medical CPS: a laser incision case study | 1-gen-2018 | Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano | |
| Formal verification of robotic surgery tasks by reachability analysis | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
| Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity | 1-gen-2014 | Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | |
| Metric propositional neighborhood logics on natural numbers | 1-gen-2013 | Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco | |
| On Begin, Meets and Before | 1-gen-2012 | Bresolin, Davide; Sala, Pietro; G., Sciavicco | |
| Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers | 1-gen-2013 | Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco | |
| Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions | 1-gen-2009 | Bresolin, Davide; V., Goranko; A., Montanari; G., Sciavicco | |
| Relational dual tableaux for interval temporal logics | 1-gen-2006 | Bresolin, Davide; Joanna Golinska, Pilarek; Ewa, Orlowska | |
| Robotic surgery | 1-gen-2011 | Muradore, Riccardo; Bresolin, Davide; Geretti, Luca; Fiorini, Paolo; Villa, Tiziano | |
| Tableaux for Logics of Subinterval Structures over Dense Orderings | 1-gen-2010 | Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro | |
| The dark side of interval temporal logic: marking the undecidability border | 1-gen-2013 | Bresolin, Davide; Dario Della, Monica; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco | |
| The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT | 1-gen-2013 | Bresolin, Davide; Dario Della, Monica; Angelo, Montanari; Guido, Sciavicco |