Certified Information Flow Analysis of Service Implementations. - Thomas S. Heinze; Jasmin Türker (SOCA, 2018)

PANIC - Plugging Data Leak Detection into the Camunda Modeler (short paper). - Jasmin Türker; Thomas S. Heinze (ZEUS, 2019)

BPMN in the Wild: A Reprise. - Jasmin Türker; Michael Völske; Thomas S. Heinze (ZEUS, 2022)