The Common Fragment of CTL and LTL. - Monika Maidl (FOCS, 2000)

Using model checking for system verification. - Monika Maidl (2000)

A Unifying Model Checking Approach for Safety Properties of Parameterized Systems. - Monika Maidl (CAV, 2001)

Simple Representative Instantiations for Multicast Protocols. - Javier Esparza; Monika Maidl (TACAS, 2003)

Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. - Graham Steel; Alan Bundy; Monika Maidl (IJCAR, 2004)

Choreographing Security and Performance Analysis for Web Services. - Stephen Gilmore; Valentin Haenel; Leïla Kloul; Monika Maidl (EPEW/WS-FM, 2005)

Die datenschutz- und sicherheitskonforme Ausgestaltung von Location Based Services am Beispiel eines mobilen Touristenführers. - Silvio Becher; Philip Laue; Monika Maidl; Marko Modsching (MMS, 2007)

Zweckbindung in ämterübergreifenden Verwaltungsworkflows - Zugriffsschutz durch feingranulare Verschlüsselung auf XML-Basis. - Philip Laue; Monika Maidl; Jan Peters 003 (Datenschutz und Datensicherheit, 2007)

Formal Security Analysis of Electronic Software Distribution Systems. - Monika Maidl; David von Oheimb; Peter Hartmann; Richard Robinson (SAFECOMP, 2008)

A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes. - Peter Hartmann; Monika Maidl; David von Oheimb; Richard Robinson (STM, 2010)

A Comprehensive Framework for Security in Engineering Projects - Based on IEC 62443. - Monika Maidl; Dirk Kröselberg; Jochen Christ; Kristian Beckers (ISSRE Workshops, 2018)

Pattern-based modeling of cyber-physical systems for analyzing security. - Monika Maidl; Roman Wirtz; Tiange Zhao; Maritta Heisel; Marvin Wagner (EuroPLoP, 2019)

Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions. - Monika Maidl; Gerhard Münz; Stefan Seltzsam; Marvin Wagner; Roman Wirtz; Maritta Heisel (ICSOFT, 2020)

Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach. - Monika Maidl; Gerhard Münz; Stefan Seltzsam; Marvin Wagner; Roman Wirtz; Maritta Heisel (ICSOFT (Selected Papers), 2020)

System-specific risk rating of software vulnerabilities in industrial automation & control systems. - Monika Maidl; Dirk Kröselberg; Tiange Zhao; Tobias Limmer (ISSRE Workshops, 2021)