Peter Herrmann

@ntnu.no

University Professor at the Department of Information Security and Communication Technology
Norwegian University of Science and Technology (NTNU)

RESEARCH, TEACHING, or OTHER INTERESTS

Computer Networks and Communications, Computational Theory and Mathematics, Control and Systems Engineering
97

Scopus Publications

1890

Scholar Citations

24

Scholar h-index

55

Scholar i10-index

Scopus Publications

RECENT SCHOLAR PUBLICATIONS

  • Recent Advancements in Intrusion Detection Systems for the Internet of Things
    ZA Khan, P Herrmann
    Security and Communication Networks 2019 , 2019
    2019
    Citations: 63
  • Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems
    P Herrmann, JO Blech, F Han, H Schmidt
    Innovative Solutions and Applications of Web Services Technology, 69-93 , 2019
    2019
    Citations: 1
  • Pervasive Smart Contracts for Blockchains in IoT Systems
    A Taherkordi, P Herrmann
    Proceedings of the 2018 International Conference on Blockchain Technology … , 2018
    2018
    Citations: 12
  • Towards Classification of Lightweight Formal Methods
    A Zamansky, M Spichkova, G Rodriguez-Navas, P Herrmann, JO Blech
    arXiv preprint arXiv:1807.01923 , 2018
    2018
    Citations: 19
  • Simulation-driven Development of Self-adaptive Transportation Systems
    MK Oplenskedal, P Herrmann, JO Blech, A Taherkordi
    2018 4th IEEE Conference on Network Softwarization and Workshops (NetSoft … , 2018
    2018
  • A way to measure and analyze cellular network connectivity on the norwegian road system
    E Puka, P Herrmann, T Levin, CB Skjetne
    2018 10th International Conference on Communication Systems & Networks … , 2018
    2018
    Citations: 8
  • 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
    2017
    Citations: 74
  • Formal Analysis of Control Software for Cyber-Physical Systems
    P Herrmann, JO Blech
    2017 IEEE International Conference on Software Quality, Reliability and … , 2017
    2017
    Citations: 2
  • Self-adaptive control in cyber-physical systems: the autonomous train experiment
    A Svae, A Taherkordi, P Herrmann, JO Blech
    Proceedings of the Symposium on Applied Computing, 1436-1443 , 2017
    2017
    Citations: 6
  • How to Secure Internet of Things Devices in an Energy Efficient Way
    ZA Khan, P Herrmann
    ERCIM NEWS, 50-51 , 2017
    2017
  • 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
    2017
    Citations: 147
  • Service Virtualization for Self-Adaptation in Mobile Cyber-Physical Systems
    A Taherkordi, P Herrmann, JO Blech, A Fernandez
    International Conference on Service-Oriented Computing, 56-68 , 2016
    2016
    Citations: 6
  • Formal model-based development in industrial automation with reactive blocks
    P Herrmann, JO Blech
    Federation of International Conferences on Software Technologies … , 2016
    2016
    Citations: 5
  • Model-based development of a controller and simulator for a mobile robot
    MK Oplenskedal, P Herrmann, JO Blech
    2016 Fifth ICT International Student Project Conference (ICT-ISPC), 61-64 , 2016
    2016
    Citations: 3
  • A Methodology for Model-based Development and Safety Analysis of Transport Systems.
    S Hordvik, K Øseth, JO Blech, P Herrmann
    ENASE, 91-101 , 2016
    2016
    Citations: 21
  • Collaborative Model-based Development of a Remote Train Monitoring System.
    P Herrmann, A Svae, HH Svendsen, JO Blech
    ENASE, 383-390 , 2016
    2016
    Citations: 10
  • Model-based engineering and spatiotemporal analysis of transport systems
    S Hordvik, K Øseth, HH Svendsen, JO Blech, P Herrmann
    International Conference on Evaluation of Novel Approaches to Software … , 2016
    2016
    Citations: 4
  • High-Speed Transfer Protocol Configurations
    P Herrmann, H Krumm
    Protocol Specification, Testing and Verification XV, 171 , 2016
    2016
  • 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
    2016
    Citations: 24
  • Behavioral Types for Component-based Development of Cyber-Physical Systems
    JO Blech, P Herrmann
    SEFM 2015 Collocated Workshops, 43-52 , 2015
    2015
    Citations: 4

MOST CITED SCHOLAR PUBLICATIONS

  • 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
    2017
    Citations: 147
  • Security requirement analysis of business processes
    P Herrmann, G Herrmann
    Electronic Commerce Research 6 (3-4), 305-335 , 2006
    2006
    Citations: 104
  • 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
    2009
    Citations: 85
  • A framework for modeling transfer protocols
    P Herrmann, H Krumm
    Computer Networks 34 (2), 317-337 , 2000
    2000
    Citations: 75
  • 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
    2017
    Citations: 74
  • Recent Advancements in Intrusion Detection Systems for the Internet of Things
    ZA Khan, P Herrmann
    Security and Communication Networks 2019 , 2019
    2019
    Citations: 63
  • 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
    2008
    Citations: 52
  • Automated encapsulation of UML activities for incremental development and verification
    FA Kraemer, P Herrmann
    International Conference on Model Driven Engineering Languages and Systems … , 2009
    2009
    Citations: 47
  • Transforming collaborative service specifications into efficiently executable state machines
    FA Kraemer, P Herrmann
    Electronic Communications of the EASST 6 , 2007
    2007
    Citations: 46
  • 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
    2001
    Citations: 46
  • Service Specification by Composition of Collaborations--An Example
    FA Kraemer, P Herrmann
    Proceedings of the 2006 IEEE/WIC/ACM international conference on Web … , 2006
    2006
    Citations: 44
  • 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
    2006
    Citations: 44
  • Reactive semantics for distributed UML activities
    FA Kraemer, P Herrmann
    Formal Techniques for Distributed Systems, 17-31 , 2010
    2010
    Citations: 41
  • Trust-based protection of software component users and designers
    P Herrmann
    International Conference on Trust Management, 75-90 , 2003
    2003
    Citations: 37
  • Synthesizing components with sessions from collaboration-oriented service specifications
    FA Kraemer, R Bræk, P Herrmann
    International SDL Forum, 166-185 , 2007
    2007
    Citations: 35
  • Compositional specification and verification of high-speed transfer protocols
    P Herrmann, H Krumm
    Protocol Specification, Testing and Verification XIV, 339-346 , 1995
    1995
    Citations: 33
  • 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
    2000
    Citations: 30
  • Compositional service engineering with arctis
    FA Kraemer, R Bræk, P Herrmann
    Telektronikk 105 (2009), 1 , 2009
    2009
    Citations: 28
  • Cost-efficient deployment of collaborating components
    MJ Csorba, PE Heegaard, P Herrmann
    IFIP International Conference on Distributed Applications and Interoperable … , 2008
    2008
    Citations: 27
  • Transformation and verification of Executable UML models
    G Graw, P Herrmann
    Electronic Notes in Theoretical Computer Science 101, 3-24 , 2004
    2004
    Citations: 27