R. Rieke

发表

Secure Mobile Business Information Processing

Karsten Sohr, Roland Rieke, Günther Diederich, 2010, 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

Security Test Platform for Autonomous Driving

Roland Rieke, Daniel Zelle, R. Rieke, 2019 .

Temporal Logic

Roland Rieke, Jürgen Repp, Peter Ochsenschläger, 1994, Lecture Notes in Computer Science.

Safety by Construction: Well-behaved Scalable Systems

P. Ochsenschläger, R. Rieke, Peter Ochsenschläger, 2015 .

Secure gate: Secure gateways and wireless sensors as enablers for sustainability in production plants

Christoph Krauß, Roland Rieke, Diethelm Bienhaus, 2021, Simul. Model. Pract. Theory.

An update logic for information systems

Roland Rieke, Md. Aquil Khan, Mohua Banerjee, 2014, Int. J. Approx. Reason..

SECPAT: Security Patterns for Resilient Automotive E / E Architectures

Gianpiero Costantino, I. Matteucci, R. Rieke, 2022, International Euromicro Conference on Parallel, Distributed and Network-Based Processing.

Attack Surface Assessment for Cybersecurity Engineering in the Automotive Domain

Christoph Krauß, Roland Rieke, Dirk Scheuermann, 2021, 2021 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP).

Continuous fields: Enhanced in-vehicle anomaly detection using machine learning models

Yannick Chevalier, Andreas Dominik, Igor V. Kotenko, 2020, Simul. Model. Pract. Theory.

ECU-Secure: Characteristic Functions for In-Vehicle Intrusion Detection

Yannick Chevalier, Igor V. Kotenko, Roland Rieke, 2019, IDC.

Abstraction and composition: a verification method for co-operating systems

Roland Rieke, Jürgen Repp, Peter Ochsenschläger, 2000, J. Exp. Theor. Artif. Intell..

The SH-Verification Tool

Roland Rieke, Jürgen Repp, Peter Ochsenschläger, 2000, FLAIRS.

The SH-Verification Tool — Abstraction-Based Verification of Co-operating Systems

Ulrich Ultes-Nitsche, Roland Rieke, Jürgen Repp, 1998, Formal Aspects of Computing.

Construction Principles for Well-behaved Scalable Systems

Roland Rieke, Peter Ochsenschläger, R. Rieke, 2014, ICONS 2014.

MAnagement of Security information and events in Service InFrastructures

Valerio Formicola, Roland Rieke, Andreas Fuchs, 2011 .

Monitoring Security Compliance of Critical Processes

Maria Zhdanova, Roland Rieke, Jürgen Repp, 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

ThreatSurf: A method for automated Threat Surface assessment in automotive cybersecurity engineering

D. Scheuermann, R. Rieke, Daniel Zelle, 2022, Microprocess. Microsystems.

Ventilation monitor based on transthoracic impedance changes.

L. Hamilton, R. Rieke, 1972, Medical research engineering.

Cyberattack detection in vehicles using characteristic functions, artificial neural networks, and visual analysis

A. Chechulin, M. Kolomeets, R. Rieke, 2021, Informatics and Automation.

Behavior Analysis for Safety and Security in Automotive Systems

Bernhard Seeger, Roland Rieke, Marc Seidemann, 2017, 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).

No Smurfs: Revealing Fraud Chains in Mobile Money Transfers

Maria Zhdanova, Baptiste Hemery, Roland Rieke, 2014, 2014 Ninth International Conference on Availability, Reliability and Security.

Model-based Situational Security Analysis

Roland Rieke, Jörn Eichler, R. Rieke, 2011 .

A Holistic Approach to Security Policies - Policy Distribution with XACML over COPS

Jan Peters, Ruben Wolf, Roland Rieke, 2007, VODCA@FOSAD.

CAHOOT: a Context-Aware veHicular intrusiOn detectiOn sysTem

Gianpiero Costantino, I. Matteucci, R. Rieke, 2022, 2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).