| 2006 |
|---|
| 28 | EE | Steffen Kolarczyk,
Manuel Koch,
Klaus-Peter Löhr,
Karl Pauls:
SecTOOL - Supporting Requirements Engineering for Access Control.
ETRICS 2006: 254-267 |
| 27 | EE | Manuel Koch,
Karl Pauls:
Engineering Self-protection for Autonomous Systems.
FASE 2006: 33-47 |
| 26 | EE | Torsten Fink,
Manuel Koch,
Karl Pauls:
An MDA approach to Access Control Specifications Using MOF and UML Profiles.
Electr. Notes Theor. Comput. Sci. 142: 161-179 (2006) |
| 25 | EE | Manuel Koch,
Francesco Parisi-Presicce:
UML specification of access control policies and their formal verification.
Software and System Modeling 5(4): 429-447 (2006) |
| 2005 |
|---|
| 24 | EE | Manuel Koch,
Karl Pauls:
An Access Control Language for Dynamic Systems - Model-Driven Development and Verification.
SDL Forum 2005: 16-31 |
| 23 | | Manuel Koch,
Karl Pauls:
Model-driven development of access control aspects.
Sicherheit 2005: 273-284 |
| 22 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Termination of High-Level Replacement Units with Application to Model Transformation.
Electr. Notes Theor. Comput. Sci. 127(4): 71-86 (2005) |
| 21 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Graph-based specification of access control policies.
J. Comput. Syst. Sci. 71(1): 1-33 (2005) |
| 2004 |
|---|
| 20 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Administrative scope in the graph-based framework.
SACMAT 2004: 97-104 |
| 2003 |
|---|
| 19 | EE | Manuel Koch,
Francesco Parisi-Presicce:
Visual Specifications of Policies and Their Verification.
FASE 2003: 278-293 |
| 18 | EE | Manuel Koch,
Francesco Parisi-Presicce:
Formal access control analysis in the software development process.
FMSE 2003: 67-76 |
| 17 | EE | Torsten Fink,
Manuel Koch,
Cristian Oancea:
Specification and Enforcement of Access Control in Heterogeneous Distributed Applications.
ICWS-Europe 2003: 88-100 |
| 2002 |
|---|
| 16 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Decidability of Safety in Graph-Based Models for Access Control.
ESORICS 2002: 229-243 |
| 15 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Conflict Detection and Resolution in Access Control Policy Specifications.
FoSSaCS 2002: 223-237 |
| 14 | EE | Manuel Koch,
Francesco Parisi-Presicce:
Describing Policies with Graph Constraints and Rules.
ICGT 2002: 223-238 |
| 13 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
A graph-based formalism for RBAC.
ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002) |
| 2001 |
|---|
| 12 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Foundations for a Graph-Based Approach to the Specification of Access Control Policies.
FoSSaCS 2001: 287-302 |
| 11 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
On the specification and evolution of access control policies.
SACMAT 2001: 121-130 |
| 10 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
A Visualization of OCL Using Collaborations.
UML 2001: 257-271 |
| 9 | EE | Manuel Koch:
A graph-based approach to the compositional specification of distributed systems.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 8 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Graph Transformations for the Specification of Access Control Policies.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 2000 |
|---|
| 7 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
A Formal Model for Role-Based Access Control Using Graph Transformation.
ESORICS 2000: 122-139 |
| 6 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Consistency Checking and Visualization of OCL Constraints.
UML 2000: 294-308 |
| 1999 |
|---|
| 5 | EE | Ingrid Fischer,
Manuel Koch,
Michael R. Berthold:
Learning and Rewriting in Fuzzy Rule Graphs.
AGTIVE 1999: 263-270 |
| 1998 |
|---|
| 4 | | Ingrid Fischer,
Manuel Koch,
Gabriele Taentzer:
Local Views on Distributed Systems and Their Communication.
TAGT 1998: 164-178 |
| 3 | | Fabio Gadducci,
Reiko Heckel,
Manuel Koch:
A Fully Abstract Model for Graph-Interpreted Temporal Logic.
TAGT 1998: 310-322 |
| 2 | | Manuel Koch,
Ingrid Fischer,
Victor Volle:
Graphtransformationen zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle.
Datenbank Rundbrief 21: 31-32 (1998) |
| 1997 |
|---|
| 1 | | Manuel Koch:
Graphtransformation als universelles Beschreibungs- und Ausführungsmodell für Transaktionen.
Datenbank Rundbrief 19: 67-69 (1997) |
