Sfoglia per Autore
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions
2013 D. Bresolin;M. Capiluppi
Metric propositional neighborhood logics on natural numbers
2013 D. Bresolin; D. Della Monica; V. Goranko; A. Montanari; G. Sciavicco
HyLTL: a temporal logic for model checking hybrid systems
2013 D. Bresolin
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
2013 D. Bresolin; F. Jimenez; G. Sanchez; G. Sciavicco
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
2013 D. Bresolin; A. Montanari; P. Sala; G. Sciavicco
Improving HyLTL model checking of hybrid systems
2013 D. Bresolin
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 game-theoretic approach to fault diagnosis and identification of hybrid systems
2013 D. Bresolin; M. Capiluppi
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
2014 Davide Bresolin; Luca Geretti; Riccardo Muradore; Paolo Fiorini; Tiziano Villa
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
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations
2014 D. Bresolin ; E. Muñoz-Velasco ; G. Sciavicco
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
2014 L. Benvenuti; D. Bresolin; P. Collins; A. Ferrari; L. Geretti; T. Villa
DL-Lite and Interval Temporal Logics: a Marriage Proposal
2014 A. Artale ; D. Bresolin ; A. Montanari ; G. Sciavicco ; V. Ryzhikov
The dark side of interval temporal logic: marking the undecidability border
2014 Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
2014 D. Bresolin; K. El-Fakih; T. Villa; N.Yevtushenko
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
2014 Davide Bresolin;Dario Della Monica;Angelo Montanari;Pietro Sala;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
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
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
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
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 | - |
Metric propositional neighborhood logics on natural numbers | D. Bresolin; D. Della Monica; V. Goranko; A. Montanari; G. Sciavicco | 2013-01-01 | SOFTWARE AND SYSTEMS MODELING | - | 1.01 Articolo in rivista | - |
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 | - |
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 | - |
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers | D. Bresolin; A. Montanari; P. Sala; G. Sciavicco | 2013-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Improving HyLTL model checking of hybrid systems | D. Bresolin | 2013-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 4.01 Contributo in Atti di convegno | - |
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 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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile