The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. - Peter Ochsenschläger; Jürgen Repp; Roland Rieke; Ulrich Nitsche (Formal Aspects Comput., 1998)

The SH-Verification Tool. - Peter Ochsenschläger; Jürgen Repp; Roland Rieke (FLAIRS, 2000)

Verification of Cooperating Systems - An Approach Based on Formal Languages. - Peter Ochsenschläger; Jürgen Repp; Roland Rieke (FLAIRS, 2000)

Abstraction and composition: a verification method for co-operating systems. - Peter Ochsenschläger; Jürgen Repp; Roland Rieke (J. Exp. Theor. Artif. Intell., 2000)

Modelling and Analysing Network Security Policies in a Given Vulnerability Setting. - Roland Rieke (CRITIS, 2006)

A Holistic Approach to Security Policies - Policy Distribution with XACML over COPS. - Jan Peters 003; Roland Rieke; Taufiq Rochaeli; Björn Steinemann; Ruben Wolf (VODCA@FOSAD, 2006)

Abstraction-based analysis of known and unknown vulnerabilities of critical information infrastructures. - Roland Rieke (Int. J. Syst. Syst. Eng., 2008)

Identification of Security Requirements in Systems of Systems by Functional Security Analysis. - Andreas Fuchs 002; Roland Rieke (WADS, 2009)

Secure Mobile Business Information Processing. - Nicolai Kuntze; Roland Rieke; Günther Diederich; Richard Sethmann; Karsten Sohr; Tanveer Mustafa; Kai-Oliver Detken (EUC, 2010)

Predictive Security Analysis for Event-Driven Processes. - Roland Rieke; Zaharina Stoynova (MMM-ACNS, 2010)

MASSIF: A Promising Solution to Enhance Olympic Games IT Security. - Elsa Prieto; Rodrigo Diaz; Luigi Romano; Roland Rieke; Mohammed Achemlal (ICGS3/e-Democracy, 2011)

Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations. - Peter Ochsenschläger; Roland Rieke (PDP, 2011)

Model-based Situational Security Analysis. - Jörn Eichler; Roland Rieke (Models@run.time, 2011)

Security and Reliability Requirements for Advanced Security Event Management. - Roland Rieke; Luigi Coppolino; Andrew Hutchison; Elsa Prieto; Chrystel Gaber (MMM-ACNS, 2012)

Model-Based Security Event Management. - Julian Schütte; Roland Rieke; Timo Winkelvos (MMM-ACNS, 2012)

Architecting a security strategy measurement and management system. - Roland Rieke; Julian Schütte; Andrew Hutchison (MDsec@MoDELS, 2012)

Security Requirements for Uniformly Parameterised Cooperations. - Peter Ochsenschläger; Roland Rieke (PDP, 2012)

Challenges for Advanced Security Monitoring - The MASSIF Project. - Roland Rieke; Elsa Prieto; Rodrigo Diaz; Hervé Debar; Andrew Hutchison (TrustBus, 2012)

Fraud Detection in Mobile Payments Utilizing Process Behavior Analysis. - Roland Rieke; Maria Zhdanova; Jürgen Repp; Romain Giot; Chrystel Gaber (ARES, 2013)

No Smurfs: Revealing Fraud Chains in Mobile Money Transfers. - Maria Zhdanova; Jürgen Repp; Roland Rieke; Chrystel Gaber; Baptiste Hemery (ARES, 2014)

Monitoring Security Compliance of Critical Processes. - Roland Rieke; Jürgen Repp; Maria Zhdanova; Jörn Eichler (PDP, 2014)

Verhaltensanalyse zur Erkennung von Missbrauch mobiler Geldtransferdienste. - Roland Rieke; Maria Zhdanova; Jürgen Repp; Romain Giot; Chrystel Gaber (Sicherheit, 2014)

An update logic for information systems. - Md. Aquil Khan; Mohua Banerjee; Roland Rieke (Int. J. Approx. Reason., 2014)

Security and Business Situational Awareness. - Roland Rieke; Maria Zhdanova; Jürgen Repp (CSP Forum, 2015)

Trust Establishment in Cooperating Cyber-Physical Systems. - Andre Rein; Roland Rieke; Michael Jäger; Nicolai Kuntze; Luigi Coppolino (CyberICS/WOS-CPS@ESORICS, 2015)

Pairs of Languages Closed under Shuffle Projection. - Peter Ochsenschläger; Roland Rieke (CoRR, 2015)

Security Compliance Tracking of Processes in Networked Cooperating Systems. - Roland Rieke; Maria Zhdanova; Jürgen Repp (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2015)

