Manuel Koch

发表

Learning and Rewriting in Fuzzy Rule Graphs

Ingrid Fischer, Michael R. Berthold, Manuel Koch, 1999, AGTIVE.

Visual Specifications of Policies and Their Verification

Francesco Parisi-Presicce, Manuel Koch, 2003, FASE.

Entwicklung und Verwaltung von Zugriffsschutz in verteilten Objektsystemen – eine Krankenhausfallstudie

Klaus-Peter Löhr, Gerald Brose, Manuel Koch, 2003, PIK Prax. Informationsverarbeitung Kommun..

Foundations for a Graph-Based Approach to the Specification of Access Control Policies

Luigi V. Mancini, Francesco Parisi-Presicce, Manuel Koch, 2001, FoSSaCS.

Graphtransformation als universelles Beschreibungs- und Ausführungsmodell für Transaktionen

Manuel Koch, 1997, Datenbank Rundbr..

Model-driven development of access control aspects

Karl Pauls, Manuel Koch, 2005, Sicherheit.

Formalizing Neural Networks

Ingrid Fischer, Michael R. Berthold, Manuel Koch, 1998 .

Conversion of a Manually Driven Racing Car to a Driverless Vehicle

Manuel Koch, Felix Müller, Lukas Twerdy, 2018 .

Consistency Checking and Visualization of OCL Constraints

Gabriele Taentzer, Francesco Parisi-Presicce, Paolo Bottoni, 2000, UML.

A graph-based formalism for RBAC

Luigi V. Mancini, Francesco Parisi-Presicce, Manuel Koch, 2002, TSEC.

Engineering Self-protection for Autonomous Systems

Karl Pauls, Manuel Koch, M. Koch, 2006, FASE.

Access Control Specification in UML

Francesco Parisi-Presicce, Karl Pauls, Manuel Koch, 2007 .

Graphtransformationen zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle

Ingrid Fischer, Manuel Koch, Victor Volle, 1998, Datenbank Rundbr..

On the specification and evolution of access control policies

Luigi V. Mancini, Francesco Parisi-Presicce, Manuel Koch, 2001, SACMAT '01.

SecTOOL - Supporting Requirements Engineering for Access Control

Klaus-Peter Löhr, Karl Pauls, Manuel Koch, 2006, ETRICS.

Integration of graph transformation and temporal logic for the specification of distributed systems

Manuel Koch, M. Koch, 2000 .

A Visualization of OCL Using Collaborations

Gabriele Taentzer, Francesco Parisi-Presicce, Paolo Bottoni, 2001, UML.

Formal access control analysis in the software development process

Francesco Parisi-Presicce, Manuel Koch, 2003, FMSE '03.

A Formal Model for Role-Based Access Control Using Graph Transformation

Luigi V. Mancini, Francesco Parisi-Presicce, Manuel Koch, 2000, ESORICS.

Compositional Specification of Distributed Systems by Distributed Graph Transformation

Manuel Koch, M. Koch, 2000 .

An MDA approach to Access Control Specifications Using MOF and UML Profiles

Torsten Fink, Karl Pauls, Manuel Koch, 2004, VODCA@FOSAD.

Conflict Detection and Resolution in Access Control Policy Specifications

Luigi V. Mancini, Francesco Parisi-Presicce, Manuel Koch, 2002, FoSSaCS.

Graph-based specification of access control policies

Luigi V. Mancini, Francesco Parisi-Presicce, Manuel Koch, 2005, J. Comput. Syst. Sci..

An Access Control Language for Dynamic Systems - Model-Driven Development and Verification

Karl Pauls, Manuel Koch, 2005, SDL Forum.

Das Standard-Datenschutzmodell in der Telematikinfrastruktur

Manuel Koch, Andrea Pawils, Enrico Weide, 2020, Datenschutz und Datensicherheit - DuD.

A Fully Abstract Model for Graph-Interpreted Temporal Logic

Reiko Heckel, Fabio Gadducci, Manuel Koch, 1998, TAGT.

Termination of High-Level Replacement Units with Application to Model Transformation

Gabriele Taentzer, Francesco Parisi-Presicce, Paolo Bottoni, 2005, Electron. Notes Theor. Comput. Sci..

A method for avoiding erroneous misfire detecting errors in a motor vehicle

Manuel Koch, Sandra Kustermann, 2013 .

Studying Biomolecular Interactions: A Hybrid Approach

Sean A. McKenna, Janusz M. Bujnicki, Manuel Koch, 2017 .

Administrative scope in the graph-based framework

Luigi V. Mancini, Francesco Parisi-Presicce, Manuel Koch, 2004, SACMAT '04.

Distributed graph transformation with application to visual design of distributed systems

Ingrid Fischer, Gabriele Taentzer, Manuel Koch, 1999 .

A graph-based approach to the compositional specification of distributed systems

Manuel Koch, M. Koch, 2002, GETGRATS Closing Workshop.

with Graph Constraints and Rules

Francesco Parisi-Presicce, Manuel Koch, M. Koch, 2002 .

Informationelle Selbstbestimmung und Patientensouveränität in einem vernetzten Gesundheitswesen

Manuel Koch, Sven Marx, Arno Elmer, 2013, Datenschutz und Datensicherheit - DuD.

Decidability of Safety in Graph-Based Models for Access Control

Luigi V. Mancini, Francesco Parisi-Presicce, Manuel Koch, 2002, ESORICS.

Describing Policies with Graph Constraints and Rules

Francesco Parisi-Presicce, Manuel Koch, M. Koch, 2002, ICGT.

Local Views on Distributed Systems and Their Communication

Ingrid Fischer, Gabriele Taentzer, Manuel Koch, 1998, TAGT.

Elektronische Signaturen in der Telematikinfrastruktur

Manuel Koch, Sven Marx, Arno Elmer, 2012, GI-Jahrestagung.

Specification and Enforcement of Access Control in Heterogeneous Distributed Applications

Torsten Fink, Manuel Koch, Cristian Oancea, 2003, ICWS-Europe.

Graph Transformations for the Specification of Access Control Policies

Luigi V. Mancini, Francesco Parisi-Presicce, Manuel Koch, 2001, Electron. Notes Theor. Comput. Sci..

UML specification of access control policies and their formal verification

Francesco Parisi-Presicce, Manuel Koch, 2006, Software & Systems Modeling.

Proving properties of neural networks with graph transformations

Ingrid Fischer, Michael R. Berthold, Manuel Koch, 1998, 1998 IEEE International Joint Conference on Neural Networks Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36227).

Distributing Attributed Graph

Manuel Koch, M. Koch, TransformationGabriele Taentzer, 1997 .