Search dblp for Publications

• > Home > Search

@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 {(1)}},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {99},
  pages        = {169--194},
  publisher    = {Springer},
  year         = {2011}
}

@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    = {{BPM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6896},
  pages        = {132--147},
  publisher    = {Springer},
  year         = {2011}
}

@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    = {{RV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7186},
  pages        = {131--146},
  publisher    = {Springer},
  year         = {2011}
}