| 2012 | ||
|---|---|---|
| c13 | Roland Rieke, Luigi Coppolino, Andrew Hutchison, Elsa Prieto, Chrystel Gaber: Security and Reliability Requirements for Advanced Security Event Management. MMM-ACNS 2012: 171-180 | |
| c12 | Julian Schütte, Roland Rieke, Timo Winkelvos: Model-Based Security Event Management. MMM-ACNS 2012: 181-190 | |
| c11 | Roland Rieke, Julian Schütte, Andrew Hutchison: Architecting a security strategy measurement and management system. MDsec 2012: 2 | |
| c10 | Peter Ochsenschläger, Roland Rieke: Security Requirements for Uniformly Parameterised Cooperations. PDP 2012: 288-292 | |
| c9 | Roland Rieke, Elsa Prieto, Rodrigo Diaz, Hervé Debar, Andrew Hutchison: Challenges for Advanced Security Monitoring - The MASSIF Project. TrustBus 2012: 222-223 | |
| 2011 | ||
| c8 | Elsa Prieto, Rodrigo Diaz, Luigi Romano, Roland Rieke, Mohammed Achemlal: MASSIF: A Promising Solution to Enhance Olympic Games IT Security. ICGS3/e-Democracy 2011: 139-147 | |
| c7 | Peter Ochsenschläger, Roland Rieke: Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations. PDP 2011: 640-645 | |
| 2010 | ||
| c6 | Nicolai Kuntze, Roland Rieke, Günther Diederich, Richard Sethmann, Karsten Sohr, Tanveer Mustafa, Kai-Oliver Detken: Secure Mobile Business Information Processing. EUC 2010: 672-678 | |
| c5 | Roland Rieke, Zaharina Stoynova: Predictive Security Analysis for Event-Driven Processes. MMM-ACNS 2010: 321-328 | |
| 2009 | ||
| c4 | Andreas Fuchs, Roland Rieke: Identification of Security Requirements in Systems of Systems by Functional Security Analysis. WADS 2009: 74-96 | |
| 2007 | ||
| j3 | Jan Peters, Roland Rieke, Taufiq Rochaeli, Björn Steinemann, Ruben Wolf: A Holistic Approach to Security Policies - Policy Distribution with XACML over COPS. Electr. Notes Theor. Comput. Sci. 168: 143-157 (2007) | |
| 2006 | ||
| c3 | Roland Rieke: Modelling and Analysing Network Security Policies in a Given Vulnerability Setting. CRITIS 2006: 67-78 | |
| 2000 | ||
| j2 | Peter Ochsenschläger, Jürgen Repp, Roland Rieke: Abstraction and composition: a verification method for co-operating systems. J. Exp. Theor. Artif. Intell. 12(4): 447-459 (2000) | |
| c2 | Peter Ochsenschläger, Jürgen Repp, Roland Rieke: The SH-Verification Tool. FLAIRS Conference 2000: 18-22 | |
| c1 | Peter Ochsenschläger, Jürgen Repp, Roland Rieke: Verification of Cooperating Systems - An Approach Based on Formal Languages. FLAIRS Conference 2000: 346-350 | |
| 1998 | ||
| j1 | Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche: The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. Formal Asp. Comput. 10(4): 381-404 (1998) | |
Colors in the list of coauthors
Last update Sun May 26 09:59:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page