Background and activities

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.

 

Scientific, academic and artistic work

Displaying a selection of activities. See all publications in the database

2021

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

2020

2019

2018

  • Herrmann, Peter; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz. (2018) Model-based Development and Spatiotemporal Behavior of Cyber-Physical Systems. Innovative Solutions and Applications of Web Services Technology.
  • 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.
  • Oplenskedal, Magnus Karsten; Herrmann, Peter; Blech, Jan Olaf; Taherkordi, Amirhosein. (2018) Simulation-driven Development of Self-adaptive Transportation Systems. Proceedings of the 2018 IEEE Conference on Network Softwarization.
  • 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.
  • Puka, Ergys; Herrmann, Peter; Levin, Tomas; Skjetne, Christian Berg. (2018) A way to measure and analyze cellular network connectivity on the norwegian road system. 2018 10th International Conference on Communication Systems & Networks (COMSNETS).
  • Taherkordi, Amirhosein; Herrmann, Peter. (2018) Pervasive Smart Contracts for Blockchains in IoT Systems. 2018 International Conference on Blockchain Technology and Application . ACM; Xi'an. 2018-12-10 - 2018-12-12.
  • Taherkordi, Amirhosein; Herrmann, Peter. (2018) Pervasive Smart Contracts for Blockchains in IoT Systems. Proceedings of the 2018 International Conference on Blockchain Technology and Application.
  • 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.
  • Zamansky, Anna; Spichkova, Maria; Rodriguez-Navas, Guillermo; Herrmann, Peter; Blech, Jan Olaf. (2018) Towards Classification of Lightweight Formal Methods. Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018).

2017

  • Herrmann, Peter; Blech, Jan Olaf. (2017) Formal Analysis of Control Software for Cyber-Physical Systems. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) . IEEE Computer; Prague. 2017-07-25 - 2017-07-29.
  • Herrmann, Peter; Blech, Jan Olaf. (2017) Formal Analysis of Control Software for Cyber-Physical Systems. 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
  • Hordvik, Simon Eikeland; Øseth, Kristoffer; Svendsen, Henrik Heggelund; Blech, Jan Olaf; Herrmann, Peter. (2017) Model-based Engineering and Spatiotemporal Analysis of Transport Systems. Evaluation of Novel Approaches to Software Engineering.
  • Khan, Zeeshan Ali; Herrmann, Peter. (2017) A trust based distributed intrusion detection mechanism for internet of things. Advanced Information Networking and Applications.
  • Khan, Zeeshan Ali; Herrmann, Peter. (2017) How to Secure Internet of Things Devices in an Energy Efficient Way. ERCIM News. vol. 109 (4).
  • Khan, Zeeshan Ali; Ullrich, Johanna; Voyiatzis, Artemios; Herrmann, Peter. (2017) A Trust-based Resilient Routing Mechanism for the Internet of Things. ARES'17. Proceedings of The 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy — August 29 - September 01, 2017.
  • 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.
  • Svae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf. (2017) Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. 32nd ACM Symposium on Applied Computing (SAC) . ACM; Marrakech. 2017-04-04 - 2017-04-06.
  • Svae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf. (2017) Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. Proceedings of the Symposium on Applied Computing.
  • 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). vol. 10380 LNCS.

2016

2015

2014

2013

2012

