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 Decidable Spatial Generalization of Metric Interval Temporal Logic
2010-01-01 Bresolin, Davide; Sala, Pietro; Della Monica, D.; Montanari, A.; Sciavicco, G.
A game-theoretic approach to fault diagnosis and identification of hybrid systems
2013-01-01 Bresolin, Davide; Capiluppi, Marta
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
2011-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 tableau system for right propositional neighborhood logic over finite linear orders: an implementation
2013-01-01 Bresolin, Davide; D., Della Monica; A., Montanari; G., Sciavicco
A tableau-based decision procedure for a branching-time interval temporal logic
2005-01-01 Bresolin, Davide; Angelo, Montanari
A tableau-based decision procedure for right propositional neighborhood logic
2005-01-01 Bresolin, Davide; Angelo, Montanari
A Tableau-based decision procedure for Right Propositional Neighborhood Logic
2005-01-01 Bresolin, Davide; Angelo, Montanari
A tableau-based system for spatial reasoning about directional relations
2009-01-01 Bresolin, Davide; Montanari, A.; Sala, Pietro; Sciavicco, G.
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity
2009-01-01 Bresolin, Davide; A., Montanari; G., Puppis
An Introduction to the Verification of Hybrid Systems using Ariadne
2015-01-01 Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins
An Optimal Decision Procedure for MPNL over the Integers
2011-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
An optimal decision procedure for Right Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Angelo, Montanari; Guido, Sciavicco
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2006-01-01 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems
2014-01-01 Schreiter, Luzie; Bresolin, Davide; Capiluppi, Marta; Raczkowsky, Joerg; Fiorini, Paolo; Woern, Heinz
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
2012-01-01 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Assume-guarantee verification of nonlinear hybrid systems with Ariadne
2014-01-01 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
| 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 Decidable Spatial Generalization of Metric Interval Temporal Logic | 1-gen-2010 | Bresolin, Davide; Sala, Pietro; Della Monica, D.; Montanari, A.; Sciavicco, G. | |
| A game-theoretic approach to fault diagnosis and identification of hybrid systems | 1-gen-2013 | Bresolin, Davide; Capiluppi, Marta | |
| A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems | 1-gen-2011 | 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 tableau system for right propositional neighborhood logic over finite linear orders: an implementation | 1-gen-2013 | Bresolin, Davide; D., Della Monica; A., Montanari; G., Sciavicco | |
| A tableau-based decision procedure for a branching-time interval temporal logic | 1-gen-2005 | Bresolin, Davide; Angelo, Montanari | |
| A tableau-based decision procedure for right propositional neighborhood logic | 1-gen-2005 | Bresolin, Davide; Angelo, Montanari | |
| A Tableau-based decision procedure for Right Propositional Neighborhood Logic | 1-gen-2005 | Bresolin, Davide; Angelo, Montanari | |
| A tableau-based system for spatial reasoning about directional relations | 1-gen-2009 | Bresolin, Davide; Montanari, A.; Sala, Pietro; Sciavicco, G. | |
| A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity | 1-gen-2009 | Bresolin, Davide; A., Montanari; G., Puppis | |
| An Introduction to the Verification of Hybrid Systems using Ariadne | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins | |
| An Optimal Decision Procedure for MPNL over the Integers | 1-gen-2011 | Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco | |
| An optimal decision procedure for Right Propositional Neighborhood Logic | 1-gen-2007 | Bresolin, Davide; Angelo, Montanari; Guido, Sciavicco | |
| An optimal tableau-based decision algorithm for Propositional Neighborhood Logic | 1-gen-2007 | Bresolin, Davide; Angelo, Montanari; Sala, Pietro | |
| An optimal tableau-based decision algorithm for Propositional Neighborhood Logic | 1-gen-2006 | Bresolin, Davide; Angelo, Montanari; Sala, Pietro | |
| Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems | 1-gen-2014 | Schreiter, Luzie; Bresolin, Davide; Capiluppi, Marta; Raczkowsky, Joerg; Fiorini, Paolo; Woern, Heinz | |
| Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis | 1-gen-2012 | L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano | |
| Assume-guarantee verification of nonlinear hybrid systems with Ariadne | 1-gen-2014 | L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano |