Peter Herrmann

Proceedings of the 11th IFIP International Conference on New Technologies, 2021

Mitigating Dead Spots in Cellular Networks with the Hybrid Communication Protocol CAMFLOOP.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

ATARAXIS: A Deep Learning Approach for Hardwareless In-Vehicle Presence Detection.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Cognitive Machine Intelligence, 2021

2020

Hybrid Context-aware Message Flooding for Dead Spot Mitigation in V2I Communication.

[BibT_eX]

[DOI]

Proceedings of the 92nd IEEE Vehicular Technology Conference, 2020

Machine Learning-based Update-time Prediction for Battery-friendly Passenger Information Displays.

[BibT_eX]

[DOI]

Tor Rune Skoglund

Proceedings of the 8th IEEE International Conference on Smart City and Informatization, 2020

Assessing Long Distance Communication Alternatives for the Remote Control of AGVs.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

DeepMatch: deep matching for in-vehicle presence detection in transportation.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems, 2020

2019

Recent Advancements in Intrusion Detection Systems for the Internet of Things.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2019

Data Dissemination for Vehicles in Temporary Cellular Network Dead Spots.

[BibT_eX]

[DOI]

Int. J. Cyber Phys. Syst., 2019

A Data Dissemination Protocol for Vehicles with Temporary Cellular Network Inaccessibility.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on "A World of Wireless, 2019

RoRo: a new robotic rollator concept to assist the elderly and caregivers.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM International Conference on PErvasive Technologies Related to Assistive Environments, 2019

Automated Product Localization Through Mobile Data Analysis.

[BibT_eX]

[DOI]

Amirhosein Taherkordi

Proceedings of the 20th IEEE International Conference on Mobile Data Management, 2019

Utilizing Connectivity Maps to Accelerate V2I Communication in Cellular Network Dead Spots.

[BibT_eX]

[DOI]

Jon Arild Ekberg Meyer

Proceedings of the Internet of Vehicles. Technologies and Services Toward Smart Cities, 2019

2018

Simulation-driven Development of Self-adaptive Transportation Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Conference on Network Softwarization and Workshops, 2018

Pervasive Smart Contracts for Blockchains in IoT Systems.

[BibT_eX]

[DOI]

Guillermo Rodríguez-Navas

Proceedings of the 2018 International Conference on Blockchain Technology and Application, 2018

Towards Classification of Lightweight Formal Methods.

[BibT_eX]

[DOI]

Anna Zamansky

Maria Spichkova

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

A way to measure and analyze cellular network connectivity on the norwegian road system.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Communication Systems & Networks, 2018

2017

How to Secure Internet of Things Devices in an Energy Efficient Way.

[BibT_eX]

[DOI]

ERCIM News, 2017

Self-adaptive control in cyber-physical systems: the autonomous train experiment.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

Formal Analysis of Control Software for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

A Trust Based Distributed Intrusion Detection Mechanism for Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Advanced Information Networking and Applications, 2017

A Trust-based Resilient Routing Mechanism for the Internet of Things.

[BibT_eX]

[DOI]

Johanna Ullrich

Artemios G. Voyiatzis

Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016

A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2016

Formal Model-Based Development in Industrial Automation with Reactive Blocks.

[BibT_eX]

[DOI]

Henrik Heggelund Svendsen

Proceedings of the Software Technologies: Applications and Foundations, 2016

Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

Model-Based Engineering and Spatiotemporal Analysis of Transport Systems.

[BibT_eX]

[DOI]

Simon Hordvik

Kristoffer Øseth

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

A Methodology for Model-based Development and Safety Analysis of Transport Systems.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2016, 2016

Collaborative Model-based Development of a Remote Train Monitoring System.

[BibT_eX]

[DOI]

Henrik Heggelund Svendsen

Alexander Svae

Proceedings of the ENASE 2016, 2016

2015

Creating Internet of Things Applications from Building Blocks.

[BibT_eX]

[DOI]

ERCIM News, 2015

Behavioral Types for Component-Based Development of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2015

Behavioral Types for Space-aware Systems.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2015, 2015

Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Integrating security mechanisms into embedded systems by domain-specific modelling.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2014

Towards Verifying Safety Properties of Real-Time Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST.

[BibT_eX]

[DOI]

Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

2013

Model-Driven Engineering of Reliable Fault-Tolerant Systems - A State-of-the-Art Survey.

[BibT_eX]

[DOI]

Adv. Comput., 2013

Modeling Reactive Trust Acquisition Using State Transition Systems.

[BibT_eX]

[DOI]

Sergiy Gladysh

Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

Modeling and Verifying Real-Time Properties of Reactive Systems.

[BibT_eX]

[DOI]

Fenglin Han

Hien Le

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Modeling real-time system performance with respect to scheduling analysis.

[BibT_eX]

[DOI]

Fenglin Han

Proceedings of the International Joint Conference on Awareness Science and Technology & Ubi-Media Computing, 2013

Compositional Verification of Application-Level Security Properties.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012

Remedy of Mixed Initiative Conflicts in Model-based System Engineering.

[BibT_eX]

[DOI]

Fenglin Han

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Security asset elicitation for collaborative models.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Security Workshop, 2012

Behavioral Singletons to Consistently Handle Global States of Security Patterns.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2012

2011

Modeling a distributed intrusion detection system using collaborative building blocks.

[BibT_eX]

[DOI]

Michael Vogel

ACM SIGSOFT Softw. Eng. Notes, 2011

Component deployment using parallel ant-nests.

[BibT_eX]

[DOI]

Máté J. Csorba

Poul E. Heegaard

Int. J. Auton. Adapt. Commun. Syst., 2011

Towards Ontology-Driven End-User Composition of Personalized Mobile Services.

[BibT_eX]

[DOI]

Rune Sætre

Mohammad Ullah Khan

Erlend Stav

Alfredo Perez Fernandez

Jon Atle Gulla

Proceedings of the Natural Language Processing and Information Systems, 2011

Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming And Component Engineering, 2011

Contracts for Multi-instance UML Activities.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

2010

Special issue on trust and privacy in electronic commerce - Editors' introduction.

[BibT_eX]

[DOI]

Electron. Commer. Res., 2010

Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Reactive Semantics for Distributed UML Activities.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

2009

Tool support for the rapid composition, analysis and implementation of reactive services.

[BibT_eX]

[DOI]

Antonio Sánchez-Esguevillas

J. Syst. Softw., 2009

Telecommunication solutions for European leadership in telecommunications [Very Large Projects].

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2009

Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example.

[BibT_eX]

[DOI]

Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009

Automated Encapsulation of UML Activities for Incremental Development and Verification.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

Analogical Trust Reasoning.

[BibT_eX]

[DOI]

Pinar Öztürk

Proceedings of the Trust Management III, Third IFIP WG 11.11 International Conference, 2009

Inferring Trust Based on Similarity with TILLIT.

[BibT_eX]

[DOI]

Svein J. Knapskog

Proceedings of the Trust Management III, Third IFIP WG 11.11 International Conference, 2009

Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models.

[BibT_eX]

[DOI]

Proceedings of the Security Technology, 2009

Foraging for Better Deployment of Replicated Service Components.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2009

2008

Trust transferability among similar contexts.

[BibT_eX]

[DOI]

Svein J. Knapskog

Proceedings of the Q2SWinet'08, 2008

Cross-Situation Trust Reasoning.

[BibT_eX]

[DOI]

Svein J. Knapskog

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

Cost-Efficient Deployment of Collaborating Components.

[BibT_eX]

[DOI]

Máté J. Csorba

Poul E. Heegaard

Proceedings of the Distributed Applications and Interoperable Systems, 2008

08102 Outcome Working Group -- Situational Awareness.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop: Network Attack Detection and Defense, 2.3., 2008

Adaptable model-based component deployment guided by artificial ants.

[BibT_eX]

[DOI]

Máté J. Csorba

Poul E. Heegaard

Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007

Transforming Collaborative Service Specifications into Efficiently Executable State Machines.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.

[BibT_eX]

[DOI]

Rolv Bræk

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

Design of Trusted Systems with Reusable Collaboration Models.

[BibT_eX]

[DOI]

Proceedings of the Trust Management, 2007

2006

Security requirement analysis of business processes.

[BibT_eX]

[DOI]

Gaby Herrmann

Electron. Commer. Res., 2006

Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services.

[BibT_eX]

[DOI]

Rolv Bræk

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Temporal Logic-Based Specification and Verification of Trust Models.

[BibT_eX]

[DOI]

Proceedings of the Trust Management, 4th International Conference, 2006

Service Specification by Composition of Collaborations--An Example.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

2004

Trust-Based Monitoring of Component-Structured Software.

[BibT_eX]

[DOI]

Prax. Inf.verarb. Kommun., 2004

Introduction: Security and Trust in Electronic Commerce.

[BibT_eX]

[DOI]

Gaby Herrmann

Electron. Commer. Res., 2004

Generation and Enactment of Controllers for Business Architectures Using MDA.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, First European Workshop, 2004

Vertrauensbasierte Laufzeitüberwachung verteilter komponentenstrukturierter E-Commerce-Software.

[BibT_eX]

[DOI]

Lars Wiebusch

Proceedings of the Detection of Intrusions and Malware & Vulnerability Assessment, 2004

2003

Transformation and Verification of Executable UML Models.

[BibT_eX]

[DOI]

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003

Trust-Based Protection of Software Component Users and Designers.

[BibT_eX]

[DOI]

Proceedings of the Trust Management, First International Conference, 2003

Formal Security Policy Verification of Distributed Component-Structured Software.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2002

Regional Lung Perfusion as Determined by Electrical Impedance Tomography in Comparison with Electron Beam CT Imaging.

[BibT_eX]

[DOI]

IEEE Trans. Medical Imaging, 2002

Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs.

[BibT_eX]

[DOI]

Telecommun. Syst., 2002

State-Based Security Policy Enforcement in Component-Based E-Commerce Applications.

[BibT_eX]

Lars Wiebusch

Proceedings of the Towards The Knowledge Society: eCommerce, 2002

2001

Trust-Adapted Enforcement of Security Policies in Distributed Component-Structured Applications.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 2001

Tool-Assisted Security Assessment of Distributed Applications.

[BibT_eX]

[DOI]

Lars Wiebusch

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

Information Flow Analysis of Component-Structured Applications.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC 2001), 2001

2000

A framework for modeling transfer protocols.

[BibT_eX]

[DOI]

Comput. Networks, 2000

Verification of UML-Based Real-Time System Designs by Means of cTLA.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999

Formal Hazard Analysis of Hybrid Systems in cTLA.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen.

[BibT_eX]

Manfred Noël

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Composing Object-Oriented Specifications and Verifications with cTLA.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Constraint-oriented formal modelling of OO-systems.

[BibT_eX]

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

1998

Modular specification and verification of XTP.

[BibT_eX]

[DOI]

Telecommun. Syst., 1998

Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework.

[BibT_eX]

[DOI]