Postal addressDepartment of Telematics Norwegian University of Science and Technology 7491 Trondheim
Peter Michael Herrmann
Short biography Max 160 characters [0/160]
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
- (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.
- (2013) Integrating Security Mechanisms into Embedded Systems by Domain-specific Modelling. Security and Communication Networks.
- (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 : an informal newsletter of the Specia. 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) 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).