User-Friendly Property Specification and Process Verification - A Case Study with Vehicle-Commissioning Processes. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm; Michael Becker 002; Christian Allmann (BPM, 2014)

Process Verification and Synthesis - The Use Case of Commissioning Processes in the Automobile Industry. - Richard Mrasek (CAiSE (Doctoral Consortium), 2015)

Automatic Generation of Optimized Process Models from Declarative Specifications. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm (CAiSE, 2015)

A new verification technique for large processes based on identification of relevant tasks. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm (Inf. Syst., 2015)

Process Synthesis with Sequential and Parallel Constraints. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm (OTM Conferences, 2016)

Property specification, process verification, and reporting - A case study with vehicle-commissioning processes. - Richard Mrasek; Jutta A. Mülle; Klemens Böhm; Michael Becker 002; Christian Allmann (Inf. Syst., 2016)

Automatic Synthesis and Verification of Industrial Commissioning Processes. - Richard Mrasek (2016)

Speaking the Same Language or Automated Translation? Designing Semantic Interoperability Tools for Data Spaces. - Maximilian Stäbler; Tobias Guggenberger; DanDan Wang; Richard Mrasek; Frank Köster; Chris Langdon (WEBIST, 2024)