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.
Forskning
Communication technology aspects in Intelligent Transportation Systems:
In 2016, I was asked to overtake the Intelligent Transportation Systems (ITS) Lab from my colleague Professor Steinar Andresen, who was retiring. Within this work, I took contact with public organizations like Statens Vegvesen (SVV), Jernbaneverket, Trøndelag Fylkekommune, and Skyss as well as private companies as FourC, Telenor, Aventi, and Sonitor. This cooperation led to various research and development activities:
Within the above-mentioned cooperation with the RMIT University, we used the model railway equipment of the ITS Lab to test the cooperation of Reactive Blocks and the spatiotemporal verification tool BeSpaceD.
A cooperation with SVV about checking the cellular network accessibility on the Norwegian road network inspired my Ph.D. student Ergys Puka to center his Ph.D. project around the mitigation of large areas without cellular network connectivity. One can find such areas called dead spots mostly in large sparsely populated countries like Australia or Canada. Under my supervision, Puka developed context-aware flooding protocols that allow vehicles passing each other in a dead spot to build up ephemeral networks in which messages to be delivered after leaving the dead spot can be exchanged between the vehicles. While connected, the vehicles also determine which of them will deliver the message. That should, of course, be the one supposed to leave the dead spot earliest. Using such context-aware protocols, one can reduce the average waiting time for delivering a message by 40% or more without creating too many copies that are delivered unnecessarily.
In cooperation with my colleague Professor Amir Taherkordi at the University of Oslo (UiO), we obtained the Nærings-PhD project “Realizing Context-aware Intelligent Mobile Services through Real-Time Indoor Location Tracking” (MobiTrack) funded by Norges Forskningsråd and Sonitor. Within this project, my Ph.D. student Magnus Oplenskedal worked on technologies that use machine learning for utilizing inhouse location systems. In particular, he worked on an automated system for localization goods in stores. The main achievement of his work was the creation of reliable methods to find out if people ride in public transport vehicles. Such systems will allow passengers to be correctly billed for their journeys without the need of any manual input.
I worked also in the project “IOT-STOP” funded by Innovasjon Norge. It was led by FourC with NTNU, Telenor, and Skyss being partners. The task of this project was the development of systems providing real-time passenger information at bus stops without electrical power supply, such that batteries have to be used. This makes power-preserving technologies relevant. Besides special technical equipment like ePapers and power-saving chipsets, we also used the reduction of idle listening to signals from a remote server. NTNU’s task was the development of a system that, using machine learning, predicts the times at which the likelihood, that a change of the expected arrival time of a bus has to be displayed to the waiting passengers, is exceeding a certain threshold. A reliable prediction allows us to switch off the listener of the control system until the time with a major change of the arrival time is reached, which can save a lot of battery power. Similar predictions, however, for the need of user equipment like eScooters or eBikes in cities, were examined in the project “OPTIBILITY”.
Formal techniques-based design of control software and proof of spatiotemporal properties:
A sabbatical leave at RMIT University in Melbourne, Australia, from 2013 to 2014 led to an in-depth research collaboration with the group of Professor Heinz Schmidt, in particular, with Dr. Jan Olaf Blech. This group was engaged in the “Australia-India Research Centre for Automation Software Engineering”, a collaboration between RMIT and ABB in Australia and India. A part of the work of this center was the use of modeling in the design of control software for technical systems that has to fulfill spatiotemporal properties. Within this work, Dr. Blech developed the methodology BeSpaceD that allows for formal specification and verification of spatiotemporal aspects. We found out that it can be nicely combined with Reactive Blocks. Altogether, our collaborative research led to 20 joined publications of which two got best paper awards for the conferences, they were published in.
Model-based development of distributed systems:
After my start at NTNU, I joined forces with Frank Alexander Kraemer, who was in the initial phase of his Ph.D. project, as well as with my former colleague Professor Rolv Bræk. We advanced the idea, that using proper behavioral interfaces can be very helpful to guarantee that a software component fulfils certain functional and non-functional properties. In particular, we used the well-known UML diagram types activities and state machines and furnished them with a formal semantics. That allowed us to develop recurrent code once in a so-called building block that is provided by a behavioral interface. Systems can be built by adding such building blocks in a “drag-and-drop”-fashion and combining their interface elements with each other. Using a model checker, relevant properties can then be checked fully automatically.
Creating a toolset realizing this approach was a central aspect of the R&D project “Infrastructures for Integrated Services” (ISIS) funded by Norges Forskningsråd. Telenor was the leader of the consortium with NTNU, TellU, Ericsson, and the former HiA (now UiA) other partners. The result of NTNU’s work in this project and our research let to the toolset Reactive Blocks that was commercialized within the spinoff company BitReactive.
Extensions on Reactive Blocks were carried out in some Ph.D. projects supervised by me. Vidar Slåtten created ways to use Reactive Blocks for building robust and fail-proof systems. In the work of Linda Gunawan, the approach was adapted to prove certain security properties. Finally, Han Fenglin dedicated his Ph.D. research to the creation of real-time aspects as well as cyber-physical systems.
I was also involved in the EU project “Semantic Interfaces for Mobile Services” (SIMS). This project was led by SINTEF. Other partners were NTNU, Gintel, Appear, Gentleware, the Polytechnical University of Warsaw, and France Telecom Espana. Here, we developed another model-based approach using behavioral interfaces.
The aspect of easing the composition of service building blocks, in a way that also end-users, who are non-experts, can carry them out, was researched in the project “Ubiquitous Computing for All Users” (UbiCompForAll) funded by Norges Forskningsråd, in which I also participated. Here, also SINTEF was the consortium leader with NTNU, Gintel, and TellU being partners.
Security and trust management of software components:
From around 2001, I transferred my interest in composing systems from building blocks from formal models to real software components. Here, I selected security aspects, in particular, information flow as properties to be fulfilled by the components. Thus, this approach was less formal than my previous work and more dedicated to help the average software engineer to create systems that guarantee at least some security properties. For that, proper behavioral interfaces of the components were defined. That allowed me to verify the correctness of the information flow between the components forming a distributed systems.
In addition, the work in this area brought me into contact with members of the emerging trust management community who invited me into the EU Working Group “Trust Management in Dynamic Open Systems” (iTrust). I took the opportunity and brought trust management aspects into my work on monitoring software components. A typical example is to grant users access depending on the benevolence of their previous behavior. The work on security and trust management lasted until my move to Trondheim in 2005.
The work on trust management was revived in the period between 2017 and 2019, when the ERCIM postdoctoral researcher Zeeshan Ali Khan showed interest to combine trust management with intrusion detection. This led to another approach.
Constraint-oriented specification and verification of distributed systems using temporal logic:
After some project work, my research in this area was started with my Ph.D. project carried out between 1993 and 1997. Lamport’s well-known Temporal Logic of Actions (TLA) was extended to the version compositional TLA (cTLA), that is suited to the creation of constraint-oriented specifications and modular verification. This allowed me to create a framework of cTLA specifications modelling both, protocol mechanisms used in transport protocols and service properties. Moreover, by temporal logic deductions, I could prove that particular combinations of protocol mechanisms implement certain service properties.
Framework users can now create formal models of protocols and the services to be realized by them by instantiating and composing building blocks from the framework. Thanks to the already done verifications, it is now very easy to verify formally that the specified protocol indeed realizes the modelled service, since verifications can be subdivided into proof-steps that directly correspond to the verifications already carried out.
Afterwards, within the postgraduate research program “Modelling and Model-Based Design of Complex Technological Systems” at the University of Dortmund, Germany, I extended this approach to the area of hybrid technical systems, now often called cyber-physical systems. Another cTLA framework was developed that made it possible to verify that technical systems in chemical engineering fulfill certain safety properties, e.g., preventing that a liquid is pumped against a closed valve. This work was carried out between 1997 and 2001.
Publikasjoner
2021
-
Puka, Ergys;
Herrmann, Peter.
(2021)
Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2021)
Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection.
Institute of Electrical and Electronics Engineers (IEEE)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2021)
Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol.
IEEE conference proceedings
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
2020
-
Herrmann, Peter;
Puka, Ergys;
Skoglund, Tor Rune.
(2020)
Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
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
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)
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
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2020)
DeepMatch: deep matching for in-vehicle presence detection in transportation.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2019
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2019)
Automated Product Localization through Mobile Data Analysis.
IEEE conference proceedings
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Puka, Ergys;
Herrmann, Peter.
(2019)
Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots.
International Journal of Cyber-Physical Systems (IJCPS)
Vitenskapelig artikkel
-
Puka, Ergys;
Herrmann, Peter.
(2019)
A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility.
IEEE Press
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
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2019)
Recent Advancements in Intrusion Detection Systems for the Internet of Things.
Security and Communication Networks
Vitenskapelig oversiktsartikkel/review
2018
-
Zamansky, Anna;
Spichkova, Maria;
Rodriguez-Navas, Guillermo;
Herrmann, Peter;
Blech, Jan Olaf.
(2018)
Towards Classification of Lightweight Formal Methods.
SciTePress
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Taherkordi, Amirhosein;
Herrmann, Peter.
(2018)
Pervasive Smart Contracts for Blockchains in IoT Systems.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Herrmann, Peter;
Blech, Jan Olaf;
Taherkordi, Amirhosein.
(2018)
Simulation-driven Development of Self-adaptive Transportation Systems.
IEEE (Institute of Electrical and Electronics Engineers)
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.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Blech, Jan Olaf;
Han, Fenglin;
Schmidt, Heinz.
(2018)
Model-based Development and Spatiotemporal Behavior of Cyber-Physical Systems.
IGI Global
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2017
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2017)
How to Secure Internet of Things Devices in an Energy Efficient Way.
ERCIM News
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)
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;
Ullrich, Johanna;
Voyiatzis, Artemios;
Herrmann, Peter.
(2017)
A Trust-based Resilient Routing Mechanism for the Internet of Things.
Association for Computing Machinery (ACM)
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.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Blech, Jan Olaf.
(2017)
Formal Analysis of Control Software for Cyber-Physical Systems.
IEEE conference proceedings
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.
Springer
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2016
-
Oplenskedal, Magnus;
Herrmann, Peter;
Blech, Jan Olaf.
(2016)
Model-based Development of a Controller and Simulator for a Mobile Robot.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Blech, Jan Olaf.
(2016)
Formal Model-based Development in Industrial Automation with Reactive Blocks.
Lecture Notes in Computer Science (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
Vitenskapelig artikkel
-
Hordvik, Simon Eikeland;
Øseth, Kristoffer;
Blech, Jan Olaf;
Herrmann, Peter.
(2016)
A Methodology for Model-based Development and Safety Analysis of Transport Systems.
SciTePress
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.
SciTePress
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 (CCIS)
Vitenskapelig artikkel
2015
-
Han, Fenglin;
Blech, Jan Olaf;
Herrmann, Peter;
Schmidt, Heinz.
(2015)
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11.
IEEE (Institute of Electrical and Electronics Engineers)
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.
SciTePress
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News
Short communication
-
Blech, Jan Olaf;
Herrmann, Peter.
(2015)
Behavioral types for space-aware systems.
CEUR Workshop Proceedings
Vitenskapelig artikkel
2014
-
Spichkova, Maria;
Blech, Jan Olaf;
Herrmann, Peter Michael;
Schmidt, Heinz.
(2014)
Modeling spatial aspects of safety-critical systems with FOCUS-ST.
CEUR Workshop Proceedings
Vitenskapelig artikkel
-
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)
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
Vitenskapelig artikkel
-
Slåtten, Vidar;
Herrmann, Peter Michael;
Bræk, Rolv.
(2014)
Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification.
Doktoravhandlinger ved NTNU (211)
Doktorgradsavhandling
2013
-
Han, Fenglin;
Herrmann, Peter Michael;
Le, Hien Nam.
(2013)
Modeling and Verifying Real-time Properties of Reactive Systems.
IEEE conference proceedings
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
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Herrmann, Peter.
(2013)
Compositional Verification of Application-Level Security Properties.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Gladysh, Sergiy;
Herrmann, Peter Michael.
(2013)
Modeling Reactive Trust Acquisition Using State Transition Systems.
IFIP Advances in Information and Communication Technology
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)
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
-
Han, Fenglin;
Herrmann, Peter Michael.
(2012)
Remedy of Mixed Initiative Conflicts in Model-based System Engineering.
Electronic Communications of the EASST
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
Vitenskapelig artikkel
2011
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
System Analysis and Modeling: About Models.
Springer
Lecture Notes in Computer Science (LNCS) (0302-9743)
Vitenskapelig antologi/Konferanseserie
-
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)
Sammendrag/abstract
-
Sætre, Rune;
Khan, Mohammad Ullah;
Herrmann, Peter Michael.
(2011)
End-user Composition of Web-based Services: The “Plus Alpha” Approach.
Tapir Akademisk Forlag
Annet
-
Han, Fenglin;
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv;
Herrmann, Peter Michael.
(2011)
Towards Choreography Model Transformation via Graph Transformation.
IEEE Press
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
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)
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Vogel, Michael;
Kraemer, Frank Alexander;
Schmerl, Sebastian;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2011)
Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks.
Software engineering notes
Vitenskapelig artikkel
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter Michael.
(2011)
Cost-Efficient Deployment of Distributed Software Services.
Doktoravhandlinger ved NTNU (2011:122)
Doktorgradsavhandling
-
Slåtten, Vidar;
Herrmann, Peter Michael.
(2011)
Contracts for Multi-instance UML Activities.
Lecture Notes in Computer Science (LNCS)
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.
ACM Publications
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.
ACM Publications
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
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)
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
Leder
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2010)
Reactive Semantics for Distributed UML Activities.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Herrmann, Peter;
Tavakolifard, Mozhgan.
(2010)
Special Issue of Electronic Commerce Research Journal on Trust and Privacy Aspects of Electronic Commerce.
Springer
Electronic Commerce Research (3-4)
Vitenskapelig antologi/Konferanseserie
2009
-
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
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk
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
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)
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)
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 (CCIS)
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)
Vitenskapelig artikkel
2008
-
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.
IFIP International Federation for Information Processing (263)
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.
IFIP International Federation for Information Processing (263)
Vitenskapelig antologi/Konferanseserie
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Cross-Situation Trust Reasoning.
IEEE (Institute of Electrical and Electronics Engineers)
Annet
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter.
(2008)
Adaptable Model-based Component Deployment Guided by Artificial Ants.
Association for Computing Machinery (ACM)
Annet
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Trust transferability among similar contexts.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kemmerer, Richard A.;
Bueschkes, Roland;
Fessi, Ali;
König, Hartmut;
Herrmann, Peter;
Wolthusen, Stephen.
(2008)
Outcome Working Group - Situational Awareness.
Dagstuhl Seminar Proceedings
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
2007
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing
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;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
2006
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2006)
Service Specification by Composition of Collaborations — An Example.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
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;
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)
Vitenskapelig artikkel
-
Herrmann, Peter Michael.
(2006)
Security Requirement Analysis of Business Processes.
Electronic Commerce Research
Vitenskapelig artikkel
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
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)
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
-
Puka, Ergys;
Herrmann, Peter.
(2019)
Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots.
International Journal of Cyber-Physical Systems (IJCPS)
Vitenskapelig artikkel
-
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
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2019)
Recent Advancements in Intrusion Detection Systems for the Internet of Things.
Security and Communication Networks
Vitenskapelig oversiktsartikkel/review
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2017)
How to Secure Internet of Things Devices in an Energy Efficient Way.
ERCIM News
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)
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
-
Herrmann, Peter;
Blech, Jan Olaf.
(2016)
Formal Model-based Development in Industrial Automation with Reactive Blocks.
Lecture Notes in Computer Science (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
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 (CCIS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News
Short communication
-
Blech, Jan Olaf;
Herrmann, Peter.
(2015)
Behavioral types for space-aware systems.
CEUR Workshop Proceedings
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
Vitenskapelig artikkel
-
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)
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
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
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Herrmann, Peter.
(2013)
Compositional Verification of Application-Level Security Properties.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Gladysh, Sergiy;
Herrmann, Peter Michael.
(2013)
Modeling Reactive Trust Acquisition Using State Transition Systems.
IFIP Advances in Information and Communication Technology
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)
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
-
Han, Fenglin;
Herrmann, Peter Michael.
(2012)
Remedy of Mixed Initiative Conflicts in Model-based System Engineering.
Electronic Communications of the EASST
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
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)
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)
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Vogel, Michael;
Kraemer, Frank Alexander;
Schmerl, Sebastian;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2011)
Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks.
Software engineering notes
Vitenskapelig artikkel
-
Slåtten, Vidar;
Herrmann, Peter Michael.
(2011)
Contracts for Multi-instance UML Activities.
Lecture Notes in Computer Science (LNCS)
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)
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
Leder
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2010)
Reactive Semantics for Distributed UML Activities.
Lecture Notes in Computer Science (LNCS)
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
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk
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
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)
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)
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 (CCIS)
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)
Vitenskapelig artikkel
-
Kemmerer, Richard A.;
Bueschkes, Roland;
Fessi, Ali;
König, Hartmut;
Herrmann, Peter;
Wolthusen, Stephen.
(2008)
Outcome Working Group - Situational Awareness.
Dagstuhl Seminar Proceedings
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
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing
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;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS)
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;
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)
Vitenskapelig artikkel
-
Herrmann, Peter Michael.
(2006)
Security Requirement Analysis of Business Processes.
Electronic Commerce Research
Vitenskapelig artikkel
Bøker
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
System Analysis and Modeling: About Models.
Springer
Lecture Notes in Computer Science (LNCS) (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
Electronic Commerce Research (3-4)
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.
IFIP International Federation for Information Processing (263)
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.
IFIP International Federation for Information Processing (263)
Vitenskapelig antologi/Konferanseserie
Del av bok/rapport
-
Puka, Ergys;
Herrmann, Peter.
(2021)
Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2021)
Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection.
Institute of Electrical and Electronics Engineers (IEEE)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Khan, Zeeshan Ali;
Herrmann, Peter.
(2021)
Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol.
IEEE conference proceedings
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Puka, Ergys;
Skoglund, Tor Rune.
(2020)
Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2020)
DeepMatch: deep matching for in-vehicle presence detection in transportation.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Taherkordi, Amirhosein;
Herrmann, Peter.
(2019)
Automated Product Localization through Mobile Data Analysis.
IEEE conference proceedings
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Puka, Ergys;
Herrmann, Peter.
(2019)
A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility.
IEEE Press
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Zamansky, Anna;
Spichkova, Maria;
Rodriguez-Navas, Guillermo;
Herrmann, Peter;
Blech, Jan Olaf.
(2018)
Towards Classification of Lightweight Formal Methods.
SciTePress
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Taherkordi, Amirhosein;
Herrmann, Peter.
(2018)
Pervasive Smart Contracts for Blockchains in IoT Systems.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus Karsten;
Herrmann, Peter;
Blech, Jan Olaf;
Taherkordi, Amirhosein.
(2018)
Simulation-driven Development of Self-adaptive Transportation Systems.
IEEE (Institute of Electrical and Electronics Engineers)
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.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Blech, Jan Olaf;
Han, Fenglin;
Schmidt, Heinz.
(2018)
Model-based Development and Spatiotemporal Behavior of Cyber-Physical Systems.
IGI Global
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.
Association for Computing Machinery (ACM)
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.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Herrmann, Peter;
Blech, Jan Olaf.
(2017)
Formal Analysis of Control Software for Cyber-Physical Systems.
IEEE conference proceedings
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.
Springer
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Oplenskedal, Magnus;
Herrmann, Peter;
Blech, Jan Olaf.
(2016)
Model-based Development of a Controller and Simulator for a Mobile Robot.
IEEE (Institute of Electrical and Electronics Engineers)
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.
SciTePress
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.
SciTePress
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.
IEEE (Institute of Electrical and Electronics Engineers)
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.
SciTePress
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Han, Fenglin;
Herrmann, Peter Michael;
Le, Hien Nam.
(2013)
Modeling and Verifying Real-time Properties of Reactive Systems.
IEEE conference proceedings
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.
Tapir Akademisk Forlag
Annet
-
Han, Fenglin;
Kathayat, Surya Bahadur;
Le, Hien Nam;
Bræk, Rolv;
Herrmann, Peter Michael.
(2011)
Towards Choreography Model Transformation via Graph Transformation.
IEEE Press
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.
ACM Publications
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.
ACM Publications
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Cross-Situation Trust Reasoning.
IEEE (Institute of Electrical and Electronics Engineers)
Annet
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter.
(2008)
Adaptable Model-based Component Deployment Guided by Artificial Ants.
Association for Computing Machinery (ACM)
Annet
-
Tavakolifard, Mozhgan;
Knapskog, Svein Johan;
Herrmann, Peter.
(2008)
Trust transferability among similar contexts.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2006)
Service Specification by Composition of Collaborations — An Example.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Rapport
-
Slåtten, Vidar;
Herrmann, Peter Michael;
Bræk, Rolv.
(2014)
Towards Model-Driven Engineering of Reliable Systems: Developing Fault-Tolerant Systems using Scalable Verification.
Doktoravhandlinger ved NTNU (211)
Doktorgradsavhandling
-
Csorba, Mate Jozsef;
Heegaard, Poul Einar;
Herrmann, Peter Michael.
(2011)
Cost-Efficient Deployment of Distributed Software Services.
Doktoravhandlinger ved NTNU (2011:122)
Doktorgradsavhandling
Undervisning
Emner
Formidling
2021
-
Vitenskapelig foredragPuka, Ergys; Herrmann, Peter. (2021) Simulating a Context-Aware Message Flooding Protocol to Mitigate Cellular Dead Spots with Realistic Drivers’ Behavior. IEEE ITSS 24th IEEE International Conference on Intelligent Transportation (ITSC) , Indianapolis 2021-09-19 - 2021-09-22
-
Vitenskapelig foredragOplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2021) Ataraxis: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection. IEEE Computer 3rd IEEE Conference on Cognitive Machine Intelligence , Virtual Conference 2021-12-13 - 2021-12-15
-
Vitenskapelig foredragKhan, Zeeshan Ali; Herrmann, Peter. (2021) Energy-efficient Protection of IoT Networks using Trust Management on the IEEE 802.15.4 Protocol. IFIP 8th IFIP NTMS Workshop on Wireless Sensor Networks and Internet of Things (WSN-IOT) , Paris 2021-04-19 - 2021-04-21
2020
-
Vitenskapelig foredragPuka, Ergys; Herrmann, Peter; Taherkordi, Amirhosein. (2020) Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication. IEEE IEEE Vehicular Technology Conference 2020 Fall (VTC2020-Fall) , Victoria (online only) 2020-11-18 - 2020-12-16
-
Vitenskapelig foredragHerrmann, Peter; Puka, Ergys; Skoglund, Tor Rune. (2020) Machine Learning-based Uptime-Prediction for Battery-friendly Passenger Information Displays. IEEE 8th IEEE International Conference on Smart City and Informatization (iSCI) , 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. ACM 14th ACM International Conference on Distributed and Event-based Systems (DEBS) , Montreal (Virtual) 2020-07-13 - 2020-07-17
-
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. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) , Vienna 2020-09-08 - 2020-09-11
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 foredragPuka, Ergys; Herrmann, Peter. (2019) A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility. IEEE Computer 5th IEEE International Workshop on Communication, Computing, and Networking in Cyber Physical Systems (CCNCPS) , Washington, DC 2019-06-09 - 2019-09-12
-
Vitenskapelig foredragOplenskedal, Magnus Karsten; Taherkordi, Amirhosein; Herrmann, Peter. (2019) Automated Product Localization through Mobile Data Analysis. IEEE Computer 20th IEEE International Conference on Mobile Data Management , Hong Kong 2019-06-10 - 2019-06-13
2018
-
Vitenskapelig foredragTaherkordi, Amirhosein; Herrmann, Peter. (2018) Pervasive Smart Contracts for Blockchains in IoT Systems. ACM 2018 International Conference on Blockchain Technology and Application , Xi'an 2018-12-10 - 2018-12-12
-
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 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
-
Faglig foredragSvae, Alexander; Taherkordi, Amirhosein; Herrmann, Peter; Blech, Jan Olaf. (2017) Self-Adaptive Control in Cyber-Physical Systems: The Autonomous Train Experiment. ACM 32nd ACM Symposium on Applied Computing (SAC) , Marrakech 2017-04-04 - 2017-04-06
-
Vitenskapelig foredragHerrmann, Peter; Blech, Jan Olaf. (2017) Formal Analysis of Control Software for Cyber-Physical Systems. IEEE Computer 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) , 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
2016
-
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
-
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. Mahidol University 2016 5th ICT International Student Project Conference (ICT-ISPC) , Bangkok 2016-05-27 - 2016-05-28
-
Vitenskapelig foredragHerrmann, Peter; Blech, Jan Olaf. (2016) Formal Model-based Development in Industrial Automation with Reactive Blocks. University of Vienna 3rd Human-Oriented Formal Methods Workshop (HOFM2016) , 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. SciTePress 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
2015
-
Vitenskapelig foredragBlech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Component-based Development of Cyber-Physical Systems. Maria Spichkova, Heinz Schmidt 2nd Human-Oriented Formal Methods Workshop (HOFM2015) , York 2015-09-07 - 2015-09-07
-
Vitenskapelig foredragBlech, Jan Olaf; Herrmann, Peter. (2015) Behavioral Types for Space-aware Systems. Iulia Dragomir et al. 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems , 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? . Næringsforeningen i Trondheimsregionen Innovasjonsfrokost , Trondheim 2015-08-28 - 2015-08-28
2014
-
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
-
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
2013
-
Vitenskapelig foredragHan, Fenglin; Herrmann, Peter Michael. (2013) Modeling Real-Time System Performance with Respect to Scheduling Analysis. IEEE 6th IEEE International Conference on Ubi-Media Computing (UMEDIA 2013) , 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. IEEE 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2013) , 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. KTH 7th International Federated Conference on Distributed Computing Techniques (DAIS 2012) , Stockholm 2012-06-13 - 2012-06-15
2011
-
Vitenskapelig foredragSætre, Rune; Khan, Mohammad Ullah; Herrmann, Peter Michael. (2011) End-user Composition of Web-based Services: The “Plus Alpha” Approach. Norwegian University of Science and technology India-Norway Workshop on Web Concepts and Technologies 2011 , Trondheim 2011-10-03 - 2011-10-03
-
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. End-User Development, EUD4Services Third International Symposium, IS-EUD 2011 , 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
-
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. NLDB Natural Language Processing and Information Systems , Alicante 2011-06-28 - 2011-06-30
2010
-
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. SERENE, ERCIM Working Group International Workshop on Software Engineering for Resilient Systems (SERENE 2010) , London 2010-04-15 - 2010-04-16
-
PosterGladysh, Sergiy; Herrmann, Peter. (2010) Trust issues for ¨No carries, no pain¨. SINTEF UbiCompForAll Project Workshop , 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. Norges Forskningsråd - The Research Council of Norway The VERDIKT Conference 2010 , Oslo 2010-11-01 - 2010-11-02
-
Vitenskapelig foredragHerrmann, Peter Michael. (2010) Engineering Distributed Applications with Collaborative UML Activities. Bezalel Gavish Networking and Electronic Commerce Research Conference 2010 , Riva del Garda 2010-10-07 - 2010-10-10
-
Vitenskapelig foredragGunawan, Linda Ariani; Vogel, Michael; Kraemer, Frank Alexander; Schmerl, Sebastian; Slåtten, Vidar; Herrmann, Peter Michael. (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 foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Reactive Semantics for Distributed UML Activities. John Hatcliff and Elena Zucca Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010 , Amsterdam 2010-06-07 - 2010-06-09
2009
-
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
-
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 foredragGunawan, Linda Ariani; Herrmann, Peter Michael; Kraemer, Frank Alexander. (2009) Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. Science and Engineering Research Support Center (SERSC) 2009 International Conference on Security Technology (SecTech 2009) , Jeju Island 2009-12-10 - 2009-12-12
-
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 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
2008
-
Vitenskapelig foredragCsorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Adaptable Model-based Component Deployment Guided by Artificial Ants. ICST, ACM 2nd International Conference on Autonomic Computing and Communication Systems , Turin 2008-09-23 - 2008-09-25
-
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
-
Vitenskapelig foredragTavakolifard, Mozhgan; Knapskog, Svein Johan; Herrmann, Peter. (2008) Cross-Situation Trust Reasoning. IEEE/WIC/ACM The IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology , Sydney 2008-12-09 - 2008-12-12
-
Vitenskapelig foredragCsorba, Mate Jozsef; Heegaard, Poul Einar; Herrmann, Peter. (2008) Cost-Efficient Deployment of Collaborative Components. René Meier, Sotirios Terzis 8th IFIP WG6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2008) , Oslo 2008-06-04 - 2008-06-06
2007
-
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 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. SDL Forum Society 13th SDL Forum , Paris 2007-09-18 - 2007-09-21
-
Vitenskapelig foredragKraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2007) Engineering Support for UML Activities by Automated Model-Checking - An Example. ERCIM Working Group 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE) , Luxembourg 2007-11-26 - 2007-11-27
2006
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2006) Service Specification by Composition of Collaborations - An Example. IEEE International Workshop on Service Composition (Sercomp'06) , Hong Kong 2006-12-18 -
-
Vitenskapelig foredragHerrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Modellbasierte Entwicklung von Kommunikationsdiensten an der NTNU. Maritta Heisel Jahrestreffen der GI-Fachgruppe FoMSESS , Duisburg 2006-06-12 - 2006-06-13
-
Vitenskapelig foredragHerrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Collaboration-Oriented Service Engineering by means of Model Transformation. Fabio Martinelli Meeting of the ERCIM Security and Trust Management Working Group , Hamburg 2006-09-20 - 2006-09-21
-
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. F. Martinelli, F. Massacci, K. Stølen, W. H. Winsborough 4th International Conference on Trust Management , Pisa 2006-05-16 - 2006-05-19