Department of Telematics
Norwegian University of Science and Technology
Peter Michael Herrmann
Short biography Max 160 characters [0/160]
- Communication and distributed systems
- Security and vulnerability
- System development and design
- Theoretical computer science, programming science and theory
Scientific, academic and artistic work
A selection of recent journal publications, artistic productions, books, including book and report excerpts.
- (2013) Modeling Reactive Trust Acquisition Using State Transition Systems. IFIP Advances in Information and Communication Technology. volum 401.
- (2013) Compositional Verification of Application-Level Security Properties. Lecture Notes in Computer Science. volum 7781.
- (2013) Model-Driven Engineering of Reliable Fault-Tolerant Systems-A State-of-the-Art Survey. Advances in Computers. volum 91.
- (2012) Behavioral Singletons to Consistently Handle Global States of Security Patterns. Lecture Notes in Computer Science. volum 7272.
- (2012) Remedy of Mixed Initiative Conflicts in Model-based System Engineering. Electronic Communications of the EASST. volum 47.
- (2012) Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems. SIGPLAN notices. volum 47 (3).
- (2012) Security Asset Elicitation for Collaborative Models. Proceedings of the ACM/IEEE Joint Conference on Digital Libraries.
- (2011) End-User Service Composition in Mobile Pervasive Environments. Lecture Notes in Computer Science. volum 6654.
- (2011) A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. Lecture Notes in Computer Science. volum 6542/2011.
- (2011) Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks. Software engineering notes. volum 36 (1).
- (2011) Contracts for Multi-instance UML Activities. Lecture Notes in Computer Science. volum 6722.
- (2011) Towards Ontology-Driven End-User Composition of Personalized Mobile Services. Lecture Notes in Computer Science. volum 6716.
- (2010) Component Deployment Using Parallel Ant-nests. International Journal of Autonomous and Adaptive Communications Systems.
- (2010) Special issue on trust and privacy in electronic commerce. Electronic Commerce Research. volum 10 (3-4).
- (2010) Reactive Semantics for Distributed UML Activities. Lecture Notes in Computer Science.
- (2009) Foraging for Better Deployment of Replicated Service Components. Lecture Notes in Computer Science. volum 5523.
- (2009) Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. Communications in Computer and Information Science. volum 58.
- (2009) Compositional Service Engineering with Arctis. Telektronikk. volum 105 (1.2009).
- (2009) Automated Encapsulation of UML Activities for Incremental Development and Verification. Lecture Notes in Computer Science. volum 5795.
- (2009) Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services. Journal of Systems and Software. volum 82 (12).