Francesco Parisi-Presicce

According to our database1, Francesco Parisi-Presicce authored at least 108 papers between 1981 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Resource-aware policies.
J. Vis. Lang. Comput., 2017

2016
Type Annotation for Adaptive Systems.
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

2015
Spider Graphs: a graph transformation system for spider diagrams.
Software and Systems Modeling, 2015

Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling.
Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

2013
Annotation processes for flexible management of contextual information.
J. Vis. Lang. Comput., 2013

Annotations on Complex Patterns.
ECEASST, 2013

2012
Modeling context with graph annotations.
ECEASST, 2012

2011
Incremental update of constraint-compliant policy rules.
ECEASST, 2011

2010
A Termination Criterion for Graph Transformations with Negative Application Conditions.
ECEASST, 2010

Preserving constraints in horizontal model transformations.
ECEASST, 2010

A Model for Distribution and Revocation of Certificates.
Proceedings of the Graph Transformations - 5th International Conference, 2010

2008
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.
Electr. Notes Theor. Comput. Sci., 2008

2007
Special section: International Conference on Graph Transformation ICGT 2004.
Software and Systems Modeling, 2007

2006
UML specification of access control policies and their formal verification.
Software and Systems Modeling, 2006

Special Issue with Selected Papers from ICGT 2004.
Fundam. Inform., 2006

Termination of Algebraic Rewriting with Inhibitors.
ECEASST, 2006

Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing.
Proceedings of the Advances in Information and Computer Security, 2006

Safety analysis of usage control authorization models.
Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006

2005
High-level replacement units and their termination properties.
J. Vis. Lang. Comput., 2005

Formal model and policy specification of usage control.
ACM Trans. Inf. Syst. Secur., 2005

Graph-based specification of access control policies.
J. Comput. Syst. Sci., 2005

Policy Analysis and Verification by Graph Transformation Tools.
Electr. Notes Theor. Comput. Sci., 2005

Higher-Order Nets for Mobile Policies.
Electr. Notes Theor. Comput. Sci., 2005

Termination of High-Level Replacement Units with Application to Model Transformation.
Electr. Notes Theor. Comput. Sci., 2005

Risky trust: risk-based analysis of software systems.
Proceedings of the 2005 Workshop on Software Engineering for Secure Systems, 2005

Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption.
Proceedings of the Data and Applications Security XIX, 2005

2004
A logical specification for usage control.
Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, 2004

Administrative scope in the graph-based framework.
Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, 2004

Information Flow Analysis for File Systems and Databases Using Labels.
Proceedings of the Research Directions in Data and Applications Security XVIII, 2004

2003
Removing permissions in the flexible authorization framework.
ACM Trans. Database Syst., 2003

Coordinated Distributed Diagram Transformation for Software Evolution.
Electr. Notes Theor. Comput. Sci., 2003

Visual Specifications of Policies and Their Verification.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

A Formal Framework for Petri Net Class Transformations.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Formal access control analysis in the software development process.
Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

Specifying Integrated Refactoring with Distributed Graph Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
A graph-based formalism for RBAC.
ACM Trans. Inf. Syst. Secur., 2002

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.
J. Comput. Syst. Sci., 2002

Modeling E -service Orchestration through Petri Nets.
Proceedings of the Technologies for E-Services, Third International Workshop, 2002

Describing Policies with Graph Constraints and Rules.
Proceedings of the Graph Transformation, First International Conference, 2002

Conflict Detection and Resolution in Access Control Policy Specifications.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

Decidability of Safety in Graph-Based Models for Access Control.
Proceedings of the Computer Security, 2002

2001
On Modifying High Level Replacement Systems.
Electr. Notes Theor. Comput. Sci., 2001

Graph Transformations for the Specification of Access Control Policies.
Electr. Notes Theor. Comput. Sci., 2001

Basic Results for Two Types of High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci., 2001

On the Compatibility of Model and Model-Class Transformations.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

On a Uniform Logical Framework for Diagrammatic Reasoning.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

A Visualization of OCL Using Collaborations.
Proceedings of the «UML» 2001, 2001

On the specification and evolution of access control policies.
Proceedings of the 6th ACM Symposium on Access Control Models and Technologies, 2001

Deductive Parsing of Visual Languages.
Proceedings of the Logical Aspects of Computational Linguistics, 2001

Foundations for a Graph-Based Approach to the Specification of Access Control Policies.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

Revocations-A Classification.
Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning.
Proceedings of the Multiset Processing, 2000

Consistency Checking and Visualization of OCL Constraints.
Proceedings of the «UML» 2000, 2000

Which Graphs for Visual Modeling?
Proceedings of the ICALP Workshops 2000, 2000

Foundations for Software Configuration Management Policies Using Graph Transformations.
Proceedings of the Fundamental Approaches to Software Engineering, 2000

A Formal Model for Role-Based Access Control Using Graph Transformation.
Proceedings of the Computer Security, 2000

1999
Composition and Interaction for Behavioural Specifications.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

On a Uniform Representation of Transformation Systems.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Refinements and Modules for Typed Graph Transformation Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Refinements of Graph Transformation Systems via Rule Expressions.
Proceedings of the Theory and Application of Graph Transformations, 1998

From Formulae to Rewriting Systems.
Proceedings of the Theory and Application of Graph Transformations, 1998

Spatial and Temporal Refinement of Typed Graph Transformation Systems.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997
On the Complexity of Specification Morphisms.
Theor. Comput. Sci., 1997

1996
Closure Properties of Context-Tree Hyperedge Replacement Systems.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1996

1994
An Algebraic Theory of Class Specification.
ACM Trans. Softw. Eng. Methodol., 1994

Multilevel Graph Grammars.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1994

Transformations of Graph Grammars.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

Reusing Object Oriented Design: An Algebraic Approach.
Proceedings of the Object-Oriented Methodologies and Systems, 1994

Strategies in Modular System Design by Interface Rewriting.
Proceedings of the Programming Languages and Systems, 1994

Dynamical Behavior of Object Systems.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993
Towards the Algebraic Specification of Classes in Object Oriented Programming.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

Heterogeneous Unified Algebras.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Interaction between Algebraic Specification Grammars and Modular System Design.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Single vs. Double Pushout Derivations of Graphs.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1992

System Design as Derivation via Rewriting.
Proceedings of the SEKE'92, 1992

Structured Inheritance for Algebraic Class Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1992

High-Level-Replacement Systems for Equational Algebraic Specifications.
Proceedings of the Algebraic and Logic Programming, 1992

1991
Foundations of Rule-Based Design of Modular Systems.
Theor. Comput. Sci., 1991

Parallelism and Concurrency in High-Level Replacement Systems.
Mathematical Structures in Computer Science, 1991

Towards the Algebraic Specification of Classes in Object Oriented Programming.
Bulletin of the EATCS, 1991

Logic Programming as Hypergraph Rewriting.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

An Algebraic View of Inheritance and Subtyping in Object Oriented Programming.
Proceedings of the ESEC '91, 1991

Non-Equivalence of Categories for Equational Algebraic Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1991

On the Reusability of Specifications and Implementations.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci., 1990

Compatibility Problems in the Development of Algebraic Module Specifications.
Theor. Comput. Sci., 1990

A Rule-Based Approach to Modular System Design.
Proceedings of the 12th International Conference on Software Engineering, 1990

Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

From Graph Grammars to High Level Replacement Systems.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

A Match Operation for Rule-Based Modular System Design.
Proceedings of the Recent Trends in Data Type Specification, 1990

1989
Algebraic Specification of Modules and Configuration Families.
Elektronische Informationsverarbeitung und Kybernetik, 1989

Modular System Design Applying Graph Grammars Techniques.
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988
Categories for the Development of Algebraic Module Specifications.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Product and Iteration of Module Specifications.
Proceedings of the CAAP '88, 1988

1987
Union and Actualization of Module Specifications: Some Compatibility Results.
J. Comput. Syst. Sci., 1987

Algebraic Specification of Modules and Their Basic Interconnections.
J. Comput. Syst. Sci., 1987

Partial Composition and Recursion of Module Specifications.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Algebraic Data Type and Process Specifications based on Projection Spaces.
Proceedings of the Recent Trends in Data Type Specification, 1987

1986
Algebraic Theory of Module Specification with Constraints.
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

Graph rewriting with unification and composition.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Parallelism analysis in rule-based systems using graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Inner and Mutual Compatibility of Basic Operations on Module Specifications.
Proceedings of the CAAP '86, 1986

1985
The Semantics of Shared Submodules Specifications.
Proceedings of the Mathematical Foundations of Software Development, 1985

1984
Iterative Factor Algebras and Induced Metrics.
Theor. Comput. Sci., 1984

1983
Extensions of Iterative Congruences on Free Iterative Algebras.
J. Comput. Syst. Sci., 1983

Implementation of Data Types by Algebraic Methods.
J. Comput. Syst. Sci., 1983

1981
On the Faithful Regular Extensions of Iterative Algebras
Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981


  Loading...