Davide Bresolin
UniVR

Dipartimento di Informatica
Scienza e Ingegneria
Università di Bologna
Mura Anteo Zamboni, 7
40126 Bologna, ITALY


Write Me!


Built with TextWrangler

Valid XHTML 1.0 Transitional

Valid CSS

Publications
International Journals
  1. On Begins, Meets and Before.
    [PDF] [BibTeX]
    Davide Bresolin, Pietro Sala, and Guido Sciavicco.
    International Journal of Foundations of Computer Science, 2011.
  2. Metric Propositional Neighborhood Logics on Natural Numbers.
    [PDF] [DOI] [BibTeX]
    Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco.
    Software and Systems Modeling, 2011.
  3. Tableaux for Logics of Subinterval Structures over Dense Orderings.
    [DOI] [BibTeX]
    Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala.
    Journal of Logic and Computation, 20(1), pp. 133-166, 2010.
  4. A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity.
    [DOI] [BibTeX]
    Davide Bresolin, Angelo Montanari, and Gabriele Puppis.
    Acta Informatica, vol. 46, n. 5, pp. 331-360, 2009.
  5. Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions.
    [DOI] [BibTeX]
    Davide Bresolin, Valentin Goranko, Angelo Montanari, and Guido Sciavicco.
    Annals of Pure and Applied Logic, vol. 161, n. 3, pp. 289-304, 2009.
  6. An optimal decision procedure for Right Propositional Neighborhood Logic.
    [PDF] [BibTeX]
    Davide Bresolin, Angelo Montanari, and Guido Sciavicco.
    Journal of Automated Reasoning, vol. 38, num. 1-3, pp. 173-199, 2007.
  7. Relational dual tableaux for interval temporal logics.
    [PDF] [BibTeX]
    Davide Bresolin, Joanna Golinska-Pilarek, and Ewa Orlowska.
    Journal of Applied Non-Classical Logics, vol. 16, num. 3-4, 2006.
