Manuel Koch

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