Francesco Parisi-Presicce

115 papers A* 3A 4B 16C 4Misc 1Journal 34Unranked 50
YearRankTypeTitle / Venue / Authors
2017 J jnl
Resource-aware policies.
J. Vis. Lang. Comput.
Paolo Bottoni, Andrew Fish, Alexander Heußner, Francesco Parisi-Presicce
2016 — ed.
Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 4-7, 2016.
STAF Doctoral Symposium / Showcase
Catherine Dubois, Francesco Parisi-Presicce, Dimitris S. Kolovos, Nicholas Matragkas
2016 — conf
Type Annotation for Adaptive Systems.
GaM
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
2015 — conf
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling.
GCM@ICGT
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce
2015 J jnl
Conditions, constraints and contracts: On the use of annotations for policy modeling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce
2015 B ed.
Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
ICGT
Francesco Parisi-Presicce, Bernhard Westfechtel
2015 J jnl
Spider Graphs: a graph transformation system for spider diagrams.
Softw. Syst. Model.
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
2013 J jnl
Annotation processes for flexible management of contextual information.
J. Vis. Lang. Comput.
Paolo Bottoni, Francesco Parisi-Presicce
2013 J jnl
Annotations on Complex Patterns.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Bottoni, Francesco Parisi-Presicce
2012 J jnl
Modeling context with graph annotations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Bottoni, Francesco Parisi-Presicce
2011 J jnl
Incremental update of constraint-compliant policy rules.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
2010 B conf
A Model for Distribution and Revocation of Certificates.
ICGT
Åsa Hagström, Francesco Parisi-Presicce
2010 J jnl
A Termination Criterion for Graph Transformations with Negative Application Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Bottoni, Francesco Parisi-Presicce
2010 J jnl
Preserving constraints in horizontal model transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
2007 J jnl
Special section: International Conference on Graph Transformation ICGT 2004.
Softw. Syst. Model.
Francesco Parisi-Presicce
2006 — conf
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.
GT-VMT@ETAPS
Paolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer
2006 A conf
Safety analysis of usage control authorization models.
AsiaCCS
Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce
2006 J jnl
Special Issue with Selected Papers from ICGT 2004.
Fundam. Informaticae
Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce
2006 J jnl
Termination of Algebraic Rewriting with Inhibitors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce
2006 Misc conf
Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing.
IWSEC
Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu
2006 J jnl
UML specification of access control policies and their formal verification.
Softw. Syst. Model.
Manuel Koch, Francesco Parisi-Presicce
2005 B conf
Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption.
DBSec
Amihai Motro, Francesco Parisi-Presicce
2005 J jnl
Formal model and policy specification of usage control.
ACM Trans. Inf. Syst. Secur.
Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park
2005 J jnl
Graph-based specification of access control policies.
J. Comput. Syst. Sci.
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2005 J jnl
High-level replacement units and their termination properties.
J. Vis. Lang. Comput.
Paolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce, Gabriele Taentzer
2005 — conf
Risky trust: risk-based analysis of software systems.
SESS@ICSE
Zaid Dwaikat, Francesco Parisi-Presicce
2005 J jnl
Risky trust: risk-based analysis of software systems.
ACM SIGSOFT Softw. Eng. Notes
Zaid Dwaikat, Francesco Parisi-Presicce
2004 C conf
A logical specification for usage control.
SACMAT
Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu
2004 C conf
Administrative scope in the graph-based framework.
SACMAT
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2004 B ed.
Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings
ICGT
Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg
2004 — conf
Higher-Order Nets for Mobile Policies.
PNGT@ICGT
Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce
2004 B conf
Information Flow Analysis for File Systems and Databases Using Labels.
DBSec
Ehud Gudes, Luigi V. Mancini, Francesco Parisi-Presicce
2004 — conf
Policy Analysis and Verification by Graph Transformation Tools.
GraBaTs
Francesco Parisi-Presicce, Yujie Zhao
2004 — conf
Termination of High-Level Replacement Units with Application to Model Transformation.
VLFM
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
2003 — conf
A Formal Framework for Petri Net Class Transformations.
Petri Net Technology for Communication-Based Systems
Francesco Parisi-Presicce
2003 — conf
Formal access control analysis in the software development process.
FMSE
Manuel Koch, Francesco Parisi-Presicce
2003 J jnl
Removing permissions in the flexible authorization framework.
ACM Trans. Database Syst.
Duminda Wijesekera, Sushil Jajodia, Francesco Parisi-Presicce, Åsa Hagström
2003 — conf
Specifying Integrated Refactoring with Distributed Graph Transformations.
AGTIVE
Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer
2003 B conf
Visual Specifications of Policies and Their Verification.
FASE
Manuel Koch, Francesco Parisi-Presicce
2002 J jnl
A graph-based formalism for RBAC.
ACM Trans. Inf. Syst. Secur.
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2002 B conf
Conflict Detection and Resolution in Access Control Policy Specifications.
FoSSaCS
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2002 — conf
Coordinated Distributed Diagram Transformation for Software Evolution.
Software Evolution Through Transformations @ ICGT
Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer
2002 A conf
Decidability of Safety in Graph-Based Models for Access Control.
ESORICS
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2002 B conf
Describing Policies with Graph Constraints and Rules.
ICGT
Manuel Koch, Francesco Parisi-Presicce
2002 J jnl
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.
J. Comput. Syst. Sci.
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
2002 — conf
Modeling E -service Orchestration through Petri Nets.
TES
Massimo Mecella, Francesco Parisi-Presicce, Barbara Pernici
2001 — conf
A Visualization of OCL Using Collaborations.
UML
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
2001 — conf
Basic Results for Two Types of High-Level Replacement Systems.
GETGRATS Closing Workshop
Hartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce
2001 — conf
Deductive Parsing of Visual Languages.
LACL
Paolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce
2001 B conf
Foundations for a Graph-Based Approach to the Specification of Access Control Policies.
FoSSaCS
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2001 — conf
Graph Transformations for the Specification of Access Control Policies.
GETGRATS Closing Workshop
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2001 — conf
On Modifying High Level Replacement Systems.
UNIGRA
Francesco Parisi-Presicce
2001 — conf
On a Uniform Logical Framework for Diagrammatic Reasoning.
HCC
Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce
2001 — conf
On the Compatibility of Model and Model-Class Transformations.
WADT
Magdalena Gajewsky, Francesco Parisi-Presicce
2001 C conf
On the specification and evolution of access control policies.
SACMAT
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2001 — conf
Revocations-A Classification.
CSFW
Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera
2000 A conf
A Formal Model for Role-Based Access Control Using Graph Transformation.
ESORICS
Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce
2000 — conf
Consistency Checking and Visualization of OCL Constraints.
UML
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer
2000 B conf
Foundations for Software Configuration Management Policies Using Graph Transformations.
FASE
Francesco Parisi-Presicce, Alexander L. Wolf
2000 — conf
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning.
WMP
Paolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce
2000 — conf
Which Graphs for Visual Modeling?
ICALP Satellite Workshops
Francesco Parisi-Presicce
1999 — conf
Composition and Interaction for Behavioural Specifications.
FMOODS
S. Veglioni, Francesco Parisi-Presicce
1999 — conf
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.
AGTIVE
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer
1999 — conf
On a Uniform Representation of Transformation Systems.
AGTIVE
Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
1998 — conf
From Formulae to Rewriting Systems.
TAGT
Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
1998 — conf
Refinements and Modules for Typed Graph Transformation Systems.
WADT
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
1998 — conf
Refinements of Graph Transformation Systems via Rule Expressions.
TAGT
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
1998 B conf
Spatial and Temporal Refinement of Typed Graph Transformation Systems.
MFCS
Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
1997 J jnl
On the Complexity of Specification Morphisms.
Theor. Comput. Sci.
Serafino Cicerone, Francesco Parisi-Presicce
1997 — ed.
Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers
WADT
Francesco Parisi-Presicce
1996 B conf
Closure Properties of Context-Tree Hyperedge Replacement Systems.
WG
Ornella Ciotti, Francesco Parisi-Presicce
1994 J jnl
An Algebraic Theory of Class Specification.
ACM Trans. Softw. Eng. Methodol.
Francesco Parisi-Presicce, Alfonso Pierantonio
1994 — conf
Dynamical Behavior of Object Systems.
COMPASS/ADT
Francesco Parisi-Presicce, Alfonso Pierantonio
1994 B conf
Multilevel Graph Grammars.
WG
Francesco Parisi-Presicce, Gabriele Piersanti
1994 — conf
Reusing Object Oriented Design: An Algebraic Approach.
ISOOMS
Francesco Parisi-Presicce, Alfonso Pierantonio
1994 A conf
Strategies in Modular System Design by Interface Rewriting.
ESOP
Serafino Cicerone, Francesco Parisi-Presicce
1994 — conf
Transformations of Graph Grammars.
TAGT
Francesco Parisi-Presicce
1993 B conf
Heterogeneous Unified Algebras.
MFCS
Francesco Parisi-Presicce, S. Veglioni
1993 — conf
Interaction between Algebraic Specification Grammars and Modular System Design.
AMAST
Hartmut Ehrig, Francesco Parisi-Presicce
1993 — ch.
Towards the Algebraic Specification of Classes in Object Oriented Programming.
Current Trends in Theoretical Computer Science
Francesco Parisi-Presicce, Alfonso Pierantonio
1992 — conf
High-Level-Replacement Systems for Equational Algebraic Specifications.
ALP
Hartmut Ehrig, Francesco Parisi-Presicce
1992 B conf
Single vs. Double Pushout Derivations of Graphs.
WG
Francesco Parisi-Presicce
1992 — conf
Structured Inheritance for Algebraic Class Specifications.
COMPASS/ADT
Francesco Parisi-Presicce, Alfonso Pierantonio
1992 C conf
System Design as Derivation via Rewriting.
SEKE
Francesco Parisi-Presicce, Alfonso Pierantonio
1991 — conf
An Algebraic View of Inheritance and Subtyping in Object Oriented Programming.
ESEC
Francesco Parisi-Presicce, Alfonso Pierantonio
1991 J jnl
Foundations of Rule-Based Design of Modular Systems.
Theor. Comput. Sci.
Francesco Parisi-Presicce
1991 — conf
Logic Programming as Hypergraph Rewriting.
TAPSOFT, Vol.1
Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce
1991 — conf
Non-Equivalence of Categories for Equational Algebraic Specifications.
COMPASS/ADT
Hartmut Ehrig, Francesco Parisi-Presicce
1991 — conf
On the Reusability of Specifications and Implementations.
AMAST
Francesco Parisi-Presicce
1991 J jnl
Parallelism and Concurrency in High-Level Replacement Systems.
Math. Struct. Comput. Sci.
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
1991 J jnl
Towards the Algebraic Specification of Classes in Object Oriented Programming.
Bull. EATCS
Francesco Parisi-Presicce, Alfonso Pierantonio
1990 — conf
A Match Operation for Rule-Based Modular System Design.
ADT
Hartmut Ehrig, Francesco Parisi-Presicce
1990 A* conf
A Rule-Based Approach to Modular System Design.
ICSE
Francesco Parisi-Presicce
1990 — conf
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars.
Graph-Grammars and Their Application to Computer Science
Hartmut Ehrig, Francesco Parisi-Presicce
1990 J jnl
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci.
Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
1990 J jnl
Compatibility Problems in the Development of Algebraic Module Specifications.
Theor. Comput. Sci.
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
1990 — conf
From Graph Grammars to High Level Replacement Systems.
Graph-Grammars and Their Application to Computer Science
Hartmut Ehrig, Annegret Habel, Hans-Jörg Kreowski, Francesco Parisi-Presicce
1989 J jnl
Algebraic Specification of Modules and Configuration Families.
J. Inf. Process. Cybern.
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
1989 A* conf
Modular System Design Applying Graph Grammars Techniques.
ICALP
Francesco Parisi-Presicce
1988 — conf
Categories for the Development of Algebraic Module Specifications.
Categorial Methods in Computer Science
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
1988 — conf
Product and Iteration of Module Specifications.
CAAP
Francesco Parisi-Presicce
1987 — conf
Algebraic Data Type and Process Specifications based on Projection Spaces.
ADT
Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
1987 J jnl
Algebraic Specification of Modules and Their Basic Interconnections.
J. Comput. Syst. Sci.
Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce
1987 — conf
Partial Composition and Recursion of Module Specifications.
TAPSOFT, Vol.1
Francesco Parisi-Presicce
1987 J jnl
Union and Actualization of Module Specifications: Some Compatibility Results.
J. Comput. Syst. Sci.
Francesco Parisi-Presicce
1986 B conf
Algebraic Theory of Module Specification with Constraints.
MFCS
Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum
1986 — conf
Graph rewriting with unification and composition.
Graph-Grammars and Their Application to Computer Science
Francesco Parisi-Presicce, Hartmut Ehrig, Ugo Montanari
1986 — conf
Inner and Mutual Compatibility of Basic Operations on Module Specifications.
CAAP
Francesco Parisi-Presicce
1986 — conf
Parallelism analysis in rule-based systems using graph grammars.
Graph-Grammars and Their Application to Computer Science
Dan I. Moldovan, Francesco Parisi-Presicce
1985 — conf
The Semantics of Shared Submodules Specifications.
TAPSOFT, Vol.1
Edward K. Blum, Francesco Parisi-Presicce
1984 J jnl
Iterative Factor Algebras and Induced Metrics.
Theor. Comput. Sci.
Francesco Parisi-Presicce
1983 J jnl
Extensions of Iterative Congruences on Free Iterative Algebras.
J. Comput. Syst. Sci.
Francesco Parisi-Presicce
1983 J jnl
Implementation of Data Types by Algebraic Methods.
J. Comput. Syst. Sci.
Edward K. Blum, Francesco Parisi-Presicce
1983 J jnl
Iterative vs. regular factor algebras.
SIGACT News
Irène Guessarian, Francesco Parisi-Presicce
1981 A* conf
On the Faithful Regular Extensions of Iterative Algebras
STOC
Francesco Parisi-Presicce