Jürgen Repp

According to our database, Jürgen Repp authored at least 17 papers between 1988 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Secure Attestation of Virtualized Environments.

Michael Eckel, Andreas Fuchs, Jürgen Repp, Markus Springer

Proceedings of the ICT Systems Security and Privacy Protection, 2020

2017

Runtime Firmware Product Lines Using TPM2.0.

Andreas Fuchs, Christoph Krauß, Jürgen Repp

Proceedings of the ICT Systems Security and Privacy Protection, 2017

2016

Advanced Remote Firmware Upgrades Using TPM 2.0.

Andreas Fuchs, Christoph Krauß, Jürgen Repp

Proceedings of the ICT Systems Security and Privacy Protection, 2016

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 and Business Situational Awareness.

Roland Rieke, Maria Zhdanova, Jürgen Repp

Proceedings of the Cyber Security and Privacy, 2015

2014

Verhaltensanalyse zur Erkennung von Missbrauch mobiler Geldtransferdienste.

Roland Rieke, Maria Zhdanova, Jürgen Repp, Romain Giot, Chrystel Gaber

Proceedings of the Sicherheit 2014: Sicherheit, 2014

Monitoring Security Compliance of Critical Processes.

Roland Rieke, Jürgen Repp, Maria Zhdanova, Jörn Eichler

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

No Smurfs: Revealing Fraud Chains in Mobile Money Transfers.

Maria Zhdanova, Jürgen Repp, Roland Rieke, Chrystel Gaber, Baptiste Hemery

Proceedings of the Ninth International Conference on Availability, 2014

2013

Fraud Detection in Mobile Payments Utilizing Process Behavior Analysis.

Roland Rieke, Maria Zhdanova, Jürgen Repp, Romain Giot, Chrystel Gaber

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2011

A Property Based Security Risk Analysis Through Weighted Simulation.

Timo Winkelvos, Carsten Rudolph, Jürgen Repp

Proceedings of the Information Security South Africa Conference 2011, 2011

2009

Verification of S&D Solutions for Network Communications and Devices.

Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, Jürgen Repp

Proceedings of the Security and Dependability for Ambient Intelligence, 2009

Final Architecture Specification of security, privacy, and incentive mechanisms

Nicolai Kuntze, Jürgen Repp, Hervais Simo Fhom, Andreas Fuchs, Ine-Saf Benaissa

CoRR, 2009

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

Verification of Cooperating Systems - An Approach Based on Formal Languages.

Peter Ochsenschläger, Jürgen Repp, Roland Rieke

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

The SH-Verification Tool.

Peter Ochsenschläger, Jürgen Repp, Roland Rieke

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1998

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

1988

Steps toward a corporate network based on packet switching and ISDN.

Knut A. Bahr, Michael Giessler, Jürgen Repp

Proceedings of the Computer Communication Technologies for the 90's, Proceedings of the Ninth International Conference on Computer Communication, Tel Aviv, Israel, October 30, 1988