| 2025 | ETFA | Modeling Interaction Patterns for Distributed Systems with IEC 61499. | Peter Herrmann, Alois Zoitl |
| 2025 | MODELS | The Norwegian SISU Project: History and Long-term Impact of an Early MDD Effort. | Stein Erik Ellevseth, Peter Herrmann, Emmanuel Gaudin, Juergen Dingel |
| 2024 | Mobiquitous | Spatio-Temporal Analysis of Concurrent Networks. | Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka |
| 2023 | MODELS | 15th System Analysis and Modelling Conference (SAM 2023). | Peter Herrmann, Stein Erik Ellevseth |
| 2020 | ETFA | Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. | Ronal Bejarano, Roope Pkknen, Jan Olaf Blech, Ian Peake, Peter Herrmann, Valeriy Vyatkin |
| 2020 | VTC | Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication. | Ergys Puka, Peter Herrmann, Amir Taherkordi |
| 2019 | MDM | Automated Product Localization Through Mobile Data Analysis. | Magnus Karsten Oplenskedal, Amirhosein Taherkordi, Peter Herrmann |
| 2019 | WoWMoM | A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. | Ergys Puka, Peter Herrmann |
| 2018 | COMSNETS | A way to measure and analyze cellular network connectivity on the norwegian road system. | Ergys Puka, Peter Herrmann, Tomas Levin, Christian B. Skjetne |
| 2018 | ENASE | Towards Classification of Lightweight Formal Methods. | Anna Zamansky, Maria Spichkova, Guillermo Rodrguez-Navas, Peter Herrmann, Jan Olaf Blech |
| 2018 | NetSoft | Simulation-driven Development of Self-adaptive Transportation Systems. | Magnus Karsten Oplenskedal, Peter Herrmann, Jan Olaf Blech, Amir Taherkordi |
| 2017 | AINA | A Trust Based Distributed Intrusion Detection Mechanism for Internet of Things. | Zeeshan Ali Khan, Peter Herrmann |
| 2017 | QRS | Formal Analysis of Control Software for Cyber-Physical Systems. | Peter Herrmann, Jan Olaf Blech |
| 2017 | SAC | Self-adaptive control in cyber-physical systems: the autonomous train experiment. | Alexander Svae, Amir Taherkordi, Peter Herrmann, Jan Olaf Blech |
| 2016 | ENASE | Collaborative Model-based Development of a Remote Train Monitoring System. | Peter Herrmann, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech |
| 2016 | ENASE | A Methodology for Model-based Development and Safety Analysis of Transport Systems. | Simon Hordvik, Kristoffer seth, Jan Olaf Blech, Peter Herrmann |
| 2016 | ENASE | Model-Based Engineering and Spatiotemporal Analysis of Transport Systems. | Simon Hordvik, Kristoffer seth, Henrik Heggelund Svendsen, Jan Olaf Blech, Peter Herrmann |
| 2016 | ICSOC | Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems. | Amir Taherkordi, Peter Herrmann, Jan Olaf Blech, lvaro Fernndez |
| 2015 | COMPSAC | Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. | Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt |
| 2015 | ENASE | Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. | Jan Olaf Blech, Peter Herrmann, Ian D. Peake, Heinz W. Schmidt |
| 2015 | MODELS | Behavioral Types for Space-aware Systems. | Jan Olaf Blech, Peter Herrmann |
| 2015 | SEFM | Behavioral Types for Component-Based Development of Cyber-Physical Systems. | Jan Olaf Blech, Peter Herrmann |
| 2014 | MODELS | Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. | Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt |
| 2013 | ICECCS | Modeling and Verifying Real-Time Properties of Reactive Systems. | Fenglin Han, Peter Herrmann, Hien Le |
| 2012 | DAIS | Behavioral Singletons to Consistently Handle Global States of Security Patterns. | Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann |
| 2012 | MODELS | Security asset elicitation for collaborative models. | Maria Vasilevskaya, Simin Nadjm-Tehrani, Linda Ariani Gunawan, Peter Herrmann |
| 2011 | FORTE | Contracts for Multi-instance UML Activities. | Vidar Sltten, Peter Herrmann |
| 2011 | GPCE | Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. | Vidar Sltten, Frank Alexander Kraemer, Peter Herrmann |
| 2011 | NLDB | Towards Ontology-Driven End-User Composition of Personalized Mobile Services. | Rune Stre, Mohammad Ullah Khan, Erlend Stav, Alfredo Perez Fernandez, Peter Herrmann, Jon Atle Gulla |
| 2010 | FORTE | Reactive Semantics for Distributed UML Activities. | Frank Alexander Kraemer, Peter Herrmann |
| 2009 | DAIS | Foraging for Better Deployment of Replicated Service Components. | Mt J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann |
| 2009 | MODELS | Automated Encapsulation of UML Activities for Incremental Development and Verification. | Frank Alexander Kraemer, Peter Herrmann |
| 2008 | DAIS | Cost-Efficient Deployment of Collaborating Components. | Mt J. Csorba, Poul E. Heegaard, Peter Herrmann |
| 2008 | MSWIM | Trust transferability among similar contexts. | Mozhgan Tavakolifard, Svein J. Knapskog, Peter Herrmann |
| 2004 | DIMVA | Vertrauensbasierte Laufzeitberwachung verteilter komponentenstrukturierter E-Commerce-Software. | Peter Herrmann, Lars Wiebusch, Heiko Krumm |
| 2003 | FORTE | Formal Security Policy Verification of Distributed Component-Structured Software. | Peter Herrmann |
| 2001 | ACSAC | Information Flow Analysis of Component-Structured Applications. | Peter Herrmann |
| 2001 | DAIS | Tool-Assisted Security Assessment of Distributed Applications. | Peter Herrmann, Lars Wiebusch, Heiko Krumm |
| 2001 | ISCC | Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. | Peter Herrmann, Heiko Krumm |
| 2000 | ISORC | Verification of UML-Based Real-Time System Designs by Means of cTLA. | Gnter Graw, Peter Herrmann, Heiko Krumm |
| 1999 | DAIS | Constraint-oriented formal modelling of OO-systems. | Gnter Graw, Peter Herrmann, Heiko Krumm |
| 1999 | SRDS | Formal Hazard Analysis of Hybrid Systems in cTLA. | Peter Herrmann, Heiko Krumm |
| 1998 | ICPADS | User-Defined Telecooperation Services. | Volker Gruhn, Peter Herrmann, Heiko Krumm |
| 1998 | ISORC | Compositional Specification and Structured Verification of Hybrid Systems in cTLA. | Peter Herrmann, Gnter Graw, Heiko Krumm |