Peter Herrmann

ORCID

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 38

Top Venues

ENASE

PETRA

ERCIM News

Secur. Commun. Networks

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Peter Herrmann, Stein Erik Ellevseth
15th System Analysis and Modelling Conference (SAM 2023). MoDELS (Companion) (2023)
Magnus Karsten Oplenskedal, Peter Herrmann, Amir Taherkordi
DeepMatch2: A comprehensive deep learning-based approach for in-vehicle presence detection. Inf. Syst. 108 (2022)
Gerald Bieber, Dimitri Kraft, Bernd Hölle, Dennis Blenke, Rainer Bader, Peter Herrmann
Determination of the healing corridor of patients with knee arthroplasty by a motor-powered rollator. PETRA (2022)
Magnus Karsten Oplenskedal, Amir Taherkordi, Peter Herrmann
ATARAXIS: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection. CogMI (2021)
Zeeshan Ali Khan, Peter Herrmann
Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol. NTMS (2021)
Ergys Puka, Peter Herrmann
Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP. ITSC (2021)
Gerald Bieber, Niklas Antony, Dimitri Kraft, Bernd Hölle, Dennis Blenke, Peter Herrmann
Barcode-based Navigation Concept for Autonomous Wheelchairs and Walking Frames. PETRA (2021)
Peter Herrmann, Ergys Puka, Tor Rune Skoglund
Machine Learning-based Update-time Prediction for Battery-friendly Passenger Information Displays. iSCI (2020)
Ergys Puka, Peter Herrmann, Amir Taherkordi
Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication. VTC Fall (2020)
Ronal Bejarano, Roope Pääkkönen, Jan Olaf Blech, Ian Peake, Peter Herrmann, Valeriy Vyatkin
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. ETFA (2020)
Magnus Karsten Oplenskedal, Amir Taherkordi, Peter Herrmann
DeepMatch: deep matching for in-vehicle presence detection in transportation. DEBS (2020)
Jon Arild Ekberg Meyer, Ergys Puka, Peter Herrmann
Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Dead Spots. IOV (2019)
Ergys Puka, Peter Herrmann
A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. WOWMOM (2019)
Zeeshan Ali Khan, Peter Herrmann
Recent Advancements in Intrusion Detection Systems for the Internet of Things. Secur. Commun. Networks 2019 (2019)
Magnus Karsten Oplenskedal, Amirhosein Taherkordi, Peter Herrmann
Automated Product Localization Through Mobile Data Analysis. MDM (2019)
Ergys Puka, Peter Herrmann
Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots. Int. J. Cyber Phys. Syst. 1 (2) (2019)
Gerald Bieber, Wencke Chodan, Rainer Bader, Bernd Hölle, Peter Herrmann, Ingo Dreher
RoRo: a new robotic rollator concept to assist the elderly and caregivers. PETRA (2019)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. CoRR (2018)
Magnus Karsten Oplenskedal, Peter Herrmann, Jan Olaf Blech, Amir Taherkordi
Simulation-driven Development of Self-adaptive Transportation Systems. NetSoft (2018)
Amir Taherkordi, Peter Herrmann
Pervasive Smart Contracts for Blockchains in IoT Systems. ICBTA (2018)
Ergys Puka, Peter Herrmann, Tomas Levin, Christian B. Skjetne
A way to measure and analyze cellular network connectivity on the norwegian road system. COMSNETS (2018)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. ENASE (2018)
Zeeshan Ali Khan, Peter Herrmann
A Trust Based Distributed Intrusion Detection Mechanism for Internet of Things. AINA (2017)
Zeeshan Ali Khan, Johanna Ullrich, Artemios G. Voyiatzis, Peter Herrmann
A Trust-based Resilient Routing Mechanism for the Internet of Things. ARES (2017)
Alexander Svae, Amir Taherkordi, Peter Herrmann, Jan Olaf Blech
Self-adaptive control in cyber-physical systems: the autonomous train experiment. SAC (2017)
Peter Herrmann, Jan Olaf Blech
Formal Analysis of Control Software for Cyber-Physical Systems. QRS Companion (2017)
Zeeshan Ali Khan, Peter Herrmann
How to Secure Internet of Things Devices in an Energy Efficient Way. ERCIM News 2017 (109) (2017)
Simon Hordvik, Kristoffer Øseth, Henrik Heggelund Svendsen, Jan Olaf Blech, Peter Herrmann
Model-Based Engineering and Spatiotemporal Analysis of Transport Systems. ENASE (Selected Papers) (2016)
Peter Herrmann, Jan Olaf Blech
Formal Model-Based Development in Industrial Automation with Reactive Blocks. STAF Workshops (2016)
Peter Herrmann, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech
Collaborative Model-based Development of a Remote Train Monitoring System. ENASE (2016)
Peter Herrmann, Jan Olaf Blech, Fenglin Han, Heinz W. Schmidt
A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. Int. J. Web Serv. Res. 13 (1) (2016)
Amir Taherkordi, Peter Herrmann, Jan Olaf Blech, Álvaro Férnandez
Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems. ICSOC Workshops (2016)
Simon Hordvik, Kristoffer Øseth, Jan Olaf Blech, Peter Herrmann
A Methodology for Model-based Development and Safety Analysis of Transport Systems. ENASE (2016)
Jan Olaf Blech, Peter Herrmann
Behavioral Types for Component-Based Development of Cyber-Physical Systems. SEFM Workshops (2015)
Jan Olaf Blech, Peter Herrmann
Behavioral Types for Space-aware Systems. ACES-MB&WUCOR@MoDELS (2015)
Jan Olaf Blech, Peter Herrmann, Ian D. Peake, Heinz W. Schmidt
Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. ENASE (2015)
Frank Alexander Kraemer, Peter Herrmann
Creating Internet of Things Applications from Building Blocks. ERCIM News 2015 (101) (2015)
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. COMPSAC (2015)
Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. MoDeVVa@MoDELS (2014)
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. FESCA (2014)
Maria Vasilevskaya, Linda Ariani Gunawan, Simin Nadjm-Tehrani, Peter Herrmann
Integrating security mechanisms into embedded systems by domain-specific modelling. Secur. Commun. Networks 7 (12) (2014)
Fenglin Han, Peter Herrmann, Hien Le
Modeling and Verifying Real-Time Properties of Reactive Systems. ICECCS (2013)
Fenglin Han, Peter Herrmann
Modeling real-time system performance with respect to scheduling analysis. iCAST/UMEDIA (2013)
Sergiy Gladysh, Peter Herrmann
Modeling Reactive Trust Acquisition Using State Transition Systems. IFIPTM (2013)
Vidar Slåtten, Peter Herrmann, Frank Alexander Kraemer
Model-Driven Engineering of Reliable Fault-Tolerant Systems - A State-of-the-Art Survey. Adv. Comput. 91 (2013)
Linda Ariani Gunawan, Peter Herrmann
Compositional Verification of Application-Level Security Properties. ESSoS (2013)
Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann
Behavioral Singletons to Consistently Handle Global States of Security Patterns. DAIS (2012)
Fenglin Han, Peter Herrmann
Remedy of Mixed Initiative Conflicts in Model-based System Engineering. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
Maria Vasilevskaya, Simin Nadjm-Tehrani, Linda Ariani Gunawan, Peter Herrmann
Security asset elicitation for collaborative models. MDsec@MoDELS (2012)
Vidar Slåtten, Peter Herrmann
Contracts for Multi-instance UML Activities. FMOODS/FORTE (2011)
Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. ESSoS (2011)
Linda Ariani Gunawan, Michael Vogel, Frank Alexander Kraemer, Sebastian Schmerl, Vidar Slåtten, Peter Herrmann, Hartmut König
Modeling a distributed intrusion detection system using collaborative building blocks. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Rune Sætre, Mohammad Ullah Khan, Erlend Stav, Alfredo Perez Fernandez, Peter Herrmann, Jon Atle Gulla
Towards Ontology-Driven End-User Composition of Personalized Mobile Services. NLDB (2011)
Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann
Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. GPCE (2011)
Máté J. Csorba, Poul E. Heegaard, Peter Herrmann
Component deployment using parallel ant-nests. Int. J. Auton. Adapt. Commun. Syst. 4 (1) (2011)
Frank Alexander Kraemer, Peter Herrmann
Reactive Semantics for Distributed UML Activities. FMOODS/FORTE (2010)
Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann
Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics. SERENE (2010)
Peter Herrmann, Mozhgan Tavakolifard
Special issue on trust and privacy in electronic commerce - Editors' introduction. Electron. Commer. Res. 10 (3-4) (2010)
Frank Alexander Kraemer, Peter Herrmann
Automated Encapsulation of UML Activities for Incremental Development and Verification. MoDELS (2009)
Mozhgan Tavakolifard, Peter Herrmann, Svein J. Knapskog
Inferring Trust Based on Similarity with TILLIT. IFIPTM (2009)
Antonio Sánchez-Esguevillas, José Jimenez, Belén Carro, Heinz Brüggemann, Peter Herrmann, Ken Young
Telecommunication solutions for European leadership in telecommunications [Very Large Projects]. IEEE Commun. Mag. 47 (3) (2009)
Máté J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann
Foraging for Better Deployment of Replicated Service Components. DAIS (2009)
Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann
Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example. SDL Forum (2009)
Linda Ariani Gunawan, Peter Herrmann, Frank Alexander Kraemer
Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. FGIT-SecTech (2009)
Mozhgan Tavakolifard, Peter Herrmann, Pinar Öztürk
Analogical Trust Reasoning. IFIPTM (2009)
Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann
Tool support for the rapid composition, analysis and implementation of reactive services. J. Syst. Softw. 82 (12) (2009)
Máté J. Csorba, Poul E. Heegaard, Peter Herrmann
Cost-Efficient Deployment of Collaborating Components. DAIS (2008)
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
08102 Outcome Working Group -- Situational Awareness. Network Attack Detection and Defense (2008)
Máté J. Csorba, Poul E. Heegaard, Peter Herrmann
Adaptable model-based component deployment guided by artificial ants. Autonomics (2008)
Mozhgan Tavakolifard, Svein J. Knapskog, Peter Herrmann
Cross-Situation Trust Reasoning. Web Intelligence/IAT Workshops (2008)
Mozhgan Tavakolifard, Svein J. Knapskog, Peter Herrmann
Trust transferability among similar contexts. Q2SWinet (2008)
Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. SDL Forum (2007)
Peter Herrmann, Frank Alexander Kraemer
Design of Trusted Systems with Reusable Collaboration Models. IFIPTM (2007)
Frank Alexander Kraemer, Peter Herrmann
Transforming Collaborative Service Specifications into Efficiently Executable State Machines. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
Peter Herrmann, Frank Alexander Kraemer
Design of Trusted Systems with Reusable Collaboration Models. IFIPTM (2007)
Frank Alexander Kraemer, Peter Herrmann, Rolv Bræk
Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. OTM Conferences (2) (2006)
Peter Herrmann
Temporal Logic-Based Specification and Verification of Trust Models. iTrust (2006)
Peter Herrmann, Gaby Herrmann
Security requirement analysis of business processes. Electron. Commer. Res. 6 (3-4) (2006)
Frank Alexander Kraemer, Peter Herrmann
Service Specification by Composition of Collaborations--An Example. IAT Workshops (2006)
Gaby Herrmann, Peter Herrmann
Introduction: Security and Trust in Electronic Commerce. Electron. Commer. Res. 4 (1-2) (2004)
Günter Graw, Peter Herrmann
Transformation and Verification of Executable UML Models. Electron. Notes Theor. Comput. Sci. 101 (2004)
Peter Herrmann, Lars Wiebusch, Heiko Krumm
Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software. DIMVA (2004)
Günter Graw, Peter Herrmann
Generation and Enactment of Controllers for Business Architectures Using MDA. EWSA (2004)
Peter Herrmann, Heiko Krumm
Trust-Based Monitoring of Component-Structured Software. Prax. Inf.verarb. Kommun. 27 (4) (2004)
Peter Herrmann
Formal Security Policy Verification of Distributed Component-Structured Software. FORTE (2003)
Peter Herrmann
Trust-Based Protection of Software Component Users and Designers. iTrust (2003)
Inéz Frerichs, Jose Hinz, Peter Herrmann, Gerald Weisser, Günter Hahn, Michael Quintel, Gerhard Hellige
Regional Lung Perfusion as Determined by Electrical Impedance Tomography in Comparison with Electron Beam CT Imaging. IEEE Trans. Medical Imaging 21 (6) (2002)
Peter Herrmann, Lars Wiebusch, Heiko Krumm
State-Based Security Policy Enforcement in Component-Based E-Commerce Applications. I3E (2002)
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, Walter Geisselhardt
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs. Telecommun. Syst. 20 (3-4) (2002)
Peter Herrmann, Heiko Krumm
Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications. ISCC (2001)
Peter Herrmann
Information Flow Analysis of Component-Structured Applications. ACSAC (2001)
Peter Herrmann, Lars Wiebusch, Heiko Krumm
Tool-Assisted Security Assessment of Distributed Applications. DAIS (2001)
Peter Herrmann, Heiko Krumm
A framework for modeling transfer protocols. Comput. Networks 34 (2) (2000)
Günter Graw, Peter Herrmann, Heiko Krumm
Verification of UML-Based Real-Time System Designs by Means of cTLA. ISORC (2000)
Peter Herrmann, Manfred Noël
Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen. FBT (1999)
Peter Herrmann, Heiko Krumm
Formal Hazard Analysis of Hybrid Systems in cTLA. SRDS (1999)
Günter Graw, Peter Herrmann, Heiko Krumm
Composing Object-Oriented Specifications and Verifications with cTLA. ECOOP Workshops (1999)
Günter Graw, Peter Herrmann, Heiko Krumm
Constraint-oriented formal modelling of OO-systems. DAIS (1999)
Peter Herrmann, Heiko Krumm
Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework. Prax. Inf.verarb. Kommun. 21 (2) (1998)
Peter Herrmann, Günter Graw, Heiko Krumm
Compositional Specification and Structured Verification of Hybrid Systems in cTLA. ISORC (1998)

Peter Herrmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Herrmann