Peter Herrmann

About

Research topics

Intelligent Transport Systems
Model-Based Engineering of Networked Services based on Collaborative Techniques
Functional and Security Aspects of Distributed Component-Structured Software
Trust Management Issues
Formal Specification, Implementation, and Verification of Distributed Systems and Continuous-Discrete Technical Systems

Projects

IoT-STOP (supported by Innovasjon Norge, 2019-2021)
MobiTrack (Realizing Context-aware Intelligent Mobile Services through Real-Time Indoor Location Tracking, supported by NFR, 2018-2020)
UbiCompForAll (Ubiquitous Computing For All Users, 2008-2012)
Arctis (Analysis, Refinement, Composition and Transformation of Interactive Services, Verification Project, 2010-2011, extended until 2012)
EuroNF (Network of the Future, 2008-2011)
ISIS (Infrastructure for Integrated Services, 2007-2011)
SIMS (Semantic Interfaces for Mobile Services, 2006-2008)
iTrust (2003-2005)

Tools

Reactive Blocks, the tool for engineering networked services. You find more information here.

Publications

Below, you will find selected publications. A more comprehensive and up-to-date list is available on my homepage.

Research

Communication technology aspects in Intelligent Transportation Systems:

In 2016, I was asked to overtake the Intelligent Transportation Systems (ITS) Lab from my colleague Professor Steinar Andresen, who was retiring. Within this work, I took contact with public organizations like Statens Vegvesen (SVV), Jernbaneverket, Trøndelag Fylkekommune, and Skyss as well as private companies as FourC, Telenor, Aventi, and Sonitor. This cooperation led to various research and development activities:

Within the above-mentioned cooperation with the RMIT University, we used the model railway equipment of the ITS Lab to test the cooperation of Reactive Blocks and the spatiotemporal verification tool BeSpaceD.

A cooperation with SVV about checking the cellular network accessibility on the Norwegian road network inspired my Ph.D. student Ergys Puka to center his Ph.D. project around the mitigation of large areas without cellular network connectivity. One can find such areas called dead spots mostly in large sparsely populated countries like Australia or Canada. Under my supervision, Puka developed context-aware flooding protocols that allow vehicles passing each other in a dead spot to build up ephemeral networks in which messages to be delivered after leaving the dead spot can be exchanged between the vehicles. While connected, the vehicles also determine which of them will deliver the message. That should, of course, be the one supposed to leave the dead spot earliest. Using such context-aware protocols, one can reduce the average waiting time for delivering a message by 40% or more without creating too many copies that are delivered unnecessarily.

In cooperation with my colleague Professor Amir Taherkordi at the University of Oslo (UiO), we obtained the Nærings-PhD project “Realizing Context-aware Intelligent Mobile Services through Real-Time Indoor Location Tracking” (MobiTrack) funded by Norges Forskningsråd and Sonitor. Within this project, my Ph.D. student Magnus Oplenskedal worked on technologies that use machine learning for utilizing inhouse location systems. In particular, he worked on an automated system for localization goods in stores. The main achievement of his work was the creation of reliable methods to find out if people ride in public transport vehicles. Such systems will allow passengers to be correctly billed for their journeys without the need of any manual input.

I worked also in the project “IOT-STOP” funded by Innovasjon Norge. It was led by FourC with NTNU, Telenor, and Skyss being partners. The task of this project was the development of systems providing real-time passenger information at bus stops without electrical power supply, such that batteries have to be used. This makes power-preserving technologies relevant. Besides special technical equipment like ePapers and power-saving chipsets, we also used the reduction of idle listening to signals from a remote server. NTNU’s task was the development of a system that, using machine learning, predicts the times at which the likelihood, that a change of the expected arrival time of a bus has to be displayed to the waiting passengers, is exceeding a certain threshold. A reliable prediction allows us to switch off the listener of the control system until the time with a major change of the arrival time is reached, which can save a lot of battery power. Similar predictions, however, for the need of user equipment like eScooters or eBikes in cities, were examined in the project “OPTIBILITY”.

Formal techniques-based design of control software and proof of spatiotemporal properties:

A sabbatical leave at RMIT University in Melbourne, Australia, from 2013 to 2014 led to an in-depth research collaboration with the group of Professor Heinz Schmidt, in particular, with Dr. Jan Olaf Blech. This group was engaged in the “Australia-India Research Centre for Automation Software Engineering”, a collaboration between RMIT and ABB in Australia and India. A part of the work of this center was the use of modeling in the design of control software for technical systems that has to fulfill spatiotemporal properties. Within this work, Dr. Blech developed the methodology BeSpaceD that allows for formal specification and verification of spatiotemporal aspects. We found out that it can be nicely combined with Reactive Blocks. Altogether, our collaborative research led to 20 joined publications of which two got best paper awards for the conferences, they were published in.

Model-based development of distributed systems:

After my start at NTNU, I joined forces with Frank Alexander Kraemer, who was in the initial phase of his Ph.D. project, as well as with my former colleague Professor Rolv Bræk. We advanced the idea, that using proper behavioral interfaces can be very helpful to guarantee that a software component fulfils certain functional and non-functional properties. In particular, we used the well-known UML diagram types activities and state machines and furnished them with a formal semantics. That allowed us to develop recurrent code once in a so-called building block that is provided by a behavioral interface. Systems can be built by adding such building blocks in a “drag-and-drop”-fashion and combining their interface elements with each other. Using a model checker, relevant properties can then be checked fully automatically.

Creating a toolset realizing this approach was a central aspect of the R&D project “Infrastructures for Integrated Services” (ISIS) funded by Norges Forskningsråd. Telenor was the leader of the consortium with NTNU, TellU, Ericsson, and the former HiA (now UiA) other partners. The result of NTNU’s work in this project and our research let to the toolset Reactive Blocks that was commercialized within the spinoff company BitReactive.

Extensions on Reactive Blocks were carried out in some Ph.D. projects supervised by me. Vidar Slåtten created ways to use Reactive Blocks for building robust and fail-proof systems. In the work of Linda Gunawan, the approach was adapted to prove certain security properties. Finally, Han Fenglin dedicated his Ph.D. research to the creation of real-time aspects as well as cyber-physical systems.

I was also involved in the EU project “Semantic Interfaces for Mobile Services” (SIMS). This project was led by SINTEF. Other partners were NTNU, Gintel, Appear, Gentleware, the Polytechnical University of Warsaw, and France Telecom Espana. Here, we developed another model-based approach using behavioral interfaces.

The aspect of easing the composition of service building blocks, in a way that also end-users, who are non-experts, can carry them out, was researched in the project “Ubiquitous Computing for All Users” (UbiCompForAll) funded by Norges Forskningsråd, in which I also participated. Here, also SINTEF was the consortium leader with NTNU, Gintel, and TellU being partners.

Security and trust management of software components:

From around 2001, I transferred my interest in composing systems from building blocks from formal models to real software components. Here, I selected security aspects, in particular, information flow as properties to be fulfilled by the components. Thus, this approach was less formal than my previous work and more dedicated to help the average software engineer to create systems that guarantee at least some security properties. For that, proper behavioral interfaces of the components were defined. That allowed me to verify the correctness of the information flow between the components forming a distributed systems.

In addition, the work in this area brought me into contact with members of the emerging trust management community who invited me into the EU Working Group “Trust Management in Dynamic Open Systems” (iTrust). I took the opportunity and brought trust management aspects into my work on monitoring software components. A typical example is to grant users access depending on the benevolence of their previous behavior. The work on security and trust management lasted until my move to Trondheim in 2005.

The work on trust management was revived in the period between 2017 and 2019, when the ERCIM postdoctoral researcher Zeeshan Ali Khan showed interest to combine trust management with intrusion detection. This led to another approach.

Constraint-oriented specification and verification of distributed systems using temporal logic:

After some project work, my research in this area was started with my Ph.D. project carried out between 1993 and 1997. Lamport’s well-known Temporal Logic of Actions (TLA) was extended to the version compositional TLA (cTLA), that is suited to the creation of constraint-oriented specifications and modular verification. This allowed me to create a framework of cTLA specifications modelling both, protocol mechanisms used in transport protocols and service properties. Moreover, by temporal logic deductions, I could prove that particular combinations of protocol mechanisms implement certain service properties.

Framework users can now create formal models of protocols and the services to be realized by them by instantiating and composing building blocks from the framework. Thanks to the already done verifications, it is now very easy to verify formally that the specified protocol indeed realizes the modelled service, since verifications can be subdivided into proof-steps that directly correspond to the verifications already carried out.

Afterwards, within the postgraduate research program “Modelling and Model-Based Design of Complex Technological Systems” at the University of Dortmund, Germany, I extended this approach to the area of hybrid technical systems, now often called cyber-physical systems. Another cTLA framework was developed that made it possible to verify that technical systems in chemical engineering fulfill certain safety properties, e.g., preventing that a liquid is pumped against a closed valve. This work was carried out between 1997 and 2001.

Publications

2024

Bråten, Anders Eivind; Kraemer, Frank Alexander; Palma, David; Herrmann, Peter. (2024) Synthesis of a Conceptual Architecture for Cognitive IoT Device Management. Norwegian University of Science, NTNU
Doctoral dissertation
Ober, Iulian; de Saqui-Sannes, Pierre; Herrmann, Peter; Ellevseth, Stein Erik. (2024) Preface to the special issue on model-driven engineering and system analysis and modelling. Innovations in Systems and Software Engineering
Editorial

2021

Oplenskedal, Magnus Karsten; Herrmann, Peter; Taherkordi, Amir. (2021) DEEPMATCH2: A comprehensive deep learning-based approach for in-vehicle presence detection. Information Systems
Academic article
Khan, Zeeshan Ali; Herrmann, Peter. (2021) Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol. IEEE conference proceedings
Academic chapter/article/Conference paper
Puka, Ergys; Herrmann, Peter. (2021) Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2021) Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection. Institute of Electrical and Electronics Engineers (IEEE)
Academic chapter/article/Conference paper

2020

Puka, Ergys; Herrmann, Peter; Taherkordi, Amirhosein. (2020) Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication. IEEE Vehicular Technology Conference (VTC)
Academic article
Herrmann, Peter; Puka, Ergys; Skoglund, Tor Rune. (2020) Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2020) DeepMatch: deep matching for in-vehicle presence detection in transportation. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Bejanaro, Ronal; Pääkkönen, Roope; Blech, Jan Olaf; Peake, Ian; Herrmann, Peter; Vyatkin, Valeriy. (2020) Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. IEEE Conference on Emerging Technologies and Factory Automation
Academic article
Meyer, Jon Arild Ekberg; Puka, Ergys; Herrmann, Peter. (2020) Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Dead Spots. Lecture Notes in Computer Science (LNCS)
Academic article

2019

Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2019) Automated Product Localization through Mobile Data Analysis. IEEE conference proceedings
Academic chapter/article/Conference paper
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2019) Automated Product Localization through Mobile Data Analysis. Proceedings (IEEE International Conference on Mobile Data Management)
Academic article
Khan, Zeeshan Ali; Herrmann, Peter. (2019) Recent Advancements in Intrusion Detection Systems for the Internet of Things. Security and Communication Networks
Academic literature review
Puka, Ergys; Herrmann, Peter. (2019) A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. IEEE Press
Academic chapter/article/Conference paper
Puka, Ergys; Herrmann, Peter. (2019) Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots. International Journal of Cyber-Physical Systems (IJCPS)
Academic article

2018

Oplenskedal, Magnus Karsten; Herrmann, Peter; Blech, Jan Olaf; Taherkordi, Amirhosein. (2018) Simulation-driven Development of Self-adaptive Transportation Systems. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Puka, Ergys; Herrmann, Peter; Levin, Tomas; Skjetne, Christian Berg. (2018) A way to measure and analyze cellular network connectivity on the norwegian road system. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Zamansky, Anna; Spichkova, Maria; Rodriguez-Navas, Guillermo; Herrmann, Peter; Blech, Jan Olaf. (2018) Towards Classification of Lightweight Formal Methods. SciTePress
Academic chapter/article/Conference paper
Taherkordi, Amirhosein; Herrmann, Peter. (2018) Pervasive Smart Contracts for Blockchains in IoT Systems. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Herrmann, Peter; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz. (2018) Model-based Development and Spatiotemporal Behavior of Cyber-Physical Systems. IGI Global
Academic chapter/article/Conference paper

2017

Khan, Zeeshan Ali; Herrmann, Peter. (2017) A trust based distributed intrusion detection mechanism for internet of things. Advanced Information Networking and Applications
Academic article
Khan, Zeeshan Ali; Herrmann, Peter. (2017) How to Secure Internet of Things Devices in an Energy Efficient Way. ERCIM News
Academic literature review
Hordvik, Simon Eikeland; Øseth, Kristoffer; Svendsen, Henrik Heggelund; Blech, Jan Olaf; Herrmann, Peter. (2017) Model-based Engineering and Spatiotemporal Analysis of Transport Systems. Springer
Academic chapter/article/Conference paper
Khan, Zeeshan Ali; Ullrich, Johanna; Voyiatzis, Artemios; Herrmann, Peter. (2017) A Trust-based Resilient Routing Mechanism for the Internet of Things. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Svae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf. (2017) Self-adaptive control in cyber-physical systems: The autonomous train experiment. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Herrmann, Peter; Blech, Jan Olaf. (2017) Formal Analysis of Control Software for Cyber-Physical Systems. IEEE conference proceedings
Academic chapter/article/Conference paper
Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf; Fernandez Fernandez, Alvaro. (2017) Service virtualization for self-adaptation in mobile cyber-physical systems. Lecture Notes in Computer Science (LNCS)
Academic article

2016

Hordvik, Simon Eikeland; Øseth, Kristoffer; Svendsen, Henrik Heggelund; Blech, Jan Olaf; Herrmann, Peter. (2016) Model-based engineering and spatiotemporal analysis of transport systems. Communications in Computer and Information Science (CCIS)
Academic article
Herrmann, Peter Michael; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz. (2016) A model-based toolchain to verify spatial behavior of cyber-physical systems. International Journal of Web Services Research
Academic article
Herrmann, Peter; Svae, Alexander; Svendsen, Henrik Heggelund; Blech, Jan Olaf. (2016) Collaborative Model-based Development of a Remote Train Monitoring System. SciTePress
Academic chapter/article/Conference paper
Hordvik, Simon Eikeland; Øseth, Kristoffer; Blech, Jan Olaf; Herrmann, Peter. (2016) A Methodology for Model-based Development and Safety Analysis of Transport Systems. SciTePress
Academic chapter/article/Conference paper
Oplenskedal, Magnus; Herrmann, Peter; Blech, Jan Olaf. (2016) Model-based Development of a Controller and Simulator for a Mobile Robot. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Herrmann, Peter; Blech, Jan Olaf. (2016) Formal Model-based Development in Industrial Automation with Reactive Blocks. Lecture Notes in Computer Science (LNCS)
Academic article

2015

Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter; Schmidt, Heinz. (2015) Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Blech, Jan Olaf; Herrmann, Peter Michael; Peake, Ian; Schmidt, Heinz. (2015) Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. SciTePress
Academic chapter/article/Conference paper
Blech, Jan Olaf; Herrmann, Peter. (2015) Behavioral types for space-aware systems. CEUR Workshop Proceedings
Academic article
Kraemer, Frank Alexander; Herrmann, Peter Michael. (2015) Creating Internet of Things Applications from Building Blocks. ERCIM News
Short communication

2014

Spichkova, Maria; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz. (2014) Modeling spatial aspects of safety-critical systems with FOCUS-ST. CEUR Workshop Proceedings
Academic article
Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz. (2014) Towards Verifying Safety Properties of Real-Time Probabilistic Systems. Electronic Proceedings in Theoretical Computer Science (EPTCS)
Academic article
Slåtten, Vidar; Herrmann, Peter Michael; Bræk, Rolv. (2014) Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification. Doktoravhandlinger ved NTNU (211)
Doctoral dissertation
Vasilevskaya, Maria; Gunawan, Linda Ariani; Nadjm-Tehrani, Simin; Herrmann, Peter Michael. (2014) Integrating Security Mechanisms into Embedded Systems by Domain-specific Modelling. Security and Communication Networks
Academic article

2013

Han, Fenglin; Herrmann, Peter Michael; Le, Hien Nam. (2013) Modeling and Verifying Real-time Properties of Reactive Systems. IEEE conference proceedings
Academic chapter/article/Conference paper
Gladysh, Sergiy; Herrmann, Peter Michael. (2013) Modeling Reactive Trust Acquisition Using State Transition Systems. IFIP Advances in Information and Communication Technology
Academic article
Gunawan, Linda Ariani; Herrmann, Peter. (2013) Compositional Verification of Application-Level Security Properties. Lecture Notes in Computer Science (LNCS)
Academic article
Slåtten, Vidar; Herrmann, Peter Michael; Kraemer, Frank Alexander. (2013) Model-Driven Engineering of Reliable Fault-Tolerant Systems-A State-of-the-Art Survey. Advances in Computers
Academic article

2012

Han, Fenglin; Herrmann, Peter Michael. (2012) Remedy of Mixed Initiative Conflicts in Model-based System Engineering. Electronic Communications of the EASST
Academic article
Gunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter. (2012) Behavioral Singletons to Consistently Handle Global States of Security Patterns. Lecture Notes in Computer Science (LNCS)
Academic article
Vasilevskaya, Maria; Gunawan, Linda Ariani; Nadjm-Tehrani, Simin; Herrmann, Peter. (2012) Security Asset Elicitation for Collaborative Models. Proceedings of the ACM/IEEE Joint Conference on Digital Libraries (JCDL)
Academic article
Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2012) Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems. SIGPLAN notices
Academic article

2011

Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics. ACM Publications
Academic chapter/article/Conference paper
Sætre, Rune; Khan, Mohammad Ullah; Stav, Erlend; Fernandez, Alfredo Perez; Herrmann, Peter Michael; Gulla, Jon Atle. (2011) Towards Ontology-Driven End-User Composition of Personalized Mobile Services. Lecture Notes in Computer Science (LNCS)
Academic article
Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) System Analysis and Modeling: About Models. Springer Lecture Notes in Computer Science (LNCS) (0302-9743)
Academic anthology/Conference proceedings
Slåtten, Vidar; Herrmann, Peter Michael. (2011) Contracts for Multi-instance UML Activities. Lecture Notes in Computer Science (LNCS)
Academic article
Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study. ACM Publications
Academic chapter/article/Conference paper
Gunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. Lecture Notes in Computer Science (LNCS)
Academic article
Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter Michael. (2011) Cost-Efficient Deployment of Distributed Software Services. Doktoravhandlinger ved NTNU (2011:122)
Doctoral dissertation
Gunawan, Linda Ariani; Vogel, Michael; Kraemer, Frank Alexander; Schmerl, Sebastian; Slåtten, Vidar; Herrmann, Peter Michael. (2011) Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks. Software engineering notes
Academic article
Floch, Jacqueline; Herrmann, Peter Michael; Khan, Mohammad Ullah; Sanders, Richard; Stav, Erlend; Sætre, Rune. (2011) End-User Service Composition in Mobile Pervasive Environments. Lecture Notes in Computer Science (LNCS)
Abstract
Han, Fenglin; Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv; Herrmann, Peter Michael. (2011) Towards Choreography Model Transformation via Graph Transformation. IEEE Press
Academic chapter/article/Conference paper
Sætre, Rune; Khan, Mohammad Ullah; Herrmann, Peter Michael. (2011) End-user Composition of Web-based Services: The “Plus Alpha” Approach. Tapir Akademisk Forlag
Other

2010

Herrmann, Peter; Tavakolifard, Mozhgan. (2010) Special Issue of Electronic Commerce Research Journal on Trust and Privacy Aspects of Electronic Commerce. Springer Electronic Commerce Research (3-4)
Academic anthology/Conference proceedings
Herrmann, Peter Michael; Tavakolifard, Mozhgan. (2010) Special issue on trust and privacy in electronic commerce. Electronic Commerce Research
Editorial
Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Reactive Semantics for Distributed UML Activities. Lecture Notes in Computer Science (LNCS)
Academic article
Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2010) Component Deployment Using Parallel Ant-nests. International Journal of Autonomous and Adaptive Communications Systems
Academic article

2009

Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter. (2009) Compositional Service Engineering with Arctis. Telektronikk
Academic article
Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2009) Inferring Trust Based on Similarity with TILLIT. IFIP Advances in Information and Communication Technology
Academic article
Tavakolifard, Mozhgan; Herrmann, Peter; Øzturk, Pinar. (2009) Analogical Trust Reasoning. IFIP Advances in Information and Communication Technology
Academic article
Kraemer, Frank Alexander; Herrmann, Peter Michael. (2009) Automated Encapsulation of UML Activities for Incremental Development and Verification. Lecture Notes in Computer Science (LNCS)
Academic article
Kraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2009) Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software
Academic article
Kraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2009) Model-Driven Construction of Embedded Applications  based on Reusable Building Blocks - An Example. Lecture Notes in Computer Science (LNCS)
Academic article
Gunawan, Linda Ariani; Herrmann, Peter Michael; Kraemer, Frank Alexander. (2009) Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. Communications in Computer and Information Science (CCIS)
Academic article
Csorba, Mate Jozsef; Meling, Hein; Heegaard, Poul Einar; Herrmann, Peter. (2009) Foraging for Better Deployment of Replicated Service Components. Lecture Notes in Computer Science (LNCS)
Academic article

2008

Karabulut, Yücel; Mitchell, John C.; Herrmann, Peter; Jensen, Christian Damsgaard. (2008) Trust Management II - Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security. Springer Science+Business Media B.V. IFIP International Federation for Information Processing (263)
Academic anthology/Conference proceedings
Karabulut, Yücel; Mitchell, John C.; Herrmann, Peter; Jensen, Christian D.. (2008) Trustmanagement II - Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security. Springer Science+Business Media B.V. IFIP International Federation for Information Processing (263)
Academic anthology/Conference proceedings
Kemmerer, Richard A.; Bueschkes, Roland; Fessi, Ali; König, Hartmut; Herrmann, Peter; Wolthusen, Stephen. (2008) Outcome Working Group - Situational Awareness. Dagstuhl Seminar Proceedings
Academic article
Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Cost-Efficient Deployment of Collaborating Components. Lecture Notes in Computer Science (LNCS)
Academic article
Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Trust transferability among similar contexts. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Adaptable Model-based Component Deployment Guided by Artificial Ants. Association for Computing Machinery (ACM)
Other
Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Cross-Situation Trust Reasoning. IEEE (Institute of Electrical and Electronics Engineers)
Other

Books

Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) System Analysis and Modeling: About Models. Springer Lecture Notes in Computer Science (LNCS) (0302-9743)
Academic anthology/Conference proceedings
Herrmann, Peter; Tavakolifard, Mozhgan. (2010) Special Issue of Electronic Commerce Research Journal on Trust and Privacy Aspects of Electronic Commerce. Springer Electronic Commerce Research (3-4)
Academic anthology/Conference proceedings
Karabulut, Yücel; Mitchell, John C.; Herrmann, Peter; Jensen, Christian Damsgaard. (2008) Trust Management II - Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security. Springer Science+Business Media B.V. IFIP International Federation for Information Processing (263)
Academic anthology/Conference proceedings
Karabulut, Yücel; Mitchell, John C.; Herrmann, Peter; Jensen, Christian D.. (2008) Trustmanagement II - Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security. Springer Science+Business Media B.V. IFIP International Federation for Information Processing (263)
Academic anthology/Conference proceedings

Part of book/report

Khan, Zeeshan Ali; Herrmann, Peter. (2021) Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol. IEEE conference proceedings
Academic chapter/article/Conference paper
Puka, Ergys; Herrmann, Peter. (2021) Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2021) Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection. Institute of Electrical and Electronics Engineers (IEEE)
Academic chapter/article/Conference paper
Herrmann, Peter; Puka, Ergys; Skoglund, Tor Rune. (2020) Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2020) DeepMatch: deep matching for in-vehicle presence detection in transportation. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2019) Automated Product Localization through Mobile Data Analysis. IEEE conference proceedings
Academic chapter/article/Conference paper
Puka, Ergys; Herrmann, Peter. (2019) A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. IEEE Press
Academic chapter/article/Conference paper
Oplenskedal, Magnus Karsten; Herrmann, Peter; Blech, Jan Olaf; Taherkordi, Amirhosein. (2018) Simulation-driven Development of Self-adaptive Transportation Systems. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Puka, Ergys; Herrmann, Peter; Levin, Tomas; Skjetne, Christian Berg. (2018) A way to measure and analyze cellular network connectivity on the norwegian road system. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Zamansky, Anna; Spichkova, Maria; Rodriguez-Navas, Guillermo; Herrmann, Peter; Blech, Jan Olaf. (2018) Towards Classification of Lightweight Formal Methods. SciTePress
Academic chapter/article/Conference paper
Taherkordi, Amirhosein; Herrmann, Peter. (2018) Pervasive Smart Contracts for Blockchains in IoT Systems. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Herrmann, Peter; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz. (2018) Model-based Development and Spatiotemporal Behavior of Cyber-Physical Systems. IGI Global
Academic chapter/article/Conference paper
Hordvik, Simon Eikeland; Øseth, Kristoffer; Svendsen, Henrik Heggelund; Blech, Jan Olaf; Herrmann, Peter. (2017) Model-based Engineering and Spatiotemporal Analysis of Transport Systems. Springer
Academic chapter/article/Conference paper
Khan, Zeeshan Ali; Ullrich, Johanna; Voyiatzis, Artemios; Herrmann, Peter. (2017) A Trust-based Resilient Routing Mechanism for the Internet of Things. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Svae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf. (2017) Self-adaptive control in cyber-physical systems: The autonomous train experiment. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Herrmann, Peter; Blech, Jan Olaf. (2017) Formal Analysis of Control Software for Cyber-Physical Systems. IEEE conference proceedings
Academic chapter/article/Conference paper
Herrmann, Peter; Svae, Alexander; Svendsen, Henrik Heggelund; Blech, Jan Olaf. (2016) Collaborative Model-based Development of a Remote Train Monitoring System. SciTePress
Academic chapter/article/Conference paper
Hordvik, Simon Eikeland; Øseth, Kristoffer; Blech, Jan Olaf; Herrmann, Peter. (2016) A Methodology for Model-based Development and Safety Analysis of Transport Systems. SciTePress
Academic chapter/article/Conference paper
Oplenskedal, Magnus; Herrmann, Peter; Blech, Jan Olaf. (2016) Model-based Development of a Controller and Simulator for a Mobile Robot. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter; Schmidt, Heinz. (2015) Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper
Blech, Jan Olaf; Herrmann, Peter Michael; Peake, Ian; Schmidt, Heinz. (2015) Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. SciTePress
Academic chapter/article/Conference paper
Han, Fenglin; Herrmann, Peter Michael; Le, Hien Nam. (2013) Modeling and Verifying Real-time Properties of Reactive Systems. IEEE conference proceedings
Academic chapter/article/Conference paper
Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics. ACM Publications
Academic chapter/article/Conference paper
Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study. ACM Publications
Academic chapter/article/Conference paper
Han, Fenglin; Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv; Herrmann, Peter Michael. (2011) Towards Choreography Model Transformation via Graph Transformation. IEEE Press
Academic chapter/article/Conference paper
Sætre, Rune; Khan, Mohammad Ullah; Herrmann, Peter Michael. (2011) End-user Composition of Web-based Services: The “Plus Alpha” Approach. Tapir Akademisk Forlag
Other
Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Trust transferability among similar contexts. Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Adaptable Model-based Component Deployment Guided by Artificial Ants. Association for Computing Machinery (ACM)
Other
Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Cross-Situation Trust Reasoning. IEEE (Institute of Electrical and Electronics Engineers)
Other
Kraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Academic chapter/article/Conference paper
Kraemer, Frank Alexander; Herrmann, Peter Michael. (2006) Service Specification by Composition of Collaborations — An Example. IEEE (Institute of Electrical and Electronics Engineers)
Academic chapter/article/Conference paper

Report

Bråten, Anders Eivind; Kraemer, Frank Alexander; Palma, David; Herrmann, Peter. (2024) Synthesis of a Conceptual Architecture for Cognitive IoT Device Management. Norwegian University of Science, NTNU
Doctoral dissertation
Slåtten, Vidar; Herrmann, Peter Michael; Bræk, Rolv. (2014) Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification. Doktoravhandlinger ved NTNU (211)
Doctoral dissertation
Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter Michael. (2011) Cost-Efficient Deployment of Distributed Software Services. Doktoravhandlinger ved NTNU (2011:122)
Doctoral dissertation

Teaching

Courses

Outreach

2021

Academic lecture

Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2021) Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection. IEEE Computer 3rd IEEE Conference on Cognitive Machine Intelligence , Virtual Conference 2021-12-13 - 2021-12-15
Academic lecture

Puka, Ergys; Herrmann, Peter. (2021) Simulating a Context-Aware Message Flooding Protocol to Mitigate Cellular Dead Spots with Realistic Drivers’ Behavior. IEEE ITSS 24th IEEE International Conference on Intelligent Transportation (ITSC) , Indianapolis 2021-09-19 - 2021-09-22
Academic lecture

Khan, Zeeshan Ali; Herrmann, Peter. (2021) Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol. IFIP 8th IFIP NTMS Workshop on Wireless Sensor Networks and Internet of Things (WSN-IOT) , Paris 2021-04-19 - 2021-04-21

2020

Academic lecture

Bejanaro, Ronal; Pääkkönen, Roope; Blech, Jan Olaf; Peake, Ian; Herrmann, Peter; Vyatkin, Valeriy. (2020) Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) , Vienna 2020-09-08 - 2020-09-11
Academic lecture

Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2020) Deep Matching for In-Vehicle Presence Detection in Transportation. ACM 14th ACM International Conference on Distributed and Event-based Systems (DEBS) , Montreal (Virtual) 2020-07-13 - 2020-07-17
Academic lecture

Puka, Ergys; Herrmann, Peter; Taherkordi, Amirhosein. (2020) Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication. IEEE IEEE Vehicular Technology Conference 2020 Fall (VTC2020-Fall) , Victoria (online only) 2020-11-18 - 2020-12-16
Academic lecture

Herrmann, Peter; Puka, Ergys; Skoglund, Tor Rune. (2020) Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays. IEEE 8th IEEE International Conference on Smart City and Informatization (iSCI) , Guangzhou 2020-12-29 - 2021-01-01

2019

Academic lecture

Puka, Ergys; Herrmann, Peter. (2019) A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. IEEE Computer 5th IEEE International Workshop on Communication, Computing, and Networking in Cyber Physical Systems (CCNCPS) , Washington, DC 2019-06-09 - 2019-09-12
Academic lecture

Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2019) Automated Product Localization through Mobile Data Analysis. IEEE Computer 20th IEEE International Conference on Mobile Data Management , Hong Kong 2019-06-10 - 2019-06-13
Academic lecture

Meyer, Jon Arild Ekberg; Puka, Ergys; Herrmann, Peter. (2019) Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Deadspots. 6th International Conference on Internet of Vehicles (IOV) , Kaohsiung 2019-11-18 - 2019-11-21

2018

Academic lecture

Oplenskedal, Magnus Karsten; Herrmann, Peter; Blech, Jan Olaf; Taherkordi, Amirhosein. (2018) Simulation-driven Development of Self-adaptive Transportation Systems. IEEE NetSoft 2018 – International Workshop on Emerging Trends in Softwarized Networks (ETSN) , Montreal 2018-06-25 - 2018-06-25
Academic lecture

Zamansky, Anna; Spichkova, Maria; Rodriguez-Navas, Guillermo; Herrmann, Peter; Blech, Jan Olaf. (2018) Towards Classification of Lightweight Formal Methods. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) , Funchal 2018-03-23 - 2018-03-24
Academic lecture

Puka, Ergys; Herrmann, Peter; Levin, Tomas; Skjetne, Christian Berg. (2018) A Way to Measure and Analyze Cellular Network Connectivity on the Norwegian Road System. 10th International Conference on Communication Systems & Networks (COMSNETS) , Bengaluru 2018-01-03 - 2018-01-07
Academic lecture

Taherkordi, Amirhosein; Herrmann, Peter. (2018) Pervasive Smart Contracts for Blockchains in IoT Systems. ACM 2018 International Conference on Blockchain Technology and Application , Xi'an 2018-12-10 - 2018-12-12

2017

Academic lecture

Herrmann, Peter; Blech, Jan Olaf. (2017) Formal Analysis of Control Software for Cyber-Physical Systems. IEEE Computer 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) , Prague 2017-07-25 - 2017-07-29
Lecture

Svae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf. (2017) Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. ACM 32nd ACM Symposium on Applied Computing (SAC) , Marrakech 2017-04-04 - 2017-04-06
Academic lecture

Khan, Zeeshan Ali; Ullrich, Johanna; Voyiatzis, Artemios; Herrmann, Peter. (2017) A Trust-based Resilient Routing Mechanism for the Internet of Things. 12th International Conference on Availability, Reliability and Security , Reggio di Calabria 2017-08-29 - 2017-09-01

2016

Academic lecture

Herrmann, Peter; Svae, Alexander; Svendsen, Henrik Heggelund; Blech, Jan Olaf. (2016) Collaborative Model-based Development of a Remote Train Monitoring System. SciTePress 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods , Rome 2016-04-27 - 2016-04-28
Academic lecture

Hordvik, Simon; Øseth, Kristoffer; Blech, Jan Olaf; Herrmann, Peter. (2016) A Methodology for Model-based Development and Safety Analysis of Transport Systems. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods , Rome 2016-04-27 - 2016-04-28
Academic lecture

Oplenskedal, Magnus; Herrmann, Peter; Blech, Jan Olaf. (2016) Model-based Development of a Controller and Simulator for a Mobile Robot. Mahidol University 2016 5th ICT International Student Project Conference (ICT-ISPC) , Bangkok 2016-05-27 - 2016-05-28
Academic lecture

Herrmann, Peter; Blech, Jan Olaf. (2016) Formal Model-based Development in Industrial Automation with Reactive Blocks. University of Vienna 3rd Human-Oriented Formal Methods Workshop (HOFM2016) , Vienna 2016-07-04 - 2016-07-04
Academic lecture

Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf; Fernandez, Alvaro. (2016) Service Virtualization for Self-Adaptation in Mobile Cyber-Physical Systems. International Workshop on Management of Service-Oriented Cyber-Physical Systems (MCPS) , Banff 2016-10-10 - 2016-10-10

2015

Academic lecture

Blech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Component-based Development of Cyber-Physical Systems. Maria Spichkova, Heinz Schmidt 2nd Human-Oriented Formal Methods Workshop (HOFM2015) , York 2015-09-07 - 2015-09-07
Popular scientific lecture

Herrmann, Peter. (2015) State of the art IoT research - What do we know and what are the biggest questions we pursuit? . Næringsforeningen i Trondheimsregionen Innovasjonsfrokost , Trondheim 2015-08-28 - 2015-08-28
Academic lecture

Blech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Space-aware Systems. Iulia Dragomir et al. 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems , Ottawa 2015-09-28 - 2015-09-28

2014

Academic lecture

Spichkova, Maria; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz. (2014) Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST. Model-Driven Engineering, Verification, and Validation in MDE, Satellite event of MoDELS2014 , Valencia 2014-09-30 - 2014-09-30
Academic lecture

Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz. (2014) Towards Verifying Safety Properties of Real-Time Probabilistic Systems. 11th International Workshop on Formal Engineering approaches to Software Components and Architectures , Grenoble 2014-04-12 - 2014-04-12
Academic lecture

Herrmann, Peter Michael; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz. (2014) A Model-based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. 2014 Asia-Pacific Services Computing Conference (APSCC) , Fuzhou 2014-12-04 - 2014-12-06

2013

Academic lecture

Han, Fenglin; Herrmann, Peter Michael; Le, Hien Nam. (2013) Modeling and verifying real-time properties of reactive systems. IEEE 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2013) , National University of Singapore, School of Computing 2013-07-17 - 2013-07-21
Academic lecture

Han, Fenglin; Herrmann, Peter Michael. (2013) Modeling Real-Time System Performance with Respect to Scheduling Analysis. IEEE 6th IEEE International Conference on Ubi-Media Computing (UMEDIA 2013) , Aizu-Wakamatsu 2013-11-02 - 2013-11-04

2012

Academic lecture

Gunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter. (2012) Behavioral Singletons to Consistently Handle Global States of Security Patterns. KTH 7th International Federated Conference on Distributed Computing Techniques (DAIS 2012) , Stockholm 2012-06-13 - 2012-06-15

2011

Poster

Sætre, Rune; Khan, Mohammad Ullah; Stav, Erlend; Fernandez, Alfredo Perez; Herrmann, Peter Michael; Gulla, Jon Atle. (2011) Towards Ontology-Driven Composition of Personalized Mobile Services by End-users. NLDB Natural Language Processing and Information Systems , Alicante 2011-06-28 - 2011-06-30
Academic lecture

Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study. Tenth International Conference on Generative Programming and Component Engineering (GPCE 2011) , Portland, Oregon 2011-10-22 - 2011-10-23
Academic lecture

Slåtten, Vidar; Herrmann, Peter Michael. (2011) Contracts for Multi-instance UML Activities. 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems (FMOODS & FORTE 2011) 2011-06-06 - 2011-06-08
Academic lecture

Gunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. Third International Symposium on Engineering Secure Software and Systems (ESSoS) , Madrid 2011-02-09 - 2011-02-10
Academic lecture

Floch, Jacqueline; Stav, Erlend; Khan, Mohammad Ullah; Herrmann, Peter Michael; Sanders, Richard; Sætre, Rune. (2011) End-User Service Composition in Mobile Pervasive Environments. End-User Development, EUD4Services Third International Symposium, IS-EUD 2011 , Torre Canne (BR) 2011-06-07 - 2011-06-07
Academic lecture

Sætre, Rune; Khan, Mohammad Ullah; Herrmann, Peter Michael. (2011) End-user Composition of Web-based Services: The “Plus Alpha” Approach. Norwegian University of Science and technology India-Norway Workshop on Web Concepts and Technologies 2011 , Trondheim 2011-10-03 - 2011-10-03

2010

Academic lecture

Herrmann, Peter Michael. (2010) Engineering Distributed Applications with Collaborative UML Activities. Bezalel Gavish Networking and Electronic Commerce Research Conference 2010 , Riva del Garda 2010-10-07 - 2010-10-10
Academic lecture

Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Reactive Semantics for Distributed UML Activities. John Hatcliff and Elena Zucca Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010 , Amsterdam 2010-06-07 - 2010-06-09
Academic lecture

Gunawan, Linda Ariani; Vogel, Michael; Kraemer, Frank Alexander; Schmerl, Sebastian; Slåtten, Vidar; Herrmann, Peter Michael. (2010) Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks. Third IEEE International Workshop UML and Formal Methods , Shanghai 2010-11-16 - 2010-11-16
Poster

Gladysh, Sergiy; Herrmann, Peter Michael; Knapskog, Svein Johan. (2010) User-Centered Security, Privacy and Trust in Ubiquitous Social Network Services. Norges Forskningsråd - The Research Council of Norway The VERDIKT Conference 2010 , Oslo 2010-11-01 - 2010-11-02
Academic lecture

Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics. SERENE, ERCIM Working Group International Workshop on Software Engineering for Resilient Systems (SERENE 2010) , London 2010-04-15 - 2010-04-16
Poster

Gladysh, Sergiy; Herrmann, Peter. (2010) Trust issues for ¨No carries, no pain¨. SINTEF UbiCompForAll Project Workshop , Trondheim 2010-11-15 - 2010-11-16

2009

Academic lecture

Tavakolifard, Mozhgan; Herrmann, Peter; Øzturk, Pinar. (2009) Analogical Trust Reasoning (presentation). Third IFIP WG 11.11 International Conference, IFIPTM 2009 2009-06-15 - 2009-06-19
Academic lecture

Tavakolifard, Mozhgan; Herrmann, Peter; Knapskog, Svein Johan. (2009) Inferring Trust Based on Similarity with TILLIT (presentation). IFIPTM 2009 : Third IFIP WG 11.11 International Conference on Trust Management Bookmark and Share 2009-06-15 - 2009-06-19
Academic lecture

Gunawan, Linda Ariani; Herrmann, Peter Michael; Kraemer, Frank Alexander. (2009) Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. Science and Engineering Research Support Center (SERSC) 2009 International Conference on Security Technology (SecTech 2009) , Jeju Island 2009-12-10 - 2009-12-12
Academic lecture

Kraemer, Frank Alexander; Herrmann, Peter Michael. (2009) Automated Encapsulation of UML Activities for Incremental Development and Verification. Int. Conference on Model Driven Engineering, Languages and Systems (Models) , Denver 2009-10-04 - 2009-10-09
Academic lecture

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

2008

Academic lecture

Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Cross-Situation Trust Reasoning. IEEE/WIC/ACM The IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology , Sydney 2008-12-09 - 2008-12-12
Academic lecture

Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Trust transferability among similar contexts. International Workshop on Modeling Analysis and Simulation of Wireless and Mobile Systems , Vancouver, British Columbia, Canada 2008-10-27 - 2008-10-28
Academic lecture

Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Adaptable Model-based Component Deployment Guided by Artificial Ants. ICST, ACM 2nd International Conference on Autonomic Computing and Communication Systems , Turin 2008-09-23 - 2008-09-25
Academic lecture

Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Cost-Efficient Deployment of Collaborative Components. René Meier, Sotirios Terzis 8th IFIP WG6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2008) , Oslo 2008-06-04 - 2008-06-06

2007

Academic lecture

Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. SDL Forum Society 13th SDL Forum , Paris 2007-09-18 - 2007-09-21
Academic lecture

Kraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Transforming Collaborative Service Specifications into Efficiently Executable State Machines. 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007) , Braga 2007-03-31 - 2007-04-01
Academic lecture

Kraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. Networking and Electronic Commerce Research Conference , Lake Garda 2007-10-18 - 2007-10-21
Academic lecture

Herrmann, Peter Michael; Kraemer, Frank Alexander. (2007) Design of Trusted Systems with Reusable Collaboration Models. Joint iTrust and PST Conferences on Privacy, Trust Management and Security , Moncton 2007-07-30 - 2007-08-02
Academic lecture

Kraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2007) Engineering Support for UML Activities by Automated Model-Checking - An Example. ERCIM Working Group 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE) , Luxembourg 2007-11-26 - 2007-11-27

2006

Academic lecture

Herrmann, Peter Michael. (2006) Temporal Logic-Based Specification and Verification of Trust Models. F. Martinelli, F. Massacci, K. Stølen, W. H. Winsborough 4th International Conference on Trust Management , Pisa 2006-05-16 - 2006-05-19
Academic lecture

Herrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Modellbasierte Entwicklung von Kommunikationsdiensten an der NTNU. Maritta Heisel Jahrestreffen der GI-Fachgruppe FoMSESS , Duisburg 2006-06-12 - 2006-06-13
Academic lecture

Herrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Collaboration-Oriented Service Engineering by means of Model Transformation. Fabio Martinelli Meeting of the ERCIM Security and Trust Management Working Group , Hamburg 2006-09-20 - 2006-09-21
Academic lecture

Kraemer, Frank Alexander; Herrmann, Peter Michael. (2006) Service Specification by Composition of Collaborations - An Example. IEEE International Workshop on Service Composition (Sercomp'06) , Hong Kong 2006-12-18 -
Academic lecture

Kraemer, Frank Alexander; Herrmann, Peter Michael; Bræk, Rolv. (2006) Aligning UML 2.0 State Machines and Temporal logic for the Efficient Execution of Services. OTM Confederated Conferences, Distributed Objects and Applications (DOA) , Montpellier 2006-10-30 - 2006-11-01

Språkvelger

Peter Herrmann

Peter Herrmann

About

Research topics

Projects

Tools

Publications

Competencies

Research

Communication technology aspects in Intelligent Transportation Systems:

Formal techniques-based design of control software and proof of spatiotemporal properties:

Model-based development of distributed systems:

Security and trust management of software components:

Constraint-oriented specification and verification of distributed systems using temporal logic:

Publications

2024

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

Journal publications

Books

Part of book/report

Report

Teaching

Courses

Outreach

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006