I'm a software engineer and Ph.D. candidate in Norway :norway:.

BPMN Analyzer 2.0: Instantaneous BPMN control-flow analysis and error resolution :fire:

Visual Debugging in IntelliJ :beetle:

BPMN Analyzer: Formal analysis of BPMN process models :chart_with_upwards_trend:

Smart CoP: calculate your gymnastics difficulty :muscle: