BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Koch:Manuel

Contributed to:

FASE 20062006
FASE 20032003
FoSSaCS 20022002
ICGT 20022002
FoSSaCS 20012001
UML 20012001
UML 20002000
AGTIVE 19991999
TAGT 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.