| 2021 | ISSRE | System-specific risk rating of software vulnerabilities in industrial automation & control systems. | Monika Maidl, Dirk Krselberg, Tiange Zhao, Tobias Limmer |
| 2020 | ICSoft | Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions. | Monika Maidl, Gerhard Mnz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel |
| 2020 | ICSoft | Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach. | Monika Maidl, Gerhard Mnz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel |
| 2019 | EuroPLop | Pattern-based modeling of cyber-physical systems for analyzing security. | Monika Maidl, Roman Wirtz, Tiange Zhao, Maritta Heisel, Marvin Wagner |
| 2018 | ISSRE | A Comprehensive Framework for Security in Engineering Projects - Based on IEC 62443. | Monika Maidl, Dirk Krselberg, Jochen Christ, Kristian Beckers |
| 2008 | SAFECOMP | Formal Security Analysis of Electronic Software Distribution Systems. | Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson |
| 2004 | CADE | Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. | Graham Steel, Alan Bundy, Monika Maidl |
| 2003 | TACAS | Simple Representative Instantiations for Multicast Protocols. | Javier Esparza, Monika Maidl |
| 2001 | CAV | A Unifying Model Checking Approach for Safety Properties of Parameterized Systems. | Monika Maidl |
| 2000 | FOCS | The Common Fragment of CTL and LTL. | Monika Maidl |