Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Roland Rieke
2010 – today
- 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
2000 – 2009
- 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
1990 – 1999
- 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)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-18 21:03 CET by the dblp team



