Background and activities

Research topics

  • 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

  • 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

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. 32nd ACM Symposium on Applied Computing (SAC) . ACM; Marrakech. 2017-04-04 - 2017-04-06.
  • 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. vol. 10380 LNCS.

2016

2015

  • Blech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Component-based Development of Cyber-Physical Systems. 2nd Human-Oriented Formal Methods Workshop (HOFM2015) . Maria Spichkova, Heinz Schmidt; York. 2015-09-07 - 2015-09-07.
  • Blech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Space-aware Systems. 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems . Iulia Dragomir et al.; Ottawa. 2015-09-28 - 2015-09-28.
  • 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. Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering.
  • Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter; Schmidt, Heinz. (2015) Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual.
  • Herrmann, Peter. (2015) State of the art IoT research - What do we know and what are the biggest questions we pursuit?. Innovasjonsfrokost . Næringsforeningen i Trondheimsregionen; Trondheim. 2015-08-28 - 2015-08-28.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2015) Creating Internet of Things Applications from Building Blocks. ERCIM News. vol. 101 (4).

2014

2013

2012

2011

2010

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