Manuel Koch

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 4

Top Venues

Datenschutz und Datensicherheit

CoRR

CinC

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Manuel Koch
Telematikinfrastruktur 2.0 - Verhindern von missbräuchlicher Profilbildung durch PET. Datenschutz und Datensicherheit 46 (7) (2022)
Teresa Schiatti, Marilu Casini, Thomas Hutschalik, Manuel Koch, Ramona Emig, Rémi Peyronnet, Ursula Ravens
Impact of Mechanically-Induced Fibrosis on Atrial Electromechanical Function. CinC (2022)
Jasmin Zalonis, Frederik Armknecht, Björn Grohmann, Manuel Koch
Report: State of the Art Solutions for Privacy Preserving Machine Learning in the Medical Context. CoRR (2022)
Manuel Koch, Andrea Pawils, Enrico Weide
Das Standard-Datenschutzmodell in der Telematikinfrastruktur. Datenschutz und Datensicherheit 44 (2) (2020)
Manuel Koch, Sven Marx, Arno Elmer
Informationelle Selbstbestimmung und Patientensouveränität in einem vernetzten Gesundheitswesen. Datenschutz und Datensicherheit 37 (3) (2013)
Andreas Hallof, Manuel Koch, Sven Marx, Arno Elmer
Elektronische Signaturen in der Telematikinfrastruktur. GI-Jahrestagung (2012)
Steffen Kolarczyk, Manuel Koch, Klaus-Peter Löhr, Karl Pauls
SecTOOL - Supporting Requirements Engineering for Access Control. ETRICS (2006)
Manuel Koch, Karl Pauls
Engineering Self-protection for Autonomous Systems. FASE (2006)
Manuel Koch, Francesco Parisi-Presicce
UML specification of access control policies and their formal verification. Softw. Syst. Model. 5 (4) (2006)
Torsten Fink, Manuel Koch, Karl Pauls
An MDA approach to Access Control Specifications Using MOF and UML Profiles. Electron. Notes Theor. Comput. Sci. 142 (2006)
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
Termination of High-Level Replacement Units with Application to Model Transformation. Electron. Notes Theor. Comput. Sci. 127 (4) (2005)
Manuel Koch, Karl Pauls
An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. SDL Forum (2005)
Manuel Koch, Karl Pauls
Model-driven development of access control aspects. Sicherheit (2005)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
Graph-based specification of access control policies. J. Comput. Syst. Sci. 71 (1) (2005)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
Administrative scope in the graph-based framework. SACMAT (2004)
Gerald Brose, Manuel Koch, Klaus-Peter Löhr
Entwicklung und Verwaltung von Zugriffsschutz in verteilten Objektsystemen - eine Krankenhausfallstudie. Prax. Inf.verarb. Kommun. 26 (1) (2003)
Torsten Fink, Manuel Koch, Cristian Oancea
Specification and Enforcement of Access Control in Heterogeneous Distributed Applications. ICWS-Europe (2003)
Manuel Koch, Francesco Parisi-Presicce
Visual Specifications of Policies and Their Verification. FASE (2003)
Manuel Koch, Francesco Parisi-Presicce
Formal access control analysis in the software development process. FMSE (2003)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS (2002)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
Decidability of Safety in Graph-Based Models for Access Control. ESORICS (2002)
Manuel Koch, Francesco Parisi-Presicce
Describing Policies with Graph Constraints and Rules. ICGT (2002)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5 (3) (2002)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
Graph Transformations for the Specification of Access Control Policies. Electron. Notes Theor. Comput. Sci. 51 (2001)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS (2001)
Manuel Koch
A graph-based approach to the compositional specification of distributed systems. Electron. Notes Theor. Comput. Sci. 51 (2001)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
On the specification and evolution of access control policies. SACMAT (2001)
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
A Visualization of OCL Using Collaborations. UML (2001)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS (2000)
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
Consistency Checking and Visualization of OCL Constraints. UML (2000)
Ingrid Fischer, Manuel Koch, Michael R. Berthold
Learning and Rewriting in Fuzzy Rule Graphs. AGTIVE (1999)
Fabio Gadducci, Reiko Heckel, Manuel Koch
A Fully Abstract Model for Graph-Interpreted Temporal Logic. TAGT (1998)
Ingrid Fischer, Manuel Koch, Gabriele Taentzer
Local Views on Distributed Systems and Their Communication. TAGT (1998)
Manuel Koch, Ingrid Fischer, Victor Volle
Graphtransformationen zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle. Datenbank Rundbr. 21 (1998)
Manuel Koch
Graphtransformation als universelles Beschreibungs- und Ausführungsmodell für Transaktionen. Datenbank Rundbr. 19 (1997)

Manuel Koch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel Koch