BRESOLIN, DAVIDE
BRESOLIN, DAVIDE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Data-aware process models: From soundness checking to repair
2025 Zavatteri, Matteo; Bresolin, Davide; de Leoni, Massimiliano; Makaj, Aurelo
A computable and compositional semantics for hybrid systems
2024 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
A higher order method for input-affine uncertain systems
2023 Zivanovic Gonzalez, S.; Geretti, L.; Bresolin, D.; Villa, T.; Collins, P.
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty
2023 Bresolin, D.; Zavatteri, M.
Equivalence checking and intersection of deterministic timed finite state machines
2022 Bresolin, Davide; El-Fakih, Khaled; Villa, Tiziano; Yevtushenko, Nina
Static and dynamic property-preserving updates
2021 Bresolin, D.; Lanese, I.
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.
Formal Verification of Medical CPS
2018 Geraldes, André A.; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; Mattos, Leonardo S.; Villa, Tiziano
On Sub-Propositional Fragments of Modal Logic
2018 Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido
Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics
2017 Bresolin, Davide; Jiménez, Fernando; Sánchez, Gracia; Sciavicco, Guido
Horn fragments of the Halpern-Shoham interval temporal logic
2017 Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)
2016 Bresolin, Davide; Sciavicco, Guido
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
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
2014 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; L., Geretti; T., Villa
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
2014 Bresolin, Davide; Dario Della, Monica; Angelo, Montanari; Pietro, Sala; Guido, Sciavicco
The dark side of interval temporal logic: marking the undecidability border
2014 Bresolin, Davide; Dario Della, Monica; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
2014 Bresolin, Davide; Dario Della, Monica; Angelo, Montanari; Guido, Sciavicco
A game-theoretic approach to fault diagnosis and identification of hybrid systems
2013 Bresolin, Davide; M., Capiluppi
Metric propositional neighborhood logics on natural numbers
2013 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco