| FORISK: Formalizing information security risk and compliance management | 5 | 0.45 | 2013 |
| Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen. | 0 | 0.34 | 2011 |
| FORTES: Forensic Information Flow Analysis of Business Processes. | 0 | 0.34 | 2010 |
