Team > Sebastian Petter, M.Sc.

2022

Schützenmeier, Nicolai; Käppel, Martin; Ackermann, Lars; Jablonski, Stefan; Petter, Sebastian
Automaton-based comparison of Declare process models
in Software and Systems Modeling (2022)
doi:10.1007/s10270-022-01069-y ...

Petter, Sebastian; Fichtner, Myriel; Schönig, Stefan; Jablonski, Stefan
Content-based Filtering for Worklist Reordering to improve User Satisfaction : A Position Paper
Proceedings of the 24th International Conference on Enterprise Information Systems. Volume 2
Portugal : SciTePress, 2022. - page 589-596
doi:10.5220/0000149900003179 ...

2021

Schützenmeier, Nicolai; Käppel, Martin; Petter, Sebastian; Jablonski, Stefan
Upper-Bounded Model Checking for Declarative Process Models
The Practice of Enterprise Modeling
Cham : Springer International Publishing, 2021. - page 195-211 . - (Lecture Notes in Business Information Processing; 432)
doi:10.1007/978-3-030-91279-6_14 ...

Geiger, Jens; Jablonski, Stefan; Petter, Sebastian; Püschel, Louis; Röglinger, Maximilian
Managing Agile Business Processes at N-DECT : Development of a Process-Aware Information System ...
Business Process Management Cases. Band 2. Digital Transformation - Strategy, Processes and Execution
Berlin ; Heidelberg : Springer, 2021. - page 93-108
doi:10.1007/978-3-662-63047-1_8 ...

2019

Schützenmeier, Nicolai; Käppel, Martin; Petter, Sebastian; Schönig, Stefan; Jablonski, Stefan
Detection of Declarative Process Constraints in LTL Formulas
Enterprise and Organizational Modeling and Simulation
Cham : Springer, 2019. - page 131-145 . - (Lecture Notes in Business Information Processing; 366)
doi:10.1007/978-3-030-35646-0_10 ...

2018

Ackermann, Lars; Schönig, Stefan; Petter, Sebastian; Schützenmeier, Nicolai; Jablonski, Stefan
Execution of Multi-perspective Declarative Process Models
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 II
Valletta, Malta , 2018. - page 154-172 . - (Programming and Software Engineering; 11230)
doi:10.1007/978-3-030-02671-4_9 ...