2011

  • 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). vol. 6654.
  • Floch, Jacqueline; Stav, Erlend; Khan, Mohammad Ullah; Herrmann, Peter Michael; Sanders, Richard; Sætre, Rune. (2011) End-User Service Composition in Mobile Pervasive Environments. Third International Symposium, IS-EUD 2011 . End-User Development, EUD4Services; Torre Canne (BR). 2011-06-07 - 2011-06-07.
  • 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.
  • 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). vol. 6542/2011.
  • Gunawan, Linda Ariani; Vogel, Michael; Kraemer, Frank Alexander; Schmerl, Sebastian; Slåtten, Vidar; Herrmann, Peter Michael; König, Hartmut. (2011) Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks. Software engineering notes. vol. 36 (1).
  • Han, Fenglin; Kathayat, Surya Bahadur; Le, Hien Nam; Bræk, Rolv; Herrmann, Peter Michael. (2011) Towards Choreography Model Transformation via Graph Transformation. Proceedings 2011 2nd IEEE International Conference On Software Engineering and Service Science.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) System Analysis and Modeling: About Models. Springer. 2011. ISBN 978-3-642-21651-0. Lecture Notes in Computer Science (0302-9743).
  • Slåtten, Vidar; Herrmann, Peter Michael. (2011) Contracts for Multi-instance UML Activities. Lecture Notes in Computer Science (LNCS). vol. 6722.
  • 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.
  • 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.
  • 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. Proceedings of the 10th ACM international conference on Generative programming and component engineering.
  • Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics. Proceedings of the 2nd international Workshop on Software Engineering for Resilient Systems (SERENE 2010).
  • Sætre, Rune; Khan, Mohammad Ullah; Herrmann, Peter Michael. (2011) End-user Composition of Web-based Services: The “Plus Alpha” Approach. India-Norway Workshop on Web Concepts and Technologies 2011 . Norwegian University of Science and technology; Trondheim. 2011-10-03 - 2011-10-03.
  • Sætre, Rune; Khan, Mohammad Ullah; Herrmann, Peter Michael. (2011) End-user Composition of Web-based Services: The “Plus Alpha” Approach. Proceedings of the India-Norway Workshop on Web Concepts and Technologies 2011.
  • 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. Natural Language Processing and Information Systems . NLDB; Alicante. 2011-06-28 - 2011-06-30.
  • 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). vol. 6716.

2010

  • Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2010) Component Deployment Using Parallel Ant-nests. International Journal of Autonomous and Adaptive Communications Systems.
  • Gladysh, Sergiy; Herrmann, Peter. (2010) Trust issues for ¨No carries, no pain¨. UbiCompForAll Project Workshop . SINTEF; Trondheim. 2010-11-15 - 2010-11-16.
  • Gladysh, Sergiy; Herrmann, Peter Michael; Knapskog, Svein Johan. (2010) User-Centered Security, Privacy and Trust in Ubiquitous Social Network Services. The VERDIKT Conference 2010 . Norges Forskningsråd - The Research Council of Norway; Oslo. 2010-11-01 - 2010-11-02.
  • Gunawan, Linda Ariani; Vogel, Michael; Kraemer, Frank Alexander; Schmerl, Sebastian; Slåtten, Vidar; Herrmann, Peter Michael; König, Hartmut. (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.
  • Herrmann, Peter Michael. (2010) Engineering Distributed Applications with Collaborative UML Activities. Networking and Electronic Commerce Research Conference 2010 . Bezalel Gavish; Riva del Garda. 2010-10-07 - 2010-10-10.
  • Herrmann, Peter Michael; Tavakolifard, Mozhgan. (2010) Special issue on trust and privacy in electronic commerce. Electronic Commerce Research. vol. 10 (3-4).
  • Herrmann, Peter; Tavakolifard, Mozhgan. (2010) Special Issue of Electronic Commerce Research Journal on Trust and Privacy Aspects of Electronic Commerce. Springer. 2010. ISBN 978-3-642-02055-1. Electronic Commerce Research (3-4).
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Reactive Semantics for Distributed UML Activities. Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010 . John Hatcliff and Elena Zucca; Amsterdam. 2010-06-07 - 2010-06-09.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Reactive Semantics for Distributed UML Activities. Lecture Notes in Computer Science (LNCS).
  • Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics. International Workshop on Software Engineering for Resilient Systems (SERENE 2010) . SERENE, ERCIM Working Group; London. 2010-04-15 - 2010-04-16.

2009

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.. 2008. ISBN 978-0-387-09427-4. IFIP International Federation for Information Processing (263).
  • Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Adaptable Model-based Component Deployment Guided by Artificial Ants. 2nd International Conference on Autonomic Computing and Communication Systems . ICST, ACM; Turin. 2008-09-23 - 2008-09-25.
  • Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Cost-Efficient Deployment of Collaborating Components. Lecture Notes in Computer Science (LNCS).
  • Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Cost-Efficient Deployment of Collaborative Components. 8th IFIP WG6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2008) . René Meier, Sotirios Terzis; Oslo. 2008-06-04 - 2008-06-06.
  • Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Adaptable Model-based Component Deployment Guided by Artificial Ants. Proceedings of 2008 ICST Second International Conference on Autonomic Computing and Communication Systems and Workshop.
  • 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.. 2008. ISBN 978-0-387-09427-4. IFIP International Federation for Information Processing (263).
  • Kemmerer, Richard A.; Bueschkes, Roland; Fessi, Ali; König, Hartmut; Herrmann, Peter; Wolthusen, Stephen; Jahnke, Marko; Debar, Hervé; Holz, Ralph; Zseby, Tanja; Haage, Dirk. (2008) Outcome Working Group - Situational Awareness. Dagstuhl Seminar Proceedings.
  • Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Cross-Situation Trust Reasoning. The IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology . IEEE/WIC/ACM; Sydney. 2008-12-09 - 2008-12-12.
  • 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.
  • Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Trust transferability among similar contexts. Proceedings of the 4th ACM symposium on QoS and security for wireless and mobile networks.
  • Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Cross-Situation Trust Reasoning. Proceedings of 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - IAT 2008.

