BRESOLIN, DAVIDE
BRESOLIN, DAVIDE
Most general property-preserving updates
2017 Bresolin, Davide; Lanese, Ivan
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
An introduction to the verification of hybrid systems using ARIADNE
2015 Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter
Formal verification applied to robotic surgery
2015 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Formal verification of robotic surgery tasks by reachability analysis
2015 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
On the complexity of fragments of the modal logic of Allen’s relations over dense structures
2015 Bresolin, Davide; Monica, Dario Della; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
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
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
2014 L. Benvenuti; D. Bresolin; P. Collins; A. Ferrari; L. Geretti; T. Villa
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
2014 D. Bresolin; K. El-Fakih; T. Villa; N.Yevtushenko
DL-Lite and Interval Temporal Logics: a Marriage Proposal
2014 A. Artale ; D. Bresolin ; A. Montanari ; G. Sciavicco ; V. Ryzhikov
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
2014 Davide Bresolin;Dario Della Monica;Angelo Montanari;Pietro Sala;Guido Sciavicco
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations
2014 D. Bresolin ; E. Muñoz-Velasco ; G. Sciavicco
The dark side of interval temporal logic: marking the undecidability border
2014 Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
2014 Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
2014 Davide Bresolin; Luca Geretti; Riccardo Muradore; Paolo Fiorini; Tiziano Villa
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 tableau system for right propositional neighborhood logic over finite linear orders: an implementation
2013 D. Bresolin; D. Della Monica; A. Montanari; G. Sciavicco
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
2013 D. Bresolin; F. Jimenez; G. Sanchez; G. Sciavicco
HyLTL: a temporal logic for model checking hybrid systems
2013 D. Bresolin
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
Most general property-preserving updates | Bresolin, Davide; Lanese, Ivan | 2017-01-01 | - | Springer Verlag | 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 | - |
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 | - |
Formal verification applied to robotic surgery | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | 2015-01-01 | - | Springer International Publishing | 2.01 Capitolo / saggio in libro | - |
Formal verification of robotic surgery tasks by reachability analysis | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | 2015-01-01 | MICROPROCESSORS AND MICROSYSTEMS | - | 1.01 Articolo in rivista | - |
On the complexity of fragments of the modal logic of Allen’s relations over dense structures | Bresolin, Davide; Monica, Dario Della; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | 2015-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 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 | - |
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 | - |
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power | D. Bresolin; K. El-Fakih; T. Villa; N.Yevtushenko | 2014-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | - |
DL-Lite and Interval Temporal Logics: a Marriage Proposal | A. Artale ; D. Bresolin ; A. Montanari ; G. Sciavicco ; V. Ryzhikov | 2014-01-01 | - | IOS Press | 4.01 Contributo in Atti di convegno | - |
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity | Davide Bresolin;Dario Della Monica;Angelo Montanari;Pietro Sala;Guido Sciavicco | 2014-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations | D. Bresolin ; E. Muñoz-Velasco ; G. Sciavicco | 2014-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
The dark side of interval temporal logic: marking the undecidability border | Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco | 2014-01-01 | ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT | Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco | 2014-01-01 | ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools | Davide Bresolin; Luca Geretti; Riccardo Muradore; Paolo Fiorini; Tiziano Villa | 2014-01-01 | - | IEEE | 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 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 | - |
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms | D. Bresolin; F. Jimenez; G. Sanchez; G. Sciavicco | 2013-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
HyLTL: a temporal logic for model checking hybrid systems | D. Bresolin | 2013-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | - |