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
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
2021
-
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
-
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;
Herrmann, Peter;
Taherkordi, Amir.
(2021)
DEEPMATCH2: A comprehensive deep learning-based approach for in-vehicle presence detection.
Information Systems
Academic article
2020
-
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
-
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
-
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
-
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
-
Puka, Ergys;
Herrmann, Peter.
(2019)
Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots.
International Journal of Cyber-Physical Systems (IJCPS)
Academic article
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2019)
Automated Product Localization through Mobile Data Analysis.
IEEE conference proceedings
Academic chapter/article/Conference paper
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2019)
Recent Advancements in Intrusion Detection Systems for the Internet of Things.
Security and Communication Networks
Academic literature review
-
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
-
Puka, Ergys;
Herrmann, Peter.
(2019)
A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility.
IEEE Press
Academic chapter/article/Conference paper
2018
-
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
-
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
-
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
-
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
2017
-
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
-
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;
Herrmann, Peter.
(2017)
How to Secure Internet of Things Devices in an Energy Efficient Way.
ERCIM News
Academic literature review
-
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
-
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
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2017)
A trust based distributed intrusion detection mechanism for internet of things.
Advanced Information Networking and Applications
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;
Blech, Jan Olaf.
(2016)
Formal Model-based Development in Industrial Automation with Reactive Blocks.
Lecture Notes in Computer Science (LNCS)
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
2015
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News
Short communication
-
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
2014
-
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
-
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
2013
-
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
-
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
2012
-
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
-
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
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
-
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
-
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
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter Michael.
(2011)
Cost-Efficient Deployment of Distributed Software Services.
Doktoravhandlinger ved NTNU (2011:122)
Doctoral dissertation
-
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
-
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
-
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
-
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
-
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
-
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
2010
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2010)
Reactive Semantics for Distributed UML Activities.
Lecture Notes in Computer Science (LNCS)
Academic article
-
Herrmann, Peter Michael;
Tavakolifard, Mozhgan.
(2010)
Special issue on trust and privacy in electronic commerce.
Electronic Commerce Research
Editorial
-
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
-
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
-
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
-
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
-
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;
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;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk
Academic article
-
Tavakolifard, Mozhgan;
Herrmann, Peter;
Øzturk, Pinar.
(2009)
Analogical Trust Reasoning.
IFIP Advances in Information and Communication Technology
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
-
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
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
-
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
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Trust transferability among similar contexts.
Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
-
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
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter.
(2008)
Cost-Efficient Deployment of Collaborating Components.
Lecture Notes in Computer Science (LNCS)
Academic article
-
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
2007
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Academic chapter/article/Conference paper
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS)
Academic article
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing
Academic article
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Transforming Collaborative Service Specifications into Efficiently Executable State Machines.
Electronic Communications of the EASST
Academic article
2006
-
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
-
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.
Lecture Notes in Computer Science (LNCS)
Academic article
-
Herrmann, Peter Michael.
(2006)
Security Requirement Analysis of Business Processes.
Electronic Commerce Research
Academic article
-
Herrmann, Peter Michael.
(2006)
Temporal Logic-Based Specification and Verification of Trust Models.
Lecture Notes in Computer Science (LNCS)
Academic article
Journal publications
-
Oplenskedal, Magnus Karsten;
Herrmann, Peter;
Taherkordi, Amir.
(2021)
DEEPMATCH2: A comprehensive deep learning-based approach for in-vehicle presence detection.
Information Systems
Academic article
-
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
-
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
-
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
-
Puka, Ergys;
Herrmann, Peter.
(2019)
Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots.
International Journal of Cyber-Physical Systems (IJCPS)
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
-
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
-
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
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2017)
How to Secure Internet of Things Devices in an Energy Efficient Way.
ERCIM News
Academic literature review
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2017)
A trust based distributed intrusion detection mechanism for internet of things.
Advanced Information Networking and Applications
Academic article
-
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;
Blech, Jan Olaf.
(2016)
Formal Model-based Development in Industrial Automation with Reactive Blocks.
Lecture Notes in Computer Science (LNCS)
Academic article
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News
Short communication
-
Blech, Jan Olaf;
Herrmann, Peter.
(2015)
Behavioral types for space-aware systems.
CEUR Workshop Proceedings
Academic article
-
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
-
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
-
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
-
Gladysh, Sergiy;
Herrmann, Peter Michael.
(2013)
Modeling Reactive Trust Acquisition Using State Transition Systems.
IFIP Advances in Information and Communication Technology
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
-
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
-
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
-
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
-
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
-
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
-
Slåtten, Vidar;
Herrmann, Peter Michael.
(2011)
Contracts for Multi-instance UML Activities.
Lecture Notes in Computer Science (LNCS)
Academic article
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2010)
Reactive Semantics for Distributed UML Activities.
Lecture Notes in Computer Science (LNCS)
Academic article
-
Herrmann, Peter Michael;
Tavakolifard, Mozhgan.
(2010)
Special issue on trust and privacy in electronic commerce.
Electronic Commerce Research
Editorial
-
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
-
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
-
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
-
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;
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;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk
Academic article
-
Tavakolifard, Mozhgan;
Herrmann, Peter;
Øzturk, Pinar.
(2009)
Analogical Trust Reasoning.
IFIP Advances in Information and Communication Technology
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
-
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;
Heegaard, Poul Einar;
Herrmann, Peter.
(2008)
Cost-Efficient Deployment of Collaborating Components.
Lecture Notes in Computer Science (LNCS)
Academic article
-
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
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS)
Academic article
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing
Academic article
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Transforming Collaborative Service Specifications into Efficiently Executable State Machines.
Electronic Communications of the EASST
Academic article
-
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.
Lecture Notes in Computer Science (LNCS)
Academic article
-
Herrmann, Peter Michael.
(2006)
Security Requirement Analysis of Business Processes.
Electronic Commerce Research
Academic article
-
Herrmann, Peter Michael.
(2006)
Temporal Logic-Based Specification and Verification of Trust Models.
Lecture Notes in Computer Science (LNCS)
Academic article
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
-
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
-
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.
(2020)
DeepMatch: deep matching for in-vehicle presence detection in transportation.
Association for Computing Machinery (ACM)
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.
(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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Trust transferability among similar contexts.
Association for Computing Machinery (ACM)
Academic chapter/article/Conference paper
-
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
Knowledge Transfer
2021
-
Academic lectureKhan, 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
-
Academic lecturePuka, 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 lectureOplenskedal, 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
2020
-
Academic lectureBejanaro, 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 lectureOplenskedal, 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 lectureHerrmann, 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
-
Academic lecturePuka, 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
2019
-
Academic lecturePuka, 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 lectureOplenskedal, 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 lectureMeyer, 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 lecturePuka, 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 lectureTaherkordi, 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
-
Academic lectureOplenskedal, 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 lectureZamansky, 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
2017
-
LectureSvae, 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 lectureKhan, 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
-
Academic lectureHerrmann, 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
2016
-
Academic lectureTaherkordi, 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
-
Academic lectureHordvik, 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 lectureHerrmann, 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 lectureOplenskedal, 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 lectureHerrmann, 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
2015
-
Academic lectureBlech, 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
-
Academic lectureBlech, 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
-
Popular scientific lectureHerrmann, 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
2014
-
Academic lectureSpichkova, 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 lectureHerrmann, 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
-
Academic lectureHan, 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
2013
-
Academic lectureHan, 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
-
Academic lectureHan, 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
2012
-
Academic lectureGunawan, 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
-
Academic lectureSæ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
-
Academic lectureGunawan, 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 lectureFloch, 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
-
PosterSæ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 lectureSlå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 lectureSlå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
2010
-
PosterGladysh, 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 lectureKraemer, 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 lectureHerrmann, 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 lectureGunawan, 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
-
Academic lectureSlå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
-
PosterGladysh, Sergiy; Herrmann, Peter. (2010) Trust issues for ¨No carries, no pain¨. SINTEF UbiCompForAll Project Workshop , Trondheim 2010-11-15 - 2010-11-16
2009
-
Academic lectureTavakolifard, 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 lectureTavakolifard, 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 lectureKraemer, 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 lectureKraemer, 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
-
Academic lectureGunawan, 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
2008
-
Academic lectureCsorba, 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
-
Academic lectureTavakolifard, 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 lectureCsorba, 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 lectureTavakolifard, 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
2007
-
Academic lectureKraemer, 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 lectureHerrmann, 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 lectureKraemer, 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 lectureKraemer, 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 lectureKraemer, 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 lectureKraemer, 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
-
Academic lectureKraemer, 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 lectureHerrmann, 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 lectureHerrmann, 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 lectureHerrmann, 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