Grundlagen einer rechnerunterstützten Investitionsplanung und Wirtschaftlichkeitsrechnung für flexible Fertigung. - Peter Herrmann (1983)

Compositional specification and verification of high-speed transfer protocols. - Peter Herrmann; Heiko Krumm (PSTV, 1994)

Re-usable verification elements for high-speed transfer protocol configurations. - Peter Herrmann; Heiko Krumm (PSTV, 1995)

Problemnaher korrektheitssichernder Entwurf von Hochleistungsprotokollen. - Peter Herrmann (DUV, 1998)

Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework. - Olaf Drögehorn; Peter Herrmann (FBT, 1998)

User-Defined Telecooperation Services. - Volker Gruhn; Peter Herrmann; Heiko Krumm (ICPADS, 1998)

Compositional Specification and Structured Verification of Hybrid Systems in cTLA. - Peter Herrmann; Günter Graw; Heiko Krumm (ISORC, 1998)

Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework. - Peter Herrmann; Heiko Krumm (Prax. Inf.verarb. Kommun., 1998)

Modular specification and verification of XTP. - Peter Herrmann; Heiko Krumm (Telecommun. Syst., 1998)

Constraint-oriented formal modelling of OO-systems. - Günter Graw; Peter Herrmann; Heiko Krumm (DAIS, 1999)

Composing Object-Oriented Specifications and Verifications with cTLA. - Günter Graw; Peter Herrmann; Heiko Krumm (ECOOP Workshops, 1999)

Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. - Peter Herrmann; Manfred Noël (FBT, 1999)

Formal Hazard Analysis of Hybrid Systems in cTLA. - Peter Herrmann; Heiko Krumm (SRDS, 1999)

Verification of UML-Based Real-Time System Designs by Means of cTLA. - Günter Graw; Peter Herrmann; Heiko Krumm (ISORC, 2000)

A framework for modeling transfer protocols. - Peter Herrmann; Heiko Krumm (Comput. Networks, 2000)

Information Flow Analysis of Component-Structured Applications. - Peter Herrmann (ACSAC, 2001)

Tool-Assisted Security Assessment of Distributed Applications. - Peter Herrmann; Lars Wiebusch; Heiko Krumm (DAIS, 2001)

Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. - Peter Herrmann; Heiko Krumm (ISCC, 2001)

State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. - Peter Herrmann; Lars Wiebusch; Heiko Krumm (I3E, 2002)

Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs. - Peter Herrmann; Heiko Krumm; Olaf Drögehorn; Walter Geisselhardt (Telecommun. Syst., 2002)

Regional Lung Perfusion as Determined by Electrical Impedance Tomography in Comparison with Electron Beam CT Imaging. - Inéz Frerichs; Jose Hinz; Peter Herrmann; Gerald Weisser; Günter Hahn; Michael Quintel; Gerhard Hellige (IEEE Trans. Medical Imaging, 2002)

Formal Security Policy Verification of Distributed Component-Structured Software. - Peter Herrmann (FORTE, 2003)

Trust-Based Protection of Software Component Users and Designers. - Peter Herrmann (iTrust, 2003)

Transformation and Verification of Executable UML Models. - Günter Graw; Peter Herrmann (CVUML, 2003)

Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. - Peter Herrmann; Lars Wiebusch; Heiko Krumm (DIMVA, 2004)

Generation and Enactment of Controllers for Business Architectures Using MDA. - Günter Graw; Peter Herrmann (EWSA, 2004)

Introduction: Security and Trust in Electronic Commerce. - Gaby Herrmann; Peter Herrmann (Electron. Commer. Res., 2004)

Trust-Based Monitoring of Component-Structured Software. - Peter Herrmann; Heiko Krumm (Prax. Inf.verarb. Kommun., 2004)

Service Specification by Composition of Collaborations–An Example. - Frank Alexander Kraemer; Peter Herrmann (IAT Workshops, 2006)

Temporal Logic-Based Specification and Verification of Trust Models. - Peter Herrmann (iTrust, 2006)

Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. - Frank Alexander Kraemer; Peter Herrmann; Rolv Bræk (OTM Conferences (2), 2006)

Security requirement analysis of business processes. - Peter Herrmann; Gaby Herrmann (Electron. Commer. Res., 2006)

