Steps toward a corporate network based on packet switching and ISDN. - Knut A. Bahr; Michael Giessler; Jürgen Repp (ICCC, 1988)

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)

Final Architecture Specification of security, privacy, and incentive mechanisms - Nicolai Kuntze; Jürgen Repp; Hervais Simo Fhom; Andreas Fuchs 002; Ine-Saf Benaissa (CoRR, 2009)

Verification of S&D Solutions for Network Communications and Devices. - Carsten Rudolph; Luca Compagna; Roberto Carbone; Antonio Muñoz 001; Jürgen Repp (Security and Dependability for Ambient Intelligence, 2009)

A Property Based Security Risk Analysis Through Weighted Simulation. - Timo Winkelvos; Carsten Rudolph; Jürgen Repp (ISSA, 2011)

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)

Security and Business Situational Awareness. - Roland Rieke; Maria Zhdanova; Jürgen Repp (CSP Forum, 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)

Advanced Remote Firmware Upgrades Using TPM 2.0. - Andreas Fuchs 002; Christoph Krauß; Jürgen Repp (SEC, 2016)

Runtime Firmware Product Lines Using TPM2.0. - Andreas Fuchs 002; Christoph Krauß; Jürgen Repp (SEC, 2017)

Secure Attestation of Virtualized Environments. - Michael Eckel; Andreas Fuchs 002; Jürgen Repp; Markus Springer (SEC, 2020)