Travelled to:1 × Austria
1 × Canada
1 × France
1 × Germany
1 × Italy
1 × Poland
1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:F.Parisi-Presicce G.Täntzer L.V.Mancini I.Fischer K.Pauls P.Bottoni M.R.Berthold F.Gadducci R.Heckel
Talks about:polici (4) graph (4) visual (3) specif (3) constraint (2) control (2) system (2) access (2) rule (2) ocl (2)
Person: Manuel Koch
DBLP: Koch:Manuel
Contributed to:
20062003
2002
20022001
20012000
19991998Wrote 10 papers:
- FASE-2006-KochP #self
- Engineering Self-protection for Autonomous Systems (MK, KP), pp. 33–47.
- FASE-2003-KochP #policy #specification #verification #visual notation
- Visual Specifications of Policies and Their Verification (MK, FPP), pp. 278–293.
- FoSSaCS-2002-KochMP #data access #detection #policy #specification
- Conflict Detection and Resolution in Access Control Policy Specifications (MK, LVM, FPP), pp. 223–237.
- ICGT-2002-KochP #constraints #graph #policy
- Describing Policies with Graph Constraints and Rules (MK, FPP), pp. 223–238.
- FoSSaCS-2001-KochMP #approach #data access #graph #policy #specification
- Foundations for a Graph-Based Approach to the Specification of Access Control Policies (MK, LVM, FPP), pp. 287–302.
- UML-2001-BottoniKPT #ocl #using #visualisation
- A Visualization of OCL Using Collaborations (PB, MK, FPP, GT), pp. 257–271.
- UML-2000-BottoniKPT #consistency #constraints #ocl #visualisation
- Consistency Checking and Visualization of OCL Constraints (PB, MK, FPP, GT), pp. 294–308.
- AGTIVE-1999-FischerKB #fuzzy #graph #learning
- Learning and Rewriting in Fuzzy Rule Graphs (IF, MK, MRB), pp. 263–270.
- TAGT-1998-FischerKT #communication #distributed
- Local Views on Distributed Systems and Their Communication (IF, MK, GT), pp. 164–178.
- TAGT-1998-GadducciHK #logic
- A Fully Abstract Model for Graph-Interpreted Temporal Logic (FG, RH, MK), pp. 310–322.