Concepedia

Francesco Parisi-Presicce

FP

23

Publications

1.2K

Citations

17

H-Index

1987

Active since

Affiliations

George Mason University(Current)

Sapienza University of Rome

University of L'Aquila

Freie Universität Berlin

Technische Universität Berlin

Francesco Parisi-Presicce is an author at George Mason University specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal VerificationFormal MethodsComputer ScienceSystems EngineeringSoftware DesignAccess ControlSoftware AnalysisInformation SecuritySoftware Engineering

Publications per year

1987–2006

23

Publications

23

Formal model and policy specification of usage control

Xinwen Zhang, Francesco Parisi-Presicce, Ravi Sandhu et al. · ACM Transactions on Information and System Security · 2005 · 246 citations

Engineering, Information Security, Verification +20

Parallelism and concurrency in high-level replacement systems

Hartmut Ehrig, Annegret Habel, Hans‐Jörg Kreowski et al. · Mathematical Structures in Computer Science · 1991 · 158 citations

Engineering, Replacement Systems, Computer Architecture +18

A graph-based formalism for RBAC

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce · ACM Transactions on Information and System Security · 2002 · 122 citations

Engineering, Information Security, Software Engineering +20

A logical specification for usage control

Xinwen Zhang, Jae-Hong Park, Francesco Parisi-Presicce et al. · 2004 · 96 citations

Engineering, Information Security, Verification +21

Algebraic specification of modules and their basic interconnections

E. K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce · Journal of Computer and System Sciences · 1987 · 68 citations

Algebraic Specification, Algebraic Structure, Modern Algebra +1

Rows per page

1–5 of 23