Peter Herrmann

117 papers A 3B 14C 14Misc 2Journal 26Unranked 53

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