Francesco Parisi-Presicce

Paolo Bottoni, Francesco Parisi-Presicce: Modeling context with graph annotations. ECEASST 47 (2012)

Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce: Incremental update of constraint-compliant policy rules. ECEASST 39 (2011)

Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce: Preserving constraints in horizontal model transformations. ECEASST 29 (2010)

Paolo Bottoni, Francesco Parisi-Presicce: A Termination Criterion for Graph Transformations with Negative Application Conditions. ECEASST 30 (2010)

Åsa Hagström, Francesco Parisi-Presicce: A Model for Distribution and Revocation of Certificates. ICGT 2010: 314-329

Paolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer: Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse. Electr. Notes Theor. Comput. Sci. 211: 87-98 (2008)

Francesco Parisi-Presicce: Special section: International Conference on Graph Transformation ICGT 2004. Software and System Modeling 6(3): 267-268 (2007)

Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce: Termination of Algebraic Rewriting with Inhibitors. ECEASST 4 (2006)

Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce: Special Issue with Selected Papers from ICGT 2004. Fundam. Inform. 74(1) (2006)

Manuel Koch, Francesco Parisi-Presicce: UML specification of access control policies and their formal verification. Software and System Modeling 5(4): 429-447 (2006)

Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce: Safety analysis of usage control authorization models. ASIACCS 2006: 243-254

Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu: Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. IWSEC 2006: 179-195

Francesco Parisi-Presicce, Yujie Zhao: Policy Analysis and Verification by Graph Transformation Tools. Electr. Notes Theor. Comput. Sci. 127(1): 101-112 (2005)

Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce: Higher-Order Nets for Mobile Policies. Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005)

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Termination of High-Level Replacement Units with Application to Model Transformation. Electr. Notes Theor. Comput. Sci. 127(4): 71-86 (2005)

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph-based specification of access control policies. J. Comput. Syst. Sci. 71(1): 1-33 (2005)

Zaid Dwaikat, Francesco Parisi-Presicce: Risky trust: risk-based analysis of software systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (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): 351-387 (2005)

Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer: High-level replacement units and their termination properties. J. Vis. Lang. Comput. 16(6): 485-507 (2005)

Amihai Motro, Francesco Parisi-Presicce: Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption. DBSec 2005: 338-352

Ehud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce: Information Flow Analysis for File Systems and Databases Using Labels. DBSec 2004: 125-141

Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu: A logical specification for usage control. SACMAT 2004: 1-10

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Administrative scope in the graph-based framework. SACMAT 2004: 97-104

Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg (Eds.): Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings. Lecture Notes in Computer Science 3256, Springer 2004, isbn 3-540-23207-9

Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer: Coordinated Distributed Diagram Transformation for Software Evolution. Electr. Notes Theor. Comput. Sci. 72(4): 59-70 (2003)

Duminda Wijesekera, Sushil Jajodia, Francesco Parisi-Presicce, Åsa Hagström: Removing permissions in the flexible authorization framework. ACM Trans. Database Syst. 28(3): 209-229 (2003)

Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer: Specifying Integrated Refactoring with Distributed Graph Transformations. AGTIVE 2003: 220-235

Manuel Koch, Francesco Parisi-Presicce: Formal access control analysis in the software development process. FMSE 2003: 67-76

Francesco Parisi-Presicce: A Formal Framework for Petri Net Class Transformations. Petri Net Technology for Communication-Based Systems 2003: 409-430

Manuel Koch, Francesco Parisi-Presicce: Visual Specifications of Policies and Their Verification. FASE 2003: 278-293

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): 171-218 (2002)

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002)

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Decidability of Safety in Graph-Based Models for Access Control. ESORICS 2002: 229-243

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS 2002: 223-237

Manuel Koch, Francesco Parisi-Presicce: Describing Policies with Graph Constraints and Rules. ICGT 2002: 223-238

Massimo Mecella, Francesco Parisi-Presicce, Barbara Pernici: Modeling E -service Orchestration through Petri Nets. TES 2002: 38-47

Francesco Parisi-Presicce: On Modifying High Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 44(4): 16-27 (2001)

Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce: Basic Results for Two Types of High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 51: 127-138 (2001)

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph Transformations for the Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 51: 222-232 (2001)

Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera: Revocations-A Classification. CSFW 2001: 44-58

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS 2001: 287-302

Paolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce: Deductive Parsing of Visual Languages. LACL 2001: 79-94

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: On the specification and evolution of access control policies. SACMAT 2001: 121-130

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: A Visualization of OCL Using Collaborations. UML 2001: 257-271

Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce: On a Uniform Logical Framework for Diagrammatic Reasoning. HCC 2001: 64-71

Magdalena Gajewsky, Francesco Parisi-Presicce: On the Compatibility of Model and Model-Class Transformations. WADT 2001: 109-127

Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS 2000: 122-139

Francesco Parisi-Presicce, Alexander L. Wolf: Foundations for Software Configuration Management Policies Using Graph Transformations. FASE 2000: 304-318

Francesco Parisi-Presicce: Which Graphs for Visual Modeling? ICALP Satellite Workshops 2000: 383-386

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Consistency Checking and Visualization of OCL Constraints. UML 2000: 294-308

Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce: Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. WMP 2000: 45-68

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: 31-45

Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni: On a Uniform Representation of Transformation Systems. AGTIVE 1999: 63-78

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: 553-561

Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni: From Formulae to Rewriting Systems. TAGT 1998: 267-280

Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Refinements of Graph Transformation Systems via Rule Expressions. TAGT 1998: 368-382

Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Refinements and Modules for Typed Graph Transformation Systems. WADT 1998: 138-151