Design of Trusted Systems with Reusable Collaboration Models. - Peter Herrmann; Frank Alexander Kraemer (IFIPTM, 2007)

Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. - Frank Alexander Kraemer; Rolv Bræk; Peter Herrmann (SDL Forum, 2007)

Transforming Collaborative Service Specifications into Efficiently Executable State Machines. - Frank Alexander Kraemer; Peter Herrmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Adaptable model-based component deployment guided by artificial ants. - Máté J. Csorba; Poul E. Heegaard; Peter Herrmann (Autonomics, 2008)

08102 Outcome Working Group – Situational Awareness. - Richard A. Kemmerer; Roland Büschkes; Ali Fessi; Hartmut König; Peter Herrmann; Stephen D. Wolthusen; Marko Jahnke; Hervé Debar; Ralph Holz; Tanja Zseby; Dirk Haage (Network Attack Detection and Defense, 2008)

Cost-Efficient Deployment of Collaborating Components. - Máté J. Csorba; Poul E. Heegaard; Peter Herrmann (DAIS, 2008)

Cross-Situation Trust Reasoning. - Mozhgan Tavakolifard; Svein J. Knapskog; Peter Herrmann (Web Intelligence/IAT Workshops, 2008)

Trust transferability among similar contexts. - Mozhgan Tavakolifard; Svein J. Knapskog; Peter Herrmann (Q2SWinet, 2008)

Foraging for Better Deployment of Replicated Service Components. - Máté J. Csorba; Hein Meling; Poul E. Heegaard; Peter Herrmann (DAIS, 2009)

Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. - Linda Ariani Gunawan; Peter Herrmann; Frank Alexander Kraemer (FGIT-SecTech, 2009)

Inferring Trust Based on Similarity with TILLIT. - Mozhgan Tavakolifard; Peter Herrmann; Svein J. Knapskog (IFIPTM, 2009)

Analogical Trust Reasoning. - Mozhgan Tavakolifard; Peter Herrmann; Pinar Öztürk (IFIPTM, 2009)

Automated Encapsulation of UML Activities for Incremental Development and Verification. - Frank Alexander Kraemer; Peter Herrmann (MoDELS, 2009)

Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example. - Frank Alexander Kraemer; Vidar Slåtten; Peter Herrmann (SDL Forum, 2009)

Telecommunication solutions for European leadership in telecommunications [Very Large Projects]. - Antonio Sánchez-Esguevillas; José Jimenez; Belén Carro; Heinz Brüggemann; Peter Herrmann; Ken Young (IEEE Commun. Mag., 2009)

Tool support for the rapid composition, analysis and implementation of reactive services. - Frank Alexander Kraemer; Vidar Slåtten; Peter Herrmann (J. Syst. Softw., 2009)

Reactive Semantics for Distributed UML Activities. - Frank Alexander Kraemer; Peter Herrmann (FMOODS/FORTE, 2010)

Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics. - Vidar Slåtten; Frank Alexander Kraemer; Peter Herrmann (SERENE, 2010)

Special issue on trust and privacy in electronic commerce - Editors' introduction. - Peter Herrmann; Mozhgan Tavakolifard (Electron. Commer. Res., 2010)

A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. - Linda Ariani Gunawan; Frank Alexander Kraemer; Peter Herrmann (ESSoS, 2011)

Contracts for Multi-instance UML Activities. - Vidar Slåtten; Peter Herrmann (FMOODS/FORTE, 2011)

Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. - Vidar Slåtten; Frank Alexander Kraemer; Peter Herrmann (GPCE, 2011)

Towards Ontology-Driven End-User Composition of Personalized Mobile Services. - Rune Sætre; Mohammad Ullah Khan; Erlend Stav; Alfredo Perez Fernandez; Peter Herrmann; Jon Atle Gulla (NLDB, 2011)

Component deployment using parallel ant-nests. - Máté J. Csorba; Poul E. Heegaard; Peter Herrmann (Int. J. Auton. Adapt. Commun. Syst., 2011)

Modeling a distributed intrusion detection system using collaborative building blocks. - Linda Ariani Gunawan; Michael Vogel; Frank Alexander Kraemer; Sebastian Schmerl; Vidar Slåtten; Peter Herrmann; Hartmut König (ACM SIGSOFT Softw. Eng. Notes, 2011)

