BRESOLIN, DAVIDE
BRESOLIN, DAVIDE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
A computable and compositional semantics for hybrid systems
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
2013 Bresolin, Davide; M., Capiluppi
A higher order method for input-affine uncertain systems
2023 Zivanovic Gonzalez, S.; Geretti, L.; Bresolin, D.; Villa, T.; Collins, P.
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
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity
2009 Bresolin, Davide; A., Montanari; G., Puppis
An optimal decision procedure for Right Propositional Neighborhood Logic
2007 Bresolin, Davide; Angelo, Montanari; Guido, Sciavicco
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
2014 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; L., Geretti; T., Villa
Data-aware process models: From soundness checking to repair
2025 Zavatteri, Matteo; Bresolin, Davide; de Leoni, Massimiliano; Makaj, Aurelo
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
2019 Bresolin, D.; Della Monica, D.; Montanari, A.; Sala, P.; Sciavicco, G.
Equivalence checking and intersection of deterministic timed finite state machines
2022 Bresolin, Davide; El-Fakih, Khaled; Villa, Tiziano; Yevtushenko, Nina
Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics
2017 Bresolin, Davide; Jiménez, Fernando; Sánchez, Gracia; Sciavicco, Guido
Formal Verification of Medical CPS
2018 Geraldes, André A.; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; Mattos, Leonardo S.; Villa, Tiziano
Formal verification of robotic surgery tasks by reachability analysis
2015 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Horn fragments of the Halpern-Shoham interval temporal logic
2017 Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
2014 Bresolin, Davide; Dario Della, Monica; Angelo, Montanari; Pietro, Sala; Guido, Sciavicco
Metric propositional neighborhood logics on natural numbers
2013 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
On Begin, Meets and Before
2012 Bresolin, Davide; P., Sala; G., Sciavicco
On Sub-Propositional Fragments of Modal Logic
2018 Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
2013 Bresolin, Davide; A., Montanari; P., Sala; G., Sciavicco
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions
2009 Bresolin, Davide; V., Goranko; A., Montanari; G., Sciavicco