Ing. Dipl.-Ing. Dr.techn. Kristof Böhmer, BSc MSc
1090 Wien
Room : 5.21
Courses
Summer term 2026
-
051040 VU Software Engineering 1
-
052500 VU Distributed Systems Engineering
Winter term 2025
-
051040 VU Software Engineering 1
-
052500 VU Distributed Systems Engineering
Summer term 2025
-
051040 VU Software Engineering 1
-
052500 VU Distributed Systems Engineering
Publications
KPI-driven Visualizations for Root Cause Analysis in Manufacturing Processes. / Mucha, Kacper; Leitner, Maria; Böhmer, Kristof.
2025. Paper presented at 29th International Conference on Enterprise Design, Operations, and Computing (Tools and Demonstrations), Lisbon, Portugal.
Publications: Contribution to conference › Paper › Peer Reviewed
AIS - a Metric for assessing the Impact of an Influencer's Twitter Activity on the Price of a Cryptocurrency. / Miller, Kevin; Böhmer, Kristof.
Cooperative Information Systems: 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30–November 3, 2023, Proceedings. ed. / Mohamed Sellami; Walid Gaaloul; Maria-Esther Vidal; Boudewijn van Dongen; Hervé Panetto. Cham: Springer, 2024. p. 41-58.
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
BAnDIT: Business Process Anomaly Detection in Transactions. / Rudolf, Nico; Böhmer, Kristof; Leitner, Maria.
Cooperative Information Systems - 29th International Conference, CoopIS 2023, Proceedings. ed. / Mohamed Sellami; Walid Gaaloul; Maria-Esther Vidal; Boudewijn van Dongen; Hervé Panetto. Springer Science and Business Media Deutschland GmbH, 2024. p. 405-415 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14353 LNCS).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
LoGo: Combining Local and Global Techniques for Predictive Business Process Monitoring. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
CAiSE 2020: Advanced Information Systems Engineering. ed. / Schahram Dustdar; Eric Yu; Camille Salinesi; Dominique Rieu; Vik Pant. Springer, 2020. p. 283-298 (Lecture Notes in Computer Science, Vol. 12127).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
Mining association rules for anomaly detection in dynamic process runtime behavior and explaining the root cause to users. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
In: Information Systems, Vol. 90, 101438, 01.05.2020.
Publications: Contribution to journal › Article › Peer Reviewed
Association Rules for Anomaly Detection and Root Cause Analysis in Process Executions. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings. ed. / John Krogstie; Hajo A. Reijers. Vol. 10816 Springer International Publishing, 2018. p. 3-18 (Lecture Notes in Computer Science, Vol. 10816).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
Probability based Heuristic for Predictive Business Process Monitoring. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
On the Move to Meaningful Internet Systems. OTM 2018 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I. ed. / Henderik A. Proper; Robert Meersman; Claudio Agostino Ardagna; Hervé Panetto; Christophe Debruyne; Dumitru Roman. Springer International Publishing, 2018. p. 78-96 (Lecture Notes in Computer Science, Vol. 11229).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
Control Flow Structure preservation during Process Fragment Anonymization. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
On the Move to Meaningful Internet Systems. OTM 2017 Conferences - Confederated International Conferences: CoopIS, C and TC, and ODBASE 2017, Proceedings. ed. / Herve Panetto; Adrian Paschke; Robert Meersman; Mike Papazoglou; Christophe Debruyne; Walid Gaaloul; Claudio Agostino Ardagna. Vol. 10573 Springer International Publishing, 2017. p. 75-83.
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
Application and Testing of Business Processes in the Energy Domain. / Böhmer, Kristof; Stertz, Florian; Hildebrandt, Tobias et al.
Datenbanksysteme für Business, Technologie und Web (BTW 2017). ed. / Bernhard Mitschang; Norbert Ritter; Holger Schwarz; Meike Klettke; Andreas Thor; Oliver Kopp; Matthias Wieland. Vol. P-266 Stuttgart: Gesellschaft für Informatik e.V., 2017. p. 25-32 (GI-Edition : lecture notes in informatics Proceedings, Vol. 266).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
Anomaly Detection in Business Process Runtime Behavior - Challenges and Limitations. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
arXiv.org, 2017.
Publications: Working paper › Preprint
Multi Instance Anomaly Detection in Business Process Executions. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
Lecture Notes in Computer Science: International Conference on Business Process Management. Vol. 10445 Springer International Publishing, 2017. p. 77-93.
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
Automatic Business Process Test Case Selection: Coverage Metrics, Algorithms, and Performance Optimizations. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
In: International Journal of Cooperative Information Systems , Vol. 25, No. 4, 1740002, 16.12.2016.
Publications: Contribution to journal › Article › Peer Reviewed
A Testing Approach for Hidden Concurrencies based on Process Execution Logs. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. ed. / Quan Z. Sheng; Eleni Stroulia; Samir Tata; Sami Bhiri. Vol. 9936 Springer International Publishing AG , 2016. p. 577-585 (Lecture Notes in Computer Science, Vol. 9936).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
Multi-Perspective Anomaly Detection in Business Process Execution Events. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
On the Move to Meaningful Internet Systems: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016. ed. / Christophe Debruyne; Herv Paneto; Robert Meersman; Tharam S. Dillon; eva Kühn; Declan O'Sullivan; Claudio Agostino Ardagna. Vol. 10033 Springer International Publishing AG , 2016. p. 80-98 (Lecture Notes in Computer Science).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
Automatic Signature Generation for Anomaly Detection in Business Process Instance Data. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
Enterprise, Business-Process and Information Systems Modeling: 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings. ed. / Rainer Schmidt; Ilia Bider; Sérgio Guerreiro; Wided Guédria. Cham: Springer International Publishing AG , 2016. p. 196-211 (Lecture Notes in Business Information Processing, Vol. 248).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
A Genetic Algorithm for Automatic Business Process Test Case Selection. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
On the Move to Meaningful Internet Systems: OTM 2015 Conferences - Confederated International Conferences: CoopIS, ODBASE and CandTC 2015, Proceedings. ed. / Herve Panetto; Christophe Debruyne; Tharam Dillon; Yuan An; Claudio Agostino Ardagna; Georg Weichhart; Robert Meersman. Vol. LNCS 9415. ed. Springer, 2015. p. 166-184 (Lecture Notes in Computer Science, Vol. 9415).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
A systematic literature review on process model testing: Approaches, challenges, and research directions. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
2015, Business Process Testing, Systematic Review.
Publications: Other publication › Other
Difference-Preserving Process Merge. / Böhmer, Kristof; Rinderle-Ma, Stefanie.
OTM Workshops 2013. Vol. LNCS 8186. ed. Berlin Heidelberg: Springer, 2013. p. 718-721 (Lecture Notes in Computer Science).
Publications: Contribution to book › Contribution to proceedings › Peer Reviewed
Talks
IKT-Sicherheitskonferenz 2017
Böhmer, K. (Speaker)
Activity: Talks and presentations › Talk or oral contribution › Science to Public