Security Analysis of System Behaviour - From "Security by Design" to "Security at Runtime" -. - Roland Rieke (2015)

Steganalysis Method for Detecting Embedded Coefficients of Discrete-Wavelet Image Transformation into High-Frequency Domains. - Alexey V. Sivachev; Daniil A. Bashmakov; Olga V. Mikhailishenko; Anatoliy G. Korobeynikov; Roland Rieke (MobiSec, 2017)

Behavior Analysis for Safety and Security in Automotive Systems. - Roland Rieke; Marc Seidemann; Elise Kengni Talla; Daniel Zelle; Bernhard Seeger (PDP, 2017)

Comparative Study of Machine Learning Methods for In-Vehicle Intrusion Detection. - Ivo Berger; Roland Rieke; Maxim Kolomeets; Andrey Chechulin; Igor V. Kotenko (CyberICPS/SECPRE@ESORICS, 2018)

Gateway for Industrial Cyber-Physical Systems with Hardware-Based Trust Anchors. - Diethelm Bienhaus; Lukas Jäger; Roland Rieke; Christoph Krauß (IDC, 2019)

ECU-Secure: Characteristic Functions for In-Vehicle Intrusion Detection. - Yannick Chevalier; Roland Rieke; Florian Fenzl; Andrey Chechulin; Igor V. Kotenko (IDC, 2019)

SEPAD - Security Evaluation Platform for Autonomous Driving. - Daniel Zelle; Roland Rieke; Christian Plappert; Christoph Krauß; Dmitry Levshun; Andrey Chechulin (PDP, 2020)

Continuous fields: Enhanced in-vehicle anomaly detection using machine learning models. - Florian Fenzl; Roland Rieke; Yannick Chevalier; Andreas Dominik; Igor V. Kotenko (Simul. Model. Pract. Theory, 2020)

In-vehicle detection of targeted CAN bus attacks. - Florian Fenzl; Roland Rieke; Andreas Dominik (ARES, 2021)

Attack Surface Assessment for Cybersecurity Engineering in the Automotive Domain. - Christian Plappert; Daniel Zelle; Henry Gadacz; Roland Rieke; Dirk Scheuermann; Christoph Krauß (PDP, 2021)

Secure gate: Secure gateways and wireless sensors as enablers for sustainability in production plants. - Diethelm Bienhaus; Andreas Ebner; Lukas Jäger; Roland Rieke; Christoph Krauß (Simul. Model. Pract. Theory, 2021)

SECPAT: Security Patterns for Resilient Automotive E / E Architectures. - Christian Plappert; Florian Fenzl; Roland Rieke; Ilaria Matteucci; Gianpiero Costantino; Marco De Vincenzi 001 (PDP, 2022)

CAHOOT: a Context-Aware veHicular intrusiOn detectiOn sysTem. - Davide Micale; Gianpiero Costantino; Ilaria Matteucci; Florian Fenzl; Roland Rieke; Giuseppe Patanè 002 (TrustCom, 2022)

ThreatSurf: A method for automated Threat Surface assessment in automotive cybersecurity engineering. - Daniel Zelle; Christian Plappert; Roland Rieke; Dirk Scheuermann; Christoph Krauß (Microprocess. Microsystems, 2022)

RulEth: Genetic Programming-Driven Derivation of Security Rules for Automotive Ethernet. - Felix Clemens Gail; Roland Rieke; Florian Fenzl (ECML/PKDD (7), 2023)

Evaluation of Decision Tree-Based Rule Derivation for Intrusion Detection in Automotive Ethernet. - Felix Clemens Gail; Roland Rieke; Florian Fenzl; Christoph Krauß (TrustCom, 2023)

SecPol: Enabling Security Policy Control in Vehicle Networks using Intrusion Detection and Hardware Trust. - Florian Fenzl; Jonathan Stancke; Christian Plappert; Roland Rieke; Felix Clemens Gail; Theo Dimitrakos; Hussein Joumaa (CSCS, 2024)

A Systematic Review on Security Attacks and Countermeasures in Automotive Ethernet. - Marco De Vincenzi 001; Gianpiero Costantino; Ilaria Matteucci; Florian Fenzl; Christian Plappert; Roland Rieke; Daniel Zelle (ACM Comput. Surv., 2024)

A context-aware on-board intrusion detection system for smart vehicles. - Davide Micale; Ilaria Matteucci; Florian Fenzl; Roland Rieke; Giuseppe Patanè 002 (Int. J. Inf. Sec., 2024)