Travelled to:1 × Canada
1 × Poland
1 × Spain
2 × France
2 × The Netherlands
2 × United Kingdom
3 × Germany
4 × USA
6 × Italy
Collaborated with:P.Bottoni ∅ M.Koch H.Ehrig G.Täntzer M.Simeoni A.Pierantonio A.Fish L.V.Mancini M.Große-Rhode Å.Hagström A.L.Wolf S.Cicerone D.I.Moldovan E.K.Blum R.Navigli U.Montanari A.Corradini F.Rossi S.Pulcini A.Habel H.Kreowski
Talks about:graph (13) system (11) specif (8) transform (7) polici (7) rule (7) grammar (6) model (6) constraint (5) rewrit (5)
♂ Person: Francesco Parisi-Presicce
DBLP: Parisi-Presicce:Francesco
Facilitated 4 volumes:
Ed
PrCoPrCoEdContributed to:
2015
201320122011201020102008
2003
2003
200220022001
20012000200019991998
19941994
1992
1992
19911990
1990
19891986
1981
198519871991Wrote 34 papers:
- GCM-2015-BottoniNP #constraints #contract #modelling #policy #using
- Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
- GT-VMT-2013-BottoniP
- Annotations on Complex Patterns (PB, FPP).
- GT-VMT-2012-BottoniP #graph #modelling
- Modeling context with graph annotations (PB, FPP).
- GCM-2010-BottoniFP11 #constraints #incremental #policy
- Incremental update of constraint-compliant policy rules (PB, AF, FPP).
- GT-VMT-2010-BottoniFP #constraints #model transformation
- Preserving constraints in horizontal model transformations (PB, AF, FPP).
- ICGT-2010-HagstromP
- A Model for Distribution and Revocation of Certificates (ÅH, FPP), pp. 314–329.
- GT-VMT-2006-BottoniPPT08 #distributed #eclipse #maintenance #modelling
- Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse (PB, FPP, SP, GT), pp. 87–98.
- AGTIVE-2003-BottoniPT #distributed #graph transformation #refactoring #specification
- Specifying Integrated Refactoring with Distributed Graph Transformations (PB, FPP, GT), pp. 220–235.
- FASE-2003-KochP #policy #specification #verification #visual notation
- Visual Specifications of Policies and Their Verification (MK, FPP), pp. 278–293.
- FoSSaCS-2002-KochMP #data access #detection #policy #specification
- Conflict Detection and Resolution in Access Control Policy Specifications (MK, LVM, FPP), pp. 223–237.
- ICGT-2002-KochP #constraints #graph #policy
- Describing Policies with Graph Constraints and Rules (MK, FPP), pp. 223–238.
- FoSSaCS-2001-KochMP #approach #data access #graph #policy #specification
- Foundations for a Graph-Based Approach to the Specification of Access Control Policies (MK, LVM, FPP), pp. 287–302.
- UML-2001-BottoniKPT #ocl #using #visualisation
- A Visualization of OCL Using Collaborations (PB, MK, FPP, GT), pp. 257–271.
- FASE-2000-Parisi-PresicceW #configuration management #graph transformation #policy #using
- Foundations for Software Configuration Management Policies Using Graph Transformations (FPP, ALW), pp. 304–318.
- UML-2000-BottoniKPT #consistency #constraints #ocl #visualisation
- Consistency Checking and Visualization of OCL Constraints (PB, MK, FPP, GT), pp. 294–308.
- AGTIVE-1999-BottoniPS #on the #representation
- On a Uniform Representation of Transformation Systems (PB, FPP, MS), pp. 63–78.
- AGTIVE-1999-Grosse-RhodePST #composition #distributed #graph transformation #modelling #refinement
- Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions (MGR, FPP, MS, GT), pp. 31–45.
- TAGT-1998-BottoniPS #term rewriting
- From Formulae to Rewriting Systems (PB, FPP, MS), pp. 267–280.
- TAGT-1998-Grosse-RhodePS #graph transformation
- Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.
- ESOP-1994-CiceroneP #composition #design #interface
- Strategies in Modular System Design by Interface Rewriting (SC, FPP), pp. 165–179.
- TAGT-1994-Parisi-Presicce #graph grammar
- Transformations of Graph Grammars (FPP), pp. 428–442.
- ALP-1992-EhrigP #algebra #equation #specification
- High-Level-Replacement Systems for Equational Algebraic Specifications (HE, FPP), pp. 3–20.
- SEKE-1992-Parisi-PresicceP #design
- System Design as Derivation via Rewriting (FPP, AP), pp. 317–324.
- ESEC-1991-Parisi-PresicceP #algebra #inheritance #object-oriented #programming #type system
- An Algebraic View of Inheritance and Subtyping in Object Oriented Programming (FPP, AP), pp. 364–379.
- GG-1990-EhrigHKP #graph grammar
- From Graph Grammars to High Level Replacement Systems (HE, AH, HJK, FPP), pp. 269–291.
- GG-1990-EhringP #algebra #graph grammar #specification
- Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars (HE, FPP), pp. 292–310.
- ICSE-1990-Parisi-Presicce #approach #composition #design #rule-based
- A Rule-Based Approach to Modular System Design (FPP), pp. 202–211.
- ICALP-1989-Parisi-Presicce #composition #design #graph grammar
- Modular System Design Applying Graph Grammars Techniques (FPP), pp. 621–636.
- GG-1986-MoldovanP #analysis #graph grammar #parallel #rule-based #using
- Parallelism analysis in rule-based systems using graph grammars (DIM, FPP), pp. 427–439.
- GG-1986-Parisi-PresicceEM #composition #graph grammar #unification
- Graph rewriting with unification and composition (FPP, HE, UM), pp. 496–514.
- STOC-1981-Parisi-Presicce #algebra #on the
- On the Faithful Regular Extensions of Iterative Algebras (FPP), pp. 368–374.
- CAAP-1985-BlumP #semantics #specification
- The Semantics of Shared Submodules Specifications (EKB, FPP), pp. 359–373.
- CAAP-1987-Parisi-Presicce #composition #recursion #specification
- Partial Composition and Recursion of Module Specifications (FPP), pp. 217–231.
- CAAP-1991-CorradiniRP #graph grammar #logic programming
- Logic Programming as Hypergraph Rewriting (AC, FR, FPP), pp. 275–295.