Process Engine & Friends

• Cloud Process Execution Engine
  Contact: juergen.mangler (at) tum.de
  gem install cpee
• CPEE Logging XES (YAML) service
  Contact: juergen.mangler (at) tum.de
  gem install cpee-logging-xes-yaml
• CPEE Instantiation service
  Contact: juergen.mangler (at) tum.de
  gem install cpee-instantiation
• CPEE Model Management
  Contact: juergen.mangler (at) tum.de
  gem install cpee-model-management
• CPEE Time Shifting for Logs
  Contact: juergen.mangler (at) tum.de
  gem install cpee-shifting
• Process Log Generation with Neuronal Networks 
  Contact: juergen.mangler (at) tum.de

• Organisation Visualisation - Paper
  Contact: juergen.mangler (at) tum.de

Service Description

• Restful Interface Description and Declaration Language (RIDDL) - Design By Contract Rest Services and Clients
  Contact: juergen.mangler (at) tum.de
  gem install riddl
• OPCUA Smart (open62541.org binding) - OPCUA Server Rapid Prototyping
  Contact: juergen.mangler (at) tum.de
  gem install opcua

Machine Interfaces

• Universal Robots Socket Library
  Contact: juergen.mangler (at) tum.de
  gem install ur-sock
• Universal Robots OPCUA Server
  Contact: juergen.mangler (at) tum.de
  gem install urua

Instance Spanning Constraint Mining

• Semi-automatic ISC Mining
  Contact: karolin.winter (at) tum.de
• Automatic ISC Mining
  Contact: karolin.winter (at) tum.de

Compliance Checking

• Quantitative Temporal Compliance Requirement Verification
  Contact: marisol.barientos (at) tum.de
  Submitted to: CAiSE 2023