Richard Mrasek

According to our database, Richard Mrasek authored at least 8 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the 20th International Conference on Web Information Systems and Technologies, 2024

2016

Automatic Synthesis and Verification of Industrial Commissioning Processes.

Richard Mrasek

PhD thesis, 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, Christian Allmann

Inf. Syst., 2016

Process Synthesis with Sequential and Parallel Constraints.

Richard Mrasek, Jutta A. Mülle, Klemens Böhm

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

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

Automatic Generation of Optimized Process Models from Declarative Specifications.

Richard Mrasek, Jutta A. Mülle, Klemens Böhm

Proceedings of the Advanced Information Systems Engineering, 2015

Process Verification and Synthesis - The Use Case of Commissioning Processes in the Automobile Industry.

Richard Mrasek

Proceedings of the CAiSE'2015 Doctoral Consortium at the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015

2014

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, Christian Allmann

Proceedings of the Business Process Management - 12th International Conference, 2014