Roland Rieke
Roland Rieke
Verified email at sit.fraunhofer.de - Homepage
Title
Cited by
Cited by
Year
Security requirements for automotive on-board networks based on dark-side scenarios
A Ruddle, D Ward, B Weyl, S Idrees, Y Roudier, M Friedewald, ...
EVITA Deliverable D 2 (3), 2009
102*2009
The SH-Verification Tool—Abstraction-Based Verification of Co-operating Systems
P Ochsenschläger, J Repp, R Rieke, U Nitsche
Formal Aspects of Computing 10 (4), 381-404, 1998
521998
Fraud detection in mobile payments utilizing process behavior analysis
R Rieke, M Zhdanova, J Repp, R Giot, C Gaber
2013 International Conference on Availability, Reliability and Security, 662-669, 2013
502013
The SH-Verification Tool.
P Ochsenschläger, J Repp, R Rieke
FLAIRS Conference, 18-22, 2000
302000
Identification of security requirements in systems of systems by functional security analysis
A Fuchs, R Rieke
Architecting Dependable Systems VII, 74-96, 2010
282010
Identification of security requirements in systems of systems by functional security analysis
A Fuchs, R Rieke
Architecting Dependable Systems VII, 74-96, 2010
282010
Abstraction and composition: a verification method for co-operating systems
P Ochsenschläger, J Repp, R Rieke
Journal of Experimental & Theoretical Artificial Intelligence 12 (4), 447-459, 2000
282000
A trusted information agent for security information and event management
L Coppolino, M Jäger, N Kuntze, R Rieke
ICONS 2012, The Seventh International Conference on Systems, 6-12, 2012
272012
Security and reliability requirements for advanced security event management
R Rieke, L Coppolino, A Hutchison, E Prieto, C Gaber
International Conference on Mathematical Methods, Models, and Architectures …, 2012
252012
Tool based formal modelling, analysis and visualisation of enterprise network vulnerabilities utilising attack graph exploration
R Rieke
Eicar 2004 Conference CD-rom: Best Paper Proceedings, Copenhagen, EICAR eV, 2004
232004
No smurfs: Revealing fraud chains in mobile money transfers
M Zhdanova, J Repp, R Rieke, C Gaber, B Hemery
2014 Ninth International Conference on Availability, Reliability and …, 2014
222014
Modelling and analysing network security policies in a given vulnerability setting
R Rieke
International Workshop on Critical Information Infrastructures Security, 67-78, 2006
222006
Predictive security analysis for event-driven processes
R Rieke, Z Stoynova
International Conference on Mathematical Methods, Models, and Architectures …, 2010
202010
MASSIF: A promising solution to enhance olympic games IT security
E Prieto, R Diaz, L Romano, R Rieke, M Achemlal
Global Security, Safety and Sustainability & e-Democracy, 139-147, 2011
192011
Comparative Study of Machine Learning Methods for In-Vehicle Intrusion Detection
I Berger, R Rieke, M Kolomeets, A Chechulin, I Kotenko
Computer Security. ESORICS 2018 International Workshops, CyberICPS 2018 and …, 2019
172019
Behavior analysis for safety and security in automotive systems
R Rieke, M Seidemann, EK Talla, D Zelle, B Seeger
2017 25th Euromicro International Conference on Parallel, Distributed and …, 2017
172017
Monitoring security compliance of critical processes
R Rieke, J Repp, M Zhdanova, J Eichler
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
162014
Model-based security event management
J Schütte, R Rieke, T Winkelvos
International Conference on Mathematical Methods, Models, and Architectures …, 2012
162012
Model-based situational security analysis
J Eichler, R Rieke
Proceedings of the 6th International Workshop on Models@run.time at the ACM …, 2011
152011
An update logic for information systems
MA Khan, M Banerjee, R Rieke
International journal of approximate reasoning 55 (1), 436-456, 2014
132014
The system can't perform the operation now. Try again later.
Articles 1–20