2007

  • Herrmann, Peter Michael; Kraemer, Frank Alexander. (2007) Design of Trusted Systems with Reusable Collaboration Models. IFIP International Federation for Information Processing. vol. 238.
  • 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.
  • 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).
  • Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. 13th SDL Forum . SDL Forum Society; Paris. 2007-09-18 - 2007-09-21.
  • 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.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. Proceedings of the 2007 Networking and Electronic Conference (NAEC2007).
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Transforming Collaborative Service Specifications into Efficiently Executable State Machines. Electronic Communications of the EASST.
  • 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.
  • Kraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2007) Engineering Support for UML Activities by Automated Model-Checking - An Example. 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE) . ERCIM Working Group; Luxembourg. 2007-11-26 - 2007-11-27.

2006

  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2006) Service Specification by Composition of Collaborations - An Example. International Workshop on Service Composition (Sercomp'06) . IEEE; Hong Kong. 2006-12-18.
  • 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). vol. 4276.
  • 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.
  • Herrmann, Peter Michael. (2006) Security Requirement Analysis of Business Processes. Electronic Commerce Research. vol. 6 (3-4).
  • Herrmann, Peter Michael. (2006) Temporal Logic-Based Specification and Verification of Trust Models. Lecture Notes in Computer Science (LNCS).
  • Herrmann, Peter Michael. (2006) Temporal Logic-Based Specification and Verification of Trust Models. 4th International Conference on Trust Management . F. Martinelli, F. Massacci, K. Stølen, W. H. Winsborough; Pisa. 2006-05-16 - 2006-05-19.
  • Herrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Collaboration-Oriented Service Engineering by means of Model Transformation. Meeting of the ERCIM Security and Trust Management Working Group . Fabio Martinelli; Hamburg. 2006-09-20 - 2006-09-21.
  • Herrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Modellbasierte Entwicklung von Kommunikationsdiensten an der NTNU. Jahrestreffen der GI-Fachgruppe FoMSESS . Maritta Heisel; Duisburg. 2006-06-12 - 2006-06-13.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2006) Service Specification by Composition of Collaborations — An Example. 2006 IEEE/WIC/ACM International Conference on Web Intelligence.