Peter Herrmann
Peter Herrmann
Professor in Communication Systems at the Norwegian University of Science and Technology, Trondheim
Verified email at ntnu.no - Homepage
Title
Cited by
Cited by
Year
Security requirement analysis of business processes
P Herrmann, G Herrmann
Electronic Commerce Research 6 (3-4), 305-335, 2006
872006
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
782009
A framework for modeling transfer protocols
P Herrmann, H Krumm
Computer Networks 34 (2), 317-337, 2000
722000
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
492008
Automated encapsulation of UML activities for incremental development and verification
FA Kraemer, P Herrmann
International Conference on Model Driven Engineering Languages and Systems …, 2009
462009
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
452017
Service Specification by Composition of Collaborations--An Example
FA Kraemer, P Herrmann
Proceedings of the 2006 IEEE/WIC/ACM international conference on Web …, 2006
442006
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
442001
Transforming collaborative service specifications into efficiently executable state machines
FA Kraemer, P Herrmann
Electronic Communications of the EASST 6, 2007
432007
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
432006
Reactive semantics for distributed UML activities
FA Kraemer, P Herrmann
Formal Techniques for Distributed Systems, 17-31, 2010
402010
Trust-based protection of software component users and designers
P Herrmann
International Conference on Trust Management, 75-90, 2003
372003
Synthesizing components with sessions from collaboration-oriented service specifications
FA Kraemer, R Bræk, P Herrmann
International SDL Forum, 166-185, 2007
352007
Model-Driven Construction of Embedded Applications based on Reusable Building Blocks–An Example
FA Kraemer, V Slåtten, P Herrmann
International SDL Forum, 1-18, 2009
332009
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
312000
Compositional service engineering with arctis
FA Kraemer, R Bræk, P Herrmann
Telektronikk 105 (2009), 1, 2009
302009
Compositional specification and verification of high-speed transfer protocols
P Herrmann, H Krumm
Protocol Specification, Testing and Verification XIV, 339-346, 1995
301995
Transformation and verification of Executable UML models
G Graw, P Herrmann
Electronic Notes in Theoretical Computer Science 101, 3-24, 2004
272004
Cost-efficient deployment of collaborating components
MJ Csorba, PE Heegaard, P Herrmann
IFIP International Conference on Distributed Applications and Interoperable …, 2008
262008
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
242016
The system can't perform the operation now. Try again later.
Articles 1–20