![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Davide Bresolin
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j26]Davide Bresolin
, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
A computable and compositional semantics for hybrid systems. Inf. Comput. 300: 105189 (2024) - 2023
- [j25]Davide Bresolin
, Matteo Zavatteri
:
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty. Inf. Syst. 119: 102288 (2023) - [c52]Matteo Zavatteri
, Davide Bresolin
, Massimiliano de Leoni:
Repair of Unsound Data-Aware Process Models. Business Process Management Workshops 2023: 383-395 - [i5]Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa:
Rigorous Function Calculi in Ariadne. CoRR abs/2306.17541 (2023) - 2022
- [j24]Jean-François Raskin, Davide Bresolin
:
Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020). Inf. Comput. 289(Part): 104980 (2022) - [c51]Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa:
Dynamic Controllability of Temporal Networks via Supervisory Control. OVERLAY@AI*IA 2022: 27-31 - [c50]Luca Geretti, Pieter Collins
, Davide Bresolin
, Tiziano Villa:
Automating Numerical Parameters Along the Evolution of a Nonlinear System. RV 2022: 336-345 - 2021
- [j23]Davide Bresolin
, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Equivalence checking and intersection of deterministic timed finite state machines. Formal Methods Syst. Des. 59(1): 77-102 (2021) - [j22]Davide Bresolin
, Ivan Lanese:
Static and dynamic property-preserving updates. Inf. Comput. 279: 104611 (2021) - [e3]Pierre Ganty, Davide Bresolin:
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. EPTCS 346, 2021 [contents] - [i4]Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR abs/2103.04868 (2021) - 2020
- [c49]Davide Bresolin
, Pieter Collins
, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez:
A computable and compositional semantics for hybrid automata. HSCC 2020: 18:1-18:11 - [e2]Jean-François Raskin, Davide Bresolin:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020. EPTCS 326, 2020 [contents] - [i3]Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa:
Higher Order Method for Differential Inclusions. CoRR abs/2001.11330 (2020)
2010 – 2019
- 2019
- [j21]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266: 97-125 (2019) - [c48]Davide Bresolin, Luca Geretti, Tiziano Villa:
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. OVERLAY@AI*IA 2019: 29-34 - [c47]Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins
, Davide Bresolin
, Tiziano Villa:
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV 2019: 60-75 - 2018
- [j20]Davide Bresolin
, Emilio Muñoz-Velasco, Guido Sciavicco:
On Sub-Propositional Fragments of Modal Logic. Log. Methods Comput. Sci. 14(2) (2018) - [j19]Andre A. Geraldes, Luca Geretti, Davide Bresolin
, Riccardo Muradore
, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa:
Formal Verification of Medical CPS: A Laser Incision Case Study. ACM Trans. Cyber Phys. Syst. 2(4): 35:1-35:29 (2018) - [c46]Davide Bresolin
, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco
:
Extracting Interval Temporal Logic Rules: A First Approach. TIME 2018: 7:1-7:15 - 2017
- [j18]Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco:
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics. J. Multiple Valued Log. Soft Comput. 28(2-3): 217-249 (2017) - [j17]Davide Bresolin
, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco
, Michael Zakharyaschev
:
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18(3): 22:1-22:39 (2017) - [c45]Davide Bresolin
, Emilio Muñoz-Velasco, Guido Sciavicco
:
Fast(er) Reasoning in Interval Temporal Logic. CSL 2017: 17:1-17:17 - [c44]Davide Bresolin
, Ivan Lanese:
Most General Property-Preserving Updates. LATA 2017: 367-379 - [c43]Luca Geretti, Davide Bresolin
, Pieter Collins
, Sanja Zivanovic Gonzalez, Tiziano Villa:
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. ICTSS 2017: 313-319 - 2016
- [j16]Davide Bresolin
, Guido Sciavicco
:
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014). Acta Informatica 53(6-8): 545-546 (2016) - [c42]Davide Bresolin
, Emilio Muñoz-Velasco, Guido Sciavicco
:
On the Complexity of Fragments of Horn Modal Logics. TIME 2016: 186-195 - [c41]Davide Bresolin
, Emilio Muñoz-Velasco, Guido Sciavicco
:
On the Expressive Power of Sub-Propositional Fragments of Modal Logic. GandALF 2016: 91-104 - [i2]Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev:
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR abs/1604.03515 (2016) - [i1]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
On Sub-Propositional Fragments of Modal Logic. CoRR abs/1611.08800 (2016) - 2015
- [j15]Davide Bresolin
, Luca Geretti
, Riccardo Muradore
, Paolo Fiorini, Tiziano Villa:
Formal verification of robotic surgery tasks by reachability analysis. Microprocess. Microsystems 39(8): 836-842 (2015) - [j14]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
, Davide Bresolin
, Luca Geretti
, Tiziano Villa:
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE 103(11): 2104-2132 (2015) - [c40]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA 2015: 511-523 - 2014
- [j13]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Guido Sciavicco
:
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Ann. Math. Artif. Intell. 71(1-3): 11-39 (2014) - [j12]Davide Bresolin
, Dario Della Monica
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71(1-3): 41-83 (2014) - [j11]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560: 269-291 (2014) - [c39]Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco:
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. CILC 2014: 314-318 - [c38]Davide Bresolin
, Luca Geretti
, Riccardo Muradore
, Paolo Fiorini, Tiziano Villa:
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. DSD 2014: 659-662 - [c37]Alessandro Artale, Davide Bresolin
, Angelo Montanari, Guido Sciavicco
, Vladislav Ryzhikov:
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI 2014: 957-958 - [c36]Luzie Schreiter, Davide Bresolin
, Marta Capiluppi, Jörg Raczkowsky, Paolo Fiorini, Heinz Wörn:
Application of contract-based verification techniques for hybrid automata to surgical robotic systems. ECC 2014: 2310-2315 - [c35]Davide Bresolin
, Emilio Muñoz-Velasco, Guido Sciavicco:
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. JELIA 2014: 122-136 - [c34]Davide Bresolin
, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF 2014: 203-216 - [e1]Marcello Maria Bersani, Davide Bresolin, Luca Ferrucci
, Manuel Mazzara
:
Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. EPTCS 168, 2014 [contents] - 2013
- [j10]Davide Bresolin
, Dario Della Monica
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 12(2): 245-264 (2013) - [j9]Davide Bresolin
, Marta Capiluppi:
A game-theoretic approach to fault diagnosis and identification of hybrid systems. Theor. Comput. Sci. 493: 15-29 (2013) - [j8]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theor. Comput. Sci. 493: 98-115 (2013) - [c33]Davide Bresolin
, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco
:
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. FOGA 2013: 25-36 - [c32]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Guido Sciavicco
:
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX 2013: 74-80 - [c31]Davide Bresolin
:
HyLTL: a temporal logic for model checking hybrid systems. HAS 2013: 73-84 - [c30]Davide Bresolin
:
Improving HyLTL model checking of hybrid systems. GandALF 2013: 79-92 - 2012
- [j7]Davide Bresolin
, Pietro Sala
, Guido Sciavicco
:
On Begins, Meets and before. Int. J. Found. Comput. Sci. 23(3): 559-583 (2012) - [c29]Pieter Collins, Davide Bresolin
, Luca Geretti
, Tiziano Villa:
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. ADHS 2012: 284-290 - [c28]Davide Bresolin
, Luigi Di Guglielmo, Luca Geretti
, Riccardo Muradore
, Paolo Fiorini, Tiziano Villa:
Open Problems in Verification and Refinement of Autonomous Robotic Systems. DSD 2012: 469-476 - [c27]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI 2012: 199-204 - [c26]Luca Benvenuti
, Davide Bresolin
, Pieter Collins, Alberto Ferrari, Luca Geretti
, Tiziano Villa:
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP 2012: 79-91 - [c25]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. GandALF 2012: 155-168 - 2011
- [j6]Riccardo Muradore
, Davide Bresolin
, Luca Geretti
, Paolo Fiorini, Tiziano Villa:
Robotic Surgery. IEEE Robotics Autom. Mag. 18(3): 24-32 (2011) - [c24]Davide Bresolin
, Luigi Di Guglielmo, Luca Geretti
, Tiziano Villa:
Correct-by-construction code generation from hybrid automata specification. IWCMC 2011: 1660-1665 - [c23]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS 2011: 387-396 - [c22]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX 2011: 73-87 - [c21]Davide Bresolin
, Dario Della Monica
, Angelo Montanari, Guido Sciavicco
:
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. TIME 2011: 123-130 - [c20]Davide Bresolin
, Dario Della Monica
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME 2011: 131-138 - [c19]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
An Optimal Decision Procedure for MPNL over the Integers. GandALF 2011: 192-206 - [c18]Davide Bresolin
, Marta Capiluppi:
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems. GandALF 2011: 237-249 - 2010
- [j5]Davide Bresolin
, Valentin Goranko, Angelo Montanari, Pietro Sala
:
Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20(1): 133-166 (2010) - [c17]Davide Bresolin
, Dario Della Monica
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI 2010: 695-700 - [c16]Davide Bresolin
, Pietro Sala
, Dario Della Monica
, Angelo Montanari, Guido Sciavicco
:
A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME 2010: 95-102 - [c15]Davide Bresolin
, Pietro Sala
, Guido Sciavicco
:
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic. GANDALF 2010: 72-88
2000 – 2009
- 2009
- [j4]Davide Bresolin
, Angelo Montanari, Gabriele Puppis
:
A theory of ultimately periodic languages and automata with an application to time granularity. Acta Informatica 46(5): 331-360 (2009) - [j3]Davide Bresolin
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Log. 161(3): 289-304 (2009) - [c14]Davide Bresolin
, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli
, Tiziano Villa:
The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49 - [c13]Davide Bresolin
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM 2009: 240-249 - [c12]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137 - [c11]Davide Bresolin
, Dario Della Monica
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
Undecidability of Interval Temporal Logics with the Overlap Modality. TIME 2009: 88-95 - [c10]Davide Bresolin
, Dario Della Monica
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. M4M 2009: 65-81 - 2008
- [c9]Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75 - [c8]Davide Bresolin
, Dario Della Monica
, Valentin Goranko, Angelo Montanari, Guido Sciavicco
:
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR 2008: 590-604 - [c7]Davide Bresolin
, Angelo Montanari, Pietro Sala
:
An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME 2008: 110-117 - 2007
- [b1]Davide Bresolin:
Proof methods for interval temporal logics. University of Udine, Italy, 2007 - [j2]Davide Bresolin
, Angelo Montanari, Guido Sciavicco
:
An Optimal Decision Procedure for Right Propositional Neighborhood Logic. J. Autom. Reason. 38(1-3): 173-199 (2007) - [c6]Davide Bresolin
, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS 2007: 84-99 - [c5]Davide Bresolin
, Angelo Montanari, Pietro Sala
:
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007: 549-560 - [c4]Davide Bresolin
, Valentin Goranko, Angelo Montanari, Pietro Sala
:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89 - [c3]Davide Bresolin
, Valentin Goranko, Angelo Montanari, Pietro Sala
:
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. M4M 2007: 131-151 - 2006
- [j1]Davide Bresolin
, Joanna Golinska-Pilarek
, Ewa Orlowska:
Relational dual tableaux for interval temporal logics. J. Appl. Non Class. Logics 16(3-4): 251-278 (2006) - 2005
- [c2]Davide Bresolin
, Angelo Montanari:
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. TABLEAUX 2005: 63-77 - 2004
- [c1]Davide Bresolin
, Angelo Montanari, Gabriele Puppis:
Time Granularities and Ultimately Periodic Automata. JELIA 2004: 513-525
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint