BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Parisi-Presicce:Francesco

Facilitated 4 volumes:

ICGT 2015Ed
ICMT 2010PrCo
ICMT 2009PrCo
ICGT 2004Ed

Contributed to:

GCM 20152015
GT-VMT 20132013
GT-VMT 20122012
GCM 20102011
GT-VMT 20102010
ICGT 20102010
GT-VMT 20062008
AGTIVE 20032003
FASE 20032003
FoSSaCS 20022002
ICGT 20022002
FoSSaCS 20012001
UML 20012001
FASE 20002000
UML 20002000
AGTIVE 19991999
TAGT 19981998
ESOP 19941994
TAGT 19941994
ALP 19921992
SEKE 19921992
ESEC 19911991
GG 19901990
ICSE 19901990
ICALP 19891989
GG 19861986
STOC 19811981
TAPSOFT, Vol.1: CAAP 19851985
TAPSOFT, Vol.1: CAAP 19871987
TAPSOFT, Vol.1: CAAP 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.