A case study of specification and verification using JML in an avionics application. - Peter H. Schmitt; Isabel Tonin; Claus Wonnemann; Eric Jenn; Stéphane Leriche; James J. Hunt (JTRES, 2006)

Password Management for EPC Class 1 Generation 2 Transponders. - Claus Wonnemann; Jens Strüker (CEC/EEE, 2008)

RFID - ist Sicherheit in offenen Anwendungen erreichbar? - Claus Wonnemann (Wirtschaftsinf., 2008)

Detective Information Flow Analysis for Business Processes. - Rafael Accorsi; Claus Wonnemann (BPSC, 2009)

On Information Flow Forensics in Business Application Scenarios. - Claus Wonnemann; Rafael Accorsi; Günter Müller (COMPSAC (2), 2009)

Auditing Workflow Executions against Dataflow Policies. - Rafael Accorsi; Claus Wonnemann (BIS, 2010)

Static Information Flow Analysis of Workflow Models. - Rafael Accorsi; Claus Wonnemann (ISSS/BPSC, 2010)

Towards Information Flow Auditing in Workflows. - Claus Wonnemann (Software Engineering (Workshops), 2010)

InDico: Information Flow Analysis of Business Processes for Confidentiality Requirements. - Rafael Accorsi; Claus Wonnemann (STM, 2010)

SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems. - Rafael Accorsi; Claus Wonnemann; Sebastian Dochow (ARES, 2011)

Forensic Leak Detection for Business Process Models. - Rafael Accorsi; Claus Wonnemann (IFIP Int. Conf. Digital Forensics, 2011)

Towards Forensic Data Flow Analysis of Business Process Logs. - Rafael Accorsi; Claus Wonnemann; Thomas Stocker (IMF, 2011)

Strong non-leak guarantees for workflow models. - Rafael Accorsi; Claus Wonnemann (SAC, 2011)

Mechanismen zur Sicherheitszertifizierung formalisierter Geschäftsprozesse (Mechanisms for the security certification of formalized business processes) - Claus Wonnemann (2011)

Cyber-Security entlang der IoT-Lieferkette. - Claus Wonnemann (Datenschutz und Datensicherheit, 2022)

Durchsetzung von Cybersecurity in IoT-Lieferketten. - Claus Wonnemann (Wirtschaftsinformatik Manag., 2023)