Bakgrunn og aktiviteter

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.

Publications

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

 

Vitenskapelig, faglig og kunstnerisk arbeid

Viser et utvalg av aktivitet. Se alle publikasjoner i databasen

2021

2020

2019

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 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.
  • 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

2010

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) Cost-Efficient Deployment of Collaborating Components. Lecture Notes in Computer Science (LNCS).
  • 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) 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.
  • 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; 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.
  • 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; 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.