Software Architecture

Ing. Dipl.-Ing. Dr.techn. Kristof Böhmer, BSc MSc

Research Group Software Architecture

Währinger Straße 29
1090 Wien
Room : 5.21

T: +43-1-4277-78525

kristof.boehmer(at)univie.ac.at

u:cris portal

Courses

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

doi.org/10.1007/978-3-031-46846-9_22

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

doi.org/10.1007/978-3-030-49435-3_18

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

doi.org/10.1016/j.is.2019.101438

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

doi.org/10.1142/S0218843017400020

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

doi.org/10.1007/978-3-642-41033-8_92