Peter Herrmann
Om
Research topics
-
Intelligent Transport Systems
-
Model-Based Engineering of Networked Services based on Collaborative Techniques
-
Functional and Security Aspects of Distributed Component-Structured Software
-
Trust Management Issues
-
Formal Specification, Implementation, and Verification of Distributed Systems and Continuous-Discrete Technical Systems
Projects
-
IoT-STOP (supported by Innovasjon Norge, 2019-2021)
-
MobiTrack (Realizing Context-aware Intelligent Mobile Services through Real-Time Indoor Location Tracking, supported by NFR, 2018-2020)
-
UbiCompForAll (Ubiquitous Computing For All Users, 2008-2012)
-
Arctis (Analysis, Refinement, Composition and Transformation of Interactive Services, Verification Project, 2010-2011, extended until 2012)
-
EuroNF (Network of the Future, 2008-2011)
-
ISIS (Infrastructure for Integrated Services, 2007-2011)
-
SIMS (Semantic Interfaces for Mobile Services, 2006-2008)
-
iTrust (2003-2005)
Tools
Reactive Blocks, the tool for engineering networked services.
Publications
Below, you will find selected publications. A more comprehensive and up-to-date list is available on my homepage.
Publikasjoner
2021
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2021)
Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol.
11th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Herrmann, Peter;
Taherkordi, Amir.
(2021)
DEEPMATCH2: A comprehensive deep learning-based approach for in-vehicle presence detection.
Information Systems.
Vitenskapelig artikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2021)
Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection.
IEEE International Conference on Cognitive Machine Intelligence (CogMI).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Puka, Ergys;
Herrmann, Peter.
(2021)
Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP.
2021 IEEE International Intelligent Transportation Systems Conference (ITSC).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2020
-
Bejanaro, Ronal;
Pääkkönen, Roope;
Blech, Jan Olaf;
Peake, Ian;
Herrmann, Peter;
Vyatkin, Valeriy.
(2020)
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs.
IEEE Conference on Emerging Technologies and Factory Automation.
volum 1.
Vitenskapelig artikkel
-
Herrmann, Peter;
Puka, Ergys;
Skoglund, Tor Rune.
(2020)
Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays.
IEEE International Conference on Smart City and Informatization (iSCI).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Meyer, Jon Arild Ekberg;
Puka, Ergys;
Herrmann, Peter.
(2020)
Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Dead Spots.
Lecture Notes in Computer Science (LNCS).
volum 11894.
Vitenskapelig artikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2020)
DeepMatch: deep matching for in-vehicle presence detection in transportation.
DEBS '20: Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Puka, Ergys;
Herrmann, Peter;
Taherkordi, Amirhosein.
(2020)
Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication.
IEEE Vehicular Technology Conference (VTC).
Vitenskapelig artikkel
2019
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2019)
Recent Advancements in Intrusion Detection Systems for the Internet of Things.
Security and Communication Networks.
volum 2019.
Vitenskapelig oversiktsartikkel/review
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2019)
Automated Product Localization through Mobile Data Analysis.
20th IEEE International Conference on Mobile Data Management (MDM).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2019)
Automated Product Localization through Mobile Data Analysis.
Proceedings (IEEE International Conference on Mobile Data Management).
Vitenskapelig artikkel
-
Puka, Ergys;
Herrmann, Peter.
(2019)
Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots.
International Journal of Cyber-Physical Systems (IJCPS).
volum 1 (2).
Vitenskapelig artikkel
-
Puka, Ergys;
Herrmann, Peter.
(2019)
A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility.
World of Wireless Mobile and Multimedia Networks (WoWMoM), IEEE International Symposium on.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2018
-
Herrmann, Peter;
Blech, Jan Olaf;
Han, Fenglin;
Schmidt, Heinz.
(2018)
Model-based Development and Spatiotemporal Behavior of Cyber-Physical Systems.
Innovative Solutions and Applications of Web Services Technology.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Herrmann, Peter;
Blech, Jan Olaf;
Taherkordi, Amirhosein.
(2018)
Simulation-driven Development of Self-adaptive Transportation Systems.
Proceedings of the 2018 IEEE Conference on Network Softwarization.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Puka, Ergys;
Herrmann, Peter;
Levin, Tomas;
Skjetne, Christian Berg.
(2018)
A way to measure and analyze cellular network connectivity on the norwegian road system.
2018 10th International Conference on Communication Systems & Networks (COMSNETS).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Taherkordi, Amirhosein;
Herrmann, Peter.
(2018)
Pervasive Smart Contracts for Blockchains in IoT Systems.
Proceedings of the 2018 International Conference on Blockchain Technology and Application.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Zamansky, Anna;
Spichkova, Maria;
Rodriguez-Navas, Guillermo;
Herrmann, Peter;
Blech, Jan Olaf.
(2018)
Towards Classification of Lightweight Formal Methods.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2017
-
Herrmann, Peter;
Blech, Jan Olaf.
(2017)
Formal Analysis of Control Software for Cyber-Physical Systems.
2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Hordvik, Simon Eikeland;
Øseth, Kristoffer;
Svendsen, Henrik Heggelund;
Blech, Jan Olaf;
Herrmann, Peter.
(2017)
Model-based Engineering and Spatiotemporal Analysis of Transport Systems.
Evaluation of Novel Approaches to Software Engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2017)
A trust based distributed intrusion detection mechanism for internet of things.
Advanced Information Networking and Applications.
Vitenskapelig artikkel
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2017)
How to Secure Internet of Things Devices in an Energy Efficient Way.
ERCIM News.
volum 109 (4).
Vitenskapelig oversiktsartikkel/review
-
Khan, Zeeshan Ali;
Ullrich, Johanna;
Voyiatzis, Artemios;
Herrmann, Peter.
(2017)
A Trust-based Resilient Routing Mechanism for the Internet of Things.
ARES'17. Proceedings of The 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy — August 29 - September 01, 2017.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Svae, Alexander;
Taherkordi, Amirhosein;
Herrmann, Peter;
Blech, Jan Olaf.
(2017)
Self-adaptive control in cyber-physical systems: The autonomous train experiment.
Proceedings of the Symposium on Applied Computing.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Taherkordi, Amirhosein;
Herrmann, Peter;
Blech, Jan Olaf;
Fernandez Fernandez, Alvaro.
(2017)
Service virtualization for self-adaptation in mobile cyber-physical systems.
Lecture Notes in Computer Science (LNCS).
volum 10380 LNCS.
Vitenskapelig artikkel
2016
-
Herrmann, Peter Michael;
Blech, Jan Olaf;
Han, Fenglin;
Schmidt, Heinz.
(2016)
A model-based toolchain to verify spatial behavior of cyber-physical systems.
International Journal of Web Services Research.
volum 13 (1).
Vitenskapelig artikkel
-
Herrmann, Peter;
Blech, Jan Olaf.
(2016)
Formal Model-based Development in Industrial Automation with Reactive Blocks.
Lecture Notes in Computer Science (LNCS).
volum 9946 LNCS.
Vitenskapelig artikkel
-
Herrmann, Peter;
Svae, Alexander;
Svendsen, Henrik Heggelund;
Blech, Jan Olaf.
(2016)
Collaborative Model-based Development of a Remote Train Monitoring System.
ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Hordvik, Simon Eikeland;
Øseth, Kristoffer;
Blech, Jan Olaf;
Herrmann, Peter.
(2016)
A Methodology for Model-based Development and Safety Analysis of Transport Systems.
ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Hordvik, Simon Eikeland;
Øseth, Kristoffer;
Svendsen, Henrik Heggelund;
Blech, Jan Olaf;
Herrmann, Peter.
(2016)
Model-based engineering and spatiotemporal analysis of transport systems.
Communications in Computer and Information Science.
volum 703.
Vitenskapelig artikkel
-
Oplenskedal, Magnus;
Herrmann, Peter;
Blech, Jan Olaf.
(2016)
Model-based Development of a Controller and Simulator for a Mobile Robot.
2016 Fifth ICT International Student Project Conference (ICT-ISPC 2016).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2015
-
Blech, Jan Olaf;
Herrmann, Peter Michael;
Peake, Ian;
Schmidt, Heinz.
(2015)
Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems.
Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Blech, Jan Olaf;
Herrmann, Peter.
(2015)
Behavioral types for space-aware systems.
CEUR Workshop Proceedings.
volum 1508.
Vitenskapelig artikkel
-
Han, Fenglin;
Blech, Jan Olaf;
Herrmann, Peter;
Schmidt, Heinz.
(2015)
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11.
Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News.
volum 101 (4).
Short communication
2014
-
Han, Fenglin;
Blech, Jan Olaf;
Herrmann, Peter Michael;
Schmidt, Heinz.
(2014)
Towards Verifying Safety Properties of Real-Time Probabilistic Systems.
Electronic Proceedings in Theoretical Computer Science (EPTCS).
volum 147.
Vitenskapelig artikkel
-
Spichkova, Maria;
Blech, Jan Olaf;
Herrmann, Peter Michael;
Schmidt, Heinz.
(2014)
Modeling spatial aspects of safety-critical systems with FOCUS-ST.
CEUR Workshop Proceedings.
volum 1235.
Vitenskapelig artikkel
-
Vasilevskaya, Maria;
Gunawan, Linda Ariani;
Nadjm-Tehrani, Simin;
Herrmann, Peter Michael.
(2014)
Integrating Security Mechanisms into Embedded Systems by Domain-specific Modelling.
Security and Communication Networks.
volum 7 (12).
Vitenskapelig artikkel
2013
-
Gladysh, Sergiy;
Herrmann, Peter Michael.
(2013)
Modeling Reactive Trust Acquisition Using State Transition Systems.
IFIP Advances in Information and Communication Technology.
volum 401.
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Herrmann, Peter.
(2013)
Compositional Verification of Application-Level Security Properties.
Lecture Notes in Computer Science (LNCS).
volum 7781.
Vitenskapelig artikkel
-
Han, Fenglin;
Herrmann, Peter Michael;
Le, Hien Nam.
(2013)
Modeling and Verifying Real-time Properties of Reactive Systems.
Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Slåtten, Vidar;
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2013)
Model-Driven Engineering of Reliable Fault-Tolerant Systems-A State-of-the-Art Survey.
Advances in Computers.
volum 91.
Vitenskapelig artikkel
2012
-
Gunawan, Linda Ariani;
Kraemer, Frank Alexander;
Herrmann, Peter.
(2012)
Behavioral Singletons to Consistently Handle Global States of Security Patterns.
Lecture Notes in Computer Science (LNCS).
volum 7272.
Vitenskapelig artikkel
-
Han, Fenglin;
Herrmann, Peter Michael.
(2012)
Remedy of Mixed Initiative Conflicts in Model-based System Engineering.
Electronic Communications of the EASST.
volum 47.
Vitenskapelig artikkel
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2012)
Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems.
SIGPLAN notices.
volum 47 (3).
Vitenskapelig artikkel
-
Vasilevskaya, Maria;
Gunawan, Linda Ariani;
Nadjm-Tehrani, Simin;
Herrmann, Peter.
(2012)
Security Asset Elicitation for Collaborative Models.
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries (JCDL).
Vitenskapelig artikkel
2011
-
Floch, Jacqueline;
Herrmann, Peter Michael;
Khan, Mohammad Ullah;
Sanders, Richard;
Stav, Erlend;
Sætre, Rune.
(2011)
End-User Service Composition in Mobile Pervasive Environments.
Lecture Notes in Computer Science (LNCS).
volum 6654.
Sammendrag/abstract
-
Gunawan, Linda Ariani;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications.
Lecture Notes in Computer Science (LNCS).
volum 6542/2011.
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Vogel, Michael;
Kraemer, Frank Alexander;
Schmerl, Sebastian;
Slåtten, Vidar;
Herrmann, Peter Michael;
König, Hartmut.
(2011)
Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks.
Software engineering notes.
volum 36 (1).
Vitenskapelig artikkel
-
Han, Fenglin;
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv;
Herrmann, Peter Michael.
(2011)
Towards Choreography Model Transformation via Graph Transformation.
Proceedings 2011 2nd IEEE International Conference On Software Engineering and Service Science.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
System Analysis and Modeling: About Models.
Springer. 2011. ISBN 978-3-642-21651-0. Lecture Notes in Computer Science (0302-9743).
Vitenskapelig antologi/Konferanseserie
-
Slåtten, Vidar;
Herrmann, Peter Michael.
(2011)
Contracts for Multi-instance UML Activities.
Lecture Notes in Computer Science (LNCS).
volum 6722.
Vitenskapelig artikkel
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study.
Proceedings of the 10th ACM international conference on Generative programming and component engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics.
Proceedings of the 2nd international Workshop on Software Engineering for Resilient Systems (SERENE 2010).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Sætre, Rune;
Khan, Mohammad Ullah;
Herrmann, Peter Michael.
(2011)
End-user Composition of Web-based Services: The “Plus Alpha” Approach.
Proceedings of the India-Norway Workshop on Web Concepts and Technologies 2011.
Annet
-
Sætre, Rune;
Khan, Mohammad Ullah;
Stav, Erlend;
Fernandez, Alfredo Perez;
Herrmann, Peter Michael;
Gulla, Jon Atle.
(2011)
Towards Ontology-Driven End-User Composition of Personalized Mobile Services.
Lecture Notes in Computer Science (LNCS).
volum 6716.
Vitenskapelig artikkel
2010
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter.
(2010)
Component Deployment Using Parallel Ant-nests.
International Journal of Autonomous and Adaptive Communications Systems.
Vitenskapelig artikkel
-
Herrmann, Peter Michael;
Tavakolifard, Mozhgan.
(2010)
Special issue on trust and privacy in electronic commerce.
Electronic Commerce Research.
volum 10 (3-4).
Leder
-
Herrmann, Peter;
Tavakolifard, Mozhgan.
(2010)
Special Issue of Electronic Commerce Research Journal on Trust and Privacy Aspects of Electronic Commerce.
Springer. 2010. ISBN 978-3-642-02055-1. Electronic Commerce Research (3-4).
Vitenskapelig antologi/Konferanseserie
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2010)
Reactive Semantics for Distributed UML Activities.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
2009
-
Csorba, Mate Jozsef;
Meling, Hein;
Heegaard, Poul Einar;
Herrmann, Peter.
(2009)
Foraging for Better Deployment of Replicated Service Components.
Lecture Notes in Computer Science (LNCS).
volum 5523.
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2009)
Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models.
Communications in Computer and Information Science.
volum 58.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk.
volum 105 (1.2009).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2009)
Automated Encapsulation of UML Activities for Incremental Development and Verification.
Lecture Notes in Computer Science (LNCS).
volum 5795.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2009)
Model-Driven Construction of Embedded Applications
based on Reusable Building Blocks - An Example.
Lecture Notes in Computer Science (LNCS).
volum 5719.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2009)
Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services.
Journal of Systems and Software.
volum 82 (12).
Vitenskapelig artikkel
-
Tavakolifard, Mozhgan;
Herrmann, Peter;
Øzturk, Pinar.
(2009)
Analogical Trust Reasoning.
IFIP Advances in Information and Communication Technology.
Vitenskapelig artikkel
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2009)
Inferring Trust Based on Similarity with TILLIT.
IFIP Advances in Information and Communication Technology.
Vitenskapelig artikkel
2008
-
Karabulut, Yücel;
Mitchell, John C.;
Herrmann, Peter;
Jensen, Christian Damsgaard.
(2008)
Trust Management II - Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security.
Springer Science+Business Media B.V.. 2008. ISBN 978-0-387-09427-4. IFIP International Federation for Information Processing (263).
Vitenskapelig antologi/Konferanseserie
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter.
(2008)
Cost-Efficient Deployment of Collaborating Components.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter.
(2008)
Adaptable Model-based Component Deployment Guided by Artificial Ants.
Proceedings of 2008 ICST Second International Conference on Autonomic Computing and Communication Systems and Workshop.
Annet
-
Karabulut, Yücel;
Mitchell, John C.;
Herrmann, Peter;
Jensen, Christian D..
(2008)
Trustmanagement II - Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security.
Springer Science+Business Media B.V.. 2008. ISBN 978-0-387-09427-4. IFIP International Federation for Information Processing (263).
Vitenskapelig antologi/Konferanseserie
-
Kemmerer, Richard A.;
Bueschkes, Roland;
Fessi, Ali;
König, Hartmut;
Herrmann, Peter;
Wolthusen, Stephen;
Jahnke, Marko;
Debar, Hervé;
Holz, Ralph;
Zseby, Tanja;
Haage, Dirk.
(2008)
Outcome Working Group - Situational Awareness.
Dagstuhl Seminar Proceedings.
Vitenskapelig artikkel
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Trust transferability among similar contexts.
Proceedings of the 4th ACM symposium on QoS and security for wireless and mobile networks.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Cross-Situation Trust Reasoning.
Proceedings of 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - IAT 2008.
Annet
2007
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing.
volum 238.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Proceedings of the 2007 Networking and Electronic Conference (NAEC2007).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Transforming Collaborative Service Specifications into Efficiently Executable State Machines.
Electronic Communications of the EASST.
Vitenskapelig artikkel
2006
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael;
Bræk, Rolv.
(2006)
Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.
Lecture Notes in Computer Science (LNCS).
volum 4276.
Vitenskapelig artikkel
-
Herrmann, Peter Michael.
(2006)
Security Requirement Analysis of Business Processes.
Electronic Commerce Research.
volum 6 (3-4).
Vitenskapelig artikkel
-
Herrmann, Peter Michael.
(2006)
Temporal Logic-Based Specification and Verification of Trust Models.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2006)
Service Specification by Composition of Collaborations — An Example.
2006 IEEE/WIC/ACM International Conference on Web Intelligence.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Tidsskriftspublikasjoner
-
Oplenskedal, Magnus Karsten;
Herrmann, Peter;
Taherkordi, Amir.
(2021)
DEEPMATCH2: A comprehensive deep learning-based approach for in-vehicle presence detection.
Information Systems.
Vitenskapelig artikkel
-
Bejanaro, Ronal;
Pääkkönen, Roope;
Blech, Jan Olaf;
Peake, Ian;
Herrmann, Peter;
Vyatkin, Valeriy.
(2020)
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs.
IEEE Conference on Emerging Technologies and Factory Automation.
volum 1.
Vitenskapelig artikkel
-
Meyer, Jon Arild Ekberg;
Puka, Ergys;
Herrmann, Peter.
(2020)
Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Dead Spots.
Lecture Notes in Computer Science (LNCS).
volum 11894.
Vitenskapelig artikkel
-
Puka, Ergys;
Herrmann, Peter;
Taherkordi, Amirhosein.
(2020)
Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication.
IEEE Vehicular Technology Conference (VTC).
Vitenskapelig artikkel
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2019)
Recent Advancements in Intrusion Detection Systems for the Internet of Things.
Security and Communication Networks.
volum 2019.
Vitenskapelig oversiktsartikkel/review
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2019)
Automated Product Localization through Mobile Data Analysis.
Proceedings (IEEE International Conference on Mobile Data Management).
Vitenskapelig artikkel
-
Puka, Ergys;
Herrmann, Peter.
(2019)
Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots.
International Journal of Cyber-Physical Systems (IJCPS).
volum 1 (2).
Vitenskapelig artikkel
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2017)
A trust based distributed intrusion detection mechanism for internet of things.
Advanced Information Networking and Applications.
Vitenskapelig artikkel
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2017)
How to Secure Internet of Things Devices in an Energy Efficient Way.
ERCIM News.
volum 109 (4).
Vitenskapelig oversiktsartikkel/review
-
Taherkordi, Amirhosein;
Herrmann, Peter;
Blech, Jan Olaf;
Fernandez Fernandez, Alvaro.
(2017)
Service virtualization for self-adaptation in mobile cyber-physical systems.
Lecture Notes in Computer Science (LNCS).
volum 10380 LNCS.
Vitenskapelig artikkel
-
Herrmann, Peter Michael;
Blech, Jan Olaf;
Han, Fenglin;
Schmidt, Heinz.
(2016)
A model-based toolchain to verify spatial behavior of cyber-physical systems.
International Journal of Web Services Research.
volum 13 (1).
Vitenskapelig artikkel
-
Herrmann, Peter;
Blech, Jan Olaf.
(2016)
Formal Model-based Development in Industrial Automation with Reactive Blocks.
Lecture Notes in Computer Science (LNCS).
volum 9946 LNCS.
Vitenskapelig artikkel
-
Hordvik, Simon Eikeland;
Øseth, Kristoffer;
Svendsen, Henrik Heggelund;
Blech, Jan Olaf;
Herrmann, Peter.
(2016)
Model-based engineering and spatiotemporal analysis of transport systems.
Communications in Computer and Information Science.
volum 703.
Vitenskapelig artikkel
-
Blech, Jan Olaf;
Herrmann, Peter.
(2015)
Behavioral types for space-aware systems.
CEUR Workshop Proceedings.
volum 1508.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News.
volum 101 (4).
Short communication
-
Han, Fenglin;
Blech, Jan Olaf;
Herrmann, Peter Michael;
Schmidt, Heinz.
(2014)
Towards Verifying Safety Properties of Real-Time Probabilistic Systems.
Electronic Proceedings in Theoretical Computer Science (EPTCS).
volum 147.
Vitenskapelig artikkel
-
Spichkova, Maria;
Blech, Jan Olaf;
Herrmann, Peter Michael;
Schmidt, Heinz.
(2014)
Modeling spatial aspects of safety-critical systems with FOCUS-ST.
CEUR Workshop Proceedings.
volum 1235.
Vitenskapelig artikkel
-
Vasilevskaya, Maria;
Gunawan, Linda Ariani;
Nadjm-Tehrani, Simin;
Herrmann, Peter Michael.
(2014)
Integrating Security Mechanisms into Embedded Systems by Domain-specific Modelling.
Security and Communication Networks.
volum 7 (12).
Vitenskapelig artikkel
-
Gladysh, Sergiy;
Herrmann, Peter Michael.
(2013)
Modeling Reactive Trust Acquisition Using State Transition Systems.
IFIP Advances in Information and Communication Technology.
volum 401.
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Herrmann, Peter.
(2013)
Compositional Verification of Application-Level Security Properties.
Lecture Notes in Computer Science (LNCS).
volum 7781.
Vitenskapelig artikkel
-
Slåtten, Vidar;
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2013)
Model-Driven Engineering of Reliable Fault-Tolerant Systems-A State-of-the-Art Survey.
Advances in Computers.
volum 91.
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Kraemer, Frank Alexander;
Herrmann, Peter.
(2012)
Behavioral Singletons to Consistently Handle Global States of Security Patterns.
Lecture Notes in Computer Science (LNCS).
volum 7272.
Vitenskapelig artikkel
-
Han, Fenglin;
Herrmann, Peter Michael.
(2012)
Remedy of Mixed Initiative Conflicts in Model-based System Engineering.
Electronic Communications of the EASST.
volum 47.
Vitenskapelig artikkel
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2012)
Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems.
SIGPLAN notices.
volum 47 (3).
Vitenskapelig artikkel
-
Vasilevskaya, Maria;
Gunawan, Linda Ariani;
Nadjm-Tehrani, Simin;
Herrmann, Peter.
(2012)
Security Asset Elicitation for Collaborative Models.
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries (JCDL).
Vitenskapelig artikkel
-
Floch, Jacqueline;
Herrmann, Peter Michael;
Khan, Mohammad Ullah;
Sanders, Richard;
Stav, Erlend;
Sætre, Rune.
(2011)
End-User Service Composition in Mobile Pervasive Environments.
Lecture Notes in Computer Science (LNCS).
volum 6654.
Sammendrag/abstract
-
Gunawan, Linda Ariani;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications.
Lecture Notes in Computer Science (LNCS).
volum 6542/2011.
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Vogel, Michael;
Kraemer, Frank Alexander;
Schmerl, Sebastian;
Slåtten, Vidar;
Herrmann, Peter Michael;
König, Hartmut.
(2011)
Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks.
Software engineering notes.
volum 36 (1).
Vitenskapelig artikkel
-
Slåtten, Vidar;
Herrmann, Peter Michael.
(2011)
Contracts for Multi-instance UML Activities.
Lecture Notes in Computer Science (LNCS).
volum 6722.
Vitenskapelig artikkel
-
Sætre, Rune;
Khan, Mohammad Ullah;
Stav, Erlend;
Fernandez, Alfredo Perez;
Herrmann, Peter Michael;
Gulla, Jon Atle.
(2011)
Towards Ontology-Driven End-User Composition of Personalized Mobile Services.
Lecture Notes in Computer Science (LNCS).
volum 6716.
Vitenskapelig artikkel
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter.
(2010)
Component Deployment Using Parallel Ant-nests.
International Journal of Autonomous and Adaptive Communications Systems.
Vitenskapelig artikkel
-
Herrmann, Peter Michael;
Tavakolifard, Mozhgan.
(2010)
Special issue on trust and privacy in electronic commerce.
Electronic Commerce Research.
volum 10 (3-4).
Leder
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2010)
Reactive Semantics for Distributed UML Activities.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Csorba, Mate Jozsef;
Meling, Hein;
Heegaard, Poul Einar;
Herrmann, Peter.
(2009)
Foraging for Better Deployment of Replicated Service Components.
Lecture Notes in Computer Science (LNCS).
volum 5523.
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2009)
Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models.
Communications in Computer and Information Science.
volum 58.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk.
volum 105 (1.2009).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2009)
Automated Encapsulation of UML Activities for Incremental Development and Verification.
Lecture Notes in Computer Science (LNCS).
volum 5795.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2009)
Model-Driven Construction of Embedded Applications
based on Reusable Building Blocks - An Example.
Lecture Notes in Computer Science (LNCS).
volum 5719.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2009)
Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services.
Journal of Systems and Software.
volum 82 (12).
Vitenskapelig artikkel
-
Tavakolifard, Mozhgan;
Herrmann, Peter;
Øzturk, Pinar.
(2009)
Analogical Trust Reasoning.
IFIP Advances in Information and Communication Technology.
Vitenskapelig artikkel
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2009)
Inferring Trust Based on Similarity with TILLIT.
IFIP Advances in Information and Communication Technology.
Vitenskapelig artikkel
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter.
(2008)
Cost-Efficient Deployment of Collaborating Components.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Kemmerer, Richard A.;
Bueschkes, Roland;
Fessi, Ali;
König, Hartmut;
Herrmann, Peter;
Wolthusen, Stephen;
Jahnke, Marko;
Debar, Hervé;
Holz, Ralph;
Zseby, Tanja;
Haage, Dirk.
(2008)
Outcome Working Group - Situational Awareness.
Dagstuhl Seminar Proceedings.
Vitenskapelig artikkel
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing.
volum 238.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Transforming Collaborative Service Specifications into Efficiently Executable State Machines.
Electronic Communications of the EASST.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael;
Bræk, Rolv.
(2006)
Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.
Lecture Notes in Computer Science (LNCS).
volum 4276.
Vitenskapelig artikkel
-
Herrmann, Peter Michael.
(2006)
Security Requirement Analysis of Business Processes.
Electronic Commerce Research.
volum 6 (3-4).
Vitenskapelig artikkel
-
Herrmann, Peter Michael.
(2006)
Temporal Logic-Based Specification and Verification of Trust Models.
Lecture Notes in Computer Science (LNCS).
Vitenskapelig artikkel
Bøker
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
System Analysis and Modeling: About Models.
Springer. 2011. ISBN 978-3-642-21651-0. Lecture Notes in Computer Science (0302-9743).
Vitenskapelig antologi/Konferanseserie
-
Herrmann, Peter;
Tavakolifard, Mozhgan.
(2010)
Special Issue of Electronic Commerce Research Journal on Trust and Privacy Aspects of Electronic Commerce.
Springer. 2010. ISBN 978-3-642-02055-1. Electronic Commerce Research (3-4).
Vitenskapelig antologi/Konferanseserie
-
Karabulut, Yücel;
Mitchell, John C.;
Herrmann, Peter;
Jensen, Christian Damsgaard.
(2008)
Trust Management II - Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security.
Springer Science+Business Media B.V.. 2008. ISBN 978-0-387-09427-4. IFIP International Federation for Information Processing (263).
Vitenskapelig antologi/Konferanseserie
-
Karabulut, Yücel;
Mitchell, John C.;
Herrmann, Peter;
Jensen, Christian D..
(2008)
Trustmanagement II - Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security.
Springer Science+Business Media B.V.. 2008. ISBN 978-0-387-09427-4. IFIP International Federation for Information Processing (263).
Vitenskapelig antologi/Konferanseserie
Del av bok/rapport
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2021)
Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol.
11th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2021)
Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection.
IEEE International Conference on Cognitive Machine Intelligence (CogMI).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Puka, Ergys;
Herrmann, Peter.
(2021)
Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP.
2021 IEEE International Intelligent Transportation Systems Conference (ITSC).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Puka, Ergys;
Skoglund, Tor Rune.
(2020)
Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays.
IEEE International Conference on Smart City and Informatization (iSCI).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2020)
DeepMatch: deep matching for in-vehicle presence detection in transportation.
DEBS '20: Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2019)
Automated Product Localization through Mobile Data Analysis.
20th IEEE International Conference on Mobile Data Management (MDM).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Puka, Ergys;
Herrmann, Peter.
(2019)
A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility.
World of Wireless Mobile and Multimedia Networks (WoWMoM), IEEE International Symposium on.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Blech, Jan Olaf;
Han, Fenglin;
Schmidt, Heinz.
(2018)
Model-based Development and Spatiotemporal Behavior of Cyber-Physical Systems.
Innovative Solutions and Applications of Web Services Technology.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Herrmann, Peter;
Blech, Jan Olaf;
Taherkordi, Amirhosein.
(2018)
Simulation-driven Development of Self-adaptive Transportation Systems.
Proceedings of the 2018 IEEE Conference on Network Softwarization.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Puka, Ergys;
Herrmann, Peter;
Levin, Tomas;
Skjetne, Christian Berg.
(2018)
A way to measure and analyze cellular network connectivity on the norwegian road system.
2018 10th International Conference on Communication Systems & Networks (COMSNETS).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Taherkordi, Amirhosein;
Herrmann, Peter.
(2018)
Pervasive Smart Contracts for Blockchains in IoT Systems.
Proceedings of the 2018 International Conference on Blockchain Technology and Application.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Zamansky, Anna;
Spichkova, Maria;
Rodriguez-Navas, Guillermo;
Herrmann, Peter;
Blech, Jan Olaf.
(2018)
Towards Classification of Lightweight Formal Methods.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Blech, Jan Olaf.
(2017)
Formal Analysis of Control Software for Cyber-Physical Systems.
2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Hordvik, Simon Eikeland;
Øseth, Kristoffer;
Svendsen, Henrik Heggelund;
Blech, Jan Olaf;
Herrmann, Peter.
(2017)
Model-based Engineering and Spatiotemporal Analysis of Transport Systems.
Evaluation of Novel Approaches to Software Engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Khan, Zeeshan Ali;
Ullrich, Johanna;
Voyiatzis, Artemios;
Herrmann, Peter.
(2017)
A Trust-based Resilient Routing Mechanism for the Internet of Things.
ARES'17. Proceedings of The 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy — August 29 - September 01, 2017.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Svae, Alexander;
Taherkordi, Amirhosein;
Herrmann, Peter;
Blech, Jan Olaf.
(2017)
Self-adaptive control in cyber-physical systems: The autonomous train experiment.
Proceedings of the Symposium on Applied Computing.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Svae, Alexander;
Svendsen, Henrik Heggelund;
Blech, Jan Olaf.
(2016)
Collaborative Model-based Development of a Remote Train Monitoring System.
ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Hordvik, Simon Eikeland;
Øseth, Kristoffer;
Blech, Jan Olaf;
Herrmann, Peter.
(2016)
A Methodology for Model-based Development and Safety Analysis of Transport Systems.
ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus;
Herrmann, Peter;
Blech, Jan Olaf.
(2016)
Model-based Development of a Controller and Simulator for a Mobile Robot.
2016 Fifth ICT International Student Project Conference (ICT-ISPC 2016).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Blech, Jan Olaf;
Herrmann, Peter Michael;
Peake, Ian;
Schmidt, Heinz.
(2015)
Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems.
Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Han, Fenglin;
Blech, Jan Olaf;
Herrmann, Peter;
Schmidt, Heinz.
(2015)
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11.
Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Han, Fenglin;
Herrmann, Peter Michael;
Le, Hien Nam.
(2013)
Modeling and Verifying Real-time Properties of Reactive Systems.
Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Han, Fenglin;
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv;
Herrmann, Peter Michael.
(2011)
Towards Choreography Model Transformation via Graph Transformation.
Proceedings 2011 2nd IEEE International Conference On Software Engineering and Service Science.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study.
Proceedings of the 10th ACM international conference on Generative programming and component engineering.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics.
Proceedings of the 2nd international Workshop on Software Engineering for Resilient Systems (SERENE 2010).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Sætre, Rune;
Khan, Mohammad Ullah;
Herrmann, Peter Michael.
(2011)
End-user Composition of Web-based Services: The “Plus Alpha” Approach.
Proceedings of the India-Norway Workshop on Web Concepts and Technologies 2011.
Annet
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter.
(2008)
Adaptable Model-based Component Deployment Guided by Artificial Ants.
Proceedings of 2008 ICST Second International Conference on Autonomic Computing and Communication Systems and Workshop.
Annet
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Trust transferability among similar contexts.
Proceedings of the 4th ACM symposium on QoS and security for wireless and mobile networks.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Cross-Situation Trust Reasoning.
Proceedings of 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - IAT 2008.
Annet
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Proceedings of the 2007 Networking and Electronic Conference (NAEC2007).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2006)
Service Specification by Composition of Collaborations — An Example.
2006 IEEE/WIC/ACM International Conference on Web Intelligence.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Undervisning
Emner
Formidling
2021
-
Vitenskapelig foredragKhan, Zeeshan Ali; Herrmann, Peter. (2021) Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol. 8th IFIP NTMS Workshop on Wireless Sensor Networks and Internet of Things (WSN-IOT) . IFIP; Paris. 2021-04-19 - 2021-04-21.
-
Vitenskapelig foredragOplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2021) Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection. 3rd IEEE Conference on Cognitive Machine Intelligence . IEEE Computer; Virtual Conference. 2021-12-13 - 2021-12-15.
-
Vitenskapelig foredragPuka, Ergys; Herrmann, Peter. (2021) Simulating a Context-Aware Message Flooding Protocol to Mitigate Cellular Dead Spots with Realistic Drivers’ Behavior. 24th IEEE International Conference on Intelligent Transportation (ITSC) . IEEE ITSS; Indianapolis. 2021-09-19 - 2021-09-22.
2020
-
Vitenskapelig foredragBejanaro, Ronal; Pääkkönen, Roope; Blech, Jan Olaf; Peake, Ian; Herrmann, Peter; Vyatkin, Valeriy. (2020) Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. International Conference on Emerging Technologies and Factory Automation (ETFA) . IEEE; Vienna. 2020-09-08 - 2020-09-11.
-
Vitenskapelig foredragHerrmann, Peter; Puka, Ergys; Skoglund, Tor Rune. (2020) Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays. 8th IEEE International Conference on Smart City and Informatization (iSCI) . IEEE; Guangzhou. 2020-12-29 - 2021-01-01.
-
Vitenskapelig foredragOplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2020) Deep Matching for In-Vehicle Presence Detection in Transportation. 14th ACM International Conference on Distributed and Event-based Systems (DEBS) . ACM; Montreal (Virtual). 2020-07-13 - 2020-07-17.
-
Vitenskapelig foredragPuka, Ergys; Herrmann, Peter; Taherkordi, Amirhosein. (2020) Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication. IEEE Vehicular Technology Conference 2020 Fall (VTC2020-Fall) . IEEE; Victoria (online only). 2020-11-18 - 2020-12-16.
2019
-
Vitenskapelig foredragMeyer, Jon Arild Ekberg; Puka, Ergys; Herrmann, Peter. (2019) Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Deadspots. 6th International Conference on Internet of Vehicles (IOV) ; Kaohsiung. 2019-11-18 - 2019-11-21.
-
Vitenskapelig foredragOplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2019) Automated Product Localization through Mobile Data Analysis. 20th IEEE International Conference on Mobile Data Management . IEEE Computer; Hong Kong. 2019-06-10 - 2019-06-13.
-
Vitenskapelig foredragPuka, Ergys; Herrmann, Peter. (2019) A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. 5th IEEE International Workshop on Communication, Computing, and Networking in Cyber Physical Systems (CCNCPS) . IEEE Computer; Washington, DC. 2019-06-09 - 2019-09-12.
2018
-
Vitenskapelig foredragOplenskedal, Magnus Karsten; Herrmann, Peter; Blech, Jan Olaf; Taherkordi, Amirhosein. (2018) Simulation-driven Development of Self-adaptive Transportation Systems. IEEE NetSoft 2018 – International Workshop on Emerging Trends in Softwarized Networks (ETSN) ; Montreal. 2018-06-25 - 2018-06-25.
-
Vitenskapelig foredragPuka, Ergys; Herrmann, Peter; Levin, Tomas; Skjetne, Christian Berg. (2018) A Way to Measure and Analyze Cellular Network Connectivity on the Norwegian Road System. 10th International Conference on Communication Systems & Networks (COMSNETS) ; Bengaluru. 2018-01-03 - 2018-01-07.
-
Vitenskapelig foredragTaherkordi, Amirhosein; Herrmann, Peter. (2018) Pervasive Smart Contracts for Blockchains in IoT Systems. 2018 International Conference on Blockchain Technology and Application . ACM; Xi'an. 2018-12-10 - 2018-12-12.
-
Vitenskapelig foredragZamansky, Anna; Spichkova, Maria; Rodriguez-Navas, Guillermo; Herrmann, Peter; Blech, Jan Olaf. (2018) Towards Classification of Lightweight Formal Methods. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) ; Funchal. 2018-03-23 - 2018-03-24.
2017
-
Vitenskapelig foredragHerrmann, Peter; Blech, Jan Olaf. (2017) Formal Analysis of Control Software for Cyber-Physical Systems. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) . IEEE Computer; Prague. 2017-07-25 - 2017-07-29.
-
Vitenskapelig foredragKhan, Zeeshan Ali; Ullrich, Johanna; Voyiatzis, Artemios; Herrmann, Peter. (2017) A Trust-based Resilient Routing Mechanism for the Internet of Things. 12th International Conference on Availability, Reliability and Security ; Reggio di Calabria. 2017-08-29 - 2017-09-01.
-
Faglig foredragSvae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf. (2017) Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. 32nd ACM Symposium on Applied Computing (SAC) . ACM; Marrakech. 2017-04-04 - 2017-04-06.
2016
-
Vitenskapelig foredragHerrmann, Peter; Blech, Jan Olaf. (2016) Formal Model-based Development in Industrial Automation with Reactive Blocks. 3rd Human-Oriented Formal Methods Workshop (HOFM2016) . University of Vienna; Vienna. 2016-07-04 - 2016-07-04.
-
Vitenskapelig foredragHerrmann, Peter; Svae, Alexander; Svendsen, Henrik Heggelund; Blech, Jan Olaf. (2016) Collaborative Model-based Development of a Remote Train Monitoring System. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods . SciTePress; Rome. 2016-04-27 - 2016-04-28.
-
Vitenskapelig foredragHordvik, Simon; Øseth, Kristoffer; Blech, Jan Olaf; Herrmann, Peter. (2016) A Methodology for Model-based Development and Safety Analysis of Transport Systems. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), special session on Collaborative Aspects of Formal Methods ; Rome. 2016-04-27 - 2016-04-28.
-
Vitenskapelig foredragOplenskedal, Magnus; Herrmann, Peter; Blech, Jan Olaf. (2016) Model-based Development of a Controller and Simulator for a Mobile Robot. 2016 5th ICT International Student Project Conference (ICT-ISPC) . Mahidol University; Bangkok. 2016-05-27 - 2016-05-28.
-
Vitenskapelig foredragTaherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf; Fernandez, Alvaro. (2016) Service Virtualization for Self-Adaptation in Mobile Cyber-Physical Systems. International Workshop on Management of Service-Oriented Cyber-Physical Systems (MCPS) ; Banff. 2016-10-10 - 2016-10-10.
2015
-
Vitenskapelig foredragBlech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Component-based Development of Cyber-Physical Systems. 2nd Human-Oriented Formal Methods Workshop (HOFM2015) . Maria Spichkova, Heinz Schmidt; York. 2015-09-07 - 2015-09-07.
-
Vitenskapelig foredragBlech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Space-aware Systems. 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems . Iulia Dragomir et al.; Ottawa. 2015-09-28 - 2015-09-28.
-
Populærvitenskapelig foredragHerrmann, Peter. (2015) State of the art IoT research - What do we know and what are the biggest questions we pursuit?. Innovasjonsfrokost . Næringsforeningen i Trondheimsregionen; Trondheim. 2015-08-28 - 2015-08-28.
2014
-
Vitenskapelig foredragHan, Fenglin; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz. (2014) Towards Verifying Safety Properties of Real-Time Probabilistic Systems. 11th International Workshop on Formal Engineering approaches to Software Components and Architectures ; Grenoble. 2014-04-12 - 2014-04-12.
-
Vitenskapelig foredragHerrmann, Peter Michael; Blech, Jan Olaf; Han, Fenglin; Schmidt, Heinz. (2014) A Model-based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. 2014 Asia-Pacific Services Computing Conference (APSCC) ; Fuzhou. 2014-12-04 - 2014-12-06.
-
Vitenskapelig foredragSpichkova, Maria; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz. (2014) Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST. Model-Driven Engineering, Verification, and Validation in MDE, Satellite event of MoDELS2014 ; Valencia. 2014-09-30 - 2014-09-30.
2013
-
Vitenskapelig foredragHan, Fenglin; Herrmann, Peter Michael. (2013) Modeling Real-Time System Performance with Respect to Scheduling Analysis. 6th IEEE International Conference on Ubi-Media Computing (UMEDIA 2013) . IEEE; Aizu-Wakamatsu. 2013-11-02 - 2013-11-04.
-
Vitenskapelig foredragHan, Fenglin; Herrmann, Peter Michael; Le, Hien Nam. (2013) Modeling and verifying real-time properties of reactive systems. 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2013) . IEEE; National University of Singapore, School of Computing. 2013-07-17 - 2013-07-21.
2012
-
Vitenskapelig foredragGunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter. (2012) Behavioral Singletons to Consistently Handle Global States of Security Patterns. 7th International Federated Conference on Distributed Computing Techniques (DAIS 2012) . KTH; Stockholm. 2012-06-13 - 2012-06-15.
2011
-
Vitenskapelig foredragFloch, Jacqueline; Stav, Erlend; Khan, Mohammad Ullah; Herrmann, Peter Michael; Sanders, Richard; Sætre, Rune. (2011) End-User Service Composition in Mobile Pervasive Environments. Third International Symposium, IS-EUD 2011 . End-User Development, EUD4Services; Torre Canne (BR). 2011-06-07 - 2011-06-07.
-
Vitenskapelig foredragGunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. Third International Symposium on Engineering Secure Software and Systems (ESSoS) ; Madrid. 2011-02-09 - 2011-02-10.
-
Vitenskapelig foredragSlåtten, Vidar; Herrmann, Peter Michael. (2011) Contracts for Multi-instance UML Activities. 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems (FMOODS & FORTE 2011) ; 2011-06-06 - 2011-06-08.
-
Vitenskapelig foredragSlåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study. Tenth International Conference on Generative Programming and Component Engineering (GPCE 2011) ; Portland, Oregon. 2011-10-22 - 2011-10-23.
-
Vitenskapelig foredragSætre, Rune; Khan, Mohammad Ullah; Herrmann, Peter Michael. (2011) End-user Composition of Web-based Services: The “Plus Alpha” Approach. India-Norway Workshop on Web Concepts and Technologies 2011 . Norwegian University of Science and technology; Trondheim. 2011-10-03 - 2011-10-03.
-
PosterSætre, Rune; Khan, Mohammad Ullah; Stav, Erlend; Fernandez, Alfredo Perez; Herrmann, Peter Michael; Gulla, Jon Atle. (2011) Towards Ontology-Driven Composition of Personalized Mobile Services by End-users. Natural Language Processing and Information Systems . NLDB; Alicante. 2011-06-28 - 2011-06-30.
2010
-
PosterGladysh, Sergiy; Herrmann, Peter. (2010) Trust issues for ¨No carries, no pain¨. UbiCompForAll Project Workshop . SINTEF; Trondheim. 2010-11-15 - 2010-11-16.
-
PosterGladysh, Sergiy; Herrmann, Peter Michael; Knapskog, Svein Johan. (2010) User-Centered Security, Privacy and Trust in Ubiquitous Social Network Services. The VERDIKT Conference 2010 . Norges Forskningsråd - The Research Council of Norway; Oslo. 2010-11-01 - 2010-11-02.
-
Vitenskapelig foredragGunawan, Linda Ariani; Vogel, Michael; Kraemer, Frank Alexander; Schmerl, Sebastian; Slåtten, Vidar; Herrmann, Peter Michael; König, Hartmut. (2010) Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks. Third IEEE International Workshop UML and Formal Methods ; Shanghai. 2010-11-16 - 2010-11-16.
-
Vitenskapelig foredragHerrmann, Peter Michael. (2010) Engineering Distributed Applications with Collaborative UML Activities. Networking and Electronic Commerce Research Conference 2010 . Bezalel Gavish; Riva del Garda. 2010-10-07 - 2010-10-10.
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Reactive Semantics for Distributed UML Activities. Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010 . John Hatcliff and Elena Zucca; Amsterdam. 2010-06-07 - 2010-06-09.
-
Vitenskapelig foredragSlåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics. International Workshop on Software Engineering for Resilient Systems (SERENE 2010) . SERENE, ERCIM Working Group; London. 2010-04-15 - 2010-04-16.
2009
-
Vitenskapelig foredragTavakolifard, Mozhgan; Herrmann, Peter; Knapskog, Svein Johan. (2009) Inferring Trust Based on Similarity with TILLIT (presentation). IFIPTM 2009 : Third IFIP WG 11.11 International Conference on Trust Management Bookmark and Share ; 2009-06-15 - 2009-06-19.
-
Vitenskapelig foredragTavakolifard, Mozhgan; Herrmann, Peter; Øzturk, Pinar. (2009) Analogical Trust Reasoning (presentation). Third IFIP WG 11.11 International Conference, IFIPTM 2009 ; 2009-06-15 - 2009-06-19.
-
Vitenskapelig foredragGunawan, Linda Ariani; Herrmann, Peter Michael; Kraemer, Frank Alexander. (2009) Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. 2009 International Conference on Security Technology (SecTech 2009) . Science and Engineering Research Support Center (SERSC); Jeju Island. 2009-12-10 - 2009-12-12.
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2009) Automated Encapsulation of UML Activities for Incremental Development and Verification. Int. Conference on Model Driven Engineering, Languages and Systems (Models) ; Denver. 2009-10-04 - 2009-10-09.
-
Vitenskapelig foredragKraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2009) Model-Driven Construction of Embedded Applications based on Reusable Building Blocks - An Example. SDL Forum 2009 ; 2009-09-22 - 2009-09-24.
2008
-
Vitenskapelig foredragCsorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Adaptable Model-based Component Deployment Guided by Artificial Ants. 2nd International Conference on Autonomic Computing and Communication Systems . ICST, ACM; Turin. 2008-09-23 - 2008-09-25.
-
Vitenskapelig foredragCsorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Cost-Efficient Deployment of Collaborative Components. 8th IFIP WG6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2008) . René Meier, Sotirios Terzis; Oslo. 2008-06-04 - 2008-06-06.
-
Vitenskapelig foredragTavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Cross-Situation Trust Reasoning. The IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology . IEEE/WIC/ACM; Sydney. 2008-12-09 - 2008-12-12.
-
Vitenskapelig foredragTavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Trust transferability among similar contexts. International Workshop on Modeling Analysis and Simulation of Wireless and Mobile Systems ; Vancouver, British Columbia, Canada. 2008-10-27 - 2008-10-28.
2007
-
Vitenskapelig foredragHerrmann, Peter Michael; Kraemer, Frank Alexander. (2007) Design of Trusted Systems with Reusable Collaboration Models. Joint iTrust and PST Conferences on Privacy, Trust Management and Security ; Moncton. 2007-07-30 - 2007-08-02.
-
Vitenskapelig foredragKraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. 13th SDL Forum . SDL Forum Society; Paris. 2007-09-18 - 2007-09-21.
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. Networking and Electronic Commerce Research Conference ; Lake Garda. 2007-10-18 - 2007-10-21.
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Transforming Collaborative Service Specifications into Efficiently Executable State Machines. 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007) ; Braga. 2007-03-31 - 2007-04-01.
-
Vitenskapelig foredragKraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2007) Engineering Support for UML Activities by Automated Model-Checking - An Example. 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE) . ERCIM Working Group; Luxembourg. 2007-11-26 - 2007-11-27.
2006
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2006) Service Specification by Composition of Collaborations - An Example. International Workshop on Service Composition (Sercomp'06) . IEEE; Hong Kong. 2006-12-18.
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael; Bræk, Rolv. (2006) Aligning UML 2.0 State Machines and Temporal logic for the Efficient Execution of Services. OTM Confederated Conferences, Distributed Objects and Applications (DOA) ; Montpellier. 2006-10-30 - 2006-11-01.
-
Vitenskapelig foredragHerrmann, Peter Michael. (2006) Temporal Logic-Based Specification and Verification of Trust Models. 4th International Conference on Trust Management . F. Martinelli, F. Massacci, K. Stølen, W. H. Winsborough; Pisa. 2006-05-16 - 2006-05-19.
-
Vitenskapelig foredragHerrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Collaboration-Oriented Service Engineering by means of Model Transformation. Meeting of the ERCIM Security and Trust Management Working Group . Fabio Martinelli; Hamburg. 2006-09-20 - 2006-09-21.
-
Vitenskapelig foredragHerrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Modellbasierte Entwicklung von Kommunikationsdiensten an der NTNU. Jahrestreffen der GI-Fachgruppe FoMSESS . Maritta Heisel; Duisburg. 2006-06-12 - 2006-06-13.