Conference and Workshop Proceedings
  1. The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT.
    [PDF] [BibTeX]
    Davide Bresolin, Dario Della Monica, Angelo Montanari, and Guido Sciavicco.
    Proceedings of TIME 2011: 18th International Symposium on Temporal Representation and Reasoning, Lübeck, September 2011.
  2. The dark side of Interval Temporal Logic: sharpening the undecidability border.
    [PDF] [BibTeX]
    Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco.
    Proceedings of TIME 2011: 18th International Symposium on Temporal Representation and Reasoning, Lübeck, September 2011.
  3. A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems.
    [BibTeX]
    Davide Bresolin, Marta Capiluppi
    Proceedings of GandALF 2011: Second International Symposium on Games, Automata, Logics and Formal Verification, Minori, Amalfi Coast, Italy, June 15-17, 2011.
  4. An Optimal Decision Procedure for MPNL over the Integers.
    [BibTeX]
    Davide Bresolin, Angelo Montanari, Pietro Sala, and Guido Sciavicco
    Proceedings of GandALF 2011: Second International Symposium on Games, Automata, Logics and Formal Verification, Minori, Amalfi Coast, Italy, June 15-17, 2011.
  5. Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
    [PDF] [BibTeX]
    Davide Bresolin, Angelo Montanari, Pietro Sala, and Guido Sciavicco.
    Proceedings of TABLEAUX 2011: The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Bern, Switzerland, July 2011.
  6. Correct-by-construction code generation from hybrid automata specification.
    [PDF] [BibTeX]
    Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, and Tiziano Villa.
    Proceedings of CyPhy'11: 1st IEEE Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, Istanbul, Turkey, June 2011.
  7. What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL.
    [PDF] [BibTeX]
    Davide Bresolin, Angelo Montanari, Pietro Sala, and Guido Sciavicco.
    Proceedings of LICS 2011: 26th Symposium on Logic in Computer Science, Toronto, Canada, June 2011.
  8. A decidable spatial generalization of Metric Interval Temporal Logic.
    [PDF] [BibTeX]
    Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, and Guido Sciavicco.
    Proceedings of TIME 2010: 17th International Symposium on Temporal Representation and Reasoning, Paris, France, September 2010.
  9. Begin, After, and Later: a maximal decidable Interval Temporal Logic.
    [PDF] [BibTeX]
    Davide Bresolin, Pietro Sala, and Guido Sciavicco
    Proceedings of GandALF 2010: First International Symposium on Games, Automata, Logics and Formal Verification, Minori, Amalfi Coast, Italy, June 17-18, 2010.
  10. Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
    [PDF] [BibTeX]
    Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco
    Proceedings of ECAI 2010: 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010.
  11. Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.
    [DOI] [PDF] [BibTeX]
    Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco
    Electronic Notes in Theoretical Computer Science (Proceedings of M4M 6: 6th Workshop on Methods for Modalities, November 2009), Volume 262, 2010, pp. 65-81.
  12. Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
    [DOI] [BibTeX]
    Davide Bresolin, Valentin Goranko, Angelo Montanari, and Guido Sciavicco.
    Proceedings of SEFM 2009: 7th IEEE International Conference on Software Engineering and Formal Methods, IEEE Comp. Society Press, Hanoi, Vietnam, November 2009, pp. 240-249.
  13. Undecidability of Interval Temporal Logics with the Overlap Modality.
    [DOI] [BibTeX]
    Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco
    Proceedings of TIME 2009: 16th International Symposium on Temporal Representation and Reasoning, IEEE Comp. Society Press, Bressanone (BZ), Italia, July 2009, pp. 88-95.
  14. Tableau-Based System for Spatial Reasoning about Directional Relations.
    [DOI] [BibTeX]
    Davide Bresolin, Angelo Montanari, Pietro Sala, and Guido Sciavicco
    Proceedings of TABLEAUX 2009: 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 5607, Springer, Oslo, Norway, July 2009, pp. 123-137.
  15. The impact of EFSM composition on functional ATPG.
    [DOI] [BibTeX]
    Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, and Tiziano Villa
    Proceedings of DDECS 2009: 12th IEEE Symposium on Design and Diagnostics of Electronic Systems, pp. 44-49, Liberec, Czech Republic, April 2009.
  16. Complete and Terminating Tableau for the Logic of Proper Subinterval Structures over Dense Orderings.
    [DOI] [BibTeX]
    Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala
     Electronic Notes in Theoretical Computer Science (Proceedings of M4M-5: 5th Workshop on Methods for Modalities, 2007), Volume 231, 2009, pp. 131-151
  17. Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
    [DOI] [BibTeX]
    Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco
    Proceedings of LPAR 2008: 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LNCS 5330, Springer, Doha, Qatar, November 2008, pp. 590-604.
  18. Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders.
    [DOI] [BibTeX]
    Davide Bresolin, Angelo Montanari, Pietro Sala, and Guido Sciavicco
    Proceedings of JELIA 2008: 11th European Conference on Logics in Artificial Intelligence (JELIA), LNAI 5293, Springer, Dresden, Germany, September 2008, pp. 62-75.
  19. Reachability computation for hybrid systems with Ariadne.
    [PDF] [BibTeX]
    Luca Benvenuti, Davide Bresolin, Alberto Casagrande, Pieter Collins, Alberto Ferrari, Emanuele Mazzi, Alberto Sangiovanni-Vincentelli, and Tiziano Villa
    Proceedings of the 17th IFAC World Congress, Seul, South Korea, July 2008.
  20. Optimal tableau for Right Propositional Neighborhood Logic over trees.
    [DOI] [BibTeX]
    Davide Bresolin, Angelo Montanari, and Pietro Sala
    Proceedings of TIME 2008: 15th International Symposium on Temporal Representation and Reasoning (TIME), IEEE Comp. Society Press, Montreal, Canada, June 2008, pp. 110-117.
  21. Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
    [DOI] [BibTeX]
    Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala
    Proceedings of the International Conference TABLEAUX 2007, Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 4548, Springer, Aix en Provence, France, July 2007, pp. 73-89.
  22. On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
    [DOI] [BibTeX]
    Davide Bresolin, Valentin Goranko, Angelo Montanari, and Guido Sciavicco
    Proceedings of LFCS 2007: Symposium on Logical Foundations of Computer Science, LNCS 4514, Springer, New York, USA, June 2007, pp. 84-99.
  23. An optimal tableau-based decision algorithm for Propositional Neighborhood Logic.
    [PDF (extended version)] [BibTeX]
    Davide Bresolin, Angelo Montanari, and Pietro Sala.
    Proceedings of STACS 2007: 24th International Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 2007.
  24. A tableau-based decision procedure for a branching-time interval temporal logic.
    [PDF] [BibTeX] [Slides]
    Davide Bresolin and Angelo Montanari.
    Proceedings of M4M-4: 4th International Workshop on Methods for Modalities, H. Schlingloff (Ed.), Berlin, Germany, December 2005.
  25. A Tableau-based decision procedure for Right Propositional Neighborhood Logic.
    [PDF] [BibTeX] [Slides] [Handout]
    Davide Bresolin and Angelo Montanari.
    Proceedings of TABLEAUX 2005: 14th Conference on Automated Reasoning with Analytic Tableaux and Related Methods, LNAI 3702, Springer, Koblenz, Germany, September 2005, pp. 63-77.
  26. Time granularities and Ultimately Periodic Automata.
    [PDF] [BibTeX] [Slides]
    Davide Bresolin, Angelo Montanari, and Gabriele Puppis.
    Proceedings of JELIA 2004: 9th European Conference on Logics in Artificial Intelligence, LNAI 3229, Springer, Lisbon, Portugal, September 2004, pp. 513-525.
PhD Thesis
  1. Proof methods for Interval Temporal Logics.
    [PDF]     [BibTeX]
    Davide Bresolin.
    Dipartimento di Matematica e Informatica, Università degli Studi di Udine, 2007.
    Forum Editrice, PhD Thesis Series CS 2007/2
Tesi di Laurea (Master Thesis, in Italian)
  • Gestione di insiemi di granularità temporali mediante automi in sistemi di basi di dati.
    [PDF]     [BibTeX]
    Davide Bresolin.
    Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Udine, Italy, July 2003.
HOME

This page was last updated on 29th May 2015 — Privacy Policy