Stubborn Sets for Simple Linear Time Properties. - Andreas Lehmann 001; Niels Lohmann; Karsten Wolf (Petri Nets, 2012)

Automatic Information Flow Analysis of Business Process Models. - Rafael Accorsi; Andreas Lehmann 001 (BPM, 2012)

Information Flow Security for Business Process Models - just one click away. - Andreas Lehmann 001; Dirk Fahland (BPM (Demos), 2012)

Modeling Wizard for Confidential Business Processes. - Andreas Lehmann 001; Niels Lohmann (Business Process Management Workshops, 2012)

Model Support for Confidential Service-Oriented Business Processes. - Andreas Lehmann 001; Niels Lohmann (ZEUS, 2012)

Information leak detection in business process models: Theory, application, and tool support. - Rafael Accorsi; Andreas Lehmann 001; Niels Lohmann (Inf. Syst., 2015)