Behavioral Singletons to Consistently Handle Global States of Security Patterns. - Linda Ariani Gunawan; Frank Alexander Kraemer; Peter Herrmann (DAIS, 2012)

Security asset elicitation for collaborative models. - Maria Vasilevskaya; Simin Nadjm-Tehrani; Linda Ariani Gunawan; Peter Herrmann (MDsec@MoDELS, 2012)

Remedy of Mixed Initiative Conflicts in Model-based System Engineering. - Fenglin Han; Peter Herrmann (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Compositional Verification of Application-Level Security Properties. - Linda Ariani Gunawan; Peter Herrmann (ESSoS, 2013)

Modeling real-time system performance with respect to scheduling analysis. - Fenglin Han; Peter Herrmann (iCAST/UMEDIA, 2013)

Modeling and Verifying Real-Time Properties of Reactive Systems. - Fenglin Han; Peter Herrmann; Hien Le (ICECCS, 2013)

Modeling Reactive Trust Acquisition Using State Transition Systems. - Sergiy Gladysh; Peter Herrmann (IFIPTM, 2013)

Model-Driven Engineering of Reliable Fault-Tolerant Systems - A State-of-the-Art Survey. - Vidar Slåtten; Peter Herrmann; Frank Alexander Kraemer (Adv. Comput., 2013)

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. - Maria Spichkova; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (MoDeVVa@MoDELS, 2014)

Towards Verifying Safety Properties of Real-Time Probabilistic Systems. - Fenglin Han; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (FESCA, 2014)

Integrating security mechanisms into embedded systems by domain-specific modelling. - Maria Vasilevskaya; Linda Ariani Gunawan; Simin Nadjm-Tehrani; Peter Herrmann (Secur. Commun. Networks, 2014)

Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. - Fenglin Han; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (COMPSAC, 2015)

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 (ENASE, 2015)

Behavioral Types for Space-aware Systems. - Jan Olaf Blech; Peter Herrmann (ACES-MB&WUCOR@MoDELS, 2015)

Behavioral Types for Component-Based Development of Cyber-Physical Systems. - Jan Olaf Blech; Peter Herrmann (SEFM Workshops, 2015)

Creating Internet of Things Applications from Building Blocks. - Frank Alexander Kraemer; Peter Herrmann (ERCIM News, 2015)

Collaborative Model-based Development of a Remote Train Monitoring System. - Peter Herrmann; Alexander Svae; Henrik Heggelund Svendsen; Jan Olaf Blech (ENASE, 2016)

A Methodology for Model-based Development and Safety Analysis of Transport Systems. - Simon Hordvik; Kristoffer Øseth; Jan Olaf Blech; Peter Herrmann (ENASE, 2016)

Model-Based Engineering and Spatiotemporal Analysis of Transport Systems. - Simon Hordvik; Kristoffer Øseth; Henrik Heggelund Svendsen; Jan Olaf Blech; Peter Herrmann (ENASE (Selected Papers), 2016)

Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems. - Amir Taherkordi; Peter Herrmann; Jan Olaf Blech; Álvaro Fernández 003 (ICSOC Workshops, 2016)

Formal Model-Based Development in Industrial Automation with Reactive Blocks. - Peter Herrmann; Jan Olaf Blech (STAF Workshops, 2016)

A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. - Peter Herrmann; Jan Olaf Blech; Fenglin Han; Heinz W. Schmidt (Int. J. Web Serv. Res., 2016)

A Trust-based Resilient Routing Mechanism for the Internet of Things. - Zeeshan Ali Khan; Johanna Ullrich; Artemios G. Voyiatzis; Peter Herrmann (ARES, 2017)

A Trust Based Distributed Intrusion Detection Mechanism for Internet of Things. - Zeeshan Ali Khan; Peter Herrmann (AINA, 2017)

Formal Analysis of Control Software for Cyber-Physical Systems. - Peter Herrmann; Jan Olaf Blech (QRS Companion, 2017)

Self-adaptive control in cyber-physical systems: the autonomous train experiment. - Alexander Svae; Amir Taherkordi; Peter Herrmann; Jan Olaf Blech (SAC, 2017)

How to Secure Internet of Things Devices in an Energy Efficient Way. - Zeeshan Ali Khan; Peter Herrmann (ERCIM News, 2017)

A way to measure and analyze cellular network connectivity on the norwegian road system. - Ergys Puka; Peter Herrmann; Tomas Levin; Christian B. Skjetne (COMSNETS, 2018)

Towards Classification of Lightweight Formal Methods. - Anna Zamansky; Maria Spichkova; Guillermo Rodríguez-Navas; Peter Herrmann; Jan Olaf Blech (ENASE, 2018)

Pervasive Smart Contracts for Blockchains in IoT Systems. - Amir Taherkordi; Peter Herrmann (ICBTA, 2018)

Simulation-driven Development of Self-adaptive Transportation Systems. - Magnus Karsten Oplenskedal; Peter Herrmann; Jan Olaf Blech; Amir Taherkordi (NetSoft, 2018)

Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Dead Spots. - Jon Arild Ekberg Meyer; Ergys Puka; Peter Herrmann (IOV, 2019)

Automated Product Localization Through Mobile Data Analysis. - Magnus Karsten Oplenskedal; Amirhosein Taherkordi; Peter Herrmann (MDM, 2019)

RoRo: a new robotic rollator concept to assist the elderly and caregivers. - Gerald Bieber; Wencke Chodan; Rainer Bader; Bernd Hölle; Peter Herrmann; Ingo Dreher (PETRA, 2019)

A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. - Ergys Puka; Peter Herrmann (WOWMOM, 2019)

Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots. - Ergys Puka; Peter Herrmann (Int. J. Cyber Phys. Syst., 2019)

Recent Advancements in Intrusion Detection Systems for the Internet of Things. - Zeeshan Ali Khan; Peter Herrmann (Secur. Commun. Networks, 2019)

DeepMatch: deep matching for in-vehicle presence detection in transportation. - Magnus Karsten Oplenskedal; Amir Taherkordi; Peter Herrmann (DEBS, 2020)

Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. - Ronal Bejarano; Roope Pääkkönen; Jan Olaf Blech; Ian Peake; Peter Herrmann; Valeriy Vyatkin (ETFA, 2020)

Machine Learning-based Update-time Prediction for Battery-friendly Passenger Information Displays. - Peter Herrmann; Ergys Puka; Tor Rune Skoglund (iSCI, 2020)

Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication. - Ergys Puka; Peter Herrmann; Amir Taherkordi (VTC Fall, 2020)

ATARAXIS: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection. - Magnus Karsten Oplenskedal; Amir Taherkordi; Peter Herrmann (CogMI, 2021)

Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP. - Ergys Puka; Peter Herrmann (ITSC, 2021)

Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol. - Zeeshan Ali Khan; Peter Herrmann (NTMS, 2021)

Barcode-based Navigation Concept for Autonomous Wheelchairs and Walking Frames. - Gerald Bieber; Niklas Antony; Dimitri Kraft; Bernd Hölle; Dennis Blenke; Peter Herrmann (PETRA, 2021)

Determination of the healing corridor of patients with knee arthroplasty by a motor-powered rollator. - Gerald Bieber; Dimitri Kraft; Bernd Hölle; Dennis Blenke; Rainer Bader; Peter Herrmann (PETRA, 2022)

DeepMatch2: A comprehensive deep learning-based approach for in-vehicle presence detection. - Magnus Karsten Oplenskedal; Peter Herrmann; Amir Taherkordi (Inf. Syst., 2022)

15th System Analysis and Modelling Conference (SAM 2023). - Peter Herrmann; Stein Erik Ellevseth (MoDELS (Companion), 2023)

Integrating Synthetic Data Modelling into an Adaptive Sampling Framework for IoT Devices. - Faiga Alawad; Peter Herrmann; Vajira Thambawita (iThings/GreenCom/CPSCom/SmartData/Cybermatics, 2024)

RESIST: Remapping EIT Signals Using Implicit Spatially-Aware Transformer. - Dominik Becker; Anita Just; Günter Hahn; Peter Herrmann; Leif Saager; Fabian H. Sinz (ML4H@NeurIPS, 2024)

Spatio-Temporal Analysis of Concurrent Networks. - Heinz W. Schmidt; Peter Herrmann; Maria Spichkova; James Harland; Ian Peake; Ergys Puka (CoRR, 2024)

Preface to the special issue on model-driven engineering and system analysis and modelling. - Iulian Ober; Pierre de Saqui-Sannes; Peter Herrmann; Stein Erik Ellevseth (Innov. Syst. Softw. Eng., 2024)