Francesco Parisi-Presicce - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

A Termination Criterion for Graph Transformations with Negative Application ConditionsPaolo Bottoni, Francesco Parisi-Presicce. eceasst, 30, 2010. [doi]

Preserving constraints in horizontal model transformationsPaolo Bottoni, Andrew Fish, Francesco Parisi-Presicce. eceasst, 29, 2010. [doi]

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

2008

Maintaining Coherence Between Models With Distributed Rules: From Theory to EclipsePaolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer. ENTCS, 211:87-98, 2008. [doi]

2007

Special section: International Conference on Graph Transformation ICGT 2004Francesco Parisi-Presicce. SoSyM, 6(3):267-268, 2007. [doi]

2006

2005

High-level replacement units and their termination propertiesPaolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer. vlc, 16(6):485-507, 2005. [doi]

Termination of High-Level Replacement Units with Application to Model TransformationPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer. ENTCS, 127(4):71-86, 2005. [doi]

Risky trust: risk-based analysis of software systemsZaid Dwaikat, Francesco Parisi-Presicce. sigsoft, 30(4):1-7, 2005. [doi]

Higher-Order Nets for Mobile PoliciesKathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce. ENTCS, 127(2):87-105, 2005. [doi]

Graph-based specification of access control policiesManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. jcss, 71(1):1-33, 2005. [doi]

Blind Custodians: A Database Service Architecture That Supports Privacy Without EncryptionAmihai Motro, Francesco Parisi-Presicce. dbsec 2005: 338-352 [doi]

Policy Analysis and Verification by Graph Transformation ToolsFrancesco Parisi-Presicce, Yujie Zhao. ENTCS, 127(1):101-112, 2005. [doi]

Formal model and policy specification of usage controlXinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park. tissec, 8(4):351-387, 2005. [doi]

2004

2003

Coordinated Distributed Diagram Transformation for Software EvolutionPaolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer. ENTCS, 72(4), 2003. [doi]

Specifying Integrated Refactoring with Distributed Graph TransformationsPaolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer. agtive 2004: 220-235 [doi]

Visual Specifications of Policies and Their VerificationManuel Koch, Francesco Parisi-Presicce. FASE 2003: 278-293 [doi]

Formal access control analysis in the software development processManuel Koch, Francesco Parisi-Presicce. ccs 2003: 67-76 [doi]

A Formal Framework for Petri Net Class TransformationsFrancesco Parisi-Presicce. dfg 2003: 409-430 [doi]

Removing permissions in the flexible authorization frameworkDuminda Wijesekera, Sushil Jajodia, Francesco Parisi-Presicce, Åsa Hagström. tods, 28(3):209-229, 2003. [doi]

2002

Formal Software Specification with Refinements and Modules of Typed Graph Transformation SystemsMartin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni. jcss, 64(2):171-218, 2002. [doi]

Conflict Detection and Resolution in Access Control Policy SpecificationsManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. fossacs 2002: 223-237 [doi]

Describing Policies with Graph Constraints and RulesManuel Koch, Francesco Parisi-Presicce. gg 2002: 223-238 [doi]

Decidability of Safety in Graph-Based Models for Access ControlManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. esorics 2002: 229-243 [doi]

A graph-based formalism for RBACManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. tissec, 5(3):332-365, 2002. [doi]

Modeling E -service Orchestration through Petri NetsMassimo Mecella, Francesco Parisi-Presicce, Barbara Pernici. tes 2002: 38-47 [doi]

2001

On a Uniform Logical Framework for Diagrammatic ReasoningPaolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce. vl 2001: 64-71 [doi]

A Visualization of OCL Using CollaborationsPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer. uml 2001: 257-271 [doi]

Deductive Parsing of Visual LanguagesPaolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce. lacl 2001: 79-94 [doi]

Basic Results for Two Types of High-Level Replacement SystemsHartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce. ENTCS, 51, 2001. [doi]

On the Compatibility of Model and Model-Class TransformationsMagdalena Gajewsky, Francesco Parisi-Presicce. WADT 2001: 109-127 [doi]

On the specification and evolution of access control policiesManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. SACMAT 2001: 121-130 [doi]

Graph Transformations for the Specification of Access Control PoliciesManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. ENTCS, 51, 2001. [doi]

Foundations for a Graph-Based Approach to the Specification of Access Control PoliciesManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce. fossacs 2001: 287-302 [doi]

On Modifying High Level Replacement SystemsFrancesco Parisi-Presicce. ENTCS, 44(4), 2001. [doi]

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

2000

1999

On a Uniform Representation of Transformation SystemsPaolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni. agtive 2000: 63-78 [doi]

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule ExpressionsMartin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer. agtive 2000: 31-45 [doi]

Composition and Interaction for Behavioural SpecificationsS. Veglioni, Francesco Parisi-Presicce. fmoods 1999:

1998

1997

On the Complexity of Specification MorphismsSerafino Cicerone, Francesco Parisi-Presicce. TCS, 189(1-2):239-248, 1997. [doi]

Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT 97, Tarquinia, Italy, June 1997, Selected PapersFrancesco Parisi-Presicce, editor, Volume 1376 of Lecture Notes in Computer Science, Springer, 1997.

1996

Closure Properties of Context-Tree Hyperedge Replacement SystemsOrnella Ciotti, Francesco Parisi-Presicce. criwg 1997: 101-113

1994

1993

Interaction between Algebraic Specification Grammars and Modular System DesignHartmut Ehrig, Francesco Parisi-Presicce. amast 1994: 217-224

Heterogeneous Unified AlgebrasFrancesco Parisi-Presicce, S. Veglioni. mfcs 1993: 618-628

1992

High-Level-Replacement Systems for Equational Algebraic SpecificationsHartmut Ehrig, Francesco Parisi-Presicce. icalp 1992: 3-20

Structured Inheritance for Algebraic Class SpecificationsFrancesco Parisi-Presicce, Alfonso Pierantonio. compass 1994: 295-309

Single vs. Double Pushout Derivations of GraphsFrancesco Parisi-Presicce. criwg 1993: 248-262

System Design as Derivation via RewritingFrancesco Parisi-Presicce, Alfonso Pierantonio. seke 1992: 317-324 [doi]

1991

Logic Programming as Hypergraph RewritingAndrea Corradini, Francesca Rossi, Francesco Parisi-Presicce. tapsoft 1991: 275-295

Parallelism and Concurrency in High-Level Replacement SystemsHartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce. mscs, 1(3):361-404, 1991.

Non-Equivalence of Categories for Equational Algebraic SpecificationsHartmut Ehrig, Francesco Parisi-Presicce. compass 1993: 222-235

On the Reusability of Specifications and ImplementationsFrancesco Parisi-Presicce. amast 1992: 43-56

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

Towards the Algebraic Specification of Classes in Object Oriented ProgrammingFrancesco Parisi-Presicce, Alfonso Pierantonio. eatcs, 45:85-97, 1991.

Foundations of Rule-Based Design of Modular SystemsFrancesco Parisi-Presicce. TCS, 83(1):131-155, 1991.

1990

Compatibility Problems in the Development of Algebraic Module SpecificationsHartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce. TCS, 77(1&2):27-71, 1990.

Combining Data Type and Recursive Process Specifications Using Projection AlgebrasHartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode. TCS, 71(3):347-380, 1990.

From Graph Grammars to High Level Replacement SystemsHartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce. gg 1991: 269-291

Algebraic Specification Grammars: A Junction between Module Specifications and Graph GrammarsHartmut Ehrig, Francesco Parisi-Presicce. gg 1991: 292-310

A Match Operation for Rule-Based Modular System DesignHartmut Ehrig, Francesco Parisi-Presicce. adt 1991: 74-97

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

1989

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

Modular System Design Applying Graph Grammars TechniquesFrancesco Parisi-Presicce. icalp 1989: 621-636

1988

Categories for the Development of Algebraic Module SpecificationsHartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce. category 1989: 157-184

Product and Iteration of Module SpecificationsFrancesco Parisi-Presicce. caap 1988: 149-164

1987

Algebraic Specification of Modules and Their Basic InterconnectionsEdward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce. jcss, 34(2/3):293-339, 1987.

Algebraic Data Type and Process Specifications based on Projection SpacesHartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode. adt 1987: 23-43

Union and Actualization of Module Specifications: Some Compatibility ResultsFrancesco Parisi-Presicce. jcss, 35(1):72-95, 1987.

Partial Composition and Recursion of Module SpecificationsFrancesco Parisi-Presicce. tapsoft 1987: 217-231

1986

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

Parallelism analysis in rule-based systems using graph grammarsDan I. Moldovan, Francesco Parisi-Presicce. gg 1987: 427-439

Inner and Mutual Compatibility of Basic Operations on Module SpecificationsFrancesco Parisi-Presicce. caap 1986: 30-44

Graph rewriting with unification and compositionFrancesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari. gg 1987: 496-514

1985

The Semantics of Shared Submodules SpecificationsEdward K. Blum, Francesco Parisi-Presicce. tapsoft 1985: 359-373

1984

Iterative Factor Algebras and Induced MetricsFrancesco Parisi-Presicce. TCS, 28:287-298, 1984.

1983

Implementation of Data Types by Algebraic MethodsEdward K. Blum, Francesco Parisi-Presicce. jcss, 27(2):304-330, 1983.

Extensions of Iterative Congruences on Free Iterative AlgebrasFrancesco Parisi-Presicce. jcss, 27(2):200-220, 1983.

PreviousNext