Peter Herrmann

Scopus Publications

An Efficient and Robust Protocol to Accelerate Message Delivery in Cellular Dead Spots
Ergys Puka, Peter Herrmann, Amir Taherkordi
IEEE Transactions on Vehicular Technology, 2026
Regions without cellular network access, so-called dead spots, are problematic for Vehicle-to-Infrastructure (V2I) communication, which is usually based on such networks. To address this issue, we propose the Robust Context-Aware Message Flooding Protocol (ROCAMFLOOP) in this article. It combines cellular network access with ad hoc networks between nearby vehicles. This makes it possible to forward messages created in a dead spot to vehicles that are expected to regain cellular network access earlier than the message creators. A particular feature of the protocol is to limit the delivery of message copies only to those vehicles predicted to leave the dead spot first. In this way, the number of copies effectively delivered is kept low. ROCAMFLOOP was equipped with special protocol functions that guarantee robust execution, even when the behavior of the drivers deviates from expectations. Our protocol is a novel way to combine “Store-Carry-Forward”-type message delivery with a spatiotemporal-based selection of vehicles for delivery.
Spatio-Temporal Analysis of Concurrent Networks
Heinz Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka
Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering Lnicst, 2026
Modeling Interaction Patterns for Distributed Systems with IEC 61499
Peter Herrmann, Alois Zoitl
IEEE International Conference on Emerging Technologies and Factory Automation ETFA, 2025
IEC 61499 is a proven technique for the model-based engineering of factory automation systems. Due to recent developments in this field like Industry 4.0, however, modern systems rely more and more on distributed computer technology. In this article, we investigate if and to which degree IEC 61499 together with IEC 61131-3 Structured Text as the algorithm implementation language is suited to also model the behavior of these amended systems. To achieve that, we selected three relevant use cases, i.e., mixed initiative mitigation, free-pool, and heartbeat, and exemplarily implemented each of them. This allowed us to get insight about what can be conveniently specified using IEC 61499 and for what an extension of the modeling technique is recommended. In this paper, we introduce the models for the three use cases and report the lessons learned from their implementation. Based on that, we suggest enhancements to IEC 61499.
The Norwegian SISU Project: History and Long-term Impact of an Early MDD Effort
Stein Erik Ellevseth, Peter Herrmann, Emmanuel Gaudin, Juergen Dingel
Proceedings 2025 ACM IEEE 28th International Conference on Model Driven Engineering Languages and Systems Models 2025, 2025
At the 15th System Analysis and Modelling Conference (SAM) in October 2023, a panel session was dedicated to the discussion of the past, present, and the future of Model-Driven Development (MDD). The session focused on the themes history, impact, lessons learned, and barriers to the adoption of MDD. In the context of history and impact, amongst others, the results of the Norwegian national R&D project “Supporting Integrated System Development” (SISU) were discussed, as well as recent development approaches akin to MDD. The panelists agreed that the quality of the systems produced within SISU was usually very high, since the used modeling concepts match reality well and made the models therefore easier to comprehend. Nevertheless, the adoption of SDL in the member companies did not progress as expected after project completion. This makes SISU a typical example of the circumstance that MDD has not developed as successfully as was assumed 30 years ago. The discussion of the panelists on barriers to MDD revealed key challenges in two perspectives: users' experience and tools' support. Besides some lessons learned, this paper presents a number of recommendations that might help to address the mentioned challenges leading towards a more prominent use of MDD in software engineering in the future.
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
Innovations in Systems and Software Engineering, 2024
Integrating Synthetic Data Modelling into an Adaptive Sampling Framework for IoT Devices
Faiga Alawad, Peter Herrmann, Vajira Thambawita
Proceedings IEEE Congress on Cybermatics 2024 IEEE International Conferences on Internet of Things Ithings 2024 IEEE Green Computing and Communications Greencom 2024 IEEE Cyber Physical and Social Computing Cpscom 2024 IEEE Smart Data Smartdata 2024, 2024
Wireless Sensor Networks (WSNs) often rely on constrained devices with limited processor and power resources. Therefore, many approaches in the literature have studied data reduction methods to relieve these resources. Static scheduling algorithms are state of the art, but novel adaptive scheduling methods gained momentum in recent years as well. In the study presented in this paper, we combine enhanced adaptive scheduling algorithms with synthetic data, created using a generative machine learning model. This allows us to replace some of the sensed data points by generated ones. In consequence, we can increase the time interval between collecting two samples, which alleviates the power resources of the sensors significantly. Utilizing working environment noise data sensed in Trondheim, Norway, we analyzed how generative machine learning models can enhance data collection in resource-constrained wireless sensor networks. The results of this analysis reveal that using synthetic data to reduce the sampling rate by over 50% greatly improves data reduction efficiency, outperforming traditional adaptive sampling frameworks. To the best of our knowledge, our approach constitutes the first effort to leverage generative models for crafting adaptive sensing policies in WSNs.
DEEPMATCH2: A comprehensive deep learning-based approach for in-vehicle presence detection
Magnus Oplenskedal, Peter Herrmann, Amir Taherkordi
Information Systems, 2022
The accurate detection of the mobile context information of public transportation vehicles and their passengers is a key feature to realize intelligent transportation systems. A topical example is in-vehicle presence detection that can, e.g., be used to ticket passengers automatically. Unfortunately, most existing solutions in this field suffer from low spatiotemporal accuracy which impedes their use in practice. In previous work, we addressed this challenge through a deep learning-based framework, called DeepMatch, that allows us to detect in-vehicle presence with a high degree of accuracy. DeepMatch utilizes the smartphone of a passenger to analyse and match the event streams of its own sensors with the event streams of counterpart sensors provided by a reference unit that is installed inside the vehicle. This is achieved through a new learning model architecture using Stacked Convolutional Autoencoders to compress sensor input streams by feature extraction and dimensionality reduction as well as a deep convolutional neural network to match the streams of the user phone and the reference device. The sensor stream compression is offloaded to the smartphone, while the matching is performed in a server. In this paper, we introduce DeepMatch2. It is an amended version of DeepMatch that reduces the amount of data to be transferred from the user and reference devices to the server by the factor of four. Further, DeepMatch2 improves the already good accuracy of DeepMatch from 97.81% to 98.51%. Moreover, we propose a travel inference algorithm, based on DeepMatch2, to detect the duration of whole passenger trips in public transport vehicles with a high degree of precision. This is needed to create intelligent and highly reliable auto-ticketing systems. Thanks to the high accuracy of 98.51% by DeepMatch2, the inferences can be carried out with a negligible error rate.
Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP
Ergys Puka, Peter Herrmann
IEEE Conference on Intelligent Transportation Systems Proceedings ITSC, 2021
The interaction between vehicles and the external infrastructure usually relies on the availability of cellular networks. Large sparsely populated regions, however, contain often extended areas with missing cellular network connectivity, so-called dead spots. To accelerate the delivery of messages from a vehicle to the infrastructure in such zones, we developed a Context-Aware Message Flooding Protocol that utilizes ephemeral ad-hoc networks between nearby vehicles in a dead spot. This allows us to let a message be delivered by an ad-hoc network peer instead of its creator if the peer leaves the dead spot earlier. In previous work, we introduced an initial version of this protocol and proved formally that it guarantees the fastest possible delivery of messages via the cellular network to the infrastructure, and, at the same time, keeps the number of produced duplicates to a minimum. This version was, however, based upon idealized drivers' behavior since we assumed that a vehicle leaves a dead spot exactly at the point of time previously predicted. To rectify this strict assumption, in this paper we present an updated protocol version named CAMFLOOP. Unlike its predecessor, it considers deviations like speed changes or aberrations from the planned route. Moreover, we report on our tests of CAMFLOOP using the traffic simulator SUMO with scenarios inspired by the Australian Outback, a region with dead spots that may span hundreds of kilometers. The simulation results show that deviations from the planned speeds and routes lead to communication errors only rarely. Further, the protocol provides significant reductions of the delivery time by more than 40% on average in larger dead spots, while usually less than two copies of each message created in a dead spot are delivered to the infrastructure.
Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol
Zeeshan Ali Khan, Peter Herrmann
2021 11th IFIP International Conference on New Technologies Mobility and Security Ntms 2021, 2021
Many devices used in the Internet of Things (IoT) have scarce processing resources and restricted energy budgets. Thus, established security mechanisms to protect IoT nodes against malicious attacks cannot be applied. Trust management is a promising technology to circumvent the processing limitations since it makes the use of lightweight but still powerful security mechanisms possible. In earlier work, we proposed a trust-based routing solution that builds the reputation of IoT devices to detect maliciously behaving ones. It has, however, the disadvantage of additional battery draining since it works only with constant idle listening of the communication channel which is quite energy intensive. In this paper, we present a method to alleviate this problem by aligning the proposed security algorithm with the popular IEEE 802.15.4 protocol that offers functionality to reduce active channel listening. In particular, we suggest an adaption to one of the application modes of IEEE 802.15.4 such that we can use our trust-based algorithm with often only slight losses from idle listening. The results of the protocol adaptations are discussed for two different scenarios.
ATARAXIS: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection
Magnus Oplenskedal, Amir Taherkordi, Peter Herrmann
Proceedings 2021 IEEE 3rd International Conference on Cognitive Machine Intelligence Cogmi 2021, 2021
Accurately detecting the mobile contexts of public transport vehicles and their passengers is a key requirement of intelligent context-aware services in such systems. A prominent example is in-vehicle presence detection which can be used to provide various services such as automated ticketing, dynamic vehicle distribution, and live route optimization. To use such services in practice, in-vehicle presence detection needs to be close to infallible. However, most existing solutions in this field suffer from low spatiotemporal accuracy. To address this challenge, we introduce Ataraxis in this paper-an approach to hardwareless in-vehicle presence detection. In particular, we develop a deep convolutional neural network that can be trained to detect, if a user is inside a public transportation vehicle such as a tram, subway, or bus, from the raw sensor events generated by the sensors in a single ordinary smartphone. We show that this information can be used to infer the in-vehicle presence of users over time when combined with other sources such as the GPS trace of the user and that of the public transport vehicles. Ataraxis has the capability to distinguish between the four user modes: driving a car, riding a bike, walking, and using public transport with an accuracy of 98.69%. This is higher than the accuracy of existing techniques for transport mode detection. We also made experiments on the battery consumption and CPU overhead. The results show that Ataraxis incurs a negligible computational overhead and power consumption on smartphones, even though we base our approach on sensor data collection and a deep learning model.
Machine learning-based update-time prediction for battery-friendly passenger information displays
Peter Herrmann, Ergys Puka, Tor Rune Skoglund
Proceedings 2020 IEEE 8th International Conference on Smart City and Informatization Isci 2020, 2020
Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication
Ergys Puka, Peter Herrmann, Amir Taherkordi
IEEE Vehicular Technology Conference, 2020
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs
Ronal Bejarano, Roope Paakkonen, Jan Olaf Blech, Ian Peake, Peter Herrmann, Valeriy Vyatkin
IEEE International Conference on Emerging Technologies and Factory Automation ETFA, 2020
DeepMatch: Deep matching for in-vehicle presence detection in transportation
Magnus Oplenskedal, Amir Taherkordi, Peter Herrmann
Debs 2020 Proceedings of the 14th ACM International Conference on Distributed and Event Based Systems, 2020
Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Dead Spots
Jon Arild Ekberg Meyer, Ergys Puka, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2020
A data dissemination protocol for vehicles with temporary cellular network inaccessibility
Ergys Puka, Peter Herrmann
20th IEEE International Symposium on A World of Wireless Mobile and Multimedia Networks Wowmom 2019, 2019
Automated product localization through mobile data analysis
Magnus Oplenskedal, Amirhosein Taherkordi, Peter Herrmann
Proceedings IEEE International Conference on Mobile Data Management, 2019
Recent advancements in intrusion detection systems for the internet of things
Zeeshan Ali Khan, Peter Herrmann
Security and Communication Networks, 2019
Simulation-driven Development of Self-adaptive Transportation Systems
Magnus Karsten Oplenskedal, Peter Herrmann, Jan Olaf Blech, Amir Taherkordi
2018 4th IEEE Conference on Network Softwarization and Workshops Netsoft 2018, 2018
A way to measure and analyze cellular network connectivity on the norwegian road system
Ergys Puka, Peter Herrmann, Tomas Levin, Christian B. Skjetne
2018 10th International Conference on Communication Systems and Networks Comsnets 2018, 2018
Towards classification of lightweight formal methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas, Peter Herrmann, Jan Olaf Blech
Enase 2018 Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018
A trust-based resilient routing mechanism for the internet of things
Zeeshan Ali Khan, Johanna Ullrich, Artemios G. Voyiatzis, Peter Herrmann
ACM International Conference Proceeding Series, 2017
Formal Analysis of Control Software for Cyber-Physical Systems
Peter Herrmann, Jan Olaf Blech
Proceedings 2017 IEEE International Conference on Software Quality Reliability and Security Companion Qrs C 2017, 2017
A trust based distributed intrusion detection mechanism for internet of things
Zeeshan Ali Khan, Peter Herrmann
Proceedings International Conference on Advanced Information Networking and Applications AINA, 2017
Self-adaptive control in cyber-physical systems: The autonomous train experiment
Alexander Svae, Amir Taherkordi, Peter Herrmann, Jan Olaf Blech
Proceedings of the ACM Symposium on Applied Computing, 2017
Service virtualization for self-adaptation in mobile cyber-physical systems
Amir Taherkordi, Peter Herrmann, Jan Olaf Blech, Álvaro Férnandez
Lecture Notes in Computer Science, 2017
Model-based development of a controller and simulator for a mobile robot
Magnus Karsten Oplenskedal, Peter Herrmann, Jan Olaf Blech
Proceedings of the 2016 5th ICT International Student Project Conference ICT Ispc 2016, 2016
Formal model-based development in industrial automation with reactive blocks
Peter Herrmann, Jan Olaf Blech
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2016
Collaborative model-based development of a remote train monitoring system
Peter Herrmann, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech
Enase 2016 Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, 2016
A methodology for model-based development and safety analysis of transport systems
Simon Hordvik, Kristoffer Øseth, Jan Olaf Blech, Peter Herrmann
Enase 2016 Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, 2016
A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems
Peter Herrmann, Jan Olaf Blech, Fenglin Han, Heinz Schmidt
International Journal of Web Services Research, 2016
Model-based engineering and spatiotemporal analysis of transport systems
Simon Hordvik, Kristoffer Øseth, Henrik Heggelund Svendsen, Jan Olaf Blech, Peter Herrmann
Communications in Computer and Information Science, 2016
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz Schmidt
Proceedings International Computer Software and Applications Conference, 2015
Behavioral types for component-based development of cyber-physical systems
Jan Olaf Blech, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2015
Behavioral types for space-aware systems
Ceur Workshop Proceedings, 2015
Towards a model-based toolchain for remote configuration and maintenance of space-aware systems
Jan Olaf Blech, Peter Herrmann, Ian Peake, Heinz Schmidt
Enase 2015 Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, 2015
Integrating security mechanisms into embedded systems by domain-specific modelling
Maria Vasilevskaya, Linda Ariani Gunawan, Simin Nadjm‐Tehrani, Peter Herrmann
Security and Communication Networks, 2014
Towards verifying safety properties of real-time probabilistic systems
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz Schmidt
Electronic Proceedings in Theoretical Computer Science Eptcs, 2014
Modeling spatial aspects of safety-critical systems with focusST
Ceur Workshop Proceedings, 2014
Compositional verification of application-level security properties
Linda Ariani Gunawan, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2013
Modeling real-time system performance with respect to scheduling analysis
Fenglin Han, Peter Herrmann
2013 International Joint Conference on Awareness Science and Technology and Ubi Media Computing can We Realize Awareness Via Ubi Media Icast 2013 and Umedia 2013, 2013
Modeling reactive trust acquisition using state transition systems
Sergiy Gladysh, Peter Herrmann
IFIP Advances in Information and Communication Technology, 2013
Model-driven engineering of reliable fault-tolerant systems - A state-of-the-art survey
Vidar Slåtten, Peter Herrmann, Frank Alexander Kraemer
Advances in Computers, 2013
Modeling and verifying real-time properties of reactive systems
Fenglin Han, Peter Herrmann, Hien Le
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems ICECCS, 2013
Security asset elicitation for collaborative models
Maria Vasilevskaya, Simin Nadjm-Tehrani, Linda Ariani Gunawan, Peter Herrmann
Proceedings of the Workshop on Model Driven Security Mdsec 2012, 2012
Behavioral singletons to consistently handle global states of security patterns
Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2012
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
ACM SIGPLAN Notices, 2012
Remedy of mixed initiative conflicts in model-based system engineering
Fenglin Han, Peter Herrmann
Electronic Communications of the Easst, 2012
Adaptable model-based component deployment guided by artificial ants
Mate J. Csorba, Poul E. Heegaard, Peter Herrmann
Autonomics 2008 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 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 11 Proceedings of the 10th International Conference on Generative Programming and Component Engineering, 2011
Towards choreography model transformation via graph transformation
Fenglin Han, Surya Bahadur Kathayat, Hien Le, Rolv Brek, Peter Herrmann
Icsess 2011 Proceedings 2011 IEEE 2nd International Conference on Software Engineering and Service Science, 2011
Contracts for multi-instance UML activities
Vidar Slåtten, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2011
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 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
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2011
A tool-supported method for the design and implementation of secure distributed applications
Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2011
Preface
Democracy in Theory and Action, 2011
Preface
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2011
Component deployment using parallel ant-nests
Mate J. Csorba, Poul E. Heegaard, Peter Herrmann
International Journal of Autonomous and Adaptive Communications Systems, 2011
Towards a model-driven method for reliable applications: From ideal to realistic transmission semantics
Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems Serence 2010, 2010
Reactive semantics for distributed UML activities
Frank Alexander Kraemer, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2010
Special issue on trust and privacy in electronic commerce
Peter Herrmann, Mozhgan Tavakolifard
Electronic Commerce Research, 2010
Automated encapsulation of UML activities for incremental development and verification
Frank Alexander Kraemer, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2009
Towards the integration of security aspects into system development using collaboration-oriented models
Linda Ariani Gunawan, Peter Herrmann, Frank Alexander Kraemer
Communications in Computer and Information Science, 2009
Model-driven construction of embedded applications based on reusable building blocks - An example
Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2009
Tool support for the rapid composition, analysis and implementation of reactive services
Frank Alexander Kraemer, Vidar Slåtten, Peter Herrmann
Journal of Systems and Software, 2009
Foraging for better deployment of replicated service components
Máté J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2009
Analogical trust reasoning
Mozhgan Tavakolifard, Peter Herrmann, Pinar Öztürk
IFIP Advances in Information and Communication Technology, 2009
Inferring trust based on similarity with TILLIT
Mozhgan Tavakolifard, Peter Herrmann, Svein J. Knapskog
IFIP Advances in Information and Communication Technology, 2009
Trust transferability among similar contexts
Mozhgan Tavakolifard, Svein Johan Knapskog, Peter Herrmann
Q2swinet 08 Proceedings of the 4th ACM International Symposium on Qos and Security for Wireless and Mobile Networks, 2008
Cross-situation trust reasoning
Mozhgan Tavakolifard, Svein J. Knapskog, Peter Herrmann
Proceedings 2008 IEEE Wic ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops Wi Iat Workshops 2008, 2008
Cost-efficient deployment of collaborating components
Máté J. Csorba, Poul E. Heegaard, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2008
Preface
IFIP Advances in Information and Communication Technology, 2008
TRUST management II
Karabulut, Yücel 1970-
IFIP Advances in Information and Communication Technology, 2008
Design of trusted systems with reusable collaboration models
Peter Herrmann, Prank Alexander Kraemer
IFIP International Federation for Information Processing, 2007
Transforming collaborative service specifications into efficiently executable state machines
Kraemer, Frank Alexander, Herrmann, Peter
Electronic Communications of the Easst, 2007
Synthesizing components with sessions from collaboration-oriented service specifications
Frank Alexander Kraemer, Rolv Bræk, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2007
Temporal logic-based specification and verification of trust models
Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2006
Service specification by composition of collaborations - An example
Frank Kraemer, Peter Herrmann
Proceedings 2006 IEEE Wic ACM International Conference on Web Intelligence and Intelligent Agent Technology Wi Iat 2006 Workshops Proceedings, 2006
Security requirement analysis of business processes
Peter Herrmann, Gaby Herrmann
Electronic Commerce Research, 2006
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
Frank Alexander Kraemer, Peter Herrmann, Rolv Bræk
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2006
Transformation and verification of executable UML models
Günter Graw, Peter Herrmann
Electronic Notes in Theoretical Computer Science, 2004
Generation and enactment of controllers for business architectures using MDA
Günter Graw, Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2004
Trust-based duration monitoring of distributed component-structured e-commerce software
Lecture Notes in Informatics Lni Proceedings Series of the Gesellschaft Fur Informatik Gi, 2004
Formal security policy verification of distributed component-structured software
Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2003
Trust-based protection of software component users and designers
Peter Herrmann
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2003
State-based security policy enforcement in component based e-commerce applications
IFIP Advances in Information and Communication Technology, 2003
Framework and tool support for formal verification of highspeed transfer protocol designs
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, Walter Geisselhardt
Telecommunication Systems, 2002
Information flow analysis of component-structured applications
P. Herrmann
Proceedings Annual Computer Security Applications Conference Acsac, 2001
Trust-adapted enforcement of security policies in distributed component-structured applications
IEEE Symposium on Computers and Communications Proceedings, 2001
Approaches to the formal verification of hybrid systems
St. Kowalewski, P. Herrmann, Sebastian Engell, R. Huuck, H. Krumm, Y. Lakhnech, B. Lukoschus, H. Treseler
At Automatisierungstechnik, 2001
Framework for modeling transfer protocols
Peter Herrmann, Heiko Krumm
Computer Networks, 2000
Verification of UML-based real-time system designs by means of cTLA
G. Graw, P. Herrmann, H. Krumm
Proceedings 3rd IEEE International Symposium on Object Oriented Real Time Distributed Computing Isorc 2000, 2000
Formal hazard analysis of hybrid systems in cTLA
Proceedings of the IEEE Symposium on Reliable Distributed Systems, 1999
User-defined telecooperation services
Proceedings of the Internatoinal Conference on Parallel and Distributed Systems ICPADS, 1998
Modular specification and verification of XTP
Peter Herrmann, Heiko Krumm
Telecommunication Systems, 1998
Compositional specification and structured verification of hybrid systems in cTLA
P. Herrmann, G. Graw, H. Krumm
Proceedings 1st International Symposium on Object Oriented Real Time Distributed Computing Isorc 1998, 1998
Specification of hybrid systems in cTLA+
P. Herrmann, H. Krumm
Proceedings of the Joint Workshop on Parallel and Distributed Real Time Systems 5th International Workshop on Parallel and Distributed Real Time Systems Wpdrts 1997 and the 3rd Workshop on Object Oriented Real Time Systems Oorts 1997, 1997

Peter Herrmann

RESEARCH, TEACHING, or OTHER INTERESTS

Scopus Publications

RECENT SCHOLAR PUBLICATIONS

MOST CITED SCHOLAR PUBLICATIONS