Peter Herrmann
Peter Herrmann
Professor in Communication Systems at the Norwegian University of Science and Technology, Trondheim
Verifisert e-postadresse på - Startside
Sitert av
Sitert av
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 distributed intrusion detection mechanism for internet of things
ZA Khan, P Herrmann
2017 IEEE 31st International Conference on Advanced Information Networking …, 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
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
Service Specification by Composition of Collaborations--An Example
FA Kraemer, P Herrmann
Proceedings of the 2006 IEEE/WIC/ACM international conference on Web …, 2006
Transforming collaborative service specifications into efficiently executable state machines
FA Kraemer, P Herrmann
Electronic Communications of the EASST 6, 2007
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
Compositional service engineering with arctis
FA Kraemer, R Bræk, P Herrmann
Telektronikk 105 (2009), 1, 2009
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
Transformation and verification of Executable UML models
G Graw, P Herrmann
Electronic Notes in Theoretical Computer Science 101, 3-24, 2004
Compositional specification and verification of high-speed transfer protocols
P Herrmann, H Krumm
Protocol Specification, Testing and Verification XIV, 339-346, 1995
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
Cost-efficient deployment of collaborating components
MJ Csorba, PE Heegaard, P Herrmann
IFIP International Conference on Distributed Applications and Interoperable …, 2008
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
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20