Serafino Cicerone, Francesco Parisi-Presicce: On the Complexity of Specification Morphisms. Theor. Comput. Sci. 189(1-2): 239-248 (1997)

Francesco Parisi-Presicce (Ed.): Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers. Lecture Notes in Computer Science 1376, Springer 1997, isbn 3-540-64299-4

Ornella Ciotti, Francesco Parisi-Presicce: Closure Properties of Context-Tree Hyperedge Replacement Systems. WG 1996: 101-113

Francesco Parisi-Presicce, Alfonso Pierantonio: An Algebraic Theory of Class Specification. ACM Trans. Softw. Eng. Methodol. 3(2): 166-199 (1994)

Francesco Parisi-Presicce, Alfonso Pierantonio: Dynamical Behavior of Object Systems. COMPASS/ADT 1994: 406-419

Serafino Cicerone, Francesco Parisi-Presicce: Strategies in Modular System Design by Interface Rewriting. ESOP 1994: 165-179

Francesco Parisi-Presicce, Alfonso Pierantonio: Reusing Object Oriented Design: An Algebraic Approach. ISOOMS 1994: 329-345

Francesco Parisi-Presicce: Transformations of Graph Grammars. TAGT 1994: 428-442

Francesco Parisi-Presicce, Gabriele Piersanti: Multilevel Graph Grammars. WG 1994: 51-64

Hartmut Ehrig, Francesco Parisi-Presicce: Interaction between Algebraic Specification Grammars and Modular System Design. AMAST 1993: 217-224

Francesco Parisi-Presicce, S. Veglioni: Heterogeneous Unified Algebras. MFCS 1993: 618-628

Hartmut Ehrig, Francesco Parisi-Presicce: High-Level-Replacement Systems for Equational Algebraic Specifications. ALP 1992: 3-20

Francesco Parisi-Presicce, Alfonso Pierantonio: Structured Inheritance for Algebraic Class Specifications. COMPASS/ADT 1992: 295-309

Francesco Parisi-Presicce, Alfonso Pierantonio: System Design as Derivation via Rewriting. SEKE 1992: 317-324

Francesco Parisi-Presicce: Single vs. Double Pushout Derivations of Graphs. WG 1992: 248-262

Francesco Parisi-Presicce, Alfonso Pierantonio: Towards the Algebraic Specification of Classes in Object Oriented Programming. Bulletin of the EATCS 45: 85-97 (1991)

Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce: Parallelism and Concurrency in High-Level Replacement Systems. Mathematical Structures in Computer Science 1(3): 361-404 (1991)

Francesco Parisi-Presicce: Foundations of Rule-Based Design of Modular Systems. Theor. Comput. Sci. 83(1): 131-155 (1991)

Francesco Parisi-Presicce: On the Reusability of Specifications and Implementations. AMAST 1991: 43-56

Hartmut Ehrig, Francesco Parisi-Presicce: Non-Equivalence of Categories for Equational Algebraic Specifications. COMPASS/ADT 1991: 222-235

Francesco Parisi-Presicce, Alfonso Pierantonio: An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. ESEC 1991: 364-379

Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce: Logic Programming as Hypergraph Rewriting. TAPSOFT, Vol.1 1991: 275-295

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): 347-380 (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): 27-71 (1990)

Hartmut Ehrig, Francesco Parisi-Presicce: A Match Operation for Rule-Based Modular System Design. ADT 1990: 74-97

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: 269-291

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: 292-310

Francesco Parisi-Presicce: A Rule-Based Approach to Modular System Design. ICSE 1990: 202-211

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce: Algebraic Specification of Modules and Configuration Families. Elektronische Informationsverarbeitung und Kybernetik 25(5/6): 205-232 (1989)

Francesco Parisi-Presicce: Modular System Design Applying Graph Grammars Techniques. ICALP 1989: 621-636

Francesco Parisi-Presicce: Product and Iteration of Module Specifications. CAAP 1988: 149-164

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: 157-184

Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce: Algebraic Specification of Modules and Their Basic Interconnections. J. Comput. Syst. Sci. 34(2/3): 293-339 (1987)

Francesco Parisi-Presicce: Union and Actualization of Module Specifications: Some Compatibility Results. J. Comput. Syst. Sci. 35(1): 72-95 (1987)

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: 23-43

Francesco Parisi-Presicce: Partial Composition and Recursion of Module Specifications. TAPSOFT, Vol.1 1987: 217-231

Francesco Parisi-Presicce: Inner and Mutual Compatibility of Basic Operations on Module Specifications. CAAP 1986: 30-44

Dan I. Moldovan, Francesco Parisi-Presicce: Parallelism analysis in rule-based systems using graph grammars. Graph-Grammars and Their Application to Computer Science 1986: 427-439

Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari: Graph rewriting with unification and composition. Graph-Grammars and Their Application to Computer Science 1986: 496-514

Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum: Algebraic Theory of Module Specification with Constraints. MFCS 1986: 59-77

Edward K. Blum, Francesco Parisi-Presicce: The Semantics of Shared Submodules Specifications. TAPSOFT, Vol.1 1985: 359-373

Francesco Parisi-Presicce: Iterative Factor Algebras and Induced Metrics. Theor. Comput. Sci. 28: 287-298 (1984)

Francesco Parisi-Presicce: Extensions of Iterative Congruences on Free Iterative Algebras. J. Comput. Syst. Sci. 27(2): 200-220 (1983)

Edward K. Blum, Francesco Parisi-Presicce: Implementation of Data Types by Algebraic Methods. J. Comput. Syst. Sci. 27(2): 304-330 (1983)

Francesco Parisi-Presicce: On the Faithful Regular Extensions of Iterative Algebras. STOC 1981: 368-374