Francesco Parisi-Presicce

Publication Activity (10 Years)

Years Active: 1981-2017
Publications (10 Years): 5

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

J. Vis. Lang. Comput.

Softw. Syst. Model.

GCM@ICGT

Publications

Paolo Bottoni, Andrew Fish, Alexander Heußner, Francesco Parisi-Presicce
Resource-aware policies. J. Vis. Lang. Comput. 38 (2017)
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
Type Annotation for Adaptive Systems. GaM@ETAPS (2016)
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
Spider Graphs: a graph transformation system for spider diagrams. Softw. Syst. Model. 14 (4) (2015)
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce
Conditions, constraints and contracts: On the use of annotations for policy modeling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling. GCM@ICGT (2015)
Paolo Bottoni, Francesco Parisi-Presicce
Annotation processes for flexible management of contextual information. J. Vis. Lang. Comput. 24 (6) (2013)
Paolo Bottoni, Francesco Parisi-Presicce
Annotations on Complex Patterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Paolo Bottoni, Francesco Parisi-Presicce
Modeling context with graph annotations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
Incremental update of constraint-compliant policy rules. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
Preserving constraints in horizontal model transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Åsa Hagström, Francesco Parisi-Presicce
A Model for Distribution and Revocation of Certificates. ICGT (2010)
Paolo Bottoni, Francesco Parisi-Presicce
A Termination Criterion for Graph Transformations with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Paolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse. Electron. Notes Theor. Comput. Sci. 211 (2008)
Francesco Parisi-Presicce
Special section: International Conference on Graph Transformation ICGT 2004. Softw. Syst. Model. 6 (3) (2007)
Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce
Safety analysis of usage control authorization models. AsiaCCS (2006)
Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce
Special Issue with Selected Papers from ICGT 2004. Fundam. Informaticae 74 (1) (2006)
Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu
Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. IWSEC (2006)
Manuel Koch, Francesco Parisi-Presicce
UML specification of access control policies and their formal verification. Softw. Syst. Model. 5 (4) (2006)
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce
Termination of Algebraic Rewriting with Inhibitors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (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)
Francesco Parisi-Presicce, Yujie Zhao
Policy Analysis and Verification by Graph Transformation Tools. Electron. Notes Theor. Comput. Sci. 127 (1) (2005)
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer
High-level replacement units and their termination properties. J. Vis. Lang. Comput. 16 (6) (2005)
Amihai Motro, Francesco Parisi-Presicce
Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption. DBSec (2005)
Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park
Formal model and policy specification of usage control. ACM Trans. Inf. Syst. Secur. 8 (4) (2005)
Zaid Dwaikat, Francesco Parisi-Presicce
Risky trust: risk-based analysis of software systems. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce
Higher-Order Nets for Mobile Policies. Electron. Notes Theor. Comput. Sci. 127 (2) (2005)
Zaid Dwaikat, Francesco Parisi-Presicce
Risky trust: risk-based analysis of software systems. SESS@ICSE (2005)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
Graph-based specification of access control policies. J. Comput. Syst. Sci. 71 (1) (2005)
Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu
A logical specification for usage control. SACMAT (2004)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
Administrative scope in the graph-based framework. SACMAT (2004)
Ehud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce
Information Flow Analysis for File Systems and Databases Using Labels. DBSec (2004)
Francesco Parisi-Presicce
A Formal Framework for Petri Net Class Transformations. Petri Net Technology for Communication-Based Systems (2003)
Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer
Coordinated Distributed Diagram Transformation for Software Evolution. Electron. Notes Theor. Comput. Sci. 72 (4) (2003)
Duminda Wijesekera, Sushil Jajodia, Francesco Parisi-Presicce, Åsa Hagström
Removing permissions in the flexible authorization framework. ACM Trans. Database Syst. 28 (3) (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)
Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer
Specifying Integrated Refactoring with Distributed Graph Transformations. AGTIVE (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)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. J. Comput. Syst. Sci. 64 (2) (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)
Massimo Mecella, Francesco Parisi-Presicce, Barbara Pernici
Modeling E -service Orchestration through Petri Nets. TES (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)
Magdalena Gajewsky, Francesco Parisi-Presicce
On the Compatibility of Model and Model-Class Transformations. WADT (2001)
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
On the specification and evolution of access control policies. SACMAT (2001)
Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce
On a Uniform Logical Framework for Diagrammatic Reasoning. HCC (2001)
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
A Visualization of OCL Using Collaborations. UML (2001)
Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce
Basic Results for Two Types of High-Level Replacement Systems. Electron. Notes Theor. Comput. Sci. 51 (2001)
Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera
Revocations-A Classification. CSFW (2001)
Paolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce
Deductive Parsing of Visual Languages. LACL (2001)
Francesco Parisi-Presicce
On Modifying High Level Replacement Systems. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Francesco Parisi-Presicce
Which Graphs for Visual Modeling? ICALP Satellite Workshops (2000)
Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. WMP (2000)
Francesco Parisi-Presicce, Alexander L. Wolf
Foundations for Software Configuration Management Policies Using Graph Transformations. FASE (2000)
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)
Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
On a Uniform Representation of Transformation Systems. AGTIVE (1999)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. AGTIVE (1999)
S. Veglioni, Francesco Parisi-Presicce
Composition and Interaction for Behavioural Specifications. FMOODS (1999)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Spatial and Temporal Refinement of Typed Graph Transformation Systems. MFCS (1998)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Refinements of Graph Transformation Systems via Rule Expressions. TAGT (1998)
Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
From Formulae to Rewriting Systems. TAGT (1998)
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Refinements and Modules for Typed Graph Transformation Systems. WADT (1998)
Serafino Cicerone, Francesco Parisi-Presicce
On the Complexity of Specification Morphisms. Theor. Comput. Sci. 189 (1-2) (1997)
Ornella Ciotti, Francesco Parisi-Presicce
Closure Properties of Context-Tree Hyperedge Replacement Systems. WG (1996)
Francesco Parisi-Presicce, Alfonso Pierantonio
An Algebraic Theory of Class Specification. ACM Trans. Softw. Eng. Methodol. 3 (2) (1994)
Francesco Parisi-Presicce, Alfonso Pierantonio
Dynamical Behavior of Object Systems. COMPASS/ADT (1994)
Serafino Cicerone, Francesco Parisi-Presicce
Strategies in Modular System Design by Interface Rewriting. ESOP (1994)
Francesco Parisi-Presicce
Transformations of Graph Grammars. TAGT (1994)
Francesco Parisi-Presicce, Alfonso Pierantonio
Reusing Object Oriented Design: An Algebraic Approach. ISOOMS (1994)
Francesco Parisi-Presicce, Gabriele Piersanti
Multilevel Graph Grammars. WG (1994)
Francesco Parisi-Presicce, S. Veglioni
Heterogeneous Unified Algebras. MFCS (1993)
Hartmut Ehrig, Francesco Parisi-Presicce
Interaction between Algebraic Specification Grammars and Modular System Design. AMAST (1993)
Francesco Parisi-Presicce, Alfonso Pierantonio
System Design as Derivation via Rewriting. SEKE (1992)
Hartmut Ehrig, Francesco Parisi-Presicce
High-Level-Replacement Systems for Equational Algebraic Specifications. ALP (1992)
Francesco Parisi-Presicce
Single vs. Double Pushout Derivations of Graphs. WG (1992)
Francesco Parisi-Presicce, Alfonso Pierantonio
Structured Inheritance for Algebraic Class Specifications. COMPASS/ADT (1992)
Francesco Parisi-Presicce
Foundations of Rule-Based Design of Modular Systems. Theor. Comput. Sci. 83 (1) (1991)
Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce
Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 (1991)
Francesco Parisi-Presicce
On the Reusability of Specifications and Implementations. AMAST (1991)
Francesco Parisi-Presicce, Alfonso Pierantonio
Towards the Algebraic Specification of Classes in Object Oriented Programming. Bull. EATCS 45 (1991)
Francesco Parisi-Presicce, Alfonso Pierantonio
An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. ESEC (1991)
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
Parallelism and Concurrency in High-Level Replacement Systems. Math. Struct. Comput. Sci. 1 (3) (1991)
Hartmut Ehrig, Francesco Parisi-Presicce
Non-Equivalence of Categories for Equational Algebraic Specifications. COMPASS/ADT (1991)
Hartmut Ehrig, Francesco Parisi-Presicce
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars. Graph-Grammars and Their Application to Computer Science (1990)
Francesco Parisi-Presicce
A Rule-Based Approach to Modular System Design. ICSE (1990)
Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
Combining Data Type and Recursive Process Specifications Using Projection Algebras. Theor. Comput. Sci. 71 (3) (1990)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. 77 (1&2) (1990)
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
From Graph Grammars to High Level Replacement Systems. Graph-Grammars and Their Application to Computer Science (1990)
Hartmut Ehrig, Francesco Parisi-Presicce
A Match Operation for Rule-Based Modular System Design. ADT (1990)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
Algebraic Specification of Modules and Configuration Families. J. Inf. Process. Cybern. 25 (5/6) (1989)
Francesco Parisi-Presicce
Modular System Design Applying Graph Grammars Techniques. ICALP (1989)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science (1988)
Francesco Parisi-Presicce
Product and Iteration of Module Specifications. CAAP (1988)
Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
Algebraic Data Type and Process Specifications based on Projection Spaces. ADT (1987)
Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce
Algebraic Specification of Modules and Their Basic Interconnections. J. Comput. Syst. Sci. 34 (2/3) (1987)
Francesco Parisi-Presicce
Union and Actualization of Module Specifications: Some Compatibility Results. J. Comput. Syst. Sci. 35 (1) (1987)
Francesco Parisi-Presicce
Partial Composition and Recursion of Module Specifications. TAPSOFT, Vol.1 (1987)

Francesco Parisi-Presicce.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Francesco Parisi-Presicce