Richard Mrasek

According to our database, Richard Mrasek authored at least 7 papers between 2014 and 2016.

Collaborative distances:

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

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