![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Fabrizio Maggi Michael Westergaard Marco Montali"
@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}, title = {Process Mining Manifesto}, booktitle = {Business Process Management Workshops - {BPM} 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part {I}}, pages = {169--194}, year = {2011}, crossref = {DBLP:conf/bpm/2011w1}, 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/MaggiMWA11, author = {Fabrizio Maria Maggi and Marco Montali and Michael Westergaard and Wil M. P. van der Aalst}, 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}, pages = {132--147}, year = {2011}, crossref = {DBLP:conf/bpm/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/rv/MaggiWMA11, author = {Fabrizio Maria Maggi and Michael Westergaard and Marco Montali and Wil M. P. van der Aalst}, 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}, pages = {131--146}, year = {2011}, crossref = {DBLP:conf/rv/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/bpm/2011w1, editor = {Florian Daniel and Kamel Barkaoui and Schahram Dustdar}, title = {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}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28108-2}, doi = {10.1007/978-3-642-28108-2}, isbn = {978-3-642-28107-5}, timestamp = {Sun, 01 Sep 2024 11:22:27 +0200}, biburl = {https://dblp.org/rec/conf/bpm/2011w1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/bpm/2011, editor = {Stefanie Rinderle{-}Ma and Farouk Toumani and Karsten Wolf}, title = {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}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23059-2}, doi = {10.1007/978-3-642-23059-2}, isbn = {978-3-642-23058-5}, timestamp = {Sun, 01 Sep 2024 11:22:27 +0200}, biburl = {https://dblp.org/rec/conf/bpm/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rv/2011, editor = {Sarfraz Khurshid and Koushik Sen}, title = {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}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29860-8}, doi = {10.1007/978-3-642-29860-8}, isbn = {978-3-642-29859-2}, timestamp = {Sun, 01 Sep 2024 11:22:27 +0200}, biburl = {https://dblp.org/rec/conf/rv/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.