Peter Herrmann
Peter Herrmann
Professor in Communication Systems at the Norwegian University of Science and Technology, Trondheim
Verified email at - Homepage
Cited by
Cited by
A trust based distributed intrusion detection mechanism for internet of things
ZA Khan, P Herrmann
2017 IEEE 31st International Conference on Advanced Information Networking …, 2017
Security requirement analysis of business processes
P Herrmann, G Herrmann
Electronic Commerce Research 6 (3-4), 305-335, 2006
Tool support for the rapid composition, analysis and implementation of reactive services
FA Kraemer, V Slåtten, P Herrmann
Journal of Systems and Software 82 (12), 2068-2080, 2009
A framework for modeling transfer protocols
P Herrmann, H Krumm
Computer Networks 34 (2), 317-337, 2000
A trust-based resilient routing mechanism for the internet of things
ZA Khan, J Ullrich, AG Voyiatzis, P Herrmann
Proceedings of the 12th International Conference on Availability …, 2017
Trust transferability among similar contexts
M Tavakolifard, SJ Knapskog, P Herrmann
Proceedings of the 4th ACM symposium on QoS and security for wireless and …, 2008
Automated encapsulation of UML activities for incremental development and verification
FA Kraemer, P Herrmann
International Conference on Model Driven Engineering Languages and Systems …, 2009
Transforming collaborative service specifications into efficiently executable state machines
FA Kraemer, P Herrmann
Electronic Communications of the EASST 6, 2007
Recent Advancements in Intrusion Detection Systems for the Internet of Things
ZA Khan, P Herrmann
Security and Communication Networks 2019, 2019
Service Specification by Composition of Collaborations--An Example
FA Kraemer, P Herrmann
Proceedings of the 2006 IEEE/WIC/ACM international conference on Web …, 2006
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
FA Kraemer, P Herrmann, R Bræk
OTM Confederated International Conferences" On the Move to Meaningful …, 2006
Trust-adapted enforcement of security policies in distributed component-structured applications
P Herrmann, H Krumm
Proceedings. Sixth IEEE Symposium on Computers and Communications, 2-8, 2001
Reactive semantics for distributed UML activities
FA Kraemer, P Herrmann
Formal Techniques for Distributed Systems, 17-31, 2010
Synthesizing components with sessions from collaboration-oriented service specifications
FA Kraemer, R Bræk, P Herrmann
International SDL Forum, 166-185, 2007
Trust-based protection of software component users and designers
P Herrmann
International Conference on Trust Management, 75-90, 2003
Verification of UML-based real-time system designs by means of cTLA
G Graw, P Herrmann, H Krumm
Proceedings Third IEEE International Symposium on Object-Oriented Real-Time …, 2000
Compositional specification and verification of high-speed transfer protocols
P Herrmann, H Krumm
Protocol Specification, Testing and Verification XIV, 339-346, 1995
Compositional service engineering with arctis
FA Kraemer, R Bræk, P Herrmann
Telektronikk 105 (2009), 1, 2009
Transformation and verification of Executable UML models
G Graw, P Herrmann
Electronic Notes in Theoretical Computer Science 101, 3-24, 2004
A model-based toolchain to verify spatial behavior of cyber-physical systems
P Herrmann, JO Blech, F Han, H Schmidt
International Journal of Web Services Research (IJWSR) 13 (1), 40-52, 2016
The system can't perform the operation now. Try again later.
Articles 1–20