Concepedia

Author

Manuel Koch

Freie Universität Berlin

Also Known As

Koch, Manuel, MANUEL KOCH, Manuel Koch

36

Publications

728

Citations

17

H-Index

29

Concepts

All Affiliations

Freie Universität BerlinSapienza University of RomeGeorge Mason University
MK

About

Manuel Koch is an author at Freie Universität Berlin specializing in formal verification, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

305

2

Computer Science

6

6

305

3

Computer Engineering

2

2

45

4

Industrial Engineering

1

1

18

5

Operations Research

1

1

18

Manuel Koch

×

6

Publications

305

Citations

6

H-Index

YearCitations

A graph-based formalism for RBAC

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

ACM Transactions on Information and System Security

2002

122

Consistency checking and visualization of OCL constraints

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce,

Lecture notes in computer science

2000

60

Graph-based specification of access control policies

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

Journal of Computer and System Sciences

2005

49

UML specification of access control policies and their formal verification

Manuel Koch, Francesco Parisi-Presicce

Software & Systems Modeling

2006

29

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

Torsten Fink, Manuel Koch, Karl Pauls

Electronic Notes in Theoretical Computer Science

2005

27

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

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce,

Electronic Notes in Theoretical Computer Science

2005

18

Page 1