Publications
2022
[226] Conformance Checking: Foundations, Milestones and Challenges (, , and ), Chapter in Process Mining Handbook (Wil M. P. van der Aalst, Josep Carmona, eds.), Springer, volume 448, . [bibtex] [url] [doi]
[225] Complex Event Processing Methods for Process Querying (, , and ), Chapter in Process Querying Methods (Artem Polyvyanyy, ed.), Springer, . [bibtex] [url] [doi]
[224] Predicate-based push-pull communication for distributed CEP (, , and ), In 16th ACM International Conference on Distributed and Event-based Systems, DEBS 2022, Copenhagen, Denmark, June 27 - 30, 2022 (Yongluan Zhou, Panos K. Chrysanthis, Vincenzo Gulisano, Eleni Tzirita Zacharatou, eds.), ACM, . [bibtex] [pdf] [doi]
[223] exRumourLens: Auditable Rumour Detection with Multi-View Explanations (, , , , , and ), In 38th IEEE International Conference on Data Engineering, ICDE 2022, Kuala Lumpur, Malaysia, May 9-12, 2022, IEEE, . [bibtex] [url] [doi]
[222] GECCO: Constraint-driven Abstraction of Low-level Event Logs (, , and ), In 38th IEEE International Conference on Data Engineering, ICDE 2022, Kuala Lumpur, Malaysia, May 9-12, 2022, IEEE, . [bibtex] [pdf] [doi]
[221] Discovering Event Queries from Traces: Laying Foundations for Subsequence-Queries with Wildcards and Gap-Size Constraints (, , , , and ), In 25th International Conference on Database Theory, ICDT 2022, March 29 to April 1, 2022, Edinburgh, UK (Virtual Conference) (Dan Olteanu, Nils Vortmeier, eds.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, volume 220, . [bibtex] [url] [doi]
[220] Interactive Workflows for Exploratory Data Analysis (), In Proceedings of the VLDB 2022 PhD Workshop co-located with the 48th International Conference on Very Large Databases (VLDB 2022), Sydney, Australia, September 5, 2022 (Zhifeng Bao, Timos K. Sellis, eds.), CEUR-WS.org, volume 3186, . [bibtex] [pdf]
[219] Scalable Discovery of Queries over Event Streams (), In Proceedings of the VLDB 2022 PhD Workshop co-located with the 48th International Conference on Very Large Databases (VLDB 2022), Sydney, Australia, September 5, 2022 (Zhifeng Bao, Timos K. Sellis, eds.), CEUR-WS.org, volume 3186, . [bibtex] [pdf]
[218] Sampling and approximation techniques for efficient process conformance checking (, , and ), In Inf. Syst., volume 104, . [bibtex] [pdf] [doi]
[217] Process discovery with context-aware process trees (, , , , and ), In Inf. Syst., volume 106, . [bibtex] [url] [doi]
[216] Fire now, fire later: alarm-based systems for prescriptive process monitoring (, , , , , , and ), In Knowl. Inf. Syst., volume 64, . [bibtex] [pdf] [doi]
[215] Model-agnostic and diverse explanations for streaming rumour graphs (, , , , , , and ), In Knowl. Based Syst., volume 253, . [bibtex] [url] [doi]
[214] Privacy and Confidentiality in Process Mining: Threats and Research Challenges (, , , , , , , and ), In ACM Trans. Manag. Inf. Syst., volume 13, . [bibtex] [pdf] [doi]
[213] State Management for Efficient Event Pattern Detection (), PhD thesis, Humboldt University of Berlin, Germany, . [bibtex] [url]
[212] Semantics-aware Mechanisms for Control-flow Anonymization in Process Mining (, , , and ), In Information Systems, . [bibtex] [pdf]
[211] Hiding in the forest: Privacy-preserving process performance indicators (, , and ), In Information Systems, . [bibtex] [pdf] [doi]
[210] Adaptive incentive-based demand response with distributed non-compliance assessment (, , , and ), In Applied Energy, Elsevier, volume 326, . [bibtex] [pdf] [doi]
2021
[209]Abweichungsanalyse (Conformance Checking) (), Chapter in Prozessmanagement und Process-Mining - Grundlagen (Ralf Laue, Agnes Koschmider, Dirk Fahland, eds.), De Gruyter, . [bibtex]
[208] Creating Trust in Collaborative Embedded Systems (, , , and ), Chapter in Model-Based Engineering of Collaborative Embedded Systems (Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck, eds.), Springer, . [bibtex] [url] [doi]
[207] New Trends in Database and Information Systems - ADBIS 2021 Short Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD, MegaData, CAoNS, Tartu, Estonia, August 24-26, 2021, Proceedings, (Ladjel Bellatreche, Marlon Dumas, Panagiotis Karras, Raimundas Matulevicius, Ahmed Awad, Matthias Weidlich, Mirjana Ivanovic, Olaf Hartig, eds.), Springer, volume 1450, . [bibtex] [url] [doi]
[206] Representativeness of Event Data in Conformance Checking (), In Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to - 10th, 2021 (Wil M. P. van der Aalst, Remco M. Dijkman, Akhil Kumar, Francesco Leotta, Fabrizio Maria Maggi, Jan Mendling, Brian T. Pentland, Arik Senderovich, Marcos Sepúlveda, Estefanía Serral Asensio, Mathias Weske, eds.), CEUR-WS.org, volume 2973, . [bibtex] [pdf]
[205] A Distance Measure for Privacy-Preserving Process Mining Based on Feature Learning (, , , and ), In Business Process Management Workshops - BPM 2021 International Workshops, Rome, Italy, September 6-10, 2021, Revised Selected Papers (Andrea Marrella, Barbara Weber, eds.), Springer, volume 436, . [bibtex] [pdf] [doi]
[204] Privacy-Aware Process Performance Indicators: Framework and Release Mechanisms (, , and ), In Advanced Information Systems Engineering - 33rd International Conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings (Marcello La Rosa, Shazia W. Sadiq, Ernest Teniente, eds.), Springer, volume 12751, . [bibtex] [pdf] [doi]
[203] Efficient Approximate Conformance Checking Using Trie Data Structures (, , and ), In 3rd International Conference on Process Mining, ICPM 2021, Eindhoven, The Netherlands, October 31 - Nov. 4, 2021 (Claudio Di Ciccio, Chiara Di Francescomarino, Pnina Soffer, eds.), IEEE, . [bibtex] [url] [doi]
[202] SaCoFa: Semantics-aware Control-flow Anonymization for Process Mining (, , , , and ), In 3rd International Conference on Process Mining, ICPM 2021, Eindhoven, The Netherlands, October 31 - Nov. 4, 2021 (Claudio Di Ciccio, Chiara Di Francescomarino, Pnina Soffer, eds.), IEEE, . [bibtex] [pdf] [doi]
[201] Sampling What Matters: Relevance-guided Sampling of Event Logs (, , , and ), In 3rd International Conference on Process Mining, ICPM 2021, Eindhoven, The Netherlands, October 31 - Nov. 4, 2021 (Claudio Di Ciccio, Chiara Di Francescomarino, Pnina Soffer, eds.), IEEE, . [bibtex] [pdf] [doi]
[200] EIRES: Efficient Integration of Remote Data in Event Stream Processing (, , , , and ), In SIGMOD '21: International Conference on Management of Data, Virtual Event, China, June 20-25, 2021 (Guoliang Li, Zhanhuai Li, Stratos Idreos, Divesh Srivastava, eds.), ACM, . [bibtex] [pdf] [doi]
[199] MuSE Graphs for Flexible Distribution of Event Stream Processing in Networks ( and ), In SIGMOD '21: International Conference on Management of Data, Virtual Event, China, June 20-25, 2021 (Guoliang Li, Zhanhuai Li, Stratos Idreos, Divesh Srivastava, eds.), ACM, . [bibtex] [pdf] [doi]
[198] Checking Plausibility in Exploratory Data Analysis (), In Proceedings of the VLDB 2021 PhD Workshop co-located with the 47th International Conference on Very Large Databases (VLDB 2021), Copenhagen, Denmark, August 16, 2021 (Philip A. Bernstein, Tilmann Rabl, eds.), CEUR-WS.org, volume 2971, . [bibtex] [pdf]
[197] The Collaborative Research Center FONDA (, , , , , , , , , , , , , , , , , , , , and ), In Datenbank-Spektrum, volume 21, . [bibtex] [url] [doi]
[196] Partial Order Resolution of Event Logs for Process Conformance Checking (Extended abstract) (, , and ), In EMISA Forum, volume 41, . [bibtex] [pdf]
[195] Online Service Function Chain Deployment for Live-Streaming in Virtualized Content Delivery Networks: A Deep Reinforcement Learning Approach (, , , , , and ), In Future Internet, volume 13, . [bibtex] [url] [doi]
[194] Reasoning on the Efficiency of Distributed Complex Event Processing ( and ), In Fundam. Informaticae, volume 179, . [bibtex] [url] [doi]
[193] Efficient Streaming Subgraph Isomorphism with Graph Neural Networks (, , , , , and ), In Proc. VLDB Endow., volume 14, . [bibtex] [pdf] [doi]
[192] Scalable Robust Graph Embedding with Spark (, , , , , and ), In Proc. VLDB Endow., volume 15, . [bibtex] [pdf] [doi]
2020
[191] Shareprom: A Tool for Privacy-Preserving Inter-Organizational Process Mining (, , , , , and ), In Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2020 co-located with the 18th International Conference on Business Process Management (BPM 2020), Sevilla, Spain, September 13-18, 2020 (Wil M. P. van der Aalst, Jan vom Brocke, Marco Comuzzi, Claudio Di Ciccio, Félix García, Akhil Kumar, Jan Mendling, Brian T. Pentland, Luise Pufahl, Manfred Reichert, Mathias Weske, eds.), CEUR-WS.org, volume 2673, . [bibtex] [pdf]
[190] PRIPEL: Privacy-Preserving Event Log Publishing Including Contextual Information (, , and ), In Business Process Management - 18th International Conference, BPM 2020, Seville, Spain, September 13-18, 2020, Proceedings (Dirk Fahland, Chiara Ghidini, Jörg Becker, Marlon Dumas, eds.), Springer, volume 12168, . [bibtex] [pdf] [doi]
[189] Secure Multi-party Computation for Inter-organizational Process Mining (, , , , , and ), In Enterprise, Business-Process and Information Systems Modeling - 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8-9, 2020, Proceedings (Selmin Nurcan, Iris Reinhartz-Berger, Pnina Soffer, Jelena Zdravkovic, eds.), Springer, volume 387, . [bibtex] [pdf] [doi]
[188] Quantifying the Re-identification Risk of Event Logs for Process Mining - Empiricial Evaluation Paper (, , , , , , , and ), In Advanced Information Systems Engineering - 32nd International Conference, CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings (Schahram Dustdar, Eric Yu, Camille Salinesi, Dominique Rieu, Vik Pant, eds.), Springer, volume 12127, . [bibtex] [pdf] [doi]
[187] Assessing the Compliance of Business Process Models with Regulatory Documents (, , , and ), In Conceptual Modeling - 39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020, Proceedings (Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, Heinrich C. Mayr, eds.), Springer, volume 12400, . [bibtex] [pdf] [doi]
[186] Graph Embeddings for One-pass Processing of Heterogeneous Queries (, , , , , , and ), In 36th IEEE International Conference on Data Engineering, ICDE 2020, Dallas, TX, USA, April 20-24, 2020, IEEE, . [bibtex] [url] [doi]
[185] Adaptive Network Alignment with Unsupervised and Multi-order Convolutional Networks (, , , , , and ), In 36th IEEE International Conference on Data Engineering, ICDE 2020, Dallas, TX, USA, April 20-24, 2020, IEEE, . [bibtex] [url] [doi]
[184] Load Shedding for Complex Event Processing: Input-based and State-based Techniques (, , and ), In 36th IEEE International Conference on Data Engineering, ICDE 2020, Dallas, TX, USA, April 20-24, 2020, IEEE, . [bibtex] [pdf] [doi]
[183] Process Mining over Unordered Event Streams (, , and ), In 2nd International Conference on Process Mining, ICPM 2020, Padua, Italy, October 4-9, 2020 (Boudewijn F. van Dongen, Marco Montali, Moe Thandar Wynn, eds.), IEEE, . [bibtex] [url] [doi]
[182] Queueing Inference for Process Performance Analysis with Missing Life-Cycle Data (, , , , and ), In 2nd International Conference on Process Mining, ICPM 2020, Padua, Italy, October 4-9, 2020 (Boudewijn F. van Dongen, Marco Montali, Moe Thandar Wynn, eds.), IEEE, . [bibtex] [url] [doi]
[181] Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining (, , , , , , , , and ), In Proceedings of the ICPM Doctoral Consortium and Tool Demonstration Track 2020 co-located with the 2nd International Conference on Process Mining (ICPM 2020), Padua, Italy, October 4-9, 2020 (Claudio Di Ciccio, Benoît Depaire, Jochen De Weerdt, Chiara Di Francescomarino, Jorge Munoz-Gama, eds.), CEUR-WS.org, volume 2703, . [bibtex] [pdf]
[180] FactCatch: Incremental Pay-as-You-Go Fact Checking with Minimal User Effort (, , , , , and ), In Proceedings of the 43rd International ACM SIGIR conference on research and development in Information Retrieval, SIGIR 2020, Virtual Event, China, July 25-30, 2020 (Jimmy X. Huang, Yi Chang, Xueqi Cheng, Jaap Kamps, Vanessa Murdock, Ji-Rong Wen, Yiqun Liu, eds.), ACM, . [bibtex] [url] [doi]
[179] Partial order resolution of event logs for process conformance checking (, , and ), In Decis. Support Syst., volume 136, . [bibtex] [pdf] [doi]
[178] Estimating Process Conformance by Trace Sampling and Result Approximation (, , and ), In EMISA Forum, volume 40, . [bibtex] [pdf]
[177]Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems (, , , , and ), In EMISA Forum, volume 40, . [bibtex]
[176] Quantifying the Re-identication Risk of Event Logs for Process Mining (, , , , , , , and ), In EMISA Forum, volume 40, . [bibtex] [pdf]
[175] Interval-based Queries over Lossy IoT Event Streams (, , , , and ), In Trans. Data Sci., volume 1, . [bibtex] [pdf] [doi]
[174] Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems (, , , , and ), In ACM Trans. Softw. Eng. Methodol., volume 29, . [bibtex] [url] [doi]
[173] Extraction, correlation, and abstraction of event data for process mining (, , , and ), In WIREs Data Mining Knowl. Discov., volume 10, . [bibtex] [pdf] [doi]
2019
[172] Congestion Graphs for Automated Time Predictions (, , , and ), In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019, AAAI Press, . [bibtex] [pdf] [doi]
[171] Estimating Process Conformance by Trace Sampling and Result Approximation (, , and ), In Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1-6, 2019, Proceedings (Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling, eds.), Springer, volume 11675, . [bibtex] [pdf] [doi]
[170] ELPaaS: Event Log Privacy as a Service (, , , , , and ), In Proceedings of the Dissertation Award, Doctoral Consortium, and Demonstration Track at BPM 2019 co-located with 17th International Conference on Business Process Management, BPM 2019, Vienna, Austria, September 1-6, 2019 (Benoît Depaire, Johannes De Smedt, Marlon Dumas, Dirk Fahland, Akhil Kumar, Henrik Leopold, Manfred Reichert, Stefanie Rinderle-Ma, Stefan Schulte, Stefan Seidel, Wil M. P. van der Aalst, eds.), CEUR-WS.org, volume 2420, . [bibtex] [pdf]
[169] Efficient Discovery of Compact Maximal Behavioral Patterns from Event Logs (, , and ), In Advanced Information Systems Engineering - 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings (Paolo Giorgini, Barbara Weber, eds.), Springer, volume 11483, . [bibtex] [pdf] [doi]
[168] Providing Privacy Guarantees in Process Mining (), In Proceedings of the Doctoral Consortium Papers Presented at the 31st International Conference on Advanced Information Systems Engineering (CAiSE 2019), Rome, Italy, June 3-7, 2019 (Marcello La Rosa, Pierluigi Plebani, Manfred Reichert, eds.), CEUR-WS.org, volume 2370, . [bibtex] [pdf]
[167] On the Need for Distributed Complex Event Processing with Multiple Sinks (), In Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, DEBS 2019, Darmstadt, Germany, June 24-28, 2019, ACM, . [bibtex] [url] [doi]
[166] Actionable Conformance Checking: From Intuitions to Code (, , and ), In Big Data Management and Analytics - 9th European Summer School, eBISS 2019, Berlin, Germany, June 30 - July 5, 2019, Revised Selected Papers (Ralf-Detlef Kutsche, Esteban Zimányi, eds.), Springer, volume 390, . [bibtex] [url] [doi]
[165] Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness (), In Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (Hossein Hojjat, Mieke Massink, eds.), Springer, volume 11761, . [bibtex] [url] [doi]
[164] PRETSA: Event Log Sanitization for Privacy-aware Process Discovery (, , and ), In International Conference on Process Mining, ICPM 2019, Aachen, Germany, June 24-26, 2019, IEEE, . [bibtex] [pdf] [doi]
[163] Inductive Context-aware Process Discovery (, , , , and ), In International Conference on Process Mining, ICPM 2019, Aachen, Germany, June 24-26, 2019, IEEE, . [bibtex] [url] [doi]
[162] Proceedings of the Conference on "Lernen, Wissen, Daten, Analysen", Berlin, Germany, September 30 - October 2, 2019, (Robert Jäschke, Matthias Weidlich, eds.), CEUR-WS.org, volume 2454, . [bibtex] [url]
[161] From Distributed Sources to Distributed Sinks: Towards Truly Decentralized Event Stream Processing (), In Proceedings of the VLDB 2019 PhD Workshop, co-located with the 45th International Conference on Very Large Databases (VLDB 2019), Los Angeles, California, USA, August 26-30, 2019 (Ilaria Bartolini, Feifei Li, eds.), CEUR-WS.org, volume 2399, . [bibtex] [pdf]
[160] Privacy-Preserving Process Mining - Differential Privacy for Event Logs (, , , , and ), In Bus. Inf. Syst. Eng., volume 61, . [bibtex] [url] [doi]
[159] Towards runtime verification of collaborative embedded systems ( and ), In SICS Softw.-Intensive Cyber Phys. Syst., volume 34, . [bibtex] [url] [doi]
[158] PRETSA: Event Log Sanitization for Privacy-aware Process Discovery - (Extended Abstract) (, , and ), In Inform. Spektrum, volume 42, . [bibtex] [pdf] [doi]
[157] Process Analytics over IoT-based Event Streams with Privacy Guarantees (, , and ), In Inform. Spektrum, volume 42, . [bibtex] [url] [doi]
[156] Privacy-preserving Process Mining: Differential - Privacy for Event Logs (Extended Abstract) (, , , , and ), In Inform. Spektrum, volume 42, . [bibtex] [url] [doi]
[155] What spreadsheets are to numbers, process mining is to events (), In Inform. Spektrum, volume 42, . [bibtex] [url] [doi]
[154] Introduction to the Special Issue on Integrating Process-oriented and Event-based Systems (, , , and ), In Inf. Syst., volume 81, . [bibtex] [url] [doi]
[153] Handling probabilistic integrity constraints in pay-as-you-go reconciliation of data models (, , , , , , and ), In Inf. Syst., volume 83, . [bibtex] [url] [doi]
[152] Context-aware temporal network representation of event logs: Model and methods for process performance analysis (, , and ), In Inf. Syst., volume 84, . [bibtex] [pdf] [doi]
[151] Crossbow: Scaling Deep Learning with Small Batch Sizes on Multi-GPU Servers (, , , , , and ), In Proc. VLDB Endow., volume 12, . [bibtex] [pdf] [doi]
[150] From Anomaly Detection to Rumour Detection using Data Streams of Social Platforms (, , , , , and ), In Proc. VLDB Endow., volume 12, . [bibtex] [pdf] [doi]
[149] User Guidance for Efficient Fact Checking (, , , , , and ), In Proc. VLDB Endow., volume 12, . [bibtex] [pdf] [doi]
[148] Business Process Analytics ( and ), Chapter in Encyclopedia of Big Data Technologies (Sherif Sakr, Albert Y. Zomaya, eds.), Springer, . [bibtex] [url] [doi]
[147] Dynamic Decision Making for Demand Response through Adaptive Event Stream Monitoring (, , , and ), In 2019 IEEE Power & Energy Society General Meeting (PESGM), . [bibtex] [pdf] [doi]
2018
[146] Conformance Checking - Relating Processes and Models (, , , and ), Springer, . [bibtex] [url] [doi]
[145] Streams and Tables: Two Sides of the Same Coin (, , and ), In Proceedings of the International Workshop on Real-Time Business Intelligence and Analytics, BIRTE 2018, Rio de Janeiro, Brazil, August 27, 2018 (Malú Castellanos, Panos K. Chrysanthis, Badrish Chandramouli, Shimin Chen, eds.), ACM, . [bibtex] [pdf] [doi]
[144] Business Process Management Workshops - BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers, (Ernest Teniente, Matthias Weidlich, eds.), Springer, volume 308, . [bibtex] [url] [doi]
[143] Who Is Behind the Model? Classifying Modelers Based on Pragmatic Model Features (, , , , , , , and ), In Business Process Management - 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings (Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke, eds.), Springer, volume 11080, . [bibtex] [pdf] [doi]
[142] How Much Event Data Is Enough? A Statistical Framework for Process Discovery (, , , , and ), In Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings (John Krogstie, Hajo A. Reijers, eds.), Springer, volume 10816, . [bibtex] [pdf] [doi]
[141] Fusion-Based Process Discovery (, , , and ), In Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings (John Krogstie, Hajo A. Reijers, eds.), Springer, volume 10816, . [bibtex] [url] [doi]
[140] Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018, (Bernd-Holger Schlingloff, Samira Akili, eds.), CEUR-WS.org, volume 2240, . [bibtex] [url]
[139] Formal Analysis of Complex Event Processing - Potential and Challenges (), In Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018 (Bernd-Holger Schlingloff, Samira Akili, eds.), CEUR-WS.org, volume 2240, . [bibtex] [pdf]
[138] Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, DEBS 2018, Hamilton, New Zealand, June 25-29, 2018, (Annika Hinze, David M. Eyers, Martin Hirzel, Matthias Weidlich, Sukanya Bhowmik, eds.), ACM, . [bibtex] [url] [doi]
[137] On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency ( and ), In Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Christel Baier, Luís Caires, eds.), Springer, volume 10854, . [bibtex] [url] [doi]
[136] Folding Marked Generalized Stochastic Petri Nets for Time Prediction in Business Processes ( and ), In 48. Jahrestagung der Gesellschaft für Informatik, Architekturen, Prozesse, Sicherheit und Nachhaltigkeit, INFORMATIK 2018 - Workshops, Berlin, Germany, September 26-27, 2018 (Christian Czarnecki, Carsten Brockmann, Eldar Sultanow, Agnes Koschmider, Annika Selzer, eds.), GI, volume P-285, . [bibtex] [pdf]
[135] Online Temporal Analysis of Complex Systems Using IoT Data Sensing (, , and ), In 34th IEEE International Conference on Data Engineering, ICDE 2018, Paris, France, April 16-19, 2018, IEEE Computer Society, . [bibtex] [url] [doi]
[134] What-If Analysis with Conflicting Goals: Recommending Data Ranges for Exploration (, , , , , , and ), In 34th IEEE International Conference on Data Engineering, ICDE 2018, Paris, France, April 16-19, 2018, IEEE Computer Society, . [bibtex] [pdf] [doi]
[133] Computing Crowd Consensus with Partial Agreement (, , , , , and ), In 34th IEEE International Conference on Data Engineering, ICDE 2018, Paris, France, April 16-19, 2018, IEEE Computer Society, . [bibtex] [url] [doi]
[132] Complex Event Processing under Constrained Resources by State-Based Load Shedding (), In 34th IEEE International Conference on Data Engineering, ICDE 2018, Paris, France, April 16-19, 2018, IEEE Computer Society, . [bibtex] [pdf] [doi]
[131] Towards Net-based Formal Methods for Complex Event Processing (, , and ), In Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", LWDA 2018, Mannheim, Germany, August 22-24, 2018 (Rainer Gemulla, Simone Paolo Ponzetto, Christian Bizer, Margret Keuper, Heiner Stuckenschmidt, eds.), CEUR-WS.org, volume 2191, . [bibtex] [pdf]
[130] Domain Model-Based Data Stream Validation for Internet of Things Applications (, , and ), In Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018 (Regina Hebig, Thorsten Berger, eds.), CEUR-WS.org, volume 2245, . [bibtex] [pdf]
[129] Meta-Dataflows: Efficient Exploratory Dataflow Jobs (, , , , , and ), In Proceedings of the 2018 International Conference on Management of Data, SIGMOD Conference 2018, Houston, TX, USA, June 10-15, 2018 (Gautam Das, Christopher M. Jermaine, Philip A. Bernstein, eds.), ACM, . [bibtex] [pdf] [doi]
[128] To aggregate or to eliminate? Optimal model simplification for improved process performance prediction (, , , , and ), In Inf. Syst., volume 78, . [bibtex] [pdf] [doi]
[127] A self-portrayal of GI Junior Fellow Matthias Weidlich: Event-driven analysis of service processes (), In it Inf. Technol., volume 60, . [bibtex] [url] [doi]
[126] Challenge Paper: Data Quality Issues in Queue Mining (, , and ), In ACM J. Data Inf. Qual., volume 9, . [bibtex] [pdf] [doi]
[125] Interleaving isotactics - An equivalence notion on behaviour abstractions (, , and ), In Theor. Comput. Sci., volume 737, . [bibtex] [pdf] [doi]
[124] Computing Crowd Consensus with Partial Agreement (, , , , , and ), In IEEE Trans. Knowl. Data Eng., volume 30, . [bibtex] [url] [doi]
[123] Blockchains for Business Process Management - Challenges and Opportunities (, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and ), In ACM Trans. Manag. Inf. Syst., volume 9, . [bibtex] [url] [doi]
2017
[122] Handling Concept Drift in Predictive Process Monitoring ( and ), In 2017 IEEE International Conference on Services Computing, SCC 2017, Honolulu, HI, USA, June 25-30, 2017 (Xiaoqing (Frank) Liu, Umesh Bellur, eds.), IEEE Computer Society, . [bibtex] [pdf] [doi]
[121] Events in Business Process Implementation: Early Subscription and Event Buffering (, , and ), In Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10-15, 2017, Proceedings (Josep Carmona, Gregor Engels, Akhil Kumar, eds.), Springer, volume 297, . [bibtex] [pdf] [doi]
[120] Temporal Network Representation of Event Logs for Improved Performance Modelling in Business Processes (, , and ), In Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings (Josep Carmona, Gregor Engels, Akhil Kumar, eds.), Springer, volume 10445, . [bibtex] [pdf] [doi]
[119] Joint Proceedings of the Radar tracks at the 18th International Working Conference on Business Process Modeling, Development and Support (BPMDS), and the 22nd International Working Conference on Evaluation and Modeling Methods for Systems Analysis and Development (EMMSAD), and the 8th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA) co-located with the 29th International Conference on Advanced Information Systems Engineering 2017 (CAiSE 2017), Essen, Germany, June 12-13, 2017, (Jens Gulden, Selmin Nurcan, Iris Reinhartz-Berger, Wided Guédria, Palash Bera, Sérgio Guerreiro, Michael Fellmann, Matthias Weidlich, eds.), CEUR-WS.org, volume 1859, . [bibtex] [url]
[118] Complex Event Recognition Languages: Tutorial (, , , , and ), In Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, DEBS 2017, Barcelona, Spain, June 19-23, 2017, ACM, . [bibtex] [pdf] [doi]
[117] Compound Trace Clustering to Generate Accurate and Simple Sub-Process Models (, , and ), In Service-Oriented Computing - 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings (E. Michael Maximilien, Antonio Vallecillo, Jianmin Wang, Marc Oriol, eds.), Springer, volume 10601, . [bibtex] [pdf] [doi]
[116] Retaining Data from Streams of Social Platforms with Minimal Regret (, , , , and ), In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (Carles Sierra, ed.), ijcai.org, . [bibtex] [pdf] [doi]
[115] Verifying a Class of Certifying Distributed Programs ( and ), In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Clark W. Barrett, Misty Davies, Temesghen Kahsai, eds.), volume 10227, . [bibtex] [url] [doi]
[114] Traveling time prediction in scheduled transportation with journey segments (, , , , and ), In Inf. Syst., volume 64, . [bibtex] [pdf] [doi]
[113] Preface to BPM 2015 (, , and ), In Inf. Syst., volume 64, . [bibtex] [url] [doi]
[112] Argument discovery via crowdsourcing (, , , , , , and ), In VLDB J., volume 26, . [bibtex] [pdf] [doi]
[111] Answer validation for generic crowdsourcing tasks with minimal efforts (, , , , , , and ), In VLDB J., volume 26, . [bibtex] [pdf] [doi]
2016
[110] In Log and Model We Trust? A Generalized Conformance Checking Framework (, , , , and ), In Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings (Marcello La Rosa, Peter Loos, Oscar Pastor, eds.), Springer, volume 9850, . [bibtex] [pdf] [doi]
[109] P \^3 -Folder: Optimal Model Simplification for Improving Accuracy in Process Performance Prediction (, , , , and ), In Business Process Management - 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings (Marcello La Rosa, Peter Loos, Oscar Pastor, eds.), Springer, volume 9850, . [bibtex] [pdf] [doi]
[108] Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA, USA, June 20 - 24, 2016, (Avigdor Gal, Matthias Weidlich, Vana Kalogeraki, Nalini Venkasubramanian, eds.), ACM, . [bibtex] [url] [doi]
[107] The SABER system for window-based hybrid stream processing with GPGPUs: demo (, , , , , and ), In Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA, USA, June 20 - 24, 2016 (Avigdor Gal, Matthias Weidlich, Vana Kalogeraki, Nalini Venkasubramanian, eds.), ACM, . [bibtex] [pdf] [doi]
[106] In Log and Model We Trust? (Extended Abstract) (, , , , and ), In Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2016: Fachgruppentreffen der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung, Vienna, Austria, October 3-4, 2016 (Jan Mendling, Stefanie Rinderle-Ma, eds.), CEUR-WS.org, volume 1701, . [bibtex] [pdf]
[105] Conformance Checking and Performance Improvement in Scheduled Processes: A Queueing-Network Perspective (Extended Abstract) (, , , , , , and ), In Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2016: Fachgruppentreffen der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung, Vienna, Austria, October 3-4, 2016 (Jan Mendling, Stefanie Rinderle-Ma, eds.), CEUR-WS.org, volume 1701, . [bibtex] [pdf]
[104] INSIGHT: Dynamic Traffic Management Using Heterogeneous Urban Data (, , , , , , , , , , , , , , , , , , , , , , , , and ), In Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part III (Bettina Berendt, Björn Bringmann, Élisa Fromont, Gemma C. Garriga, Pauli Miettinen, Nikolaj Tatti, Volker Tresp, eds.), Springer, volume 9853, . [bibtex] [pdf] [doi]
[103] SABER: Window-Based Hybrid Stream Processing for Heterogeneous Architectures (, , , , , and ), In Proceedings of the 2016 International Conference on Management of Data, SIGMOD Conference 2016, San Francisco, CA, USA, June 26 - July 01, 2016 (Fatma Özcan, Georgia Koutrika, Sam Madden, eds.), ACM, . [bibtex] [pdf] [doi]
[102] 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, (Thomas T. Hildebrandt, António Ravara, Jan Martijn E. M. van der Werf, Matthias Weidlich, eds.), Springer, volume 9421, . [bibtex] [url] [doi]
[101] Integrating Process-Oriented and Event-Based Systems (Dagstuhl Seminar 16341) (, , , and ), In Dagstuhl Reports, volume 6, . [bibtex] [pdf] [doi]
[100]In Log and Model We Trust? (, , , , and ), In EMISA Forum, volume 36, . [bibtex]
[99]Conformance Checking and Performance Improvement in Scheduled Processes: A Queueing-Network Perspective (, , , , , , and ), In EMISA Forum, volume 36, . [bibtex]
[98] Editorial (, , , and ), In Formal Aspects Comput., volume 28, . [bibtex] [url] [doi]
[97] Conformance checking and performance improvement in scheduled processes: A queueing-network perspective (, , , , , , and ), In Inf. Syst., volume 62, . [bibtex] [pdf] [doi]
[96] IL-Miner: Instance-Level Discovery of Complex Event Patterns (, , and ), In Proc. VLDB Endow., volume 10, . [bibtex] [pdf] [doi]
2015
[95] Business Process Management - 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings, (Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich, eds.), Springer, volume 9253, . [bibtex] [url] [doi]
[94] Discovery and Validation of Queueing Networks in Scheduled Processes (, , , , , and ), In Advanced Information Systems Engineering - 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings (Jelena Zdravkovic, Marite Kirikova, Paul Johannesson, eds.), Springer, volume 9097, . [bibtex] [pdf] [doi]
[93] The Process Model Matching Contest 2015 (, , , , , , , , , , , , , , , , , , , , , , , , , , and ), In Enterprise Modelling and Information Systems Architectures, Proceedings of the 6th Int. Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2015, Innsbruck, Austria, September 3-4, 2015 (Jens Kolb, Henrik Leopold, Jan Mendling, eds.), GI, volume P-248, . [bibtex] [pdf]
[92] SMART: A tool for analyzing and reconciling schema matching networks (, , , , , , , and ), In 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015 (Johannes Gehrke, Wolfgang Lehner, Kyuseok Shim, Sang Kyun Cha, Guy M. Lohman, eds.), IEEE Computer Society, . [bibtex] [pdf] [doi]
[91] Result selection and summarization for Web Table search (, , , and ), In 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015 (Johannes Gehrke, Wolfgang Lehner, Kyuseok Shim, Sang Kyun Cha, Guy M. Lohman, eds.), IEEE Computer Society, . [bibtex] [pdf] [doi]
[90] On Predicting Traveling Times in Scheduled Transportation (Extended Abstract) (, , , , and ), In Proceedings of the 2nd International Workshop on Mining Urban Data co-located with 32nd International Conference on Machine Learning (ICML 2015), Lille, France, July 11th, 2015 (Ioannis Katakis, François Schnitzler, Thomas Liebig, Dimitrios Gunopulos, Katharina Morik, Gennady L. Andrienko, Shie Mannor, eds.), CEUR-WS.org, volume 1392, . [bibtex] [pdf]
[89] Distribution and Uncertainty in Complex Event Recognition ( and ), In Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings (Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman, eds.), Springer, volume 9202, . [bibtex] [pdf] [doi]
[88] ERICA: Expert Guidance in Validating Crowd Answers (, , , and ), In Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval, Santiago, Chile, August 9-13, 2015 (Ricardo Baeza-Yates, Mounia Lalmas, Alistair Moffat, Berthier A. Ribeiro-Neto, eds.), ACM, . [bibtex] [pdf] [doi]
[87] Minimizing Efforts in Validating Crowd Answers (, , , and ), In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31 - June 4, 2015 (Timos K. Sellis, Susan B. Davidson, Zachary G. Ives, eds.), ACM, . [bibtex] [pdf] [doi]
[86] Queue mining for delay prediction in multi-class service processes (, , , and ), In Inf. Syst., volume 53, . [bibtex] [pdf] [doi]
[85] Querying process models by behavior inclusion (, , and ), In Softw. Syst. Model., volume 14, . [bibtex] [pdf] [doi]
[84] Styles in business process modeling: an exploration and a model (, , , , , , , and ), In Softw. Syst. Model., volume 14, . [bibtex] [pdf] [doi]
[83] Model matching-processes and beyond ( and ), In Advanced Information Systems Engineering - 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings (Jelena Zdravkovic, Marite Kirikova, Paul Johannesson, eds.), Springer, volume 9097, . [bibtex] [pdf]
2014
[82] Measuring Expected Integration Effort in Service Composition (, , and ), In IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27 - July 2, 2014, IEEE Computer Society, . [bibtex] [pdf] [doi]
[81] The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (, , , , and ), In Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings (Gianfranco Ciardo, Ekkart Kindler, eds.), Springer, volume 8489, . [bibtex] [pdf] [doi]
[80] Mining Resource Scheduling Protocols (, , , and ), In Business Process Management - 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings (Shazia Wasim Sadiq, Pnina Soffer, Hagen Völzer, eds.), Springer, volume 8659, . [bibtex] [pdf] [doi]
[79] Queue Mining - Predicting Delays in Service Processes (, , , and ), In Advanced Information Systems Engineering - 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings (Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff, eds.), Springer, volume 8484, . [bibtex] [pdf] [doi]
[78] Scalable stateful stream processing for smart grids (, , , and ), In The 8th ACM International Conference on Distributed Event-Based Systems, DEBS '14, Mumbai, India, May 26-29, 2014 (Umesh Bellur, Ravi Kothari, eds.), ACM, . [bibtex] [pdf] [doi]
[77] Heterogeneous Stream Processing and Crowdsourcing for Urban Traffic Management (, , , , , , , , , , , , , and ), In Proceedings of the 17th International Conference on Extending Database Technology, EDBT 2014, Athens, Greece, March 24-28, 2014 (Sihem Amer-Yahia, Vassilis Christophides, Anastasios Kementsietsidis, Minos N. Garofalakis, Stratos Idreos, Vincent Leroy, eds.), OpenProceedings.org, . [bibtex] [pdf] [doi]
[76] Pay-as-you-go reconciliation in schema matching networks (, , , , , and ), In IEEE 30th International Conference on Data Engineering, Chicago, ICDE 2014, IL, USA, March 31 - April 4, 2014 (Isabel F. Cruz, Elena Ferrari, Yufei Tao, Elisa Bertino, Goce Trajcevski, eds.), IEEE Computer Society, . [bibtex] [pdf] [doi]
[75] Heterogeneous Stream Processing and Crowdsourcing for Traffic Monitoring: Highlights (, , , , , , , , , , , , , and ), In Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part III (Toon Calders, Floriana Esposito, Eyke Hüllermeier, Rosa Meo, eds.), Springer, volume 8726, . [bibtex] [pdf] [doi]
[74] Optimizing Event Pattern Matching Using Business Process Models (, , , , and ), In IEEE Trans. Knowl. Data Eng., volume 26, . [bibtex] [pdf] [doi]
[73] Event Recognition Challenges and Techniques: Guest Editors' Introduction (, , , and ), In ACM Trans. Internet Techn., volume 14, . [bibtex] [pdf] [doi]
2013
[72] A Short Survey on Process Model Similarity (, , , , , , , , , , and ), Chapter in Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE (Janis A. Bubenko Jr., John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, Arne Sølvberg, eds.), Springer, . [bibtex] [pdf] [doi]
[71] Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery Case (, , and ), In Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings (José Manuel Colom, Jörg Desel, eds.), Springer, volume 7927, . [bibtex] [pdf] [doi]
[70] Self-adaptive event recognition for intelligent transport management (, , , , and ), In 2013 IEEE International Conference on Big Data (IEEE BigData 2013), 6-9 October 2013, Santa Clara, CA, USA (Xiaohua Hu, Tsau Young Lin, Vijay V. Raghavan, Benjamin W. Wah, Ricardo Baeza-Yates, Geoffrey C. Fox, Cyrus Shahabi, Matthew Smith, Qiang Yang, Rayid Ghani, Wei Fan, Ronny Lempel, Raghunath Nambiar, eds.), IEEE Computer Society, . [bibtex] [pdf] [doi]
[69] Report: The Process Model Matching Contest 2013 (, , , , , , , , , , , , , , , , , and ), In Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers (Niels Lohmann, Minseok Song, Petia Wohed, eds.), Springer, volume 171, . [bibtex] [pdf] [doi]
[68] Predicting the Quality of Process Model Matching (, , , , and ), In Business Process Management - 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings (Florian Daniel, Jianmin Wang, Barbara Weber, eds.), Springer, volume 8094, . [bibtex] [pdf] [doi]
[67] Towards a Compendium of Process Technologies - The jBPT Library for Process Model Analysis ( and ), In Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), Valencia, Spain, June 20th, 2013 (Rébecca Deneckère, Henderik Alex Proper, eds.), CEUR-WS.org, volume 998, . [bibtex] [pdf]
[66] Grand challenge: the TechniBall system (, , , , , and ), In The 7th ACM International Conference on Distributed Event-Based Systems, DEBS '13, Arlington, TX, USA - June 29 - July 03, 2013 (Sharma Chakravarthy, Susan Darling Urban, Peter R. Pietzuch, Elke A. Rundensteiner, eds.), ACM, . [bibtex] [pdf] [doi]
[65] Minimizing Human Effort in Reconciling Match Networks (, , , , , , , and ), In Conceptual Modeling - 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings (Wilfred Ng, Veda C. Storey, Juan Trujillo, eds.), Springer, volume 8217, . [bibtex] [pdf] [doi]
[64] Matching Business Process Models Using Positional Passage-Based Language Models (, , , and ), In Conceptual Modeling - 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings (Wilfred Ng, Veda C. Storey, Juan Trujillo, eds.), Springer, volume 8217, . [bibtex] [pdf] [doi]
[63] Completeness and Ambiguity of Schema Cover (, , , , , , , , and ), In On the Move to Meaningful Internet Systems: OTM 2013 Conferences - Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings (Robert Meersman, Hervé Panetto, Tharam S. Dillon, Johann Eder, Zohra Bellahsene, Norbert Ritter, Pieter De Leenheer, Dejing Dou, eds.), Springer, volume 8185, . [bibtex] [pdf] [doi]
2012
[62] On Profiles and Footprints - Relational Semantics for Petri Nets ( and ), In Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings (Serge Haddad, Lucia Pomello, eds.), Springer, volume 7347, . [bibtex] [pdf] [doi]
[61] Tying Process Model Quality to the Modeling Process: The Impact of Structuring, Movement, and Speed (, , , , , , , , , and ), In Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings (Alistair Barros, Avigdor Gal, Ekkart Kindler, eds.), Springer, volume 7481, . [bibtex] [pdf] [doi]
[60] Probabilistic Optimization of Semantic Process Model Matching (, , , , , and ), In Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings (Alistair Barros, Avigdor Gal, Ekkart Kindler, eds.), Springer, volume 7481, . [bibtex] [pdf] [doi]
[59] Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models (, , and ), In Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings (Alistair Barros, Avigdor Gal, Ekkart Kindler, eds.), Springer, volume 7481, . [bibtex] [pdf] [doi]
[58] Business Process Model and Notation - 4th International Workshop, BPMN 2012, Vienna, Austria, September 12-13, 2012. Proceedings, (Jan Mendling, Matthias Weidlich, eds.), Springer, volume 125, . [bibtex] [url] [doi]
[57] Modeling Styles in Business Process Modeling (, , , , , , , and ), In Enterprise, Business-Process and Information Systems Modeling - 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012. Proceedings (Ilia Bider, Terry A. Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Stanislaw Wrycza, eds.), Springer, volume 113, . [bibtex] [pdf] [doi]
[56] The Projected TAR and its Application to Conformance Checking (, , and ), In EMISA 2012 - Der Mensch im Zentrum der Modellierung, Vienna, Austria, September 13-14, 2012. Proceedings (Stefanie Rinderle-Ma, Mathias Weske, eds.), GI, volume P-206, . [bibtex] [pdf]
[55] Action patterns in business process model repositories (, , , and ), In Comput. Ind., volume 63, . [bibtex] [pdf] [doi]
[54] Behaviour Equivalence and Compatibility of Business Process Models with Complex Correspondences (, , and ), In Comput. J., volume 55, . [bibtex] [pdf] [doi]
[53] Business Process Model Abstraction Based on Synthesis from Well-Structured Behavioral Profiles (, , and ), In Int. J. Cooperative Inf. Syst., volume 21, . [bibtex] [pdf] [doi]
[52] An iterative approach to synthesize business process templates from compliance rules (, , , , and ), In Inf. Syst., volume 37, . [bibtex] [pdf] [doi]
[51] Perceived consistency between process models ( and ), In Inf. Syst., volume 37, . [bibtex] [pdf] [doi]
[50] Propagating changes between aligned process models (, , and ), In J. Syst. Softw., volume 85, . [bibtex] [pdf] [doi]
[49] Making sense of top-k matchings: A unified match graph for schema matching (, , , , , , and ), In Proceedings of the Ninth International Workshop on Information Integration on the Web, . [bibtex] [pdf]
2011
[48] Process Mining Manifesto (, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and ), In Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I (Florian Daniel, Kamel Barkaoui, Schahram Dustdar, eds.), Springer, volume 99, . [bibtex] [pdf] [doi]
[47] Behavioral Similarity - A Proper Metric (, , and ), In Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings (Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf, eds.), Springer, volume 6896, . [bibtex] [pdf] [doi]
[46] Tracing the Process of Process Modeling with Modeling Phase Diagrams (, , , , , , and ), In Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I (Florian Daniel, Kamel Barkaoui, Schahram Dustdar, eds.), Springer, volume 99, . [bibtex] [pdf] [doi]
[45] Event-Based Monitoring of Process Execution Violations (, , , , , and ), In Business Process Management - 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings (Stefanie Rinderle-Ma, Farouk Toumani, Karsten Wolf, eds.), Springer, volume 6896, . [bibtex] [pdf] [doi]
[44] Business Process Modeling Notation - Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings, (Jan Mendling, Matthias Weidlich, Mathias Weske, eds.), Springer, volume 67, . [bibtex] [url] [doi]
[43] Towards Understanding Process Modeling - The Case of the BPM Academic Initiative (, , , and ), In Business Process Model and Notation - Third International Workshop, BPMN 2011, Lucerne, Switzerland, November 21-22, 2011. Proceedings (Remco M. Dijkman, Jörg Hofstetter, Jana Koehler, eds.), Springer, volume 95, . [bibtex] [pdf] [doi]
[42] An Iterative Approach for Business Process Template Synthesis from Compliance Rules (, , , and ), In Advanced Information Systems Engineering - 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings (Haralambos Mouratidis, Colette Rolland, eds.), Springer, volume 6741, . [bibtex] [pdf] [doi]
[41] Flexible Artifact-Driven Automation of Product Design Processes ( and ), In Enterprise, Business-Process and Information Systems Modeling - 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings (Terry A. Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider, eds.), Springer, volume 81, . [bibtex] [pdf] [doi]
[40] A Foundational Approach for Managing Process Variability (, , and ), In Advanced Information Systems Engineering - 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings (Haralambos Mouratidis, Colette Rolland, eds.), Springer, volume 6741, . [bibtex] [pdf] [doi]
[39] Flexab - Flexible Business Process Model Abstraction (, , , and ), In Proceedings of the CAiSE Forum 2011, London, UK, June 22-24, 2011 (Selmin Nurcan, ed.), CEUR-WS.org, volume 734, . [bibtex] [pdf]
[38] Verhaltensprofile - Ein Relationaler Ansatz zur Verhaltenskonsistenzanalyse (), Chapter in Ausgezeichnete Informatikdissertationen 2011 (Abraham Bernstein, Steffen Hölldobler, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner, eds.), GI, volume D-12, . [bibtex] [pdf]
[37] m3 - A Behavioral Similarity Metric for Business Processes (, , and ), In 3rd Central-European Workshop on Services and their Composition, Services und ihre Komposition, ZEUS 2011, Karlsruhe, Germany, February 21-22, 2011. Proceedings (Daniel Eichhorn, Agnes Koschmider, Huayu Zhang, eds.), CEUR-WS.org, volume 705, . [bibtex] [pdf]
[36] Connectivity of workflow nets: the foundations of stepwise verification (, , and ), In Acta Informatica, volume 48, . [bibtex] [pdf] [doi]
[35] Automatic Generation of Glossaries for Process Modelling Support ( and ), In Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., volume 6, . [bibtex] [pdf] [doi]
[34] Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation (, , , and ), In Fundam. Informaticae, volume 113, . [bibtex] [pdf] [doi]
[33] Process compliance analysis based on behavioural profiles (, , , , and ), In Inf. Syst., volume 36, . [bibtex] [pdf] [doi]
[32] Efficient Consistency Measurement Based on Behavioral Profiles of Process Models (, , and ), In IEEE Trans. Software Eng., volume 37, . [bibtex] [pdf] [doi]
[31] Visually specifying compliance rules and explaining their violations for business processes (, , and ), In J. Vis. Lang. Comput., volume 22, . [bibtex] [pdf] [doi]
[30] Behavioural profiles: a relational approach to behaviour consistency (), PhD thesis, University of Potsdam, . [bibtex] [url]
2010
[29] Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition (, , , and ), In Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings (Johan Lilius, Wojciech Penczek, eds.), Springer, volume 6128, . [bibtex] [pdf] [doi]
[28] Consistency Checking of Compliance Rules (, , and ), In Business Information Systems, 13th International Conference, BIS 2010, Berlin, Germany, May 3-5, 2010. Proceedings (Witold Abramowicz, Robert Tolksdorf, eds.), Springer, volume 47, . [bibtex] [pdf] [doi]
[27] Scenario-based process modeling with Greta ( and ), In Proceedings of the Business Process Management 2010 Demonstration Track, Hoboken, NJ, USA, September 14-16, 2010 (Marcello La Rosa, ed.), CEUR-WS.org, volume 615, . [bibtex] [pdf]
[26] Object-Sensitive Action Patterns in Process Model Repositories (, , , and ), In Business Process Management Workshops - BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers (Michael zur Muehlen, Jianwen Su, eds.), Springer, volume 66, . [bibtex] [pdf] [doi]
[25] Deciding Behaviour Compatibility of Complex Correspondences between Process Models (, , and ), In Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings (Richard Hull, Jan Mendling, Stefan Tai, eds.), Springer, volume 6336, . [bibtex] [pdf] [doi]
[24] Optimising Complex Event Queries over Business Processes Using Behavioural Profiles (, , and ), In Business Process Management Workshops - BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers (Michael zur Muehlen, Jianwen Su, eds.), Springer, volume 66, . [bibtex] [pdf] [doi]
[23] The ICoP Framework: Identification of Correspondences between Process Models (, , and ), In Advanced Information Systems Engineering, 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings (Barbara Pernici, ed.), Springer, volume 6051, . [bibtex] [pdf] [doi]
[22] Process Compliance Measurement Based on Behavioural Profiles (, , , and ), In Advanced Information Systems Engineering, 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings (Barbara Pernici, ed.), Springer, volume 6051, . [bibtex] [pdf] [doi]
[21] The Impact of Sequential and Circumstantial Changes on Process Models (, , , , , , and ), In Proceedings of the 1st International Workshop on Empirical Research in Process-Oriented Information Systems, in conjunction with the CAISE'10, ER-POIS@CAiSE 2010, Hammamet, Tunisia, June 8, 2010 (Bela Mutschler, Jan Recker, Roel J. Wieringa, Jolita Ralyté, Pierluigi Plebani, eds.), CEUR-WS.org, volume 603, . [bibtex] [pdf]
[20] Lightweight collaboration management (, , , and ), In Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups, Mashups '09/'10, Ayia Napa, Cyprus, December 1, 2010 / Orlando, Florida, USA, October 25, 2009 (E. Michael Maximilien, Cesare Pautasso, Stefan Tai, Agnes Koschmider, Christian Zirpins, eds.), ACM, . [bibtex] [pdf] [doi]
[19] Architecture Blueprint for a Business Process Simulation Engine ( and ), In EMISA 2010 - Einflussfaktoren auf die Entwicklung flexibler, integrierter Informationssysteme. Beiträge des Workshops der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung (EMISA), 07.-08. 10. 2010 in Karlsruhe, Germany (Stefan Klink, Agnes Koschmider, Marco von Mevius, Andreas Oberweis, eds.), GI, volume P-172, . [bibtex] [pdf]
[18] How the Structuring of Domain Knowledge Helps Casual Process Modelers (, , , , , , and ), In Conceptual Modeling - ER 2010, 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings (Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson C. Woo, Yair Wand, eds.), Springer, volume 6412, . [bibtex] [pdf] [doi]
[17] Business Process Model Abstraction Based on Behavioral Profiles (, , and ), In Service-Oriented Computing - 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings (Paul P. Maglio, Mathias Weske, Jian Yang, Marcelo Fantinato, eds.), volume 6470, . [bibtex] [pdf] [doi]
[16] The Biconnected Verification of Workflow Nets (, , and ), In On the Move to Meaningful Internet Systems: OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I (Robert Meersman, Tharam S. Dillon, Pilar Herrero, eds.), Springer, volume 6426, . [bibtex] [pdf] [doi]
[15] Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings (, , and ), In Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers (Mario Bravetti, Tevfik Bultan, eds.), Springer, volume 6551, . [bibtex] [pdf] [doi]
[14] Structural and behavioural commonalities of process variants ( and ), In 2nd Central-European Workshop on Services and their Composition, Services und ihre Komposition, ZEUS 2010, Berlin, Germany, February 25-26, 2010. Proceedings (Christian Gierds, Jan Sürmeli, eds.), CEUR-WS.org, volume 563, . [bibtex] [pdf]
[13] On the behavioural dimension of correspondences between process models ( and ), In 2nd Central-European Workshop on Services and their Composition, Services und ihre Komposition, ZEUS 2010, Berlin, Germany, February 25-26, 2010. Proceedings (Christian Gierds, Jan Sürmeli, eds.), CEUR-WS.org, volume 563, . [bibtex] [pdf]
2009
[12] Change Propagation in Process Models Using Behavioural Profiles (, , and ), In 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India, IEEE Computer Society, . [bibtex] [pdf] [doi]
[11] Declarative versus Imperative Process Modeling Languages: The Issue of Maintainability (, , , , , and ), In Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers (Stefanie Rinderle-Ma, Shazia Wasim Sadiq, Frank Leymann, eds.), Springer, volume 43, . [bibtex] [pdf] [doi]
[10] Declarative versus Imperative Process Modeling Languages: The Issue of Understandability (, , , , , , and ), In Enterprise, Business-Process and Information Systems Modeling, 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings (Terry A. Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Roland Ukor, eds.), Springer, volume 29, . [bibtex] [pdf] [doi]
[9] Vertical Alignment of Process Models - How Can We Get There? (, , , and ), In Enterprise, Business-Process and Information Systems Modeling, 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings (Terry A. Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Roland Ukor, eds.), Springer, volume 29, . [bibtex] [pdf] [doi]
[8] Specification, Verification and Explanation of Violation for Data Aware Compliance Rules (, , and ), In Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings (Luciano Baresi, Chi-Hung Chi, Jun Suzuki, eds.), volume 5900, . [bibtex] [pdf] [doi]
[7] Action Patterns in Business Process Models (, , , and ), In Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings (Luciano Baresi, Chi-Hung Chi, Jun Suzuki, eds.), volume 5900, . [bibtex] [pdf] [doi]
[6] Verzahnung von Requirements Engineering und Geschäftsprozessdesign (, , , , and ), In Software Engineering 2009 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03.2009 in Kaiserslautern (Jürgen Münch, Peter Liggesmeyer, eds.), GI, volume P-150, . [bibtex] [pdf]
[5] Realising Dead Path Elimination in BPMN (, , and ), In 2009 IEEE Conference on Commerce and Enterprise Computing, CEC 2009, Vienna, Austria, July 20-23, 2009 (Birgit Hofreiter, Hannes Werthner, eds.), IEEE Computer Society, . [bibtex] [pdf] [doi]
[4] Using glossaries to enhance the label quality in business process models ( and ), In 8. Workshop der Gesellschaft für Informatik eV (GI) und Treffen ihres Arbeitskreises „Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK)“, Nüttgens, M. et al.(eds.), Berlin, CEUR-WS.org, volume 554, . [bibtex] [pdf]
2008
[3] BPEL to BPMN: The Myth of a Straight-Forward Mapping (, , , and ), In On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I (Robert Meersman, Zahir Tari, eds.), Springer, volume 5331, . [bibtex] [pdf] [doi]
[2] Visualizing use case sets as BPMN processes (, , and ), In 2008 Requirements Engineering Visualization, . [bibtex] [pdf]
2007
[1] Efficient Analysis of BPEL 2.0 Processes Using p-Calculus (, , and ), In Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007, December 11-14, 2007, Tsukuba Science City, Japan (Jie Li, Minyi Guo, Qun Jin, Yongbing Zhang, Liang-Jie Zhang, Hai Jin, Masahiro Mambo, Jiro Tanaka, Hiromu Hayashi, eds.), IEEE Computer Society, . [bibtex] [pdf] [doi]
Powered by bibtexbrowser