Peter Herrmann

Professor

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

herrmann@ntnu.no +47 73594327

Elektro A, A265, Gløshaugen, O. S. Bragstads plass 2

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.

Courses

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. 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
Oplenskedal, Magnus Karsten; Herrmann, Peter; Taherkordi, Amir. (2021) DEEPMATCH2: A comprehensive deep learning-based approach for in-vehicle presence detection. Information Systems.
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2021) Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection. 3rd IEEE Conference on Cognitive Machine Intelligence . IEEE Computer; Virtual Conference. 2021-12-13 - 2021-12-15.
Puka, Ergys; Herrmann, Peter. (2021) Simulating a Context-Aware Message Flooding Protocol to Mitigate Cellular Dead Spots with Realistic Drivers’ Behavior. 24th IEEE International Conference on Intelligent Transportation (ITSC) . IEEE ITSS; Indianapolis. 2021-09-19 - 2021-09-22.

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. vol. 1.
Herrmann, Peter; Puka, Ergys; Skoglund, Tor Rune. (2020) Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays. IEEE International Conference on Smart City and Informatization (iSCI).
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). vol. 11894.
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2020) DeepMatch: deep matching for in-vehicle presence detection in transportation. DEBS '20: Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems.
Puka, Ergys; Herrmann, Peter; Taherkordi, Amirhosein. (2020) Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication. IEEE Vehicular Technology Conference (VTC).

2019

Khan, Zeeshan Ali; Herrmann, Peter. (2019) Recent Advancements in Intrusion Detection Systems for the Internet of Things. Security and Communication Networks. vol. 2019.
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2019) Automated Product Localization through Mobile Data Analysis. 20th IEEE International Conference on Mobile Data Management (MDM).
Oplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2019) Automated Product Localization through Mobile Data Analysis. Proceedings (IEEE International Conference on Mobile Data Management).
Puka, Ergys; Herrmann, Peter. (2019) Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots. International Journal of Cyber-Physical Systems (IJCPS). vol. 1 (2).
Puka, Ergys; Herrmann, Peter. (2019) A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. World of Wireless Mobile and Multimedia Networks (WoWMoM), IEEE International Symposium on.

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. 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. 2018 10th International Conference on Communication Systems & Networks (COMSNETS).
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. 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 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

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 (LNCS). vol. 9946 LNCS.
Herrmann, Peter; Svae, Alexander; Svendsen, Henrik Heggelund; Blech, Jan Olaf. (2016) Collaborative Model-based Development of a Remote Train Monitoring System. ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering.
Hordvik, Simon Eikeland; Øseth, Kristoffer; Blech, Jan Olaf; Herrmann, Peter. (2016) A Methodology for Model-based Development and Safety Analysis of Transport Systems. ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering.
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. vol. 703.
Oplenskedal, Magnus; Herrmann, Peter; Blech, Jan Olaf. (2016) Model-based Development of a Controller and Simulator for a Mobile Robot. 2016 Fifth ICT International Student Project Conference (ICT-ISPC 2016).
Taherkordi, 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.

2015

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.
Blech, Jan Olaf; Herrmann, Peter. (2015) Behavioral types for space-aware systems. CEUR Workshop Proceedings. vol. 1508.
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

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). vol. 147.
Herrmann, 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.
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).

2013

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 (LNCS). vol. 7781.
Han, Fenglin; Herrmann, Peter Michael. (2013) Modeling Real-Time System Performance with Respect to Scheduling Analysis. 6th IEEE International Conference on Ubi-Media Computing (UMEDIA 2013) . IEEE; Aizu-Wakamatsu. 2013-11-02 - 2013-11-04.
Han, Fenglin; Herrmann, Peter Michael; Le, Hien Nam. (2013) Modeling and Verifying Real-time Properties of Reactive Systems. Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on.
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.

2012

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). 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 (JCDL).

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

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). vol. 5523.
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. vol. 58.
Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter. (2009) Compositional Service Engineering with Arctis. Telektronikk. vol. 105 (1.2009).
Kraemer, Frank Alexander; Herrmann, Peter Michael. (2009) Automated Encapsulation of UML Activities for Incremental Development and Verification. Lecture Notes in Computer Science (LNCS). vol. 5795.
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). vol. 5719.
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. vol. 82 (12).
Tavakolifard, Mozhgan; Herrmann, Peter; Øzturk, Pinar. (2009) Analogical Trust Reasoning. IFIP Advances in Information and Communication Technology.
Tavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2009) Inferring Trust Based on Similarity with TILLIT. IFIP Advances in Information and Communication Technology.

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.

Språkvelger