default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marco Montali
@article{DBLP:journals/fuin/WerfRMP24,
author = {Jan Martijn E. M. van der Werf and
Andrey Rivkin and
Marco Montali and
Artem Polyvyanyy},
title = {Correctness Notions for Petri Nets with Identifiers},
journal = {Fundam. Informaticae},
volume = {190},
number = {2-4},
pages = {159--207},
year = {2024},
url = {https://doi.org/10.3233/FI-242169},
doi = {10.3233/FI-242169},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/WerfRMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LeemansMM24,
author = {Sander J. J. Leemans and
Fabrizio Maria Maggi and
Marco Montali},
title = {Enjoy the silence: Analysis of stochastic Petri nets with silent transitions},
journal = {Inf. Syst.},
volume = {124},
pages = {102383},
year = {2024},
url = {https://doi.org/10.1016/j.is.2024.102383},
doi = {10.1016/J.IS.2024.102383},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/LeemansMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmmod/AiswaryaCCM24,
author = {C. Aiswarya and
Diego Calvanese and
Francesco Di Cosmo and
Marco Montali},
title = {Verification of Unary Communicating Datalog Programs},
journal = {Proc. {ACM} Manag. Data},
volume = {2},
number = {2},
pages = {89},
year = {2024},
url = {https://doi.org/10.1145/3651590},
doi = {10.1145/3651590},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmmod/AiswaryaCCM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GianolaMW24,
author = {Alessandro Gianola and
Marco Montali and
Sarah Winkler},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Linear-Time Verification of Data-Aware Processes Modulo Theories via
Covers and Automata},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10525--10534},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28922},
doi = {10.1609/AAAI.V38I9.28922},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GianolaMW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GeattiMR24,
author = {Luca Geatti and
Marco Montali and
Andrey Rivkin},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Foundations of Reactive Synthesis for Declarative Process Specifications},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {17416--17425},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i16.29690},
doi = {10.1609/AAAI.V38I16.29690},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GeattiMR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/DonadelloFIMM24,
author = {Ivan Donadello and
Paolo Felli and
Craig Innes and
Fabrizio Maria Maggi and
Marco Montali},
editor = {Andrea Marrella and
Manuel Resinas and
Mieke Jans and
Michael Rosemann},
title = {Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications},
booktitle = {Business Process Management - 22nd International Conference, {BPM}
2024, Krakow, Poland, September 1-6, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14940},
pages = {39--56},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-70396-6\_3},
doi = {10.1007/978-3-031-70396-6\_3},
timestamp = {Wed, 11 Sep 2024 11:32:08 +0200},
biburl = {https://dblp.org/rec/conf/bpm/DonadelloFIMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BuriganaGMW24,
author = {Alessandro Burigana and
Alessandro Gianola and
Marco Montali and
Sarah Winkler},
editor = {Andrea Marrella and
Manuel Resinas and
Mieke Jans and
Michael Rosemann},
title = {Glocal Conformance Checking},
booktitle = {Business Process Management - 22nd International Conference, {BPM}
2024, Krakow, Poland, September 1-6, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14940},
pages = {75--92},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-70396-6\_5},
doi = {10.1007/978-3-031-70396-6\_5},
timestamp = {Wed, 11 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/BuriganaGMW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/GianolaMW24,
author = {Alessandro Gianola and
Marco Montali and
Sarah Winkler},
editor = {Giancarlo Guizzardi and
Fl{\'{a}}via Maria Santoro and
Haralambos Mouratidis and
Pnina Soffer},
title = {Object-Centric Conformance Alignments with Synchronization},
booktitle = {Advanced Information Systems Engineering - 36th International Conference,
CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14663},
pages = {3--19},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61057-8\_1},
doi = {10.1007/978-3-031-61057-8\_1},
timestamp = {Wed, 12 Jun 2024 11:25:41 +0200},
biburl = {https://dblp.org/rec/conf/caise/GianolaMW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LeemansLMP24,
author = {Sander J. J. Leemans and
Tian Li and
Marco Montali and
Artem Polyvyanyy},
editor = {Giancarlo Guizzardi and
Fl{\'{a}}via Maria Santoro and
Haralambos Mouratidis and
Pnina Soffer},
title = {Stochastic Process Discovery: Can It Be Done Optimally?},
booktitle = {Advanced Information Systems Engineering - 36th International Conference,
CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14663},
pages = {36--52},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61057-8\_3},
doi = {10.1007/978-3-031-61057-8\_3},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/LeemansLMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CoreaFMP24,
author = {Carl Corea and
Paolo Felli and
Marco Montali and
Fabio Patrizi},
editor = {Giancarlo Guizzardi and
Fl{\'{a}}via Maria Santoro and
Haralambos Mouratidis and
Pnina Soffer},
title = {On the Flexibility of Declarative Process Specifications},
booktitle = {Advanced Information Systems Engineering - 36th International Conference,
CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14663},
pages = {161--177},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61057-8\_10},
doi = {10.1007/978-3-031-61057-8\_10},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/CoreaFMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GreenmanPSZGKMNZ24,
author = {Ben Greenman and
Siddhartha Prasad and
Antonio Di Stasio and
Shufang Zhu and
Giuseppe De Giacomo and
Shriram Krishnamurthi and
Marco Montali and
Tim Nelson and
Milda Zizyte},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal
Logic},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {579--599},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_30},
doi = {10.1007/978-3-031-71162-6\_30},
timestamp = {Tue, 17 Sep 2024 14:10:04 +0200},
biburl = {https://dblp.org/rec/conf/fm/GreenmanPSZGKMNZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AiswaryaCCM24,
author = {Cyriac Aiswarya and
Diego Calvanese and
Francesco Di Cosmo and
Marco Montali},
editor = {Maurizio Atzori and
Paolo Ciaccia and
Michelangelo Ceci and
Federica Mandreoli and
Donato Malerba and
Manuela Sanguinetti and
Antonio Pellicani and
Federico Motta},
title = {Verification of Unary Communicating Datalog Programs},
booktitle = {Proceedings of the 32nd Symposium of Advanced Database Systems, Villasimius,
Italy, June 23rd to 26th, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3741},
pages = {185--194},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3741/paper81.pdf},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/sebd/AiswaryaCCM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-01139,
author = {Thomas Bolander and
Alessandro Burigana and
Marco Montali},
title = {Depth-Bounded Epistemic Planning},
journal = {CoRR},
volume = {abs/2406.01139},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.01139},
doi = {10.48550/ARXIV.2406.01139},
eprinttype = {arXiv},
eprint = {2406.01139},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-01139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-12078,
author = {Ivan Donadello and
Paolo Felli and
Craig Innes and
Fabrizio Maria Maggi and
Marco Montali},
title = {Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications},
journal = {CoRR},
volume = {abs/2406.12078},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.12078},
doi = {10.48550/ARXIV.2406.12078},
eprinttype = {arXiv},
eprint = {2406.12078},
timestamp = {Thu, 18 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-12078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/AlmanMMPR23,
author = {Anti Alman and
Fabrizio Maria Maggi and
Marco Montali and
Fabio Patrizi and
Andrey Rivkin},
title = {Monitoring hybrid process specifications with conflict management:
An automata-theoretic approach},
journal = {Artif. Intell. Medicine},
volume = {139},
pages = {102512},
year = {2023},
url = {https://doi.org/10.1016/j.artmed.2023.102512},
doi = {10.1016/J.ARTMED.2023.102512},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/artmed/AlmanMMPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/BeerepootCRRBBCCCDFDDFFGIIKKLLLLMMM23,
author = {Iris Beerepoot and
Claudio Di Ciccio and
Hajo A. Reijers and
Stefanie Rinderle{-}Ma and
Wasana Bandara and
Andrea Burattin and
Diego Calvanese and
Tianwa Chen and
Izack Cohen and
Beno{\^{\i}}t Depaire and
Gemma Di Federico and
Marlon Dumas and
Christopher G. J. van Dun and
Tobias Fehrer and
Dominik Andreas Fischer and
Avigdor Gal and
Marta Indulska and
Vatche Isahagian and
Christopher Klinkm{\"{u}}ller and
Wolfgang Kratsch and
Henrik Leopold and
Amy Van Looy and
Hugo A. L{\'{o}}pez and
Sanja Lukumbuzya and
Jan Mendling and
Lara Meyers and
Linda Moder and
Marco Montali and
Vinod Muthusamy and
Manfred Reichert and
Yara Rizk and
Michael Rosemann and
Maximilian R{\"{o}}glinger and
Shazia Sadiq and
Ronny Seiger and
Tijs Slaats and
Mantas Simkus and
Ida Asadi Someh and
Barbara Weber and
Ingo Weber and
Mathias Weske and
Francesca Zerbato},
title = {The biggest business process management problems to solve before we
die},
journal = {Comput. Ind.},
volume = {146},
pages = {103837},
year = {2023},
url = {https://doi.org/10.1016/j.compind.2022.103837},
doi = {10.1016/J.COMPIND.2022.103837},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cii/BeerepootCRRBBCCCDFDDFFGIIKKLLLLMMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/CalvaneseGLMMS23,
author = {Diego Calvanese and
Avigdor Gal and
Davide Lanti and
Marco Montali and
Alessandro Mosca and
Roee Shraga},
title = {Conceptually-grounded mapping patterns for Virtual Knowledge Graphs},
journal = {Data Knowl. Eng.},
volume = {145},
pages = {102157},
year = {2023},
url = {https://doi.org/10.1016/j.datak.2023.102157},
doi = {10.1016/J.DATAK.2023.102157},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/CalvaneseGLMMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/FelliGMRW23,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin and
Sarah Winkler},
title = {Multi-perspective conformance checking of uncertain process traces:
An SMT-based approach},
journal = {Eng. Appl. Artif. Intell.},
volume = {126},
pages = {106895},
year = {2023},
url = {https://doi.org/10.1016/j.engappai.2023.106895},
doi = {10.1016/J.ENGAPPAI.2023.106895},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eaai/FelliGMRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/FelliGMRW23,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin and
Sarah Winkler},
title = {Data-aware conformance checking with {SMT}},
journal = {Inf. Syst.},
volume = {117},
pages = {102230},
year = {2023},
url = {https://doi.org/10.1016/j.is.2023.102230},
doi = {10.1016/J.IS.2023.102230},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/FelliGMRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AlmanMMPR23,
author = {Anti Alman and
Fabrizio Maria Maggi and
Marco Montali and
Fabio Patrizi and
Andrey Rivkin},
title = {A framework for modeling, executing, and monitoring hybrid multi-process
specifications with bounded global-local memory},
journal = {Inf. Syst.},
volume = {119},
pages = {102271},
year = {2023},
url = {https://doi.org/10.1016/j.is.2023.102271},
doi = {10.1016/J.IS.2023.102271},
timestamp = {Sat, 08 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/AlmanMMPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ChesaniFGLMMMT23,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Sergio Tessaris},
title = {Process Discovery on Deviant Traces and Other Stranger Things},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {35},
number = {11},
pages = {11784--11800},
year = {2023},
url = {https://doi.org/10.1109/TKDE.2022.3232207},
doi = {10.1109/TKDE.2022.3232207},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/ChesaniFGLMMMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmis/DumasFLMMRACGFGRVW23,
author = {Marlon Dumas and
Fabiana Fournier and
Lior Limonad and
Andrea Marrella and
Marco Montali and
Jana{-}Rebecca Rehse and
Rafael Accorsi and
Diego Calvanese and
Giuseppe De Giacomo and
Dirk Fahland and
Avigdor Gal and
Marcello La Rosa and
Hagen V{\"{o}}lzer and
Ingo Weber},
title = {AI-augmented Business Process Management Systems: {A} Research Manifesto},
journal = {{ACM} Trans. Manag. Inf. Syst.},
volume = {14},
number = {1},
pages = {11:1--11:19},
year = {2023},
url = {https://doi.org/10.1145/3576047},
doi = {10.1145/3576047},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmis/DumasFLMMRACGFGRVW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CalvaneseGMM23,
author = {Diego Calvanese and
Alessandro Gianola and
Andrea Mazzullo and
Marco Montali},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {{SMT} Safety Verification of Ontology-Based Processes},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6271--6279},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25772},
doi = {10.1609/AAAI.V37I5.25772},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CalvaneseGMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FelliMPW23,
author = {Paolo Felli and
Marco Montali and
Fabio Patrizi and
Sarah Winkler},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Monitoring Arithmetic Temporal Properties on Finite Traces},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6346--6354},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25781},
doi = {10.1609/AAAI.V37I5.25781},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FelliMPW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarenholzMPRRW23,
author = {Dani{\"{e}}l Barenholz and
Marco Montali and
Artem Polyvyanyy and
Hajo A. Reijers and
Andrey Rivkin and
Jan Martijn E. M. van der Werf},
editor = {Lu{\'{\i}}s Gomes and
Robert Lorenz},
title = {There and Back Again - On the Reconstructability and Rediscoverability
of Typed Jackson Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International
Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13929},
pages = {37--58},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33620-1\_3},
doi = {10.1007/978-3-031-33620-1\_3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/BarenholzMPRRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BuriganaFMT23,
author = {Alessandro Burigana and
Paolo Felli and
Marco Montali and
Nicolas Troquard},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {A Semantic Approach to Decidability in Epistemic Planning},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {2361--2363},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598934},
doi = {10.5555/3545946.3598934},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/BuriganaFMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GeattiMR23,
author = {Luca Geatti and
Marco Montali and
Andrey Rivkin},
editor = {Chiara Di Francescomarino and
Andrea Burattin and
Christian Janiesch and
Shazia W. Sadiq},
title = {Foundations of Collaborative sfDECLARE},
booktitle = {Business Process Management Forum - {BPM} 2023 Forum, Utrecht, The
Netherlands, September 11-15, 2023, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {490},
pages = {55--72},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-41623-1\_4},
doi = {10.1007/978-3-031-41623-1\_4},
timestamp = {Mon, 04 Sep 2023 16:34:59 +0200},
biburl = {https://dblp.org/rec/conf/bpm/GeattiMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GianolaKMMW23,
author = {Alessandro Gianola and
Jonghyeon Ko and
Fabrizio Maria Maggi and
Marco Montali and
Sarah Winkler},
editor = {Chiara Di Francescomarino and
Andrea Burattin and
Christian Janiesch and
Shazia Sadiq},
title = {Approximating Multi-perspective Trace Alignment Using Trace Encodings},
booktitle = {Business Process Management - 21st International Conference, {BPM}
2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14159},
pages = {74--91},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-41620-0\_5},
doi = {10.1007/978-3-031-41620-0\_5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/GianolaKMMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Fontenla-SecoWG23,
author = {Yago Fontenla{-}Seco and
Sarah Winkler and
Alessandro Gianola and
Marco Montali and
Manuel Lama Pen{\'{\i}}n and
Alberto Jos{\'{e}} Bugar{\'{\i}}n Diz},
editor = {Dirk Fahland and
Andr{\'{e}}s Jim{\'{e}}nez{-}Ram{\'{\i}}rez and
Akhil Kumar and
Jan Mendling and
Brian T. Pentland and
Stefanie Rinderle{-}Ma and
Tijs Slaats and
Johan Versendaal and
Barbara Weber and
Mathias Weske and
Karolin Winter},
title = {The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative
Process Mining},
booktitle = {Proceedings of the Best Dissertation Award, Doctoral Consortium, and
Demonstration {\&} Resources Forum at {BPM} 2023 co-located with
21st International Conference on Business Process Management {(BPM}
2023), Utrecht, The Netherlands, September 11th to 15th, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3469},
pages = {112--116},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3469/paper-20.pdf},
timestamp = {Wed, 06 Sep 2023 08:40:08 +0200},
biburl = {https://dblp.org/rec/conf/bpm/Fontenla-SecoWG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/RivaBMMM23,
author = {Francesco Riva and
Dario Benvenuti and
Fabrizio Maria Maggi and
Andrea Marrella and
Marco Montali},
editor = {Chiara Di Francescomarino and
Andrea Burattin and
Christian Janiesch and
Shazia W. Sadiq},
title = {An SQL-Based Declarative Process Mining Framework for Analyzing Process
Data Stored in Relational Databases},
booktitle = {Business Process Management Forum - {BPM} 2023 Forum, Utrecht, The
Netherlands, September 11-15, 2023, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {490},
pages = {214--231},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-41623-1\_13},
doi = {10.1007/978-3-031-41623-1\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/RivaBMMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AlmanMMR23,
author = {Anti Alman and
Fabrizio Maria Maggi and
Marco Montali and
Andrey Rivkin},
editor = {Jochen De Weerdt and
Luise Pufahl},
title = {Generating Event Logs from Hybrid Process Models},
booktitle = {Business Process Management Workshops - {BPM} 2023 International Workshops,
Utrecht, The Netherlands, September 11-15, 2023, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {492},
pages = {289--301},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-50974-2\_22},
doi = {10.1007/978-3-031-50974-2\_22},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/AlmanMMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MontaliW23,
author = {Marco Montali and
Sarah Winkler},
editor = {Jochen De Weerdt and
Luise Pufahl},
title = {Equivalence of Data Petri Nets with Arithmetic},
booktitle = {Business Process Management Workshops - {BPM} 2023 International Workshops,
Utrecht, The Netherlands, September 11-15, 2023, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {492},
pages = {409--421},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-50974-2\_31},
doi = {10.1007/978-3-031-50974-2\_31},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/MontaliW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CalvaneseJKM23,
author = {Diego Calvanese and
Mieke Jans and
Tahir Emre Kalayci and
Marco Montali},
editor = {Marta Indulska and
Iris Reinhartz{-}Berger and
Carlos Cetina and
Oscar Pastor},
title = {Extracting Event Data from Document-Driven Enterprise Systems},
booktitle = {Advanced Information Systems Engineering - 35th International Conference,
CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13901},
pages = {193--209},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34560-9\_12},
doi = {10.1007/978-3-031-34560-9\_12},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/CalvaneseJKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Lanti0CM23,
author = {Davide Lanti and
Alessandro Mosca and
Diego Calvanese and
Marco Montali},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Direct Mappings under the Lens of Information Capacity (Extended Abstract)},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/abstract-16.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/dlog/Lanti0CM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BuriganaFMT23,
author = {Alessandro Burigana and
Paolo Felli and
Marco Montali and
Nicolas Troquard},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {A Semantic Approach to Decidability in Epistemic Planning},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {319--326},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230286},
doi = {10.3233/FAIA230286},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BuriganaFMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/KoMMPP23,
author = {Jonghyeon Ko and
Fabrizio Maria Maggi and
Marco Montali and
Rafael Pe{\~{n}}aloza and
Ramon Fraga Pereira},
title = {Plan Recognition as Probabilistic Trace Alignment},
booktitle = {5th International Conference on Process Mining, {ICPM} 2023, Rome,
Italy, October 23-27, 2023},
pages = {33--40},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICPM60904.2023.10271943},
doi = {10.1109/ICPM60904.2023.10271943},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpm/KoMMPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/FelliMW23,
author = {Paolo Felli and
Marco Montali and
Sarah Winkler},
title = {Repairing Soundness Properties in Data-Aware Processes},
booktitle = {5th International Conference on Process Mining, {ICPM} 2023, Rome,
Italy, October 23-27, 2023},
pages = {41--48},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICPM60904.2023.10271969},
doi = {10.1109/ICPM60904.2023.10271969},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpm/FelliMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/LaghmouchDGJM23,
author = {Manal Laghmouch and
Beno{\^{\i}}t Depaire and
Nicola Gigante and
Mieke Jans and
Marco Montali},
editor = {Jan Martijn E. M. van der Werf and
Cristina Cabanillas and
Francesco Leotta and
Laura Genga},
title = {Declare MoGeS: Model Generator and Specializer},
booktitle = {Doctoral Consortium and Demo Track 2023 at the International Conference
on Process Mining 2023 co-located with the 5th International Conference
on Process Mining {(ICPM} 2023), Rome, Italy, October 27, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3648},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3648/paper\_7567.pdf},
timestamp = {Thu, 11 Apr 2024 17:00:52 +0200},
biburl = {https://dblp.org/rec/conf/icpm/LaghmouchDGJM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/SwevelsFM23,
author = {Ava Swevels and
Dirk Fahland and
Marco Montali},
editor = {Johannes De Smedt and
Pnina Soffer},
title = {Implementing Object-Centric Event Data Models in Event Knowledge Graphs},
booktitle = {Process Mining Workshops - {ICPM} 2023 International Workshops, Rome,
Italy, October 23-27, 2023, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {503},
pages = {431--443},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-56107-8\_33},
doi = {10.1007/978-3-031-56107-8\_33},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpm/SwevelsFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GhilardiGMR23,
author = {Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Safety Verification and Universal Invariants for Relational Action
Bases},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3248--3257},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/362},
doi = {10.24963/IJCAI.2023/362},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GhilardiGMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeemansMM23,
author = {Sander J. J. Leemans and
Fabrizio Maria Maggi and
Marco Montali},
title = {Finite-Trace Analysis of Stochastic Systems with Silent Transitions
(Extended Abstract)},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {6452--6457},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/719},
doi = {10.24963/IJCAI.2023/719},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LeemansMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BuriganaFM23,
author = {Alessandro Burigana and
Paolo Felli and
Marco Montali},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {delphic: Practical {DEL} Planning via Possibilities},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {579--594},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_39},
doi = {10.1007/978-3-031-43619-2\_39},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BuriganaFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/AlmanDMM23,
author = {Anti Alman and
Ivan Donadello and
Fabrizio Maria Maggi and
Marco Montali},
editor = {Regine Kadgien and
Andreas Jedlitschka and
Andrea Janes and
Valentina Lenarduzzi and
Xiaozhou Li},
title = {Declarative Process Mining for Software Processes: The RuM Toolkit
and the Declare4Py Python Library},
booktitle = {Product-Focused Software Process Improvement - 24th International
Conference, {PROFES} 2023, Dornbirn, Austria, December 10-13, 2023,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14484},
pages = {13--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49269-3\_2},
doi = {10.1007/978-3-031-49269-3\_2},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/profes/AlmanDMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edoc/2022w,
editor = {Tiago Prince Sales and
Henderik A. Proper and
Giancarlo Guizzardi and
Marco Montali and
Fabrizio Maria Maggi and
Claudenir M. Fonseca},
title = {Enterprise Design, Operations, and Computing. {EDOC} 2022 Workshops
- IDAMS, SoEA4EE, TEAR, {EDOC} Forum, Demonstrations Track and Doctoral
Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {466},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26886-1},
doi = {10.1007/978-3-031-26886-1},
isbn = {978-3-031-26885-4},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icpm/2022w,
editor = {Marco Montali and
Arik Senderovich and
Matthias Weidlich},
title = {Process Mining Workshops - {ICPM} 2022 International Workshops, Bozen-Bolzano,
Italy, October 23-28, 2022, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {468},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27815-0},
doi = {10.1007/978-3-031-27815-0},
isbn = {978-3-031-27814-3},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icpm/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-10039,
author = {Dani{\"{e}}l Barenholz and
Marco Montali and
Artem Polyvyanyy and
Hajo A. Reijers and
Andrey Rivkin and
Jan Martijn E. M. van der Werf},
title = {On the Reconstructability and Rediscoverability of Typed Jackson Nets
(Extended Version)},
journal = {CoRR},
volume = {abs/2303.10039},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.10039},
doi = {10.48550/ARXIV.2303.10039},
eprinttype = {arXiv},
eprint = {2303.10039},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-10039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-06376,
author = {Sander J. J. Leemans and
Fabrizio Maria Maggi and
Marco Montali},
title = {Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions},
journal = {CoRR},
volume = {abs/2306.06376},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.06376},
doi = {10.48550/ARXIV.2306.06376},
eprinttype = {arXiv},
eprint = {2306.06376},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-06376.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-15451,
author = {Alessandro Burigana and
Paolo Felli and
Marco Montali},
title = {{DELPHIC:} Practical {DEL} Planning via Possibilities (Extended Version)},
journal = {CoRR},
volume = {abs/2307.15451},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.15451},
doi = {10.48550/ARXIV.2307.15451},
eprinttype = {arXiv},
eprint = {2307.15451},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-15451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-15485,
author = {Alessandro Burigana and
Paolo Felli and
Marco Montali and
Nicolas Troquard},
title = {A Semantic Approach to Decidability in Epistemic Planning (Extended
Version)},
journal = {CoRR},
volume = {abs/2307.15485},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.15485},
doi = {10.48550/ARXIV.2307.15485},
eprinttype = {arXiv},
eprint = {2307.15485},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-15485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-12180,
author = {Alessandro Gianola and
Marco Montali and
Sarah Winkler},
title = {Linear-Time Verification of Data-Aware Processes Modulo Theories via
Covers and Automata (Extended Version)},
journal = {CoRR},
volume = {abs/2310.12180},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.12180},
doi = {10.48550/ARXIV.2310.12180},
eprinttype = {arXiv},
eprint = {2310.12180},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-12180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-08795,
author = {Alessandro Berti and
Marco Montali and
Wil M. P. van der Aalst},
title = {Advancements and Challenges in Object-Centric Process Mining: {A}
Systematic Literature Review},
journal = {CoRR},
volume = {abs/2311.08795},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.08795},
doi = {10.48550/ARXIV.2311.08795},
eprinttype = {arXiv},
eprint = {2311.08795},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08795.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08537,
author = {Alessandro Gianola and
Marco Montali and
Sarah Winkler},
title = {Object-Centric Conformance Alignments with Synchronization (Extended
Version)},
journal = {CoRR},
volume = {abs/2312.08537},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.08537},
doi = {10.48550/ARXIV.2312.08537},
eprinttype = {arXiv},
eprint = {2312.08537},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-08537.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisaij/AlmeidaKM22,
author = {Jo{\~{a}}o Paulo A. Almeida and
Thomas K{\"{u}}hne and
Marco Montali},
title = {Special Issue on Multi-Level Modeling Process Challenge Editorial},
journal = {Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model.},
volume = {17},
year = {2022},
url = {https://doi.org/10.18417/emisa.17.4},
doi = {10.18417/EMISA.17.4},
timestamp = {Sun, 24 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/emisaij/AlmeidaKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/MontaliWWR22,
author = {Marco Montali and
Ingo Weber and
Mathias Weske and
Manfred Reichert},
title = {Special issue: {BPM} 2018 selected papers in foundations and engineering},
journal = {Inf. Syst.},
volume = {103},
pages = {101477},
year = {2022},
url = {https://doi.org/10.1016/j.is.2019.101477},
doi = {10.1016/J.IS.2019.101477},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/MontaliWWR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/GhilardiGMR22,
author = {Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Petri net-based object-centric processes with read-only data},
journal = {Inf. Syst.},
volume = {107},
pages = {102011},
year = {2022},
url = {https://doi.org/10.1016/j.is.2022.102011},
doi = {10.1016/J.IS.2022.102011},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/GhilardiGMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/AlmanMMP22,
author = {Anti Alman and
Fabrizio Maria Maggi and
Marco Montali and
Rafael Pe{\~{n}}aloza},
title = {Probabilistic declarative process mining},
journal = {Inf. Syst.},
volume = {109},
pages = {102033},
year = {2022},
url = {https://doi.org/10.1016/j.is.2022.102033},
doi = {10.1016/J.IS.2022.102033},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/AlmanMMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CalvaneseGGMR22,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Combination of Uniform Interpolants via Beth Definability},
journal = {J. Autom. Reason.},
volume = {66},
number = {3},
pages = {409--435},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09627-1},
doi = {10.1007/S10817-022-09627-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CalvaneseGGMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GiacomoMMM22,
author = {Giuseppe De Giacomo and
Riccardo De Masellis and
Fabrizio Maria Maggi and
Marco Montali},
title = {Monitoring Constraints and Metaconstraints with Temporal Logics on
Finite Traces},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {31},
number = {4},
pages = {68:1--68:44},
year = {2022},
url = {https://doi.org/10.1145/3506799},
doi = {10.1145/3506799},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/GiacomoMMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FodorM22,
author = {Paul Fodor and
Marco Montali},
title = {Introduction to the Special Issue on the International Joint Conference
on Rules and Reasoning, RuleML+RR 2019},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {2},
pages = {158--161},
year = {2022},
url = {https://doi.org/10.1017/S1471068422000023},
doi = {10.1017/S1471068422000023},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/FodorM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FelliMW22,
author = {Paolo Felli and
Marco Montali and
Sarah Winkler},
title = {Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5642--5650},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20505},
doi = {10.1609/AAAI.V36I5.20505},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/FelliMW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BuriganaFM22,
author = {Alessandro Burigana and
Paolo Felli and
Marco Montali},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {{DELPHIC:} Towards an Efficient Possibility-based Epistemic Planning
Framework},
booktitle = {Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 21st International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {33--37},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BuriganaFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/FelliGMRW22,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin and
Sarah Winkler},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {A Modular SMT-based Approach for Data-aware Conformance Checking},
booktitle = {Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 21st International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {87--92},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/FelliGMRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WerfRPM22,
author = {Jan Martijn E. M. van der Werf and
Andrey Rivkin and
Artem Polyvyanyy and
Marco Montali},
editor = {Luca Bernardinello and
Laure Petrucci},
title = {Data and Process Resonance - Identifier Soundness for Models of Information
Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International
Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13288},
pages = {369--392},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06653-5\_19},
doi = {10.1007/978-3-031-06653-5\_19},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WerfRPM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Montali22,
author = {Marco Montali},
editor = {Cristina Cabanillas and
Niels Frederik Garmann{-}Johnsen and
Agnes Koschmider},
title = {Constraints for Process Framing in AI-Augmented {BPM}},
booktitle = {Business Process Management Workshops - {BPM} 2022 International Workshops,
M{\"{u}}nster, Germany, September 11-16, 2022, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {460},
pages = {5--12},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25383-6\_1},
doi = {10.1007/978-3-031-25383-6\_1},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/Montali22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AamerMB22,
author = {Heba Aamer and
Marco Montali and
Jan Van den Bussche},
editor = {Cristina Cabanillas and
Niels Frederik Garmann{-}Johnsen and
Agnes Koschmider},
title = {What Can Database Query Processing Do for Instance-Spanning Constraints?},
booktitle = {Business Process Management Workshops - {BPM} 2022 International Workshops,
M{\"{u}}nster, Germany, September 11-16, 2022, Revised Selected
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {460},
pages = {132--144},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25383-6\_11},
doi = {10.1007/978-3-031-25383-6\_11},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/AamerMB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/FelliGMRW22,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin and
Sarah Winkler},
editor = {Claudio Di Ciccio and
Remco M. Dijkman and
Adela del{-}R{\'{\i}}o{-}Ortega and
Stefanie Rinderle{-}Ma},
title = {Conformance Checking with Uncertainty via {SMT}},
booktitle = {Business Process Management - 20th International Conference, {BPM}
2022, M{\"{u}}nster, Germany, September 11-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13420},
pages = {199--216},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16103-2\_15},
doi = {10.1007/978-3-031-16103-2\_15},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/FelliGMRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LeemansMM22,
author = {Sander J. J. Leemans and
Fabrizio Maria Maggi and
Marco Montali},
editor = {Claudio Di Ciccio and
Remco M. Dijkman and
Adela del{-}R{\'{\i}}o{-}Ortega and
Stefanie Rinderle{-}Ma},
title = {Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic
Setting},
booktitle = {Business Process Management - 20th International Conference, {BPM}
2022, M{\"{u}}nster, Germany, September 11-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13420},
pages = {324--342},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16103-2\_22},
doi = {10.1007/978-3-031-16103-2\_22},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/LeemansMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FelliMW22,
author = {Paolo Felli and
Marco Montali and
Sarah Winkler},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {CTL\({}^{\mbox{*}}\) Model Checking for Data-Aware Dynamic Systems
with Arithmetic},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {36--56},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_4},
doi = {10.1007/978-3-031-10769-6\_4},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/FelliMW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/AlmanMMPR22,
author = {Anti Alman and
Fabrizio Maria Maggi and
Marco Montali and
Fabio Patrizi and
Andrey Rivkin},
editor = {Xavier Franch and
Geert Poels and
Frederik Gailly and
Monique Snoeck},
title = {Multi-model Monitoring Framework for Hybrid Process Specifications},
booktitle = {Advanced Information Systems Engineering - 34th International Conference,
CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13295},
pages = {319--335},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07472-1\_19},
doi = {10.1007/978-3-031-07472-1\_19},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/AlmanMMPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FelliMW22,
author = {Paolo Felli and
Marco Montali and
Sarah Winkler},
editor = {Xavier Franch and
Geert Poels and
Frederik Gailly and
Monique Snoeck},
title = {Soundness of Data-Aware Processes with Arithmetic Conditions},
booktitle = {Advanced Information Systems Engineering - 34th International Conference,
CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13295},
pages = {389--406},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07472-1\_23},
doi = {10.1007/978-3-031-07472-1\_23},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/FelliMW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ChesaniFGLMMMPT22,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Elena Palmieri and
Sergio Tessaris},
editor = {Roberta Calegari and
Giovanni Ciatto and
Andrea Omicini},
title = {Discovering Business Processes models expressed as {DNF} or {CNF}
formulae of Declare constraints},
booktitle = {Proceedings of the 37th Italian Conference on Computational Logic,
Bologna, Italy, June 29 - July 1, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3204},
pages = {201--216},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3204/paper\_21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/ChesaniFGLMMMPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Xiong0KMGC22,
author = {Jing Xiong and
Guohui Xiao and
Tahir Emre Kalayci and
Marco Montali and
Zhenzhen Gu and
Diego Calvanese},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Extraction of Object-Centric Event Logs through Virtual Knowledge
Graphs (Extended Abstract)},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/abstract-15.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Xiong0KMGC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/ChesaniFGGLMMMT22,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Giulia Grundler and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Sergio Tessaris},
editor = {Jo{\~{a}}o Paulo A. Almeida and
Dimka Karastoyanova and
Giancarlo Guizzardi and
Marco Montali and
Fabrizio Maria Maggi and
Claudenir M. Fonseca},
title = {Shape Your Process: Discovering Declarative Business Processes from
Positive and Negative Traces Taking into Account User Preferences},
booktitle = {Enterprise Design, Operations, and Computing - 26th International
Conference, {EDOC} 2022, Bozen-Bolzano, Italy, October 3-7, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13585},
pages = {217--234},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17604-3\_13},
doi = {10.1007/978-3-031-17604-3\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edoc/ChesaniFGGLMMMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/Xiong0KMGC22,
author = {Jing Xiong and
Guohui Xiao and
Tahir Emre Kalayci and
Marco Montali and
Zhenzhen Gu and
Diego Calvanese},
editor = {Marco Montali and
Arik Senderovich and
Matthias Weidlich},
title = {A Virtual Knowledge Graph Based Approach for Object-Centric Event
Logs Extraction},
booktitle = {Process Mining Workshops - {ICPM} 2022 International Workshops, Bozen-Bolzano,
Italy, October 23-28, 2022, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {468},
pages = {466--478},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27815-0\_34},
doi = {10.1007/978-3-031-27815-0\_34},
timestamp = {Fri, 26 May 2023 07:40:33 +0200},
biburl = {https://dblp.org/rec/conf/icpm/Xiong0KMGC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FelliMW22,
author = {Paolo Felli and
Marco Montali and
Sarah Winkler},
editor = {Giuseppe De Giacomo and
Antonella Guzzo and
Marco Montali and
Lior Limonad and
Fabiana Fournier and
Tagatha Chakraborti},
title = {Reasoning and Verification with Data Petri Nets},
booktitle = {Proceedings of the Workshop on Process Management in the {AI} Era
{(PMAI} 2022) co-located with 31st International Joint Conference
on Artificial Intelligence and the 25th European Conference on Artificial
Intelligence {(IJCAI-ECAI} 2022), Wien, Austria, July 23, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3310},
pages = {73--76},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3310/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:31 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FelliMW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseGMP22a,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Marco Montali and
Fabio Patrizi},
editor = {Giuseppe De Giacomo and
Antonella Guzzo and
Marco Montali and
Lior Limonad and
Fabiana Fournier and
Tagatha Chakraborti},
title = {Verification of Generic, Relational Transition Systems},
booktitle = {Proceedings of the Workshop on Process Management in the {AI} Era
{(PMAI} 2022) co-located with 31st International Joint Conference
on Artificial Intelligence and the 25th European Conference on Artificial
Intelligence {(IJCAI-ECAI} 2022), Wien, Austria, July 23, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3310},
pages = {93--96},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3310/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CalvaneseGMP22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseGMP22,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Marco Montali and
Fabio Patrizi},
editor = {Luc De Raedt},
title = {Verification and Monitoring for First-Order {LTL} with Persistence-Preserving
Quantification over Finite and Infinite Traces},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2553--2560},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/354},
doi = {10.24963/IJCAI.2022/354},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CalvaneseGMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ChesaniFGGLMMMT22,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Giulia Grundler and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Sergio Tessaris},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Optimising Business Process Discovery Using Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {498--504},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_38},
doi = {10.1007/978-3-031-15707-3\_38},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ChesaniFGGLMMMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalvaneseGLM0S22,
author = {Diego Calvanese and
Avigdor Gal and
Davide Lanti and
Marco Montali and
Alessandro Mosca and
Roee Shraga},
editor = {Giuseppe Amato and
Valentina Bartalesi and
Devis Bianchini and
Claudio Gennaro and
Riccardo Torlone},
title = {Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs},
booktitle = {Proceedings of the 30th Italian Symposium on Advanced Database Systems,
{SEBD} 2022, Tirrenia (PI), Italy, June 19-22, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3194},
pages = {85--92},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3194/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalvaneseGLM0S22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/CiccioM22,
author = {Claudio Di Ciccio and
Marco Montali},
editor = {Wil M. P. van der Aalst and
Josep Carmona},
title = {Declarative Process Specifications: Reasoning, Discovery, Monitoring},
booktitle = {Process Mining Handbook},
series = {Lecture Notes in Business Information Processing},
volume = {448},
pages = {108--152},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08848-3\_4},
doi = {10.1007/978-3-031-08848-3\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/22/CiccioM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edoc/2022,
editor = {Jo{\~{a}}o Paulo A. Almeida and
Dimka Karastoyanova and
Giancarlo Guizzardi and
Marco Montali and
Fabrizio Maria Maggi and
Claudenir M. Fonseca},
title = {Enterprise Design, Operations, and Computing - 26th International
Conference, {EDOC} 2022, Bozen-Bolzano, Italy, October 3-7, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13585},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17604-3},
doi = {10.1007/978-3-031-17604-3},
isbn = {978-3-031-17603-6},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edoc/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2022pmai,
editor = {Giuseppe De Giacomo and
Antonella Guzzo and
Marco Montali and
Lior Limonad and
Fabiana Fournier and
Tagatha Chakraborti},
title = {Proceedings of the Workshop on Process Management in the {AI} Era
{(PMAI} 2022) co-located with 31st International Joint Conference
on Artificial Intelligence and the 25th European Conference on Artificial
Intelligence {(IJCAI-ECAI} 2022), Wien, Austria, July 23, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3310},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3310},
urn = {urn:nbn:de:0074-3310-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2022pmai.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-12855,
author = {Marlon Dumas and
Fabiana Fournier and
Lior Limonad and
Andrea Marrella and
Marco Montali and
Jana{-}Rebecca Rehse and
Rafael Accorsi and
Diego Calvanese and
Giuseppe De Giacomo and
Dirk Fahland and
Avigdor Gal and
Marcello La Rosa and
Hagen V{\"{o}}lzer and
Ingo Weber},
title = {Augmented Business Process Management Systems: {A} Research Manifesto},
journal = {CoRR},
volume = {abs/2201.12855},
year = {2022},
url = {https://arxiv.org/abs/2201.12855},
eprinttype = {arXiv},
eprint = {2201.12855},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-12855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-07982,
author = {Paolo Felli and
Marco Montali and
Sarah Winkler},
title = {Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic},
journal = {CoRR},
volume = {abs/2203.07982},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.07982},
doi = {10.48550/ARXIV.2203.07982},
eprinttype = {arXiv},
eprint = {2203.07982},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-07982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-14809,
author = {Paolo Felli and
Marco Montali and
Sarah Winkler},
title = {Soundness of Data-Aware Processes with Arithmetic Conditions},
journal = {CoRR},
volume = {abs/2203.14809},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.14809},
doi = {10.48550/ARXIV.2203.14809},
eprinttype = {arXiv},
eprint = {2203.14809},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-14809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08976,
author = {Paolo Felli and
Marco Montali and
Sarah Winkler},
title = {CTL* model checking for data-aware dynamic systems with arithmetic},
journal = {CoRR},
volume = {abs/2205.08976},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08976},
doi = {10.48550/ARXIV.2205.08976},
eprinttype = {arXiv},
eprint = {2205.08976},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-00140,
author = {Heba Aamer and
Marco Montali and
Jan Van den Bussche},
title = {What Can Database Query Processing Do for Instance-Spanning Constraints?},
journal = {CoRR},
volume = {abs/2206.00140},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.00140},
doi = {10.48550/ARXIV.2206.00140},
eprinttype = {arXiv},
eprint = {2206.00140},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-00140.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07461,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin and
Sarah Winkler},
title = {Conformance Checking with Uncertainty via {SMT} (Extended Version)},
journal = {CoRR},
volume = {abs/2206.07461},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.07461},
doi = {10.48550/ARXIV.2206.07461},
eprinttype = {arXiv},
eprint = {2206.07461},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-07461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06377,
author = {Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Relational Action Bases: Formalization, Effective Safety Verification,
and Invariants (Extended Version)},
journal = {CoRR},
volume = {abs/2208.06377},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.06377},
doi = {10.48550/ARXIV.2208.06377},
eprinttype = {arXiv},
eprint = {2208.06377},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-06377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-17166,
author = {Paolo Felli and
Marco Montali and
Fabio Patrizi and
Sarah Winkler},
title = {Monitoring Arithmetic Temporal Properties on Finite Traces},
journal = {CoRR},
volume = {abs/2211.17166},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.17166},
doi = {10.48550/ARXIV.2211.17166},
eprinttype = {arXiv},
eprint = {2211.17166},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-17166.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-07363,
author = {Jan Martijn E. M. van der Werf and
Andrey Rivkin and
Marco Montali and
Artem Polyvyanyy},
title = {Correctness Notions for Petri Nets with Identifiers},
journal = {CoRR},
volume = {abs/2212.07363},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.07363},
doi = {10.48550/ARXIV.2212.07363},
eprinttype = {arXiv},
eprint = {2212.07363},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-07363.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-10875,
author = {Luca Geatti and
Marco Montali and
Andrey Rivkin},
title = {Reactive Synthesis for {DECLARE} via symbolic automata},
journal = {CoRR},
volume = {abs/2212.10875},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.10875},
doi = {10.48550/ARXIV.2212.10875},
eprinttype = {arXiv},
eprint = {2212.10875},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-10875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FelliMP21,
author = {Paolo Felli and
Marco Montali and
Maurizio Proietti},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {178},
number = {4},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2007},
doi = {10.3233/FI-2021-2007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FelliMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FelliLM21,
author = {Paolo Felli and
Massimiliano de Leoni and
Marco Montali},
title = {Soundness Verification of Data-Aware Process Models with Variable-to-Variable
Conditions},
journal = {Fundam. Informaticae},
volume = {182},
number = {1},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2064},
doi = {10.3233/FI-2021-2064},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FelliLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/RitterRMR21,
author = {Daniel Ritter and
Stefanie Rinderle{-}Ma and
Marco Montali and
Andrey Rivkin},
title = {Formal foundations for responsible application integration},
journal = {Inf. Syst.},
volume = {101},
pages = {101439},
year = {2021},
url = {https://doi.org/10.1016/j.is.2019.101439},
doi = {10.1016/J.IS.2019.101439},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/RitterRMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CalvaneseGGMR21,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Model Completeness, Uniform Interpolants and Superposition Calculus},
journal = {J. Autom. Reason.},
volume = {65},
number = {7},
pages = {941--969},
year = {2021},
url = {https://doi.org/10.1007/s10817-021-09596-x},
doi = {10.1007/S10817-021-09596-X},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/CalvaneseGGMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodsn/LeoniFM21,
author = {Massimiliano de Leoni and
Paolo Felli and
Marco Montali},
title = {Integrating {BPMN} and {DMN:} Modeling and Analysis},
journal = {J. Data Semant.},
volume = {10},
number = {1-2},
pages = {165--188},
year = {2021},
url = {https://doi.org/10.1007/s13740-021-00132-z},
doi = {10.1007/S13740-021-00132-Z},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jodsn/LeoniFM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Sanchez-Ferreres21,
author = {Josep S{\`{a}}nchez{-}Ferreres and
Andrea Burattin and
Josep Carmona and
Marco Montali and
Llu{\'{\i}}s Padr{\'{o}} and
Luis Quishpi},
title = {Unleashing textual descriptions of business processes},
journal = {Softw. Syst. Model.},
volume = {20},
number = {6},
pages = {2131--2153},
year = {2021},
url = {https://doi.org/10.1007/s10270-021-00886-x},
doi = {10.1007/S10270-021-00886-X},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/Sanchez-Ferreres21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FelliGM21,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali},
title = {SMT-based Safety Checking of Parameterized Multi-Agent Systems},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6321--6330},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i7.16785},
doi = {10.1609/AAAI.V35I7.16785},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FelliGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/FedericoBM21,
author = {Gemma Di Federico and
Andrea Burattin and
Marco Montali},
editor = {Andrea Marrella and
Daniele Theseider Dupr{\'{e}}},
title = {Human Behavior as a Process Model: Which Language to Use?},
booktitle = {Proceedings of the 1st Italian Forum on Business Process Management
co-located with the 19th International Conference of Business Process
Management {(BPM} 2021), Rome, Italy, September 10th, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2952},
pages = {18--25},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2952/paper\_293a.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/FedericoBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AlmanCMMA21,
author = {Anti Alman and
Claudio Di Ciccio and
Fabrizio Maria Maggi and
Marco Montali and
Han van der Aa},
editor = {Artem Polyvyanyy and
Moe Thandar Wynn and
Amy Van Looy and
Manfred Reichert},
title = {RuM: Declarative Process Mining, Distilled},
booktitle = {Business Process Management - 19th International Conference, {BPM}
2021, Rome, Italy, September 06-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12875},
pages = {23--29},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85469-0\_3},
doi = {10.1007/978-3-030-85469-0\_3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/AlmanCMMA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CalvaneseLMS21,
author = {Diego Calvanese and
Sanja Lukumbuzya and
Marco Montali and
Mantas Simkus},
editor = {Iris Beerepoot and
Claudio Di Ciccio and
Andrea Marrella and
Hajo A. Reijers and
Stefanie Rinderle{-}Ma and
Barbara Weber},
title = {Process Mining with Common Sense},
booktitle = {Proceedings of the International Workshop on {BPM} Problems to Solve
Before We Die {(PROBLEMS} 2021) co-located with the 19th International
Conference on Business Process Management {(BPM} 2021), Rome, Italy,
September 6-10, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2938},
pages = {45--50},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2938/paper-PROBLEMS-45.pdf},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/CalvaneseLMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BurattinGLM21,
author = {Andrea Burattin and
Alessandro Gianola and
Hugo A. L{\'{o}}pez and
Marco Montali},
editor = {Andrea Marrella and
Daniele Theseider Dupr{\'{e}}},
title = {Exploring the Conformance Space (Extended abstract)},
booktitle = {Proceedings of the 1st Italian Forum on Business Process Management
co-located with the 19th International Conference of Business Process
Management {(BPM} 2021), Rome, Italy, September 10th, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2952},
pages = {62--67},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2952/paper\_301a.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/BurattinGLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GhilardiGMR21,
author = {Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
editor = {Artem Polyvyanyy and
Moe Thandar Wynn and
Amy Van Looy and
Manfred Reichert},
title = {Delta-BPMN: {A} Concrete Language and Verifier for Data-Aware {BPMN}},
booktitle = {Business Process Management - 19th International Conference, {BPM}
2021, Rome, Italy, September 06-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12875},
pages = {179--196},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85469-0\_13},
doi = {10.1007/978-3-030-85469-0\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/GhilardiGMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/FelliGMRW21,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin and
Sarah Winkler},
editor = {Artem Polyvyanyy and
Moe Thandar Wynn and
Amy Van Looy and
Manfred Reichert},
title = {CoCoMoT: Conformance Checking of Multi-perspective Processes via {SMT}},
booktitle = {Business Process Management - 19th International Conference, {BPM}
2021, Rome, Italy, September 06-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12875},
pages = {217--234},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85469-0\_15},
doi = {10.1007/978-3-030-85469-0\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/FelliGMRW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BergamiMMM21,
author = {Giacomo Bergami and
Fabrizio Maria Maggi and
Andrea Marrella and
Marco Montali},
editor = {Artem Polyvyanyy and
Moe Thandar Wynn and
Amy Van Looy and
Manfred Reichert},
title = {Aligning Data-Aware Declarative Process Models and Event Logs},
booktitle = {Business Process Management - 19th International Conference, {BPM}
2021, Rome, Italy, September 06-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12875},
pages = {235--251},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85469-0\_16},
doi = {10.1007/978-3-030-85469-0\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/BergamiMMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BergamiMMP21,
author = {Giacomo Bergami and
Fabrizio Maria Maggi and
Marco Montali and
Rafael Pe{\~{n}}aloza},
editor = {Selmin Nurcan and
Axel Korthaus},
title = {A Tool for Computing Probabilistic Trace Alignments},
booktitle = {Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC,
Australia, June 28 - July 2, 2021, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {424},
pages = {118--126},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79108-7\_14},
doi = {10.1007/978-3-030-79108-7\_14},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/BergamiMMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CalvaneseGHLM0S21,
author = {Diego Calvanese and
Avigdor Gal and
Naor Haba and
Davide Lanti and
Marco Montali and
Alessandro Mosca and
Roee Shraga},
editor = {Marcello La Rosa and
Shazia W. Sadiq and
Ernest Teniente},
title = {ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping
Patterns},
booktitle = {Advanced Information Systems Engineering - 33rd International Conference,
CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12751},
pages = {193--209},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79382-1\_12},
doi = {10.1007/978-3-030-79382-1\_12},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/CalvaneseGHLM0S21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/HaarmannMW21,
author = {Stephan Haarmann and
Marco Montali and
Mathias Weske},
editor = {Marcello La Rosa and
Shazia W. Sadiq and
Ernest Teniente},
title = {Refining Case Models Using Cardinality Constraints},
booktitle = {Advanced Information Systems Engineering - 33rd International Conference,
CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12751},
pages = {296--310},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79382-1\_18},
doi = {10.1007/978-3-030-79382-1\_18},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/HaarmannMW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CalvaneseC0M21,
author = {Diego Calvanese and
Francesco Di Cosmo and
Jorge Lobo and
Marco Montali},
editor = {Stefania Monica and
Federico Bergenti},
title = {Convergence Verification of Declarative Distributed Systems},
booktitle = {Proceedings of the 36th Italian Conference on Computational Logic,
Parma, Italy, September 7-9, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3002},
pages = {62--76},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3002/paper22.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CalvaneseC0M21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseGHLM0S21,
author = {Diego Calvanese and
Avigdor Gal and
Naor Haba and
Davide Lanti and
Marco Montali and
Alessandro Mosca and
Roee Shraga},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {ADaMaP: Automatic Alignment of Relational Data Sources using Mapping
Patterns (Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseGHLM0S21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseGMM21,
author = {Diego Calvanese and
Alessandro Gianola and
Andrea Mazzullo and
Marco Montali},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {SMT-Based Safety Verification of Data-Aware Processes under Ontologies
(Preliminary Results)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/paper-9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseGMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/GianolaMP21,
author = {Alessandro Gianola and
Marco Montali and
Matteo Papini},
editor = {Dario Della Monica and
Gian Luca Pozzato and
Enrico Scala},
title = {Automated Reasoning for Reinforcement Learning Agents in Structured
Environments},
booktitle = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Twelfth
International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2021), Padua, Italy, September 22, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2987},
pages = {43--48},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2987/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/gandalf/GianolaMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/BergamiMMP21,
author = {Giacomo Bergami and
Fabrizio Maria Maggi and
Marco Montali and
Rafael Pe{\~{n}}aloza},
editor = {Claudio Di Ciccio and
Chiara Di Francescomarino and
Pnina Soffer},
title = {Probabilistic Trace Alignment},
booktitle = {3rd International Conference on Process Mining, {ICPM} 2021, Eindhoven,
The Netherlands, October 31 - Nov. 4, 2021},
pages = {9--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICPM53251.2021.9576856},
doi = {10.1109/ICPM53251.2021.9576856},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpm/BergamiMMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiacomoFMP21,
author = {Giuseppe De Giacomo and
Paolo Felli and
Marco Montali and
Giuseppe Perelli},
editor = {Zhi{-}Hua Zhou},
title = {HyperLDLf: a Logic for Checking Properties of Finite Traces Process
Logs},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1859--1865},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/256},
doi = {10.24963/IJCAI.2021/256},
timestamp = {Wed, 25 Aug 2021 17:11:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiacomoFMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wecwis/2021-1,
editor = {Jo{\~{a}}o Paulo A. Almeida and
Dominik Bork and
Giancarlo Guizzardi and
Marco Montali and
Henderik A. Proper and
Tiago Prince Sales},
title = {23rd {IEEE} Conference on Business Informatics, {CBI} 2021, Bolzano,
Italy, September 1-3, 2021. Volume 1},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CBI52690.2021},
doi = {10.1109/CBI52690.2021},
isbn = {978-1-6654-2069-3},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wecwis/2021-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wecwis/2021-2,
editor = {Jo{\~{a}}o Paulo A. Almeida and
Dominik Bork and
Giancarlo Guizzardi and
Marco Montali and
Henderik A. Proper and
Tiago Prince Sales},
title = {23rd Conference on Business Informatics, {CBI} 2021, Bolzano, Italy,
September 1-3, 2021. Volume 2},
publisher = {{IEEE}},
year = {2021},
url = {https://ieeexplore.ieee.org/xpl/conhome/9610156/proceeding?isnumber=9610624},
isbn = {978-1-6654-2069-3},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wecwis/2021-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-10507,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin and
Sarah Winkler},
title = {CoCoMoT: Conformance Checking of Multi-Perspective Processes via {SMT}
(Extended Version)},
journal = {CoRR},
volume = {abs/2103.10507},
year = {2021},
url = {https://arxiv.org/abs/2103.10507},
eprinttype = {arXiv},
eprint = {2103.10507},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-10507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-03997,
author = {Giacomo Bergami and
Fabrizio Maria Maggi and
Marco Montali and
Rafael Pe{\~{n}}aloza},
title = {Probabilistic Trace Alignment},
journal = {CoRR},
volume = {abs/2107.03997},
year = {2021},
url = {https://arxiv.org/abs/2107.03997},
eprinttype = {arXiv},
eprint = {2107.03997},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-03997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-12330,
author = {Diego Calvanese and
Alessandro Gianola and
Andrea Mazzullo and
Marco Montali},
title = {SMT-Based Safety Verification of Data-Aware Processes under Ontologies
(Extended Version)},
journal = {CoRR},
volume = {abs/2108.12330},
year = {2021},
url = {https://arxiv.org/abs/2108.12330},
eprinttype = {arXiv},
eprint = {2108.12330},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-12330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-14883,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Sergio Tessaris},
title = {Process discovery on deviant traces and other stranger things},
journal = {CoRR},
volume = {abs/2109.14883},
year = {2021},
url = {https://arxiv.org/abs/2109.14883},
eprinttype = {arXiv},
eprint = {2109.14883},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-14883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-13136,
author = {Anti Alman and
Fabrizio Maria Maggi and
Marco Montali and
Fabio Patrizi and
Andrey Rivkin},
title = {Monitoring Hybrid Process Specifications with Conflict Management:
The Automata-theoretic Approach},
journal = {CoRR},
volume = {abs/2111.13136},
year = {2021},
url = {https://arxiv.org/abs/2111.13136},
eprinttype = {arXiv},
eprint = {2111.13136},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-13136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/Perez-AlvarezLE20,
author = {Jos{\'{e}} Miguel P{\'{e}}rez{-}{\'{A}}lvarez and
Mar{\'{\i}}a Teresa G{\'{o}}mez{-}L{\'{o}}pez and
Rik Eshuis and
Marco Montali and
Rafael M. Gasca},
title = {Verifying the manipulation of data objects according to business process
and data models},
journal = {Knowl. Inf. Syst.},
volume = {62},
number = {7},
pages = {2653--2683},
year = {2020},
url = {https://doi.org/10.1007/s10115-019-01431-5},
doi = {10.1007/S10115-019-01431-5},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kais/Perez-AlvarezLE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CalvaneseGGMR20,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {SMT-based verification of data-aware processes: a model-theoretic
approach},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {3},
pages = {271--313},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000067},
doi = {10.1017/S0960129520000067},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CalvaneseGGMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/CalvaneseFM20,
author = {Diego Calvanese and
Paul Fodor and
Marco Montali},
title = {Report on the 3rd International Joint Conference on Rules and Reasoning
(RuleML+RR 2019)},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {2},
pages = {16--18},
year = {2020},
url = {https://doi.org/10.1145/3397619.3397623},
doi = {10.1145/3397619.3397623},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/CalvaneseFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MaggiMP20,
author = {Fabrizio Maria Maggi and
Marco Montali and
Rafael Pe{\~{n}}aloza},
title = {Temporal Logics Over Finite Traces with Uncertainty},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {10218--10225},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i06.6583},
doi = {10.1609/AAAI.V34I06.6583},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MaggiMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiMPA20,
author = {Fabrizio Maria Maggi and
Marco Montali and
Rafael Pe{\~{n}}aloza and
Anti Alman},
editor = {Dirk Fahland and
Chiara Ghidini and
J{\"{o}}rg Becker and
Marlon Dumas},
title = {Extending Temporal Business Constraints with Uncertainty},
booktitle = {Business Process Management - 18th International Conference, {BPM}
2020, Seville, Spain, September 13-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12168},
pages = {35--54},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58666-9\_3},
doi = {10.1007/978-3-030-58666-9\_3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/MaggiMPA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GhilardiGMR20,
author = {Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
editor = {Dirk Fahland and
Chiara Ghidini and
J{\"{o}}rg Becker and
Marlon Dumas},
title = {Petri Nets with Parameterised Data - Modelling and Verification},
booktitle = {Business Process Management - 18th International Conference, {BPM}
2020, Seville, Spain, September 13-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12168},
pages = {55--74},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58666-9\_4},
doi = {10.1007/978-3-030-58666-9\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/GhilardiGMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CalvaneseGGMR20,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Combined Covers and Beth Definability},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12166},
pages = {181--200},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_11},
doi = {10.1007/978-3-030-51074-9\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/CalvaneseGGMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MaggiMP20,
author = {Fabrizio Maria Maggi and
Marco Montali and
Rafael Pe{\~{n}}aloza},
editor = {Nicolas Herbaut and
Marcello La Rosa},
title = {Probabilistic Conformance Checking Based on Declarative Process Models},
booktitle = {Advanced Information Systems Engineering - CAiSE Forum 2020, Grenoble,
France, June 8-12, 2020, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {386},
pages = {86--99},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58135-0\_8},
doi = {10.1007/978-3-030-58135-0\_8},
timestamp = {Tue, 15 Sep 2020 17:41:32 +0200},
biburl = {https://dblp.org/rec/conf/caise/MaggiMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseGLM0S20,
author = {Diego Calvanese and
Avigdor Gal and
Davide Lanti and
Marco Montali and
Alessandro Mosca and
Roee Shraga},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {Mapping Patterns for Virtual Knowledge Graphs {(A} Report on Ongoing
Research)},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/abstract-8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseGLM0S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/MontaliR020,
author = {Marco Montali and
Andrey Rivkin and
Daniel Ritter},
title = {Formalizing Integration Patterns with Multimedia Data},
booktitle = {24th {IEEE} International Enterprise Distributed Object Computing
Conference, {EDOC} 2020, Eindhoven, The Netherlands, October 5-8,
2020},
pages = {67--76},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EDOC49727.2020.00018},
doi = {10.1109/EDOC49727.2020.00018},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edoc/MontaliR020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LeoniFM20,
author = {Massimiliano de Leoni and
Paolo Felli and
Marco Montali},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {315--325},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/32},
doi = {10.24963/KR.2020/32},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LeoniFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/AbdullaADMS20,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Giorgio Delzanno and
Marco Montali and
Arnaud Sangnier},
editor = {Riccardo De Benedictis and
Luca Geretti and
Andrea Micheli},
title = {On the Formalization of Decentralized Contact Tracing Protocols},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Bolzano
Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2785},
pages = {65--70},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2785/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/overlay/AbdullaADMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/FelliGM20,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali},
editor = {Takahiro Uchiya and
Quan Bai and
Ivan Mars{\'{a}}{-}Maestre},
title = {A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent
Systems},
booktitle = {{PRIMA} 2020: Principles and Practice of Multi-Agent Systems - 23rd
International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12568},
pages = {259--280},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-69322-0\_17},
doi = {10.1007/978-3-030-69322-0\_17},
timestamp = {Thu, 23 May 2024 22:02:53 +0200},
biburl = {https://dblp.org/rec/conf/prima/FelliGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icpm/2020,
editor = {Boudewijn F. van Dongen and
Marco Montali and
Moe Thandar Wynn},
title = {2nd International Conference on Process Mining, {ICPM} 2020, Padua,
Italy, October 4-9, 2020},
publisher = {{IEEE}},
year = {2020},
url = {https://ieeexplore.ieee.org/xpl/conhome/9229478/proceeding},
isbn = {978-1-7281-9832-3},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpm/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-01859,
author = {Giuseppe De Giacomo and
Riccardo De Masellis and
Fabrizio Maria Maggi and
Marco Montali},
title = {Monitoring Constraints and Metaconstraints with Temporal Logics on
Finite Traces},
journal = {CoRR},
volume = {abs/2004.01859},
year = {2020},
url = {https://arxiv.org/abs/2004.01859},
eprinttype = {arXiv},
eprint = {2004.01859},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-01859.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06630,
author = {Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Petri Nets with Parameterised Data: Modelling and Verification (Extended
Version)},
journal = {CoRR},
volume = {abs/2006.06630},
year = {2020},
url = {https://arxiv.org/abs/2006.06630},
eprinttype = {arXiv},
eprint = {2006.06630},
timestamp = {Sat, 13 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-06630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-04774,
author = {Paolo Felli and
Alessandro Gianola and
Marco Montali},
title = {SMT-based Safety Verification of Parameterised Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2008.04774},
year = {2020},
url = {https://arxiv.org/abs/2008.04774},
eprinttype = {arXiv},
eprint = {2008.04774},
timestamp = {Sun, 16 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-04774.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-04589,
author = {Marco Montali and
Andrey Rivkin and
Daniel Ritter},
title = {Formalizing Integration Patterns with Multimedia Data (Extended Version)},
journal = {CoRR},
volume = {abs/2009.04589},
year = {2020},
url = {https://arxiv.org/abs/2009.04589},
eprinttype = {arXiv},
eprint = {2009.04589},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-04589.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-01917,
author = {Diego Calvanese and
Avigdor Gal and
Davide Lanti and
Marco Montali and
Alessandro Mosca and
Roee Shraga},
title = {Mapping Patterns for Virtual Knowledge Graphs},
journal = {CoRR},
volume = {abs/2012.01917},
year = {2020},
url = {https://arxiv.org/abs/2012.01917},
eprinttype = {arXiv},
eprint = {2012.01917},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-02245,
author = {Stephan Haarmann and
Marco Montali and
Mathias Weske},
title = {Technical Report: Refining Case Models Using Cardinality Constraints},
journal = {CoRR},
volume = {abs/2012.02245},
year = {2020},
url = {https://arxiv.org/abs/2012.02245},
eprinttype = {arXiv},
eprint = {2012.02245},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-02245.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalvaneseMDM19,
author = {Diego Calvanese and
Marco Montali and
Marlon Dumas and
Fabrizio Maria Maggi},
title = {Semantic {DMN:} Formalizing and Reasoning About Decisions in the Presence
of Background Knowledge},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {4},
pages = {536--573},
year = {2019},
url = {https://doi.org/10.1017/S1471068418000479},
doi = {10.1017/S1471068418000479},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/CalvaneseMDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/FelliLM19,
author = {Paolo Felli and
Massimiliano de Leoni and
Marco Montali},
title = {Soundness Verification of Decision-Aware Process Models with Variable-to-Variable
Conditions},
booktitle = {19th International Conference on Application of Concurrency to System
Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
pages = {82--91},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ACSD.2019.00013},
doi = {10.1109/ACSD.2019.00013},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/FelliLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MontaliR19,
author = {Marco Montali and
Andrey Rivkin},
editor = {Susanna Donatelli and
Stefan Haar},
title = {From DB-nets to Coloured Petri Nets with Priorities},
booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International
Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11522},
pages = {449--469},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21571-2\_24},
doi = {10.1007/978-3-030-21571-2\_24},
timestamp = {Tue, 11 Jun 2019 11:30:44 +0200},
biburl = {https://dblp.org/rec/conf/apn/MontaliR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CalvaneseGGMR19,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {From Model Completeness to Verification of Data Aware Processes},
booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {212--239},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_10},
doi = {10.1007/978-3-030-22102-7\_10},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CalvaneseGGMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArtaleCMA19,
author = {Alessandro Artale and
Diego Calvanese and
Marco Montali and
Wil M. P. van der Aalst},
editor = {Stefano Borgo and
Roberta Ferrario and
Claudio Masolo and
Laure Vieu},
title = {Enriching Data Models with Behavioral Constraints},
booktitle = {Ontology Makes Sense - Essays in honor of Nicola Guarino},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {316},
pages = {257--277},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/978-1-61499-955-3-257},
doi = {10.3233/978-1-61499-955-3-257},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ArtaleCMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Sanchez-Ferreres19,
author = {Josep S{\`{a}}nchez{-}Ferreres and
Andrea Burattin and
Josep Carmona and
Marco Montali and
Llu{\'{\i}}s Padr{\'{o}}},
editor = {Thomas T. Hildebrandt and
Boudewijn F. van Dongen and
Maximilian R{\"{o}}glinger and
Jan Mendling},
title = {Formal Reasoning on Natural Language Descriptions of Processes},
booktitle = {Business Process Management - 17th International Conference, {BPM}
2019, Vienna, Austria, September 1-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11675},
pages = {86--101},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26619-6\_8},
doi = {10.1007/978-3-030-26619-6\_8},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/Sanchez-Ferreres19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ArtaleKMA19,
author = {Alessandro Artale and
Alisa Kovtunova and
Marco Montali and
Wil M. P. van der Aalst},
editor = {Thomas T. Hildebrandt and
Boudewijn F. van Dongen and
Maximilian R{\"{o}}glinger and
Jan Mendling},
title = {Modeling and Reasoning over Declarative Data-Aware Processes with
Object-Centric Behavioral Constraints},
booktitle = {Business Process Management - 17th International Conference, {BPM}
2019, Vienna, Austria, September 1-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11675},
pages = {139--156},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26619-6\_11},
doi = {10.1007/978-3-030-26619-6\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/ArtaleKMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CalvaneseGGMR19,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
editor = {Thomas T. Hildebrandt and
Boudewijn F. van Dongen and
Maximilian R{\"{o}}glinger and
Jan Mendling},
title = {Formal Modeling and SMT-Based Parameterized Verification of Data-Aware
{BPMN}},
booktitle = {Business Process Management - 17th International Conference, {BPM}
2019, Vienna, Austria, September 1-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11675},
pages = {157--175},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26619-6\_12},
doi = {10.1007/978-3-030-26619-6\_12},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/CalvaneseGGMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/Montali19,
author = {Marco Montali},
editor = {Chiara Di Francescomarino and
Remco M. Dijkman and
Uwe Zdun},
title = {Putting Decisions in Perspective},
booktitle = {Business Process Management Workshops - {BPM} 2019 International Workshops,
Vienna, Austria, September 1-6, 2019, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {362},
pages = {355--361},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37453-2\_29},
doi = {10.1007/978-3-030-37453-2\_29},
timestamp = {Tue, 07 Jan 2020 14:41:26 +0100},
biburl = {https://dblp.org/rec/conf/bpm/Montali19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/CalvaneseGGMR19,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
editor = {Pascal Fontaine},
title = {Model Completeness, Covers and Superposition},
booktitle = {Automated Deduction - {CADE} 27 - 27th International Conference on
Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11716},
pages = {142--160},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29436-6\_9},
doi = {10.1007/978-3-030-29436-6\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/CalvaneseGGMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/CalvaneseMPR19,
author = {Diego Calvanese and
Marco Montali and
Fabio Patrizi and
Andrey Rivkin},
editor = {Paolo Giorgini and
Barbara Weber},
title = {Modeling and In-Database Management of Relational, Data-Aware Processes},
booktitle = {Advanced Information Systems Engineering - 31st International Conference,
CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11483},
pages = {328--345},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21290-2\_21},
doi = {10.1007/978-3-030-21290-2\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/CalvaneseMPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BurattinGMM19,
author = {Andrea Burattin and
Giancarlo Guizzardi and
Fabrizio Maria Maggi and
Marco Montali},
editor = {Paolo Giorgini and
Barbara Weber},
title = {Fifty Shades of Green: How Informative is a Compliant Process Trace?},
booktitle = {Advanced Information Systems Engineering - 31st International Conference,
CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11483},
pages = {611--626},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21290-2\_38},
doi = {10.1007/978-3-030-21290-2\_38},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/BurattinGMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CalvaneseGGMR19,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Model Completeness, Covers and Superposition (Abridged Version)},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
publisher = {CEUR-WS.org},
year = {2019},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CalvaneseGGMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/ChesaniFGLMMMST19,
author = {Federico Chesani and
Chiara Di Francescomarino and
Chiara Ghidini and
Daniela Loreti and
Fabrizio Maria Maggi and
Paola Mello and
Marco Montali and
Vasyl Skydanienko and
Sergio Tessaris},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Towards the Generation of the "Perfect" Log Using Abductive
Logic Programming},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {179--192},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper26.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/ChesaniFGLMMMST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/CardosoM19,
author = {Evellin Cardoso and
Marco Montali},
title = {A Preliminary Framework for Strategic and Compliance Monitoring},
booktitle = {23rd {IEEE} International Enterprise Distributed Object Computing
Workshop, {EDOC} Workshops 2019, Paris, France, October 28-31, 2019},
pages = {75--84},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EDOCW.2019.00024},
doi = {10.1109/EDOCW.2019.00024},
timestamp = {Tue, 26 Nov 2019 20:34:34 +0100},
biburl = {https://dblp.org/rec/conf/edoc/CardosoM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/CardosoMC19,
author = {Evellin Cardoso and
Marco Montali and
Diego Calvanese},
title = {Representing and Querying Norm States Using Temporal Ontology-Based
Data Access},
booktitle = {23rd {IEEE} International Enterprise Distributed Object Computing
Conference, {EDOC} 2019, Paris, France, October 28-31, 2019},
pages = {122--131},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EDOC.2019.00024},
doi = {10.1109/EDOC.2019.00024},
timestamp = {Sun, 12 Jan 2020 19:07:09 +0100},
biburl = {https://dblp.org/rec/conf/edoc/CardosoMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/MaggiMB19,
author = {Fabrizio Maria Maggi and
Marco Montali and
Ubaier Bhat},
title = {Compliance Monitoring of Multi-Perspective Declarative Process Models},
booktitle = {23rd {IEEE} International Enterprise Distributed Object Computing
Conference, {EDOC} 2019, Paris, France, October 28-31, 2019},
pages = {151--160},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EDOC.2019.00027},
doi = {10.1109/EDOC.2019.00027},
timestamp = {Sun, 12 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/MaggiMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbdullaAAM19,
author = {Parosh Aziz Abdulla and
C. Aiswarya and
Mohamed Faouzi Atig and
Marco Montali},
editor = {Dan Suciu and
Sebastian Skritek and
Christoph Koch},
title = {Reachability in Database-driven Systems with Numerical Attributes
under Recency Bounding},
booktitle = {Proceedings of the 38th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2019, Amsterdam, The Netherlands, June
30 - July 5, 2019},
pages = {335--352},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294052.3319705},
doi = {10.1145/3294052.3319705},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbdullaAAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2019,
editor = {Paul Fodor and
Marco Montali and
Diego Calvanese and
Dumitru Roman},
title = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11784},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31095-0},
doi = {10.1007/978-3-030-31095-0},
isbn = {978-3-030-31094-3},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-04940,
author = {Fabrizio Maria Maggi and
Marco Montali and
Rafael Pe{\~{n}}aloza},
title = {Probabilistic Temporal Logic over Finite Traces (Technical Report)},
journal = {CoRR},
volume = {abs/1903.04940},
year = {2019},
url = {http://arxiv.org/abs/1903.04940},
eprinttype = {arXiv},
eprint = {1903.04940},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-04940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-00058,
author = {Marco Montali and
Andrey Rivkin},
title = {From DB-nets to Coloured Petri Nets with Priorities (Extended Version)},
journal = {CoRR},
volume = {abs/1904.00058},
year = {2019},
url = {http://arxiv.org/abs/1904.00058},
eprinttype = {arXiv},
eprint = {1904.00058},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-12991,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Formal Modeling and SMT-Based Parameterized Verification of Multi-Case
Data-Aware {BPMN}},
journal = {CoRR},
volume = {abs/1905.12991},
year = {2019},
url = {http://arxiv.org/abs/1905.12991},
eprinttype = {arXiv},
eprint = {1905.12991},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-12991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-07811,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Formal Modeling and SMT-Based Parameterized Verification of Data-Aware
{BPMN} (Extended Version)},
journal = {CoRR},
volume = {abs/1906.07811},
year = {2019},
url = {http://arxiv.org/abs/1906.07811},
eprinttype = {arXiv},
eprint = {1906.07811},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-07811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07774,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Combined Covers and Beth Definability},
journal = {CoRR},
volume = {abs/1911.07774},
year = {2019},
url = {http://arxiv.org/abs/1911.07774},
eprinttype = {arXiv},
eprint = {1911.07774},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-07774.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ChesaniGLMM18,
author = {Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali},
title = {Evaluating Compliance: From {LTL} to Abductive Logic Programming},
journal = {Fundam. Informaticae},
volume = {159},
number = {1-2},
pages = {35--63},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1657},
doi = {10.3233/FI-2018-1657},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/ChesaniGLMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ChesaniMMFGMT18,
author = {Federico Chesani and
Paola Mello and
Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Marco Montali and
Sergio Tessaris},
title = {Compliance in Business Processes with Incomplete Information and Time
Constraints: a General Framework based on Abductive Reasoning},
journal = {Fundam. Informaticae},
volume = {161},
number = {1-2},
pages = {75--111},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1696},
doi = {10.3233/FI-2018-1696},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ChesaniMMFGMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CalvaneseGMP18,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Marco Montali and
Fabio Patrizi},
title = {First-order \emph{{\(\mu\)}}-calculus over generic transition systems
and applications to the situation calculus},
journal = {Inf. Comput.},
volume = {259},
number = {3},
pages = {328--347},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.08.007},
doi = {10.1016/J.IC.2017.08.007},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CalvaneseGMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/MeroniBMP18,
author = {Giovanni Meroni and
Luciano Baresi and
Marco Montali and
Pierluigi Plebani},
title = {Multi-party business process compliance monitoring through IoT-enabled
artifacts},
journal = {Inf. Syst.},
volume = {73},
pages = {61--78},
year = {2018},
url = {https://doi.org/10.1016/j.is.2017.12.009},
doi = {10.1016/J.IS.2017.12.009},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/MeroniBMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CalvaneseDLMMT18,
author = {Diego Calvanese and
Marlon Dumas and
{\"{U}}lari Laurson and
Fabrizio Maria Maggi and
Marco Montali and
Irene Teinemaa},
title = {Semantics, Analysis and Simplification of {DMN} Decision Tables},
journal = {Inf. Syst.},
volume = {78},
pages = {112--125},
year = {2018},
url = {https://doi.org/10.1016/j.is.2018.01.010},
doi = {10.1016/J.IS.2018.01.010},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/CalvaneseDLMMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CiccioMMM18,
author = {Claudio Di Ciccio and
Fabrizio Maria Maggi and
Marco Montali and
Jan Mendling},
title = {On the relevance of a business constraint to an event log},
journal = {Inf. Syst.},
volume = {78},
pages = {144--161},
year = {2018},
url = {https://doi.org/10.1016/j.is.2018.01.011},
doi = {10.1016/J.IS.2018.01.011},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/CiccioMMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AbdullaAAMR18,
author = {Parosh Aziz Abdulla and
C. Aiswarya and
Mohamed Faouzi Atig and
Marco Montali and
Othmane Rezine},
title = {Complexity of Reachability for Data-Aware Dynamic Systems},
booktitle = {18th International Conference on Application of Concurrency to System
Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.000-3},
doi = {10.1109/ACSD.2018.000-3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AbdullaAAMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SabiucciuMT18,
author = {Luca Sabiucciu and
Marco Montali and
Sergio Tessaris},
editor = {Chiara Ghidini and
Bernardo Magnini and
Andrea Passerini and
Paolo Traverso},
title = {A Tool for the Verification of Data-Aware Business Processes},
booktitle = {AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International
Conference of the Italian Association for Artificial Intelligence,
Trento, Italy, November 20-23, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11298},
pages = {266--276},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03840-3\_20},
doi = {10.1007/978-3-030-03840-3\_20},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/SabiucciuMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/CalvaneseML18,
author = {Diego Calvanese and
Marco Montali and
Jorge Lobo},
editor = {Dan Olteanu and
Barbara Poblete},
title = {Verification of Fixed-Topology Declarative Distributed Systems with
External Data},
booktitle = {Proceedings of the 12th Alberto Mendelzon International Workshop on
Foundations of Data Management, Cali, Colombia, May 21-25, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2100},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2100/paper24.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/CalvaneseML18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/WeskeMWB18,
author = {Mathias Weske and
Marco Montali and
Ingo Weber and
Jan vom Brocke},
editor = {Mathias Weske and
Marco Montali and
Ingo Weber and
Jan vom Brocke},
title = {{BPM:} Foundations, Engineering, Management},
booktitle = {Business Process Management - 16th International Conference, {BPM}
2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11080},
pages = {3--11},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98648-7\_1},
doi = {10.1007/978-3-319-98648-7\_1},
timestamp = {Mon, 16 Sep 2019 15:28:55 +0200},
biburl = {https://dblp.org/rec/conf/bpm/WeskeMWB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseKMSA18,
author = {Diego Calvanese and
Tahir Emre Kalayci and
Marco Montali and
Ario Santoso and
Wil M. P. van der Aalst},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Conceptual Schema Transformation in Ontology-based Data Access (Extended
Abstract)},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-42.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseKMSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/0001RMRS18,
author = {Daniel Ritter and
Stefanie Rinderle{-}Ma and
Marco Montali and
Andrey Rivkin and
Aman Sinha},
title = {Formalizing Application Integration Patterns},
booktitle = {22nd {IEEE} International Enterprise Distributed Object Computing
Conference, {EDOC} 2018, Stockholm, Sweden, October 16-19, 2018},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/EDOC.2018.00012},
doi = {10.1109/EDOC.2018.00012},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/0001RMRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/CalvaneseKMSA18,
author = {Diego Calvanese and
Tahir Emre Kalayci and
Marco Montali and
Ario Santoso and
Wil M. P. van der Aalst},
editor = {Catherine Faron{-}Zucker and
Chiara Ghidini and
Amedeo Napoli and
Yannick Toussaint},
title = {Conceptual Schema Transformation in Ontology-Based Data Access},
booktitle = {Knowledge Engineering and Knowledge Management - 21st International
Conference, {EKAW} 2018, Nancy, France, November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11313},
pages = {50--67},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03667-6\_4},
doi = {10.1007/978-3-030-03667-6\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ekaw/CalvaneseKMSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/LeoniFM18,
author = {Massimiliano de Leoni and
Paolo Felli and
Marco Montali},
editor = {Juan Trujillo and
Karen C. Davis and
Xiaoyong Du and
Zhanhuai Li and
Tok Wang Ling and
Guoliang Li and
Mong{-}Li Lee},
title = {A Holistic Approach for Soundness Verification of Decision-Aware Process
Models},
booktitle = {Conceptual Modeling - 37th International Conference, {ER} 2018, Xi'an,
China, October 22-25, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11157},
pages = {219--235},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00847-5\_17},
doi = {10.1007/978-3-030-00847-5\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/er/LeoniFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/18/MarengoDMNR18,
author = {Elisa Marengo and
Patrick Dallasega and
Marco Montali and
Werner Nutt and
Michael Reifer},
editor = {Jan vom Brocke and
Jan Mendling},
title = {Process Management in Construction: Expansion of the Bolzano Hospital},
booktitle = {Business Process Management Cases, Digital Innovation and Business
Transformation in Practice},
series = {Management for Professionals},
pages = {257--274},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-58307-5\_14},
doi = {10.1007/978-3-319-58307-5\_14},
timestamp = {Wed, 12 Sep 2018 16:46:17 +0200},
biburl = {https://dblp.org/rec/books/sp/18/MarengoDMNR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2018f,
editor = {Mathias Weske and
Marco Montali and
Ingo Weber and
Jan vom Brocke},
title = {Business Process Management Forum - {BPM} Forum 2018, Sydney, NSW,
Australia, September 9-14, 2018, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {329},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98651-7},
doi = {10.1007/978-3-319-98651-7},
isbn = {978-3-319-98650-0},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/2018f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2018,
editor = {Mathias Weske and
Marco Montali and
Ingo Weber and
Jan vom Brocke},
title = {Business Process Management - 16th International Conference, {BPM}
2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11080},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98648-7},
doi = {10.1007/978-3-319-98648-7},
isbn = {978-3-319-98647-0},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2018,
editor = {Paolo Felli and
Marco Montali},
title = {Proceedings of the 33rd Italian Conference on Computational Logic,
Bolzano, Italy, September 20-22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2214},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2214},
urn = {urn:nbn:de:0074-2214-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02316,
author = {Massimiliano de Leoni and
Paolo Felli and
Marco Montali},
title = {A Holistic Approach for Soundness Verification of Decision-Aware Process
Models (extended version)},
journal = {CoRR},
volume = {abs/1804.02316},
year = {2018},
url = {http://arxiv.org/abs/1804.02316},
eprinttype = {arXiv},
eprint = {1804.02316},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-09686,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Quantifier Elimination for Database Driven Verification},
journal = {CoRR},
volume = {abs/1806.09686},
year = {2018},
url = {http://arxiv.org/abs/1806.09686},
eprinttype = {arXiv},
eprint = {1806.09686},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-09686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-11459,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {Verification of Data-Aware Processes via Array-Based Systems (Extended
Version)},
journal = {CoRR},
volume = {abs/1806.11459},
year = {2018},
url = {http://arxiv.org/abs/1806.11459},
eprinttype = {arXiv},
eprint = {1806.11459},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-11459.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03197,
author = {Daniel Ritter and
Stefanie Rinderle{-}Ma and
Marco Montali and
Andrey Rivkin and
Aman Sinha},
title = {Catalog of Formalized Application Integration Patterns},
journal = {CoRR},
volume = {abs/1807.03197},
year = {2018},
url = {http://arxiv.org/abs/1807.03197},
eprinttype = {arXiv},
eprint = {1807.03197},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-03197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-11615,
author = {Diego Calvanese and
Marlon Dumas and
Fabrizio Maria Maggi and
Marco Montali},
title = {Semantic {DMN:} Formalizing and Reasoning About Decisions in the Presence
of Background Knowledge},
journal = {CoRR},
volume = {abs/1807.11615},
year = {2018},
url = {http://arxiv.org/abs/1807.11615},
eprinttype = {arXiv},
eprint = {1807.11615},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-11615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-08062,
author = {Diego Calvanese and
Marco Montali and
Fabio Patrizi and
Andrey Rivkin},
title = {Modelling and Enactment of Data-aware Processes},
journal = {CoRR},
volume = {abs/1810.08062},
year = {2018},
url = {http://arxiv.org/abs/1810.08062},
eprinttype = {arXiv},
eprint = {1810.08062},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-08062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisa/CiccioMMM17,
author = {Claudio Di Ciccio and
Fabrizio Maria Maggi and
Marco Montali and
Jan Mendling},
title = {Resolving Inconsistencies and Redundancies in Declarative Process
Models},
journal = {{EMISA} Forum},
volume = {37},
number = {1},
pages = {30--31},
year = {2017},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/emisa/CiccioMMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/emisa/CalvaneseDLMMT17,
author = {Diego Calvanese and
Marlon Dumas and
{\"{U}}lari Laurson and
Fabrizio Maria Maggi and
Marco Montali and
Irene Teinemaa},
title = {Semantics and Analysis of {DMN} Decision Tables},
journal = {{EMISA} Forum},
volume = {37},
number = {1},
pages = {49--51},
year = {2017},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/emisa/CalvaneseDLMMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/CiccioMMM17,
author = {Claudio Di Ciccio and
Fabrizio Maria Maggi and
Marco Montali and
Jan Mendling},
title = {Resolving inconsistencies and redundancies in declarative process
models},
journal = {Inf. Syst.},
volume = {64},
pages = {425--446},
year = {2017},
url = {https://doi.org/10.1016/j.is.2016.09.005},
doi = {10.1016/J.IS.2016.09.005},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/CiccioMMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MontaliR17,
author = {Marco Montali and
Andrey Rivkin},
title = {DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {12},
pages = {91--118},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55862-1\_5},
doi = {10.1007/978-3-662-55862-1\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/MontaliR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MasellisFGMT17,
author = {Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Marco Montali and
Sergio Tessaris},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Add Data into Business Process Verification: Bridging the Gap between
Theory and Practice},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {1091--1099},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10688},
doi = {10.1609/AAAI.V31I1.10688},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MasellisFGMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bis/CalvaneseKMT17,
author = {Diego Calvanese and
Tahir Emre Kalayci and
Marco Montali and
Stefano Tinella},
editor = {Witold Abramowicz},
title = {Ontology-Based Data Access for Extracting Event Logs from Legacy Data:
The onprom Tool and Methodology},
booktitle = {Business Information Systems - 20th International Conference, {BIS}
2017, Poznan, Poland, June 28-30, 2017, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {288},
pages = {220--236},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59336-4\_16},
doi = {10.1007/978-3-319-59336-4\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bis/CalvaneseKMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CalvaneseKMS17,
author = {Diego Calvanese and
Tahir Emre Kalayci and
Marco Montali and
Ario Santoso},
editor = {Robert Claris{\'{o}} and
Henrik Leopold and
Jan Mendling and
Wil M. P. van der Aalst and
Akhil Kumar and
Brian T. Pentland and
Mathias Weske},
title = {The onprom Toolchain for Extracting Business Process Logs using Ontology-based
Data Access},
booktitle = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located
with 15th International Conference on Business Process Modeling {(BPM}
2017), Barcelona, Spain, September 13, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1920},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1920/BPM\_2017\_paper\_207.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:55 +0100},
biburl = {https://dblp.org/rec/conf/bpm/CalvaneseKMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/AalstAMT17,
author = {Wil M. P. van der Aalst and
Alessandro Artale and
Marco Montali and
Simone Tritini},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Object-Centric Behavioral Constraints: Integrating Data and Declarative
Process Modelling},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper51.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/AalstAMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/MontaliP17,
author = {Marco Montali and
Pierluigi Plebani},
editor = {Flavio De Paoli and
Stefan Schulte and
Einar Broch Johnsen},
title = {IoT-Based Compliance Checking of Multi-party Business Processes Modeled
with Commitments},
booktitle = {Service-Oriented and Cloud Computing - 6th {IFIP} {WG} 2.14 European
Conference, {ESOCC} 2017, Oslo, Norway, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10465},
pages = {179--195},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67262-5\_14},
doi = {10.1007/978-3-319-67262-5\_14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esocc/MontaliP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ChesaniMM17,
author = {Federico Chesani and
Paola Mello and
Marco Montali},
editor = {Marzena Kryszkiewicz and
Annalisa Appice and
Dominik Slezak and
Henryk Rybinski and
Andrzej Skowron and
Zbigniew W. Ras},
title = {Abductive Reasoning on Compliance Monitoring - Balancing Flexibility
and Regulation},
booktitle = {Foundations of Intelligent Systems - 23rd International Symposium,
{ISMIS} 2017, Warsaw, Poland, June 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10352},
pages = {3--16},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60438-1\_1},
doi = {10.1007/978-3-319-60438-1\_1},
timestamp = {Thu, 14 Oct 2021 10:09:11 +0200},
biburl = {https://dblp.org/rec/conf/ismis/ChesaniMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/JanesMMM17,
author = {Andrea Janes and
Fabrizio Maria Maggi and
Andrea Marrella and
Marco Montali},
editor = {Michael Felderer and
Daniel M{\'{e}}ndez Fern{\'{a}}ndez and
Burak Turhan and
Marcos Kalinowski and
Federica Sarro and
Dietmar Winkler},
title = {From Zero to Hero: {A} Process Mining Tutorial},
booktitle = {Product-Focused Software Process Improvement - 18th International
Conference, {PROFES} 2017, Innsbruck, Austria, November 29 - December
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10611},
pages = {625--629},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69926-4\_55},
doi = {10.1007/978-3-319-69926-4\_55},
timestamp = {Wed, 25 Sep 2019 18:15:39 +0200},
biburl = {https://dblp.org/rec/conf/profes/JanesMMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CalvaneseDMM17,
author = {Diego Calvanese and
Marlon Dumas and
Fabrizio Maria Maggi and
Marco Montali},
editor = {Stefania Costantini and
Enrico Franconi and
William Van Woensel and
Roman Kontchakov and
Fariba Sadri and
Dumitru Roman},
title = {Semantic {DMN:} Formalizing Decision Models with Domain Knowledge},
booktitle = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017,
London, UK, July 12-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10364},
pages = {70--86},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61252-2\_6},
doi = {10.1007/978-3-319-61252-2\_6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/CalvaneseDMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/CalvaneseKMS17,
author = {Diego Calvanese and
Tahir Emre Kalayci and
Marco Montali and
Ario Santoso},
editor = {Giovambattista Ianni and
Domenico Lembo and
Leopoldo E. Bertossi and
Wolfgang Faber and
Birte Glimm and
Georg Gottlob and
Steffen Staab},
title = {{OBDA} for Log Extraction in Process Mining},
booktitle = {Reasoning Web. Semantic Interoperability on the Web - 13th International
Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {10370},
pages = {292--345},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61033-7\_9},
doi = {10.1007/978-3-319-61033-7\_9},
timestamp = {Thu, 27 Jun 2024 13:01:45 +0200},
biburl = {https://dblp.org/rec/conf/rweb/CalvaneseKMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AalstLM17,
author = {Wil M. P. van der Aalst and
Guangming Li and
Marco Montali},
title = {Object-Centric Behavioral Constraints},
journal = {CoRR},
volume = {abs/1703.05740},
year = {2017},
url = {http://arxiv.org/abs/1703.05740},
eprinttype = {arXiv},
eprint = {1703.05740},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AalstLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MontaliR16,
author = {Marco Montali and
Andrey Rivkin},
title = {Model checking Petri nets with names using data-centric dynamic systems},
journal = {Formal Aspects Comput.},
volume = {28},
number = {4},
pages = {615--641},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0370-6},
doi = {10.1007/S00165-016-0370-6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MontaliR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MontaliC16,
author = {Marco Montali and
Diego Calvanese},
title = {Soundness of data-aware, case-centric processes},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {5},
pages = {535--558},
year = {2016},
url = {https://doi.org/10.1007/s10009-016-0417-2},
doi = {10.1007/S10009-016-0417-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MontaliC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ChesaniMFGMMT16,
author = {Federico Chesani and
Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Paola Mello and
Marco Montali and
Sergio Tessaris},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {Abducing Compliance of Incomplete Event Logs},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10037},
pages = {208--222},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_16},
doi = {10.1007/978-3-319-49130-1\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/ChesaniMFGMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BaldoniBCMM16,
author = {Matteo Baldoni and
Cristina Baroglio and
Diego Calvanese and
Roberto Micalizio and
Marco Montali},
editor = {Matteo Baldoni and
J{\"{o}}rg P. M{\"{u}}ller and
Ingrid Nunes and
Rym Zalila{-}Wenkstern},
title = {Towards Data- and Norm-Aware Multiagent Systems},
booktitle = {Engineering Multi-Agent Systems - 4th International Workshop, {EMAS}
2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {10093},
pages = {22--38},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50983-9\_2},
doi = {10.1007/978-3-319-50983-9\_2},
timestamp = {Wed, 25 Sep 2019 18:02:23 +0200},
biburl = {https://dblp.org/rec/conf/atal/BaldoniBCMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiMCM16,
author = {Fabrizio Maria Maggi and
Marco Montali and
Claudio Di Ciccio and
Jan Mendling},
editor = {Marcello La Rosa and
Peter Loos and
Oscar Pastor},
title = {Semantical Vacuity Detection in Declarative Process Mining},
booktitle = {Business Process Management - 14th International Conference, {BPM}
2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9850},
pages = {158--175},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45348-4\_10},
doi = {10.1007/978-3-319-45348-4\_10},
timestamp = {Mon, 18 Jan 2021 08:56:42 +0100},
biburl = {https://dblp.org/rec/conf/bpm/MaggiMCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CalvaneseDLMMT16,
author = {Diego Calvanese and
Marlon Dumas and
{\"{U}}lari Laurson and
Fabrizio Maria Maggi and
Marco Montali and
Irene Teinemaa},
editor = {Marcello La Rosa and
Peter Loos and
Oscar Pastor},
title = {Semantics and Analysis of {DMN} Decision Tables},
booktitle = {Business Process Management - 14th International Conference, {BPM}
2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9850},
pages = {217--233},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45348-4\_13},
doi = {10.1007/978-3-319-45348-4\_13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/CalvaneseDLMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/MarengoDMN16,
author = {Elisa Marengo and
Patrick Dallasega and
Marco Montali and
Werner Nutt},
editor = {Sergio Espa{\~{n}}a and
Mirjana Ivanovic and
Milos Savic},
title = {Towards a Graphical Language for Process Modelling in Construction},
booktitle = {Proceedings of the CAiSE'16 Forum, at the 28th International Conference
on Advanced Information Systems Engineering (CAiSE 2016), Ljubljana,
Slovenia, June 13-17, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1612},
pages = {17--24},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1612/paper3.pdf},
timestamp = {Thu, 04 Jul 2024 21:53:07 +0200},
biburl = {https://dblp.org/rec/conf/caise/MarengoDMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseMPS16,
author = {Diego Calvanese and
Marco Montali and
Fabio Patrizi and
Michele Stawowy},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {Synthesizing and Executing Plans in Knowledge and Action Bases},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/paper\_45.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ChesaniMFGMMT16,
author = {Federico Chesani and
Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Paola Mello and
Marco Montali and
Sergio Tessaris},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Abducing Workflow Traces: {A} General Framework to Manage Incompleteness
in Business Processes},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {1734--1735},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1734},
doi = {10.3233/978-1-61499-672-9-1734},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/ChesaniMFGMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseMPS16,
author = {Diego Calvanese and
Marco Montali and
Fabio Patrizi and
Michele Stawowy},
editor = {Subbarao Kambhampati},
title = {Plan Synthesis for Knowledge and Action Bases},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1022--1029},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/149},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CalvaneseMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseGMP16,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Marco Montali and
Fabio Patrizi},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {On First-Order {\(\mu\)}-Calculus over Situation Calculus Action Theories},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {411--420},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12871},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseGMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/AbdullaAAMR16,
author = {Parosh Aziz Abdulla and
C. Aiswarya and
Mohamed Faouzi Atig and
Marco Montali and
Othmane Rezine},
editor = {Tova Milo and
Wang{-}Chiew Tan},
title = {Recency-Bounded Verification of Dynamic Database-Driven Systems},
booktitle = {Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26
- July 01, 2016},
pages = {195--210},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2902251.2902300},
doi = {10.1145/2902251.2902300},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/AbdullaAAMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseDLMMT16,
author = {Diego Calvanese and
Marlon Dumas and
{\"{U}}lari Laurson and
Fabrizio Maria Maggi and
Marco Montali and
Irene Teinemaa},
title = {Semantics and Analysis of {DMN} Decision Tables},
journal = {CoRR},
volume = {abs/1603.07466},
year = {2016},
url = {http://arxiv.org/abs/1603.07466},
eprinttype = {arXiv},
eprint = {1603.07466},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalvaneseDLMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbdullaAAMR16,
author = {Parosh Aziz Abdulla and
C. Aiswarya and
Mohamed Faouzi Atig and
Marco Montali and
Othmane Rezine},
title = {Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended
Version)},
journal = {CoRR},
volume = {abs/1604.03413},
year = {2016},
url = {http://arxiv.org/abs/1604.03413},
eprinttype = {arXiv},
eprint = {1604.03413},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbdullaAAMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChesaniMFGMMT16,
author = {Federico Chesani and
Riccardo De Masellis and
Chiara Di Francescomarino and
Chiara Ghidini and
Paola Mello and
Marco Montali and
Sergio Tessaris},
title = {Abducing Compliance of Incomplete Event Logs},
journal = {CoRR},
volume = {abs/1606.05446},
year = {2016},
url = {http://arxiv.org/abs/1606.05446},
eprinttype = {arXiv},
eprint = {1606.05446},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChesaniMFGMMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MontaliR16,
author = {Marco Montali and
Andrey Rivkin},
title = {DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases},
journal = {CoRR},
volume = {abs/1611.03680},
year = {2016},
url = {http://arxiv.org/abs/1611.03680},
eprinttype = {arXiv},
eprint = {1611.03680},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MontaliR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LyMMRA15,
author = {Linh Thao Ly and
Fabrizio Maria Maggi and
Marco Montali and
Stefanie Rinderle{-}Ma and
Wil M. P. van der Aalst},
title = {Compliance monitoring in business processes: Functionalities, application,
and tool-support},
journal = {Inf. Syst.},
volume = {54},
pages = {209--234},
year = {2015},
url = {https://doi.org/10.1016/j.is.2015.02.007},
doi = {10.1016/J.IS.2015.02.007},
timestamp = {Tue, 04 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/LyMMRA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodsn/MasellisLMS15,
author = {Riccardo De Masellis and
Domenico Lembo and
Marco Montali and
Dmitry Solomakhin},
title = {Semantic Enrichment of GSM-Based Artifact-Centric Models},
journal = {J. Data Semant.},
volume = {4},
number = {1},
pages = {3--27},
year = {2015},
url = {https://doi.org/10.1007/s13740-014-0036-6},
doi = {10.1007/S13740-014-0036-6},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jodsn/MasellisLMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CalvaneseDM15,
author = {Diego Calvanese and
Giorgio Delzanno and
Marco Montali},
editor = {Blai Bonet and
Sven Koenig},
title = {Verification of Relational Multiagent Systems with Data Types},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {2031--2037},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9438},
doi = {10.1609/AAAI.V29I1.9438},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CalvaneseDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/CalvaneseMPR15,
author = {Diego Calvanese and
Marco Montali and
Fabio Patrizi and
Andrey Rivkin},
editor = {Andrea Cal{\`{\i}} and
Maria{-}Esther Vidal},
title = {Implementing Data-Centric Dynamic Systems over a Relational {DBMS}},
booktitle = {Proceedings of the 9th Alberto Mendelzon International Workshop on
Foundations of Data Management, Lima, Peru, May 6 - 8, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1378},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1378/AMW\_2015\_paper\_39.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/CalvaneseMPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CalvaneseMSA15,
author = {Diego Calvanese and
Marco Montali and
Alifah Syamsiyah and
Wil M. P. van der Aalst},
editor = {Manfred Reichert and
Hajo A. Reijers},
title = {Ontology-Driven Extraction of Event Logs from Relational Databases},
booktitle = {Business Process Management Workshops - {BPM} 2015, 13th International
Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised
Papers},
series = {Lecture Notes in Business Information Processing},
volume = {256},
pages = {140--153},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-42887-1\_12},
doi = {10.1007/978-3-319-42887-1\_12},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/CalvaneseMSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CiccioMMM15,
author = {Claudio Di Ciccio and
Fabrizio Maria Maggi and
Marco Montali and
Jan Mendling},
editor = {Hamid Reza Motahari{-}Nezhad and
Jan Recker and
Matthias Weidlich},
title = {Ensuring Model Consistency in Declarative Process Discovery},
booktitle = {Business Process Management - 13th International Conference, {BPM}
2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9253},
pages = {144--159},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23063-4\_9},
doi = {10.1007/978-3-319-23063-4\_9},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/bpm/CiccioMMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/GiacomoDMM15,
author = {Giuseppe De Giacomo and
Marlon Dumas and
Fabrizio Maria Maggi and
Marco Montali},
editor = {Jelena Zdravkovic and
Marite Kirikova and
Paul Johannesson},
title = {Declarative Process Modeling in {BPMN}},
booktitle = {Advanced Information Systems Engineering - 27th International Conference,
CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9097},
pages = {84--100},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19069-3\_6},
doi = {10.1007/978-3-319-19069-3\_6},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/caise/GiacomoDMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MontaliCGLM15,
author = {Marco Montali and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello},
editor = {Davide Ancona and
Marco Maratea and
Viviana Mascardi},
title = {Evaluating compliance: from {LTL} to abductive logic programming},
booktitle = {Proceedings of the 30th Italian Conference on Computational Logic,
Genova, Italy, July 1-3, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1459},
pages = {101--116},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1459/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MontaliCGLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseMS15,
author = {Diego Calvanese and
Marco Montali and
Ario Santoso},
editor = {Diego Calvanese and
Boris Konev},
title = {Inconsistency Management in Generalized Knowledge and Action Bases},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-17.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseMS15,
author = {Diego Calvanese and
Marco Montali and
Ario Santoso},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Verification of Generalized Inconsistency-Aware Knowledge and Action
Bases},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2847--2853},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/403},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CalvaneseMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseMPG15,
author = {Diego Calvanese and
Marco Montali and
Fabio Patrizi and
Giuseppe De Giacomo},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Description Logic Based Dynamic Systems: Modeling, Verification, and
Synthesis},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {4247--4253},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/604},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CalvaneseMPG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CalvaneseMPR15,
author = {Diego Calvanese and
Marco Montali and
Fabio Patrizi and
Andrey Rivkin},
editor = {Domenico Lembo and
Riccardo Torlone and
Andrea Marrella},
title = {Leveraging Relational Technology for Data-Centric Dynamic Systems},
booktitle = {23rd Italian Symposium on Advanced Database Systems, {SEBD} 2015,
Gaeta, Italy, June 14-17, 2015},
pages = {60--71},
publisher = {Curran Associates, Inc.},
year = {2015},
timestamp = {Mon, 18 Jan 2016 13:34:08 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CalvaneseMPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MontaliR15,
author = {Marco Montali and
Andrey Rivkin},
editor = {Thomas T. Hildebrandt and
Ant{\'{o}}nio Ravara and
Jan Martijn E. M. van der Werf and
Matthias Weidlich},
title = {Formal Verification of Petri Nets with Names},
booktitle = {Web Services, Formal Methods, and Behavioral Types - 11th International
Workshop, {WS-FM} 2014, Eindhoven, The Netherlands, September 11-12,
2014, and 12th International Workshop, {WS-FM/BEAT} 2015, Madrid,
Spain, September 4-5, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9421},
pages = {29--47},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-33612-1\_3},
doi = {10.1007/978-3-319-33612-1\_3},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/MontaliR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AbdullaDM15,
author = {Parosh Aziz Abdulla and
Giorgio Delzanno and
Marco Montali},
editor = {Javier Esparza and
Enrico Tronci},
title = {Well Structured Transition Systems with History},
booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
2015},
series = {{EPTCS}},
volume = {193},
pages = {115--128},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.193.9},
doi = {10.4204/EPTCS.193.9},
timestamp = {Fri, 09 Apr 2021 18:27:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbdullaDM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/ChesaniEMM15,
author = {Federico Chesani and
Catherine G. Enright and
Marco Montali and
Michael G. Madden},
editor = {Arjen Hommersom and
Peter J. F. Lucas},
title = {Monitoring in the Healthcare Setting},
booktitle = {Foundations of Biomedical Knowledge Representation - Methods and Applications},
series = {Lecture Notes in Computer Science},
volume = {9521},
pages = {71--80},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28007-3\_5},
doi = {10.1007/978-3-319-28007-3\_5},
timestamp = {Sat, 30 Sep 2023 09:32:43 +0200},
biburl = {https://dblp.org/rec/books/sp/15/ChesaniEMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/BragagliaCMM15,
author = {Stefano Bragaglia and
Federico Chesani and
Paola Mello and
Marco Montali},
editor = {Arjen Hommersom and
Peter J. F. Lucas},
title = {Conformance Verification of Clinical Guidelines in Presence of Computerized
and Human-Enhanced Processes},
booktitle = {Foundations of Biomedical Knowledge Representation - Methods and Applications},
series = {Lecture Notes in Computer Science},
volume = {9521},
pages = {81--106},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28007-3\_6},
doi = {10.1007/978-3-319-28007-3\_6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/BragagliaCMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseMS15,
author = {Diego Calvanese and
Marco Montali and
Ario Santoso},
title = {Verification of Generalized Inconsistency-Aware Knowledge and Action
Bases (Extended Version)},
journal = {CoRR},
volume = {abs/1504.08108},
year = {2015},
url = {http://arxiv.org/abs/1504.08108},
eprinttype = {arXiv},
eprint = {1504.08108},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalvaneseMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GiacomoMM14,
author = {Giuseppe De Giacomo and
Riccardo De Masellis and
Marco Montali},
editor = {Carla E. Brodley and
Peter Stone},
title = {Reasoning on {LTL} on Finite Traces: Insensitivity to Infiniteness},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1027--1033},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8872},
doi = {10.1609/AAAI.V28I1.8872},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GiacomoMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/HaririCGDM14,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Giuseppe De Giacomo and
Alin Deutsch and
Marco Montali},
title = {Verification of Human Driven Data-Centric Dynamic Systems},
booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 24-26, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7768},
timestamp = {Wed, 14 Nov 2018 14:23:12 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/HaririCGDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MontaliCG14,
author = {Marco Montali and
Diego Calvanese and
Giuseppe De Giacomo},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Verification of data-aware commitment-based multiagent system},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {157--164},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2615759},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/MontaliCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GiacomoMGMM14,
author = {Giuseppe De Giacomo and
Riccardo De Masellis and
Marco Grasso and
Fabrizio Maria Maggi and
Marco Montali},
editor = {Shazia Wasim Sadiq and
Pnina Soffer and
Hagen V{\"{o}}lzer},
title = {Monitoring Business Metaconstraints Based on {LTL} and {LDL} for Finite
Traces},
booktitle = {Business Process Management - 12th International Conference, {BPM}
2014, Haifa, Israel, September 7-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8659},
pages = {1--17},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10172-9\_1},
doi = {10.1007/978-3-319-10172-9\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/GiacomoMGMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chiplay/FattoDGMMRTWZ14,
author = {Vincenzo Del Fatto and
Gabriella Dodero and
Rosella Gennari and
Alessandra Melonio and
Marco Montali and
Simon Razniewski and
Santina Torello and
Xiaofeng Wang and
Floriano Zini},
editor = {Lennart E. Nacke and
T. C. Nicholas Graham},
title = {Gamified children universities: an exploratory study},
booktitle = {Proceedings of the first {ACM} {SIGCHI} annual symposium on Computer-human
interaction in play, Toronto, ON, Canada, October 19 - 22, 2014},
pages = {409--410},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2658537.2661300},
doi = {10.1145/2658537.2661300},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chiplay/FattoDGMMRTWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/CalvaneseMET14,
author = {Diego Calvanese and
Marco Montali and
Montserrat Esta{\~{n}}ol and
Ernest Teniente},
editor = {Jianzhong Li and
Xiaoyang Sean Wang and
Minos N. Garofalakis and
Ian Soboroff and
Torsten Suel and
Min Wang},
title = {Verifiable {UML} Artifact-Centric Business Process Models},
booktitle = {Proceedings of the 23rd {ACM} International Conference on Conference
on Information and Knowledge Management, {CIKM} 2014, Shanghai, China,
November 3-7, 2014},
pages = {1289--1298},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661829.2662050},
doi = {10.1145/2661829.2662050},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/CalvaneseMET14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MontaliCG14,
author = {Marco Montali and
Diego Calvanese and
Giuseppe De Giacomo},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Specification and Verification of Commitment-Regulated Data-Aware
Multiagent Systems},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {84--98},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/long6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MontaliCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/MasellisMM14,
author = {Riccardo De Masellis and
Fabrizio Maria Maggi and
Marco Montali},
editor = {He Zhang and
LiGuo Huang and
Ita Richardson},
title = {Monitoring data-aware business constraints with finite state automata},
booktitle = {International Conference on Software and Systems Process 2014, {ICSSP}
'14, Nanjing, China - May 26 - 28, 2014},
pages = {134--143},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2600821.2600835},
doi = {10.1145/2600821.2600835},
timestamp = {Mon, 01 Aug 2022 10:03:04 +0200},
biburl = {https://dblp.org/rec/conf/ispw/MasellisMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CalvaneseCMS14,
author = {Diego Calvanese and
{\.I}smail {\.I}lkan Ceylan and
Marco Montali and
Ario Santoso},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Verification of Context-Sensitive Knowledge and Action Bases},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {514--528},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_36},
doi = {10.1007/978-3-319-11558-0\_36},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CalvaneseCMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HaririCD14,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Marco Montali and
Alin Deutsch},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {State-Boundedness in Data-Aware Dynamic Systems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/8028},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/HaririCD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ElakehalMP14,
author = {Emad Eldeen Elakehal and
Marco Montali and
Julian A. Padget},
title = {Run-Time Verification of {MSMAS} Norms Using Event Calculus},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2014, London, United Kingdom, September
8-12, 2014},
pages = {110--115},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASOW.2014.31},
doi = {10.1109/SASOW.2014.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/ElakehalMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HaririCMGMF14,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Marco Montali and
Giuseppe De Giacomo and
Riccardo De Masellis and
Paolo Felli},
title = {Description Logic Knowledge and Action Bases},
journal = {CoRR},
volume = {abs/1402.0569},
year = {2014},
url = {http://arxiv.org/abs/1402.0569},
eprinttype = {arXiv},
eprint = {1402.0569},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HaririCMGMF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GiacomoMGMM14,
author = {Giuseppe De Giacomo and
Riccardo De Masellis and
Marco Grasso and
Fabrizio Maria Maggi and
Marco Montali},
title = {LTLf and LDLf Monitoring: {A} Technical Report},
journal = {CoRR},
volume = {abs/1405.0054},
year = {2014},
url = {http://arxiv.org/abs/1405.0054},
eprinttype = {arXiv},
eprint = {1405.0054},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GiacomoMGMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseMET14,
author = {Diego Calvanese and
Marco Montali and
Montserrat Esta{\~{n}}ol and
Ernest Teniente},
title = {Verifiable {UML} Artifact-Centric Business Process Models (Extended
Version)},
journal = {CoRR},
volume = {abs/1408.5094},
year = {2014},
url = {http://arxiv.org/abs/1408.5094},
eprinttype = {arXiv},
eprint = {1408.5094},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalvaneseMET14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseDM14,
author = {Diego Calvanese and
Giorgio Delzanno and
Marco Montali},
title = {Verification of Relational Multiagent Systems with Data Types (Extended
Version)},
journal = {CoRR},
volume = {abs/1411.4516},
year = {2014},
url = {http://arxiv.org/abs/1411.4516},
eprinttype = {arXiv},
eprint = {1411.4516},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalvaneseDM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseCMS14,
author = {Diego Calvanese and
{\.I}smail {\.I}lkan Ceylan and
Marco Montali and
Ario Santoso},
title = {Adding Context to Knowledge and Action Bases},
journal = {CoRR},
volume = {abs/1412.7965},
year = {2014},
url = {http://arxiv.org/abs/1412.7965},
eprinttype = {arXiv},
eprint = {1412.7965},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalvaneseCMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/ChesaniMMT13,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
title = {Representing and monitoring social commitments using the event calculus},
journal = {Auton. Agents Multi Agent Syst.},
volume = {27},
number = {1},
pages = {85--130},
year = {2013},
url = {https://doi.org/10.1007/s10458-012-9202-0},
doi = {10.1007/S10458-012-9202-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/ChesaniMMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HaririCMGMF13,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Marco Montali and
Giuseppe De Giacomo and
Riccardo De Masellis and
Paolo Felli},
title = {Description Logic Knowledge and Action Bases},
journal = {J. Artif. Intell. Res.},
volume = {46},
pages = {651--686},
year = {2013},
url = {https://doi.org/10.1613/jair.3826},
doi = {10.1613/JAIR.3826},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HaririCMGMF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/MontaliMCMA13,
author = {Marco Montali and
Fabrizio Maria Maggi and
Federico Chesani and
Paola Mello and
Wil M. P. van der Aalst},
title = {Monitoring business constraints with the event calculus},
journal = {{ACM} Trans. Intell. Syst. Technol.},
volume = {5},
number = {1},
pages = {17:1--17:30},
year = {2013},
url = {https://doi.org/10.1145/2542182.2542199},
doi = {10.1145/2542182.2542199},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tist/MontaliMCMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/CalvaneseGMP13,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Marco Montali and
Fabio Patrizi},
editor = {Laura Giordano and
Stefania Montani and
Daniele Theseider Dupr{\'{e}}},
title = {Verification and Synthesis in Description Logic Based Dynamic Systems
(Abridged Version)},
booktitle = {Proceedings of the Workshop {AI} Meets Business Processes 2013 co-located
with the 13th Conference of the Italian Association for Artificial
Intelligence (AI*IA 2013), Turin, Italy, December 6, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1101},
pages = {71--80},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1101/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/CalvaneseGMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/ThorneCEMC13,
author = {Camilo Thorne and
Elena Cardillo and
Claudio Eccher and
Marco Montali and
Diego Calvanese},
editor = {Matteo Baldoni and
Cristina Baroglio and
Guido Boella and
Roberto Micalizio},
title = {Process Fragment Recognition in Clinical Documents},
booktitle = {AI*IA 2013: Advances in Artificial Intelligence - XIIIth International
Conference of the Italian Association for Artificial Intelligence,
Turin, Italy, December 4-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8249},
pages = {227--238},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03524-6\_20},
doi = {10.1007/978-3-319-03524-6\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/ThorneCEMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiDGM13,
author = {Fabrizio Maria Maggi and
Marlon Dumas and
Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos and
Marco Montali},
editor = {Florian Daniel and
Jianmin Wang and
Barbara Weber},
title = {Discovering Data-Aware Declarative Process Models from Event Logs},
booktitle = {Business Process Management - 11th International Conference, {BPM}
2013, Beijing, China, August 26-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8094},
pages = {81--96},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40176-3\_8},
doi = {10.1007/978-3-642-40176-3\_8},
timestamp = {Mon, 28 Aug 2023 21:17:13 +0200},
biburl = {https://dblp.org/rec/conf/bpm/MaggiDGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/0001MMP13,
author = {Alessandro Russo and
Massimo Mecella and
Marco Montali and
Fabio Patrizi},
editor = {Niels Lohmann and
Minseok Song and
Petia Wohed},
title = {Towards a Reference Implementation for Data Centric Dynamic Systems},
booktitle = {Business Process Management Workshops - {BPM} 2013 International Workshops,
Beijing, China, August 26, 2013, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {171},
pages = {141--154},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06257-0\_12},
doi = {10.1007/978-3-319-06257-0\_12},
timestamp = {Sat, 30 Sep 2023 09:35:40 +0200},
biburl = {https://dblp.org/rec/conf/bpm/0001MMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/RazniewskiMN13,
author = {Simon Razniewski and
Marco Montali and
Werner Nutt},
editor = {Florian Daniel and
Jianmin Wang and
Barbara Weber},
title = {Verification of Query Completeness over Processes},
booktitle = {Business Process Management - 11th International Conference, {BPM}
2013, Beijing, China, August 26-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8094},
pages = {155--170},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40176-3\_13},
doi = {10.1007/978-3-642-40176-3\_13},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/RazniewskiMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseKMSZ13,
author = {Diego Calvanese and
Evgeny Kharlamov and
Marco Montali and
Ario Santoso and
Dmitriy Zheleznyakov},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Verification of Inconsistency-Aware Knowledge and Action Bases},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {107--119},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_76.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseKMSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseGMP13,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Marco Montali and
Fabio Patrizi},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Dynamic Systems Based on Description Logics: Formalization, Verification,
and Synthesis},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {573--586},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_68.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseGMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/LyMMRA13,
author = {Linh Thao Ly and
Fabrizio Maria Maggi and
Marco Montali and
Stefanie Rinderle{-}Ma and
Wil M. P. van der Aalst},
editor = {Dragan Gasevic and
Marek Hatala and
Hamid R. Motahari Nezhad and
Manfred Reichert},
title = {A Framework for the Systematic Comparison and Evaluation of Compliance
Monitoring Approaches},
booktitle = {17th {IEEE} International Enterprise Distributed Object Computing
Conference, {EDOC} 2013, Vancouver, BC, Canada, September 9-13, 2013},
pages = {7--16},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/EDOC.2013.11},
doi = {10.1109/EDOC.2013.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edoc/LyMMRA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SolomakhinMTM13,
author = {Dmitry Solomakhin and
Marco Montali and
Sergio Tessaris and
Riccardo De Masellis},
editor = {Samik Basu and
Cesare Pautasso and
Liang Zhang and
Xiang Fu},
title = {Verification of Artifact-Centric Systems: Decidability and Modeling
Issues},
booktitle = {Service-Oriented Computing - 11th International Conference, {ICSOC}
2013, Berlin, Germany, December 2-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8274},
pages = {252--266},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45005-1\_18},
doi = {10.1007/978-3-642-45005-1\_18},
timestamp = {Tue, 09 May 2023 12:51:34 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/SolomakhinMTM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/HaririCMSS13,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Marco Montali and
Ario Santoso and
Dmitry Solomakhin},
editor = {Samik Basu and
Cesare Pautasso and
Liang Zhang and
Xiang Fu},
title = {Verification of Semantically-Enhanced Artifact Systems},
booktitle = {Service-Oriented Computing - 11th International Conference, {ICSOC}
2013, Berlin, Germany, December 2-5, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8274},
pages = {600--607},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45005-1\_51},
doi = {10.1007/978-3-642-45005-1\_51},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/HaririCMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalvaneseKMSZ13,
author = {Diego Calvanese and
Evgeny Kharlamov and
Marco Montali and
Ario Santoso and
Dmitriy Zheleznyakov},
editor = {Francesca Rossi},
title = {Verification of Inconsistency-Aware Knowledge and Action Bases},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {810--816},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6949},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CalvaneseKMSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnlp/ThorneMCCE13,
author = {Camilo Thorne and
Marco Montali and
Diego Calvanese and
Elena Cardillo and
Claudio Eccher},
title = {Automated Activity Recognition in Clinical Documents},
booktitle = {Sixth International Joint Conference on Natural Language Processing,
{IJCNLP} 2013, Nagoya, Japan, October 14-18, 2013},
pages = {1129--1133},
publisher = {Asian Federation of Natural Language Processing / {ACL}},
year = {2013},
url = {https://aclanthology.org/I13-1160/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnlp/ThorneMCCE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/ElakehalMP13,
author = {Emad Eldeen Elakehal and
Marco Montali and
Julian A. Padget},
editor = {Matthias Klusch and
Matthias Thimm and
Marcin Paprzycki},
title = {Verifying {MSMAS} Model Using {CIFF}},
booktitle = {Multiagent System Technologies - 11th German Conference, {MATES} 2013,
Koblenz, Germany, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8076},
pages = {44--58},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40776-5\_7},
doi = {10.1007/978-3-642-40776-5\_7},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mates/ElakehalMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/CalvaneseGM13,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Marco Montali},
editor = {Richard Hull and
Wenfei Fan},
title = {Foundations of data-aware process analysis: a database theory perspective},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {1--12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2467796},
doi = {10.1145/2463664.2467796},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/CalvaneseGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HaririCGDM13,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Giuseppe De Giacomo and
Alin Deutsch and
Marco Montali},
editor = {Richard Hull and
Wenfei Fan},
title = {Verification of relational data-centric dynamic systems with external
services},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {163--174},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2465221},
doi = {10.1145/2463664.2465221},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/HaririCGDM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/CalvaneseGMP13,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Marco Montali and
Fabio Patrizi},
editor = {Wolfgang Faber and
Domenico Lembo},
title = {Verification and Synthesis in Description Logic Based Dynamic Systems},
booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {50--64},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3\_5},
doi = {10.1007/978-3-642-39666-3\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/CalvaneseGMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MontaliCMM13,
author = {Marco Montali and
Federico Chesani and
Paola Mello and
Fabrizio Maria Maggi},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Towards data-aware constraints in declare},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1391--1396},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480624},
doi = {10.1145/2480362.2480624},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/MontaliCMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/0001MPM13,
author = {Alessandro Russo and
Massimo Mecella and
Fabio Patrizi and
Marco Montali},
title = {Implementing and Running Data-Centric Dynamic Systems},
booktitle = {2013 {IEEE} 6th International Conference on Service-Oriented Computing
and Applications, Koloa, HI, USA, December 16-18, 2013},
pages = {225--232},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SOCA.2013.37},
doi = {10.1109/SOCA.2013.37},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soca/0001MPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2013pai,
editor = {Matteo Baldoni and
Federico Chesani and
Paola Mello and
Marco Montali},
title = {Proceedings of the Workshop Popularize Artificial Intelligence co-located
with the 13th Conference of the Italian Association for Artificial
Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1107},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1107},
urn = {urn:nbn:de:0074-1107-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2013pai.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1697,
author = {Dmitry Solomakhin and
Marco Montali and
Sergio Tessaris and
Riccardo De Masellis},
title = {Verification of Artifact-Centric Systems: Decidability and Modeling
Issues},
journal = {CoRR},
volume = {abs/1304.1697},
year = {2013},
url = {http://arxiv.org/abs/1304.1697},
eprinttype = {arXiv},
eprint = {1304.1697},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-6442,
author = {Diego Calvanese and
Evgeny Kharlamov and
Marco Montali and
Ario Santoso and
Dmitriy Zheleznyakov},
title = {Verification of Inconsistency-Aware Knowledge and Action Bases (Extended
Version)},
journal = {CoRR},
volume = {abs/1304.6442},
year = {2013},
url = {http://arxiv.org/abs/1304.6442},
eprinttype = {arXiv},
eprint = {1304.6442},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-6442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RazniewskiMN13,
author = {Simon Razniewski and
Marco Montali and
Werner Nutt},
title = {Verification of Query Completeness over Processes [Extended Version]},
journal = {CoRR},
volume = {abs/1306.1689},
year = {2013},
url = {http://arxiv.org/abs/1306.1689},
eprinttype = {arXiv},
eprint = {1306.1689},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RazniewskiMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HaririCMSS13,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Marco Montali and
Ario Santoso and
Dmitry Solomakhin},
title = {Verification of Semantically-Enhanced Artifact Systems (Extended Version)},
journal = {CoRR},
volume = {abs/1308.6292},
year = {2013},
url = {http://arxiv.org/abs/1308.6292},
eprinttype = {arXiv},
eprint = {1308.6292},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HaririCMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/SolomakhinTM12,
author = {Dmitry Solomakhin and
Sergio Tessaris and
Marco Montali},
editor = {Paolo Liberatore and
Michele Lombardi and
Floriano Scioscia},
title = {Combining Process and Ontological Modeling},
booktitle = {Proceedings of the Doctoral Consortium of the 12th Symposium of the
Italian Association for Artificial Intelligence, Rome, Italy, June
15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {926},
pages = {43--47},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-926/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/SolomakhinTM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BragagliaCMMT12,
author = {Stefano Bragaglia and
Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Alexander Artikis and
Robert Craven and
Nihan Kesim Cicekli and
Babak Sadighi and
Kostas Stathis},
title = {Reactive Event Calculus for Monitoring Global Computing Applications},
booktitle = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7360},
pages = {123--146},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29414-3\_8},
doi = {10.1007/978-3-642-29414-3\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BragagliaCMMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HaririCGMFM12,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Giuseppe De Giacomo and
Riccardo De Masellis and
Paolo Felli and
Marco Montali},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Verification of Description Logic Knowledge and Action Bases},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {103--108},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-103},
doi = {10.3233/978-1-61499-098-7-103},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HaririCGMFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MaggiMA12,
author = {Fabrizio Maria Maggi and
Marco Montali and
Wil M. P. van der Aalst},
editor = {Juan de Lara and
Andrea Zisman},
title = {An Operational Decision Support Framework for Monitoring Business
Constraints},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {146--162},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_11},
doi = {10.1007/978-3-642-28872-2\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/MaggiMA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseGLMS12,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Domenico Lembo and
Marco Montali and
Ario Santoso},
editor = {Arthur H. M. ter Hofstede and
Massimo Mecella and
Sebastian Sardi{\~{n}}a and
Andrea Marrella},
title = {Semantically-Governed Data-Aware Processes},
booktitle = {Proceedings of the 1st International Workshop on Knowledge-intensive
Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {861},
pages = {21--32},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-861/KiBP2012\_paper\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseGLMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/CalvaneseKMZ12,
author = {Diego Calvanese and
Evgeny Kharlamov and
Marco Montali and
Dmitriy Zheleznyakov},
editor = {Pavel Klinov and
Matthew Horridge},
title = {Inconsistency Tolerance in {OWL} 2 {QL} Knowledge and Action Bases},
booktitle = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
Crete, Greece, May 27-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {849},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-849/paper\_28.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/CalvaneseKMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/CalvaneseGLMS12,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Domenico Lembo and
Marco Montali and
Ario Santoso},
editor = {Markus Kr{\"{o}}tzsch and
Umberto Straccia},
title = {Ontology-Based Governance of Data-Aware Processes},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
pages = {25--41},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6\_4},
doi = {10.1007/978-3-642-33203-6\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/CalvaneseGLMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2012pai,
editor = {Matteo Baldoni and
Federico Chesani and
Bernardo Magnini and
Paola Mello and
Marco Montali},
title = {Popularize Artificial Intelligence, Proceedings of the AI*IA Workshop
and Prize for Celebrating 100th Anniversary of Alan Turing's Birth,
Rome, Italy, June 15, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {860},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-860},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/2012pai.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-0024,
author = {Babak Bagheri Hariri and
Diego Calvanese and
Giuseppe De Giacomo and
Alin Deutsch and
Marco Montali},
title = {Verification of Relational Data-Centric Dynamic Systems with External
Services},
journal = {CoRR},
volume = {abs/1203.0024},
year = {2012},
url = {http://arxiv.org/abs/1203.0024},
eprinttype = {arXiv},
eprint = {1203.0024},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-0024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/MontaliTZMB11,
author = {Marco Montali and
Paolo Torroni and
Nicola Zannone and
Paola Mello and
Volha Bryl},
title = {Engineering and verifying agent-oriented requirements augmented by
business constraints with \emph{B}-Tropos},
journal = {Auton. Agents Multi Agent Syst.},
volume = {23},
number = {2},
pages = {193--223},
year = {2011},
url = {https://doi.org/10.1007/s10458-010-9135-4},
doi = {10.1007/S10458-010-9135-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/MontaliTZMB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cas/ChesaniMMT11,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
title = {Monitoring Time-Aware Commitments within Agent-Based Simulation Environments},
journal = {Cybern. Syst.},
volume = {42},
number = {7},
pages = {546--566},
year = {2011},
url = {https://doi.org/10.1080/01969722.2011.610711},
doi = {10.1080/01969722.2011.610711},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cas/ChesaniMMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/ChesaniMMT11,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
title = {Modeling and verifying business processes and choreographies through
the abductive proof procedure {SCIFF} and its extensions},
journal = {Intelligenza Artificiale},
volume = {5},
number = {1},
pages = {101--105},
year = {2011},
url = {https://doi.org/10.3233/IA-2011-0011},
doi = {10.3233/IA-2011-0011},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/ChesaniMMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/AlbertiCCGLMMT11,
author = {Marco Alberti and
Massimiliano Cattafi and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
title = {A Computational Logic Application Framework for Service Discovery
and Contracting},
journal = {Int. J. Web Serv. Res.},
volume = {8},
number = {3},
pages = {1--25},
year = {2011},
url = {https://doi.org/10.4018/IJWSR.2011070101},
doi = {10.4018/IJWSR.2011070101},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jwsr/AlbertiCCGLMMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BragagliaCMMS11,
author = {Stefano Bragaglia and
Federico Chesani and
Paola Mello and
Marco Montali and
Davide Sottara},
editor = {Roberto Pirrone and
Filippo Sorbello},
title = {Fuzzy Conformance Checking of Observed Behaviour with Expectations},
booktitle = {AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth
International Conference of the Italian Association for Artificial
Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6934},
pages = {80--91},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23954-0\_10},
doi = {10.1007/978-3-642-23954-0\_10},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/BragagliaCMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/MaggiMWA11,
author = {Fabrizio Maria Maggi and
Marco Montali and
Michael Westergaard and
Wil M. P. van der Aalst},
editor = {Stefanie Rinderle{-}Ma and
Farouk Toumani and
Karsten Wolf},
title = {Monitoring Business Constraints with Linear Temporal Logic: An Approach
Based on Colored Automata},
booktitle = {Business Process Management - 9th International Conference, {BPM}
2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6896},
pages = {132--147},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23059-2\_13},
doi = {10.1007/978-3-642-23059-2\_13},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/MaggiMWA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AalstAM11,
author = {Wil M. P. van der Aalst and
Arya Adriansyah and
Ana Karla Alves de Medeiros and
Franco Arcieri and
Thomas Baier and
Tobias Blickle and
R. P. Jagadeesh Chandra Bose and
Peter van den Brand and
Ronald Brandtjen and
Joos C. A. M. Buijs and
Andrea Burattin and
Josep Carmona and
Mal{\'{u}} Castellanos and
Jan Claes and
Jonathan E. Cook and
Nicola Costantini and
Francisco Curbera and
Ernesto Damiani and
Massimiliano de Leoni and
Pavlos Delias and
Boudewijn F. van Dongen and
Marlon Dumas and
Schahram Dustdar and
Dirk Fahland and
Diogo R. Ferreira and
Walid Gaaloul and
Frank van Geffen and
Sukriti Goel and
Christian W. G{\"{u}}nther and
Antonella Guzzo and
Paul Harmon and
Arthur H. M. ter Hofstede and
John Hoogland and
Jon Espen Ingvaldsen and
Koki Kato and
Rudolf Kuhn and
Akhil Kumar and
Marcello La Rosa and
Fabrizio Maria Maggi and
Donato Malerba and
R. S. Mans and
Alberto Manuel and
Martin McCreesh and
Paola Mello and
Jan Mendling and
Marco Montali and
Hamid R. Motahari Nezhad and
Michael zur Muehlen and
Jorge Munoz{-}Gama and
Luigi Pontieri and
Joel Ribeiro and
Anne Rozinat and
Hugo Seguel P{\'{e}}rez and
Ricardo Seguel P{\'{e}}rez and
Marcos Sep{\'{u}}lveda and
Jim Sinur and
Pnina Soffer and
Minseok Song and
Alessandro Sperduti and
Giovanni Stilo and
Casper Stoel and
Keith D. Swenson and
Maurizio Talamo and
Wei Tan and
Chris Turner and
Jan Vanthienen and
George Varvaressos and
Eric Verbeek and
Marc Verdonk and
Roberto Vigo and
Jianmin Wang and
Barbara Weber and
Matthias Weidlich and
Ton Weijters and
Lijie Wen and
Michael Westergaard and
Moe Thandar Wynn},
editor = {Florian Daniel and
Kamel Barkaoui and
Schahram Dustdar},
title = {Process Mining Manifesto},
booktitle = {Business Process Management Workshops - {BPM} 2011 International Workshops,
Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers,
Part {I}},
series = {Lecture Notes in Business Information Processing},
volume = {99},
pages = {169--194},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-28108-2\_19},
doi = {10.1007/978-3-642-28108-2\_19},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/AalstAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BottrighiCMMMT11,
author = {Alessio Bottrighi and
Federico Chesani and
Paola Mello and
Marco Montali and
Stefania Montani and
Paolo Terenziani},
editor = {Florian Daniel and
Kamel Barkaoui and
Schahram Dustdar},
title = {Conformance Checking of Executed Clinical Guidelines in Presence of
Basic Medical Knowledge},
booktitle = {Business Process Management Workshops - {BPM} 2011 International Workshops,
Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers,
Part {II}},
series = {Lecture Notes in Business Information Processing},
volume = {100},
pages = {200--211},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-28115-0\_20},
doi = {10.1007/978-3-642-28115-0\_20},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/BottrighiCMMMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/TorroniCMM11,
author = {Paolo Torroni and
Federico Chesani and
Paola Mello and
Marco Montali},
editor = {Chiaki Sakama and
Sebastian Sardi{\~{n}}a and
Wamberto Weber Vasconcelos and
Michael Winikoff},
title = {A Retrospective on the Reactive Event Calculus and Commitment Modeling
Language},
booktitle = {Declarative Agent Languages and Technologies {IX} - 9th International
Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7169},
pages = {120--127},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29113-5\_13},
doi = {10.1007/978-3-642-29113-5\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/TorroniCMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BragagliaCFMMS11,
author = {Stefano Bragaglia and
Federico Chesani and
Emory Fry and
Paola Mello and
Marco Montali and
Davide Sottara},
editor = {Frank Olken and
Monica Palmirani and
Davide Sottara},
title = {Event Condition Expectation {(ECE-)} Rules for Monitoring Observable
Systems},
booktitle = {Rule-Based Modeling and Computing on the Semantic Web, 5th International
Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA,
November 3-5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7018},
pages = {267--281},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24908-2\_28},
doi = {10.1007/978-3-642-24908-2\_28},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/BragagliaCFMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/MaggiWMA11,
author = {Fabrizio Maria Maggi and
Michael Westergaard and
Marco Montali and
Wil M. P. van der Aalst},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Runtime Verification of LTL-Based Declarative Process Models},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {131--146},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_11},
doi = {10.1007/978-3-642-29860-8\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/MaggiWMA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2011-2,
editor = {Stefano Bragaglia and
Carlos Viegas Dam{\'{a}}sio and
Marco Montali and
Alun D. Preece and
Charles J. Petrie and
Mark Proctor and
Umberto Straccia},
title = {Proceedings of the 5th International RuleML2011@BRF Challenge, co-located
with the 5th International Rule Symposium, Fort Lauderdale, Florida,
USA, November 3-5, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {799},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-799},
urn = {urn:nbn:de:0074-799-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/2011-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lnbip/Montali10,
author = {Marco Montali},
title = {Specification and Verification of Declarative Open Interaction Models
- {A} Logic-Based Approach},
series = {Lecture Notes in Business Information Processing},
volume = {56},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14538-4},
doi = {10.1007/978-3-642-14538-4},
isbn = {978-3-642-14537-7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lnbip/Montali10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/envsoft/LuccariniBCMMMS10,
author = {Luca Luccarini and
Gianni Luigi Bragadin and
Gabriele Colombini and
Maurizio Mancini and
Paola Mello and
Marco Montali and
Davide Sottara},
title = {Formal verification of wastewater treatment processes using events
detected from continuous signals by means of artificial neural networks.
Case study: {SBR} plant},
journal = {Environ. Model. Softw.},
volume = {25},
number = {5},
pages = {648--660},
year = {2010},
url = {https://doi.org/10.1016/j.envsoft.2009.05.013},
doi = {10.1016/J.ENVSOFT.2009.05.013},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/envsoft/LuccariniBCMMMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MontaliTCMAL10,
author = {Marco Montali and
Paolo Torroni and
Federico Chesani and
Paola Mello and
Marco Alberti and
Evelina Lamma},
title = {Abductive Logic Programming as an Effective Technology for the Static
Verification of Declarative Business Processes},
journal = {Fundam. Informaticae},
volume = {102},
number = {3-4},
pages = {325--361},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-310},
doi = {10.3233/FI-2010-310},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MontaliTCMAL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ChesaniMMT10,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
title = {A Logic-Based, Reactive Calculus of Events},
journal = {Fundam. Informaticae},
volume = {105},
number = {1-2},
pages = {135--161},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-361},
doi = {10.3233/FI-2010-361},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ChesaniMMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/ChesaniMMST10,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Sergio Storari and
Paolo Torroni},
title = {On the integration of declarative choreographies and Commitment-based
agent societies into the {SCIFF} logic programming framework},
journal = {Multiagent Grid Syst.},
volume = {6},
number = {2},
pages = {165--190},
year = {2010},
url = {https://doi.org/10.3233/MGS-2010-0147},
doi = {10.3233/MGS-2010-0147},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/ChesaniMMST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/MontaliPACMS10,
author = {Marco Montali and
Maja Pesic and
Wil M. P. van der Aalst and
Federico Chesani and
Paola Mello and
Sergio Storari},
title = {Declarative specification and verification of service choreographiess},
journal = {{ACM} Trans. Web},
volume = {4},
number = {1},
pages = {3:1--3:62},
year = {2010},
url = {https://doi.org/10.1145/1658373.1658376},
doi = {10.1145/1658373.1658376},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tweb/MontaliPACMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/BragagliaCCMMS10,
author = {Stefano Bragaglia and
Federico Chesani and
Anna Ciampolini and
Paola Mello and
Marco Montali and
Davide Sottara},
editor = {Manuel Gra{\~{n}}a Romay and
Emilio Corchado and
M. Teresa Garc{\'{\i}}a{-}Sebasti{\'{a}}n},
title = {An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological
Reasoning},
booktitle = {Hybrid Artificial Intelligence Systems, 5th International Conference,
{HAIS} 2010, San Sebasti{\'{a}}n, Spain, June 23-25, 2010. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6076},
pages = {438--445},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13769-3\_53},
doi = {10.1007/978-3-642-13769-3\_53},
timestamp = {Fri, 21 Feb 2020 09:03:17 +0100},
biburl = {https://dblp.org/rec/conf/hais/BragagliaCCMMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/ChesaniMMT10,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Piotr Jedrzejowicz and
Ngoc Thanh Nguyen and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Declarative Technologies for Open Agent Systems and Beyond},
booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, 4th
{KES} International Symposium, {KES-AMSTA} 2010, Gdynia, Poland, June
23-25, 2010, Proceedings. Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6070},
pages = {1--5},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13480-7\_1},
doi = {10.1007/978-3-642-13480-7\_1},
timestamp = {Thu, 16 Mar 2023 20:00:31 +0100},
biburl = {https://dblp.org/rec/conf/kesamsta/ChesaniMMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesamsta/ChesaniMMT10a,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Piotr Jedrzejowicz and
Ngoc Thanh Nguyen and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Role Monitoring in Open Agent Societies},
booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, 4th
{KES} International Symposium, {KES-AMSTA} 2010, Gdynia, Poland, June
23-25, 2010, Proceedings. Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6070},
pages = {112--121},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13480-7\_13},
doi = {10.1007/978-3-642-13480-7\_13},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kesamsta/ChesaniMMT10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Montali09,
author = {Marco Montali},
title = {Specification and Verification of Declarative Open Interaction Models
- {A} Logic-based framework},
school = {University of Bologna, Italy},
year = {2009},
url = {http://amsdottorato.unibo.it/1829/},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Montali09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ChesaniLMMRS09,
author = {Federico Chesani and
Evelina Lamma and
Paola Mello and
Marco Montali and
Fabrizio Riguzzi and
Sergio Storari},
title = {Exploiting Inductive Logic Programming Techniques for Declarative
Process Mining},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {2},
pages = {278--295},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00899-3\_16},
doi = {10.1007/978-3-642-00899-3\_16},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/ChesaniLMMRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/BottrighiCMMMST09,
author = {Alessio Bottrighi and
Federico Chesani and
Paola Mello and
Marco Montali and
Stefania Montani and
Sergio Storari and
Paolo Terenziani},
editor = {David Ria{\~{n}}o and
Annette ten Teije and
Silvia Miksch and
Mor Peleg},
title = {Analysis of the {GLARE} and {GPROVE} Approaches to Clinical Guidelines},
booktitle = {Knowledge Representation for Health-Care: Data, Processes and Guidelines,
{AIME} 2009 Workshop {KR4HC} 2009, Verona, Italy, July 19, 2009, Revised
Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5943},
pages = {76--87},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11808-1\_7},
doi = {10.1007/978-3-642-11808-1\_7},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aime/BottrighiCMMMST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/BottrighiCMMMMSTT09,
author = {Alessio Bottrighi and
Federico Chesani and
Paola Mello and
Gianpaolo Molino and
Marco Montali and
Stefania Montani and
Sergio Storari and
Paolo Terenziani and
Mauro Torchio},
editor = {Carlo Combi and
Yuval Shahar and
Ameen Abu{-}Hanna},
title = {A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge
Conformance},
booktitle = {Artificial Intelligence in Medicine, 12th Conference on Artificial
Intelligence in Medicine, {AIME} 2009, Verona, Italy, July 18-22,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5651},
pages = {91--95},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02976-9\_12},
doi = {10.1007/978-3-642-02976-9\_12},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aime/BottrighiCMMMMSTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/TorroniCMM09,
author = {Paolo Torroni and
Federico Chesani and
Paola Mello and
Marco Montali},
editor = {Matteo Baldoni and
Jamal Bentahar and
M. Birna van Riemsdijk and
John Lloyd},
title = {Social Commitments in Time: Satisfied or Compensated},
booktitle = {Declarative Agent Languages and Technologies VII, 7th International
Workshop, {DALT} 2009, Budapest, Hungary, May 11, 2009. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5948},
pages = {228--243},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11355-0\_14},
doi = {10.1007/978-3-642-11355-0\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/TorroniCMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/AlbertiCCGLMMT09,
author = {Marco Alberti and
Massimiliano Cattafi and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Marco Montali and
Paola Mello and
Paolo Torroni},
title = {Integrating Abductive Logic Programming and Description Logics in
a Dynamic Contracting Architecture},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
Angeles, CA, USA, 6-10 July 2009},
pages = {254--261},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICWS.2009.78},
doi = {10.1109/ICWS.2009.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/AlbertiCCGLMMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChesaniMMT09,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Craig Boutilier},
title = {Commitment Tracking via the Reactive Event Calculus},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {91--96},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/026.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChesaniMMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/ChesaniMMT09,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Matteo Baldoni and
Cristina Baroglio and
Jamal Bentahar and
Guido Boella and
Massimo Cossentino and
Mehdi Dastani and
Barbara Dunin{-}Keplicz and
Giancarlo Fortino and
Marie{-}Pierre Gleizes and
Jo{\~{a}}o Leite and
Viviana Mascardi and
Julian A. Padget and
Juan Pav{\'{o}}n and
Axel Polleres and
Amal El Fallah Seghrouchni and
Paolo Torroni and
Rineke Verbrugge},
title = {Verifying A-Priori the Composition of Declarative Specified Services},
booktitle = {Proceedings of the Second Multi-Agent Logics, Languages, and Organisations
Federated Workshops, Turin, Italy, September 7-10, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {494},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-494/mallowawesomepaper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/ChesaniMMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijecommerce/AlbertiCGLMMT08,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
title = {Expressing and Verifying Business Contracts with Abductive Logic Programming},
journal = {Int. J. Electron. Commer.},
volume = {12},
number = {4},
pages = {9--38},
year = {2008},
url = {https://doi.org/10.2753/JEC1086-4415120401},
doi = {10.2753/JEC1086-4415120401},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijecommerce/AlbertiCGLMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChesaniMMT08,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Matteo Baldoni and
Cristina Baroglio},
title = {Modeling and Verification of Business Processes and Choreographies
in {ALP}},
booktitle = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof.
Alberto Martelli, Turin, Italy, June 3, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {487},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-487/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ChesaniMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ChesaniMMRSS08,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Fabrizio Riguzzi and
Maurizio Sebastianis and
Sergio Storari},
editor = {Danilo Ardagna and
Massimo Mecella and
Jian Yang},
title = {Checking Compliance of Execution Traces to Business Rules},
booktitle = {Business Process Management Workshops, {BPM} 2008 International Workshops,
Milano, Italy, September 1-4, 2008. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {17},
pages = {134--145},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00328-8\_13},
doi = {10.1007/978-3-642-00328-8\_13},
timestamp = {Wed, 14 Nov 2018 10:57:47 +0100},
biburl = {https://dblp.org/rec/conf/bpm/ChesaniMMRSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MontaliTACGLM08,
author = {Marco Montali and
Paolo Torroni and
Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Verification from Declarative Specifications Using Logic Programming},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {440--454},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_39},
doi = {10.1007/978-3-540-89982-2\_39},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MontaliTACGLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swap/ChesaniMMT08,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Aldo Gangemi and
Johannes Keizer and
Valentina Presutti and
Heiko Stoermer},
title = {Ontological Reasoning and Abductive Logic Programming for Service
Discovery and Contracting},
booktitle = {Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives
(SWAP2008), Rome, Italy, December 15-17, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {426},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-426/swap2008\_submission\_59.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/swap/ChesaniMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/ChesaniMMT08,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Roberto Bruni and
Karsten Wolf},
title = {Verification of Choreographies During Execution Using the Reactive
Event Calculus},
booktitle = {Web Services and Formal Methods, 5th International Workshop, {WS-FM}
2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5387},
pages = {55--72},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01364-5\_4},
doi = {10.1007/978-3-642-01364-5\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wsfm/ChesaniMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ios/p/ChesaniLMMSBM08,
author = {Federico Chesani and
Evelina Lamma and
Paola Mello and
Marco Montali and
Sergio Storari and
Paola Baldazzi and
Marilena Manfredi},
editor = {Annette ten Teije and
Silvia Miksch and
Peter J. F. Lucas},
title = {Compliance Checking of Cancer-Screening CareFlows: an Approach based
on Computational Logic},
booktitle = {Computer-based Medical Guidelines and Protocols: {A} Primer and Current
Trends},
series = {Studies in Health Technology and Informatics},
volume = {139},
pages = {183--192},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-873-1-183},
doi = {10.3233/978-1-58603-873-1-183},
timestamp = {Mon, 28 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ios/p/ChesaniLMMSBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/ChesaniMMS07,
author = {Federico Chesani and
Paola Mello and
Marco Montali and
Sergio Storari},
editor = {Riccardo Bellazzi and
Ameen Abu{-}Hanna and
Jim Hunter},
title = {Testing Careflow Process Execution Conformance by Translating a Graphical
Language to Computational Logic},
booktitle = {Artificial Intelligence in Medicine, 11th Conference on Artificial
Intelligence in Medicine, {AIME} 2007, Amsterdam, The Netherlands,
July 7-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4594},
pages = {479--488},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73599-1\_64},
doi = {10.1007/978-3-540-73599-1\_64},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/aime/ChesaniMMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LammaMMRS07,
author = {Evelina Lamma and
Paola Mello and
Marco Montali and
Fabrizio Riguzzi and
Sergio Storari},
editor = {Gustavo Alonso and
Peter Dadam and
Michael Rosemann},
title = {Inducing Declarative Logic-Based Models from Labeled Traces},
booktitle = {Business Process Management, 5th International Conference, {BPM} 2007,
Brisbane, Australia, September 24-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4714},
pages = {344--359},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75183-0\_25},
doi = {10.1007/978-3-540-75183-0\_25},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/bpm/LammaMMRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BrylMMTZ07,
author = {Volha Bryl and
Paola Mello and
Marco Montali and
Paolo Torroni and
Nicola Zannone},
editor = {Fariba Sadri and
Ken Satoh},
title = {-Tropos},
booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
{CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5056},
pages = {157--176},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88833-8\_9},
doi = {10.1007/978-3-540-88833-8\_9},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/BrylMMTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/AlbertiCGLMMT07,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Enrico Franconi and
Michael Kifer and
Wolfgang May},
title = {Web Service Contracting: Specification and Reasoning with {SCIFF}},
booktitle = {The Semantic Web: Research and Applications, 4th European Semantic
Web Conference, {ESWC} 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4519},
pages = {68--83},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72667-8\_7},
doi = {10.1007/978-3-540-72667-8\_7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esws/AlbertiCGLMMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/AlbertiCGLMMT07,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Massimo Marchiori and
Jeff Z. Pan and
Christian de Sainte Marie},
title = {A Rule-Based Approach for Reasoning About Collaboration Between Smart
Web Services},
booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR}
2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4524},
pages = {279--288},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72982-2\_22},
doi = {10.1007/978-3-540-72982-2\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rr/AlbertiCGLMMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AlbertiCGLMMT07,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Paolo Torroni},
editor = {Guido Boella and
Leendert W. N. van der Torre and
Harko Verhagen},
title = {Expressing and Verifying Business Contracts with Abductive Logic Programming},
booktitle = {Normative Multi-agent Systems, 18.03. - 23.03.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07122},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/901},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AlbertiCGLMMT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/ChesaniMMMS06,
author = {Federico Chesani and
Pietro De Matteis and
Paola Mello and
Marco Montali and
Sergio Storari},
editor = {Floriana Esposito and
Zbigniew W. Ras and
Donato Malerba and
Giovanni Semeraro},
title = {A Framework for Defining and Verifying Clinical Guidelines: {A} Case
Study on Cancer Screening},
booktitle = {Foundations of Intelligent Systems, 16th International Symposium,
{ISMIS} 2006, Bari, Italy, September 27-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4203},
pages = {338--343},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11875604\_39},
doi = {10.1007/11875604\_39},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/ChesaniMMMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AlbertiGLCMM06,
author = {Marco Alberti and
Marco Gavanelli and
Evelina Lamma and
Federico Chesani and
Paola Mello and
Marco Montali},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {An abductive framework for a-priori verification of web services},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {39--50},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140342},
doi = {10.1145/1140335.1140342},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AlbertiGLCMM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/AlbertiCGLMMST06,
author = {Marco Alberti and
Federico Chesani and
Marco Gavanelli and
Evelina Lamma and
Paola Mello and
Marco Montali and
Sergio Storari and
Paolo Torroni},
editor = {Mario Bravetti and
Manuel N{\'{u}}{\~{n}}ez and
Gianluigi Zavattaro},
title = {Computational Logic for Run-Time Verification of Web Services Choreographies:
Exploiting the \emph{SOCS-SI} Tool},
booktitle = {Web Services and Formal Methods, Third International Workshop, {WS-FM}
2006 Vienna, Austria, September 8-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4184},
pages = {58--72},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841197\_4},
doi = {10.1007/11841197\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsfm/AlbertiCGLMMST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/CiampoliniMMS05,
author = {Anna Ciampolini and
Paola Mello and
Marco Montali and
Sergio Storari},
title = {Using Social Integrity Constraints for On-the-Fly Compliance Verification
of Medical Protocols},
booktitle = {18th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} 2005),
23-24 June 2005, Dublin, Ireland},
pages = {503--505},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CBMS.2005.102},
doi = {10.1109/CBMS.2005.102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/CiampoliniMMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/ChesaniCMMTAS05,
author = {Federico Chesani and
Anna Ciampolini and
Paola Mello and
Marco Montali and
Paolo Torroni and
Marco Alberti and
Sergio Storari},
editor = {Flavio Corradini and
Flavio De Paoli and
Emanuela Merelli and
Andrea Omicini},
title = {Protocol Specification and Verification by Using Computational Logic},
booktitle = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Simulation and Formal Analysis of Complex
Systems, 14-16 November 2005, Camerino, MC, Italy},
pages = {184--192},
publisher = {Pitagora Editrice Bologna},
year = {2005},
url = {http://lia.deis.unibo.it/books/woa2005/papers/26.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/ChesaniCMMTAS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-19 00:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
