The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel Koch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ingrid Fischer, Manuel Koch, Michael R. Berthold
    Learning and Rewriting in Fuzzy Rule Graphs. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 1999, pp:263-270 [Conf]
  2. Manuel Koch, Francesco Parisi-Presicce
    Formal access control analysis in the software development process. [Citation Graph (0, 0)][DBLP]
    FMSE, 2003, pp:67-76 [Conf]
  3. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    A Formal Model for Role-Based Access Control Using Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2000, pp:122-139 [Conf]
  4. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Decidability of Safety in Graph-Based Models for Access Control. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2002, pp:229-243 [Conf]
  5. Steffen Kolarczyk, Manuel Koch, Klaus-Peter Löhr, Karl Pauls
    SecTOOL - Supporting Requirements Engineering for Access Control. [Citation Graph (0, 0)][DBLP]
    ETRICS, 2006, pp:254-267 [Conf]
  6. Manuel Koch, Francesco Parisi-Presicce
    Visual Specifications of Policies and Their Verification. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:278-293 [Conf]
  7. Manuel Koch, Karl Pauls
    Engineering Self-protection for Autonomous Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:33-47 [Conf]
  8. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Foundations for a Graph-Based Approach to the Specification of Access Control Policies. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:287-302 [Conf]
  9. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Conflict Detection and Resolution in Access Control Policy Specifications. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:223-237 [Conf]
  10. Manuel Koch, Francesco Parisi-Presicce
    Describing Policies with Graph Constraints and Rules. [Citation Graph (0, 0)][DBLP]
    ICGT, 2002, pp:223-238 [Conf]
  11. Torsten Fink, Manuel Koch, Cristian Oancea
    Specification and Enforcement of Access Control in Heterogeneous Distributed Applications. [Citation Graph (0, 0)][DBLP]
    ICWS-Europe, 2003, pp:88-100 [Conf]
  12. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    On the specification and evolution of access control policies. [Citation Graph (0, 0)][DBLP]
    SACMAT, 2001, pp:121-130 [Conf]
  13. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Administrative scope in the graph-based framework. [Citation Graph (0, 0)][DBLP]
    SACMAT, 2004, pp:97-104 [Conf]
  14. Manuel Koch, Karl Pauls
    An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:16-31 [Conf]
  15. Manuel Koch, Karl Pauls
    Model-driven development of access control aspects. [Citation Graph (0, 0)][DBLP]
    Sicherheit, 2005, pp:273-284 [Conf]
  16. Ingrid Fischer, Manuel Koch, Gabriele Taentzer
    Local Views on Distributed Systems and Their Communication. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:164-178 [Conf]
  17. Fabio Gadducci, Reiko Heckel, Manuel Koch
    A Fully Abstract Model for Graph-Interpreted Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TAGT, 1998, pp:310-322 [Conf]
  18. Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
    Consistency Checking and Visualization of OCL Constraints. [Citation Graph (0, 0)][DBLP]
    UML, 2000, pp:294-308 [Conf]
  19. Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
    A Visualization of OCL Using Collaborations. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:257-271 [Conf]
  20. Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
    Termination of High-Level Replacement Units with Application to Model Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:4, pp:71-86 [Journal]
  21. Torsten Fink, Manuel Koch, Karl Pauls
    An MDA approach to Access Control Specifications Using MOF and UML Profiles. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:142, n:, pp:161-179 [Journal]
  22. Manuel Koch
    A graph-based approach to the compositional specification of distributed systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  23. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Graph Transformations for the Specification of Access Control Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
  24. Manuel Koch
    Graphtransformation als universelles Beschreibungs- und Ausführungsmodell für Transaktionen. [Citation Graph (0, 0)][DBLP]
    Datenbank Rundbrief, 1997, v:19, n:, pp:67-69 [Journal]
  25. Manuel Koch, Ingrid Fischer, Victor Volle
    Graphtransformationen zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle. [Citation Graph (0, 0)][DBLP]
    Datenbank Rundbrief, 1998, v:21, n:, pp:31-32 [Journal]
  26. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    Graph-based specification of access control policies. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2005, v:71, n:1, pp:1-33 [Journal]
  27. Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
    A graph-based formalism for RBAC. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Inf. Syst. Secur., 2002, v:5, n:3, pp:332-365 [Journal]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002