Peter Herrmann

Professor Department of Information Security and Communication Technology Faculty of Information Technology and Electrical Engineering

herrmann@item.ntnu.no +47 73594327

Elektro A, Gløshaugen

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

A selection of recent journal publications, artistic productions, books, including book and report excerpts. See all publications in the database

Journal publications

Khan, Zeeshan Ali; Herrmann, Peter. (2017) A trust based distributed intrusion detection mechanism for internet of things. Advanced Information Networking and Applications.
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. vol. 13 (1).
Herrmann, Peter; Blech, Jan Olaf. (2016) Formal Model-based Development in Industrial Automation with Reactive Blocks. Lecture Notes in Computer Science. vol. 9946 LNCS.
Blech, Jan Olaf; Herrmann, Peter. (2015) Behavioral types for space-aware systems. CEUR Workshop Proceedings. vol. 1508.
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. vol. 147.
Spichkova, Maria; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz. (2014) Modeling spatial aspects of safety-critical systems with FOCUS-ST. CEUR Workshop Proceedings. vol. 1235.
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. vol. 7 (12).
Gladysh, Sergiy; Herrmann, Peter Michael. (2013) Modeling Reactive Trust Acquisition Using State Transition Systems. IFIP Advances in Information and Communication Technology. vol. 401.
Gunawan, Linda Ariani; Herrmann, Peter. (2013) Compositional Verification of Application-Level Security Properties. Lecture Notes in Computer Science. vol. 7781.
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. vol. 91.
Gunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter. (2012) Behavioral Singletons to Consistently Handle Global States of Security Patterns. Lecture Notes in Computer Science. vol. 7272.
Han, Fenglin; Herrmann, Peter Michael. (2012) Remedy of Mixed Initiative Conflicts in Model-based System Engineering. Electronic Communications of the EASST. vol. 47.
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. vol. 47 (3).
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.
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. vol. 6654.
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. 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).
Slåtten, Vidar; Herrmann, Peter Michael. (2011) Contracts for Multi-instance UML Activities. Lecture Notes in Computer Science. vol. 6722.
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. vol. 6716.
Csorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2010) Component Deployment Using Parallel Ant-nests. International Journal of Autonomous and Adaptive Communications Systems.