Jürgen Repp

17 papers B 2C 2Misc 5Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2020 Misc conf
Secure Attestation of Virtualized Environments.
SEC
Michael Eckel, Andreas Fuchs, Jürgen Repp, Markus Springer
2017 Misc conf
Runtime Firmware Product Lines Using TPM2.0.
SEC
Andreas Fuchs, Christoph Krauß, Jürgen Repp
2016 Misc conf
Advanced Remote Firmware Upgrades Using TPM 2.0.
SEC
Andreas Fuchs, Christoph Krauß, Jürgen Repp
2015 J jnl
Security Compliance Tracking of Processes in Networked Cooperating Systems.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Roland Rieke, Maria Zhdanova, Jürgen Repp
2015 — conf
Security and Business Situational Awareness.
CSP Forum
Roland Rieke, Maria Zhdanova, Jürgen Repp
2014 C conf
Monitoring Security Compliance of Critical Processes.
PDP
Roland Rieke, Jürgen Repp, Maria Zhdanova, Jörn Eichler
2014 B conf
No Smurfs: Revealing Fraud Chains in Mobile Money Transfers.
ARES
Maria Zhdanova, Jürgen Repp, Roland Rieke, Chrystel Gaber, Baptiste Hemery
2014 — conf
Verhaltensanalyse zur Erkennung von Missbrauch mobiler Geldtransferdienste.
Sicherheit
Roland Rieke, Maria Zhdanova, Jürgen Repp, Romain Giot, Chrystel Gaber
2013 B conf
Fraud Detection in Mobile Payments Utilizing Process Behavior Analysis.
ARES
Roland Rieke, Maria Zhdanova, Jürgen Repp, Romain Giot, Chrystel Gaber
2011 — conf
A Property Based Security Risk Analysis Through Weighted Simulation.
ISSA
Timo Winkelvos, Carsten Rudolph, Jürgen Repp
2009 J jnl
Final Architecture Specification of security, privacy, and incentive mechanisms
CoRR
Nicolai Kuntze, Jürgen Repp, Hervais Simo Fhom, Andreas Fuchs, Ine-Saf Benaissa
2009 — ch.
Verification of S&D Solutions for Network Communications and Devices.
Security and Dependability for Ambient Intelligence
Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, Jürgen Repp
2000 J jnl
Abstraction and composition: a verification method for co-operating systems.
J. Exp. Theor. Artif. Intell.
Peter Ochsenschläger, Jürgen Repp, Roland Rieke
2000 Misc conf
The SH-Verification Tool.
FLAIRS
Peter Ochsenschläger, Jürgen Repp, Roland Rieke
2000 Misc conf
Verification of Cooperating Systems - An Approach Based on Formal Languages.
FLAIRS
Peter Ochsenschläger, Jürgen Repp, Roland Rieke
1998 J jnl
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.
Formal Aspects Comput.
Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche
1988 C conf
Steps toward a corporate network based on packet switching and ISDN.
ICCC
Knut A. Bahr, Michael Giessler, Jürgen Repp