BRESOLIN, DAVIDE

BRESOLIN, DAVIDE  

Mostra records
Risultati 1 - 20 di 63 (tempo di esecuzione: 0.035 secondi).
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 -