| 2008 |
|---|
| 97 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Simone Pulcini,
Gabriele Taentzer:
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.
Electr. Notes Theor. Comput. Sci. 211: 87-98 (2008) |
| 2007 |
|---|
| 96 | EE | Francesco Parisi-Presicce:
Special section: International Conference on Graph Transformation ICGT 2004.
Software and System Modeling 6(3): 267-268 (2007) |
| 2006 |
|---|
| 95 | EE | Xinwen Zhang,
Ravi S. Sandhu,
Francesco Parisi-Presicce:
Safety analysis of usage control authorization models.
ASIACCS 2006: 243-254 |
| 94 | EE | Xinwen Zhang,
Francesco Parisi-Presicce,
Ravi S. Sandhu:
Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing.
IWSEC 2006: 179-195 |
| 93 | EE | Paolo Bottoni,
Kathrin Hoffmann,
Francesco Parisi-Presicce:
Termination of Algebraic Rewriting with Inhibitors.
ECEASST 4: (2006) |
| 92 | EE | Gregor Engels,
Fernando Orejas,
Francesco Parisi-Presicce:
Special Issue with Selected Papers from ICGT 2004.
Fundam. Inform. 74(1): (2006) |
| 91 | EE | Manuel Koch,
Francesco Parisi-Presicce:
UML specification of access control policies and their formal verification.
Software and System Modeling 5(4): 429-447 (2006) |
| 2005 |
|---|
| 90 | EE | Amihai Motro,
Francesco Parisi-Presicce:
Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption.
DBSec 2005: 338-352 |
| 89 | EE | Zaid Dwaikat,
Francesco Parisi-Presicce:
Risky trust: risk-based analysis of software systems.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 88 | EE | Xinwen Zhang,
Francesco Parisi-Presicce,
Ravi S. Sandhu,
Jaehong Park:
Formal model and policy specification of usage control.
ACM Trans. Inf. Syst. Secur. 8(4): 351-387 (2005) |
| 87 | EE | Kathrin Hoffmann,
Till Mossakowski,
Francesco Parisi-Presicce:
Higher-Order Nets for Mobile Policies.
Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005) |
| 86 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Termination of High-Level Replacement Units with Application to Model Transformation.
Electr. Notes Theor. Comput. Sci. 127(4): 71-86 (2005) |
| 85 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Graph-based specification of access control policies.
J. Comput. Syst. Sci. 71(1): 1-33 (2005) |
| 84 | EE | Paolo Bottoni,
Kathrin Hoffmann,
Francesco Parisi-Presicce,
Gabriele Taentzer:
High-level replacement units and their termination properties.
J. Vis. Lang. Comput. 16(6): 485-507 (2005) |
| 2004 |
|---|
| 83 | | Hartmut Ehrig,
Gregor Engels,
Francesco Parisi-Presicce,
Grzegorz Rozenberg:
Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings
Springer 2004 |
| 82 | | Ehud Gudes,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Information Flow Analysis for File Systems and Databases Using Labels.
DBSec 2004: 125-141 |
| 81 | EE | Xinwen Zhang,
Jaehong Park,
Francesco Parisi-Presicce,
Ravi S. Sandhu:
A logical specification for usage control.
SACMAT 2004: 1-10 |
| 80 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Administrative scope in the graph-based framework.
SACMAT 2004: 97-104 |
| 2003 |
|---|
| 79 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Specifying Integrated Refactoring with Distributed Graph Transformations.
AGTIVE 2003: 220-235 |
| 78 | EE | Manuel Koch,
Francesco Parisi-Presicce:
Visual Specifications of Policies and Their Verification.
FASE 2003: 278-293 |
| 77 | EE | Manuel Koch,
Francesco Parisi-Presicce:
Formal access control analysis in the software development process.
FMSE 2003: 67-76 |
| 76 | EE | Francesco Parisi-Presicce:
A Formal Framework for Petri Net Class Transformations.
Petri Net Technology for Communication-Based Systems 2003: 409-430 |
| 75 | EE | Duminda Wijesekera,
Sushil Jajodia,
Francesco Parisi-Presicce,
Åsa Hagström:
Removing permissions in the flexible authorization framework.
ACM Trans. Database Syst. 28(3): 209-229 (2003) |
| 74 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Coordinated Distributed Diagram Transformation for Software Evolution.
Electr. Notes Theor. Comput. Sci. 72(4): (2003) |
| 2002 |
|---|
| 73 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Decidability of Safety in Graph-Based Models for Access Control.
ESORICS 2002: 229-243 |
| 72 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Conflict Detection and Resolution in Access Control Policy Specifications.
FoSSaCS 2002: 223-237 |
| 71 | EE | Manuel Koch,
Francesco Parisi-Presicce:
Describing Policies with Graph Constraints and Rules.
ICGT 2002: 223-238 |
| 70 | EE | Massimo Mecella,
Francesco Parisi-Presicce,
Barbara Pernici:
Modeling E -service Orchestration through Petri Nets.
TES 2002: 38-47 |
| 69 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
A graph-based formalism for RBAC.
ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002) |
| 68 | EE | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni:
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.
J. Comput. Syst. Sci. 64(2): 171-218 (2002) |
| 2001 |
|---|
| 67 | EE | Åsa Hagström,
Sushil Jajodia,
Francesco Parisi-Presicce,
Duminda Wijesekera:
Revocations-A Classification.
CSFW 2001: 44-58 |
| 66 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Foundations for a Graph-Based Approach to the Specification of Access Control Policies.
FoSSaCS 2001: 287-302 |
| 65 | EE | Paolo Bottoni,
Bernd Meyer,
Francesco Parisi-Presicce:
On a Uniform Logical Framework for Diagrammatic Reasoning.
HCC 2001: 64-71 |
| 64 | EE | Paolo Bottoni,
Bernd Meyer,
Kim Marriott,
Francesco Parisi-Presicce:
Deductive Parsing of Visual Languages.
LACL 2001: 79-94 |
| 63 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
On the specification and evolution of access control policies.
SACMAT 2001: 121-130 |
| 62 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
A Visualization of OCL Using Collaborations.
UML 2001: 257-271 |
| 61 | EE | Magdalena Gajewsky,
Francesco Parisi-Presicce:
On the Compatibility of Model and Model-Class Transformations.
WADT 2001: 109-127 |
| 60 | EE | Francesco Parisi-Presicce:
On Modifying High Level Replacement Systems.
Electr. Notes Theor. Comput. Sci. 44(4): (2001) |
| 59 | EE | Hartmut Ehrig,
Annegret Habel,
Francesco Parisi-Presicce:
Basic Results for Two Types of High-Level Replacement Systems.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 58 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
Graph Transformations for the Specification of Access Control Policies.
Electr. Notes Theor. Comput. Sci. 51: (2001) |
| 2000 |
|---|
| 57 | EE | Manuel Koch,
Luigi V. Mancini,
Francesco Parisi-Presicce:
A Formal Model for Role-Based Access Control Using Graph Transformation.
ESORICS 2000: 122-139 |
| 56 | EE | Francesco Parisi-Presicce,
Alexander L. Wolf:
Foundations for Software Configuration Management Policies Using Graph Transformations.
FASE 2000: 304-318 |
| 55 | | Francesco Parisi-Presicce:
Which Graphs for Visual Modeling?
ICALP Satellite Workshops 2000: 383-386 |
| 54 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Consistency Checking and Visualization of OCL Constraints.
UML 2000: 294-308 |
| 53 | EE | Paolo Bottoni,
Bernd Meyer,
Francesco Parisi-Presicce:
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning.
WMP 2000: 45-68 |
| 1999 |
|---|
| 52 | EE | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni,
Gabriele Taentzer:
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.
AGTIVE 1999: 31-45 |
| 51 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Marta Simeoni:
On a Uniform Representation of Transformation Systems.
AGTIVE 1999: 63-78 |
| 50 | | S. Veglioni,
Francesco Parisi-Presicce:
Composition and Interaction for Behavioural Specifications.
FMOODS 1999 |
| 1998 |
|---|
| 49 | EE | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni:
Spatial and Temporal Refinement of Typed Graph Transformation Systems.
MFCS 1998: 553-561 |
| 48 | | Paolo Bottoni,
Francesco Parisi-Presicce,
Marta Simeoni:
From Formulae to Rewriting Systems.
TAGT 1998: 267-280 |
| 47 | | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni:
Refinements of Graph Transformation Systems via Rule Expressions.
TAGT 1998: 368-382 |
| 46 | EE | Martin Große-Rhode,
Francesco Parisi-Presicce,
Marta Simeoni:
Refinements and Modules for Typed Graph Transformation Systems.
WADT 1998: 138-151 |
| 1997 |
|---|
| 45 | | Francesco Parisi-Presicce:
Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers
Springer 1997 |
| 44 | EE | Serafino Cicerone,
Francesco Parisi-Presicce:
On the Complexity of Specification Morphisms.
Theor. Comput. Sci. 189(1-2): 239-248 (1997) |
| 1996 |
|---|
| 43 | | Ornella Ciotti,
Francesco Parisi-Presicce:
Closure Properties of Context-Tree Hyperedge Replacement Systems.
WG 1996: 101-113 |
| 1994 |
|---|
| 42 | | Francesco Parisi-Presicce,
Alfonso Pierantonio:
Dynamical Behavior of Object Systems.
COMPASS/ADT 1994: 406-419 |
| 41 | | Serafino Cicerone,
Francesco Parisi-Presicce:
Strategies in Modular System Design by Interface Rewriting.
ESOP 1994: 165-179 |
| 40 | | Francesco Parisi-Presicce,
Alfonso Pierantonio:
Reusing Object Oriented Design: An Algebraic Approach.
ISOOMS 1994: 329-345 |
| 39 | | Francesco Parisi-Presicce:
Transformations of Graph Grammars.
TAGT 1994: 428-442 |
| 38 | | Francesco Parisi-Presicce,
Gabriele Piersanti:
Multilevel Graph Grammars.
WG 1994: 51-64 |
| 37 | EE | Francesco Parisi-Presicce,
Alfonso Pierantonio:
An Algebraic Theory of Class Specification.
ACM Trans. Softw. Eng. Methodol. 3(2): 166-199 (1994) |
| 1993 |
|---|
| 36 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
Interaction between Algebraic Specification Grammars and Modular System Design.
AMAST 1993: 217-224 |
| 35 | | Francesco Parisi-Presicce,
S. Veglioni:
Heterogeneous Unified Algebras.
MFCS 1993: 618-628 |
| 1992 |
|---|
| 34 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
High-Level-Replacement Systems for Equational Algebraic Specifications.
ALP 1992: 3-20 |
| 33 | | Francesco Parisi-Presicce,
Alfonso Pierantonio:
Structured Inheritance for Algebraic Class Specifications.
COMPASS/ADT 1992: 295-309 |
| 32 | EE | Francesco Parisi-Presicce,
Alfonso Pierantonio:
System Design as Derivation via Rewriting.
SEKE 1992: 317-324 |
| 31 | | Francesco Parisi-Presicce:
Single vs. Double Pushout Derivations of Graphs.
WG 1992: 248-262 |
| 1991 |
|---|
| 30 | | Francesco Parisi-Presicce:
On the Reusability of Specifications and Implementations.
AMAST 1991: 43-56 |
| 29 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
Non-Equivalence of Categories for Equational Algebraic Specifications.
COMPASS/ADT 1991: 222-235 |
| 28 | | Francesco Parisi-Presicce,
Alfonso Pierantonio:
An Algebraic View of Inheritance and Subtyping in Object Oriented Programming.
ESEC 1991: 364-379 |
| 27 | | Andrea Corradini,
Francesca Rossi,
Francesco Parisi-Presicce:
Logic Programming as Hypergraph Rewriting.
TAPSOFT, Vol.1 1991: 275-295 |
| 26 | | Francesco Parisi-Presicce,
Alfonso Pierantonio:
Towards the Algebraic Specification of Classes in Object Oriented Programming.
Bulletin of the EATCS 45: 85-97 (1991) |
| 25 | | Hartmut Ehrig,
Annegret Habel,
Hans-Jörg Kreowski,
Francesco Parisi-Presicce:
Parallelism and Concurrency in High-Level Replacement Systems.
Mathematical Structures in Computer Science 1(3): 361-404 (1991) |
| 24 | | Francesco Parisi-Presicce:
Foundations of Rule-Based Design of Modular Systems.
Theor. Comput. Sci. 83(1): 131-155 (1991) |
| 1990 |
|---|
| 23 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
A Match Operation for Rule-Based Modular System Design.
ADT 1990: 74-97 |
| 22 | | Hartmut Ehrig,
Annegret Habel,
Hans-Jörg Kreowski,
Francesco Parisi-Presicce:
From Graph Grammars to High Level Replacement Systems.
Graph-Grammars and Their Application to Computer Science 1990: 269-291 |
| 21 | | Hartmut Ehrig,
Francesco Parisi-Presicce:
Algebraic Specification Grammars: A Junction between Module Specifications and Graph Grammars.
Graph-Grammars and Their Application to Computer Science 1990: 292-310 |
| 20 | | Francesco Parisi-Presicce:
A Rule-Based Approach to Modular System Design.
ICSE 1990: 202-211 |
| 19 | | Hartmut Ehrig,
Francesco Parisi-Presicce,
Paul Boehm,
Catharina Rieckhoff,
Christian Dimitrovici,
Martin Große-Rhode:
Combining Data Type and Recursive Process Specifications Using Projection Algebras.
Theor. Comput. Sci. 71(3): 347-380 (1990) |
| 18 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Dean Jacobs,
Francesco Parisi-Presicce:
Compatibility Problems in the Development of Algebraic Module Specifications.
Theor. Comput. Sci. 77(1&2): 27-71 (1990) |
| 1989 |
|---|
| 17 | | Francesco Parisi-Presicce:
Modular System Design Applying Graph Grammars Techniques.
ICALP 1989: 621-636 |
| 16 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Dean Jacobs,
Anno Langen,
Francesco Parisi-Presicce:
Algebraic Specification of Modules and Configuration Families.
Elektronische Informationsverarbeitung und Kybernetik 25(5/6): 205-232 (1989) |
| 1988 |
|---|
| 15 | | Francesco Parisi-Presicce:
Product and Iteration of Module Specifications.
CAAP 1988: 149-164 |
| 14 | | Hartmut Ehrig,
Werner Fey,
Horst Hansen,
Michael Löwe,
Francesco Parisi-Presicce:
Categories for the Development of Algebraic Module Specifications.
Categorial Methods in Computer Science 1988: 157-184 |
| 1987 |
|---|
| 13 | | Hartmut Ehrig,
Francesco Parisi-Presicce,
Paul Boehm,
Catharina Rieckhoff,
Christian Dimitrovici,
Martin Große-Rhode:
Algebraic Data Type and Process Specifications based on Projection Spaces.
ADT 1987: 23-43 |
| 12 | | Francesco Parisi-Presicce:
Partial Composition and Recursion of Module Specifications.
TAPSOFT, Vol.1 1987: 217-231 |
| 11 | | Edward K. Blum,
Hartmut Ehrig,
Francesco Parisi-Presicce:
Algebraic Specification of Modules and Their Basic Interconnections.
J. Comput. Syst. Sci. 34(2/3): 293-339 (1987) |
| 10 | | Francesco Parisi-Presicce:
Union and Actualization of Module Specifications: Some Compatibility Results.
J. Comput. Syst. Sci. 35(1): 72-95 (1987) |
| 1986 |
|---|
| 9 | | Francesco Parisi-Presicce:
Inner and Mutual Compatibility of Basic Operations on Module Specifications.
CAAP 1986: 30-44 |
| 8 | | Dan I. Moldovan,
Francesco Parisi-Presicce:
Parallelism analysis in rule-based systems using graph grammars.
Graph-Grammars and Their Application to Computer Science 1986: 427-439 |
| 7 | | Francesco Parisi-Presicce,
Hartmut Ehrig,
Ugo Montanari:
Graph rewriting with unification and composition.
Graph-Grammars and Their Application to Computer Science 1986: 496-514 |
| 6 | | Hartmut Ehrig,
Werner Fey,
Francesco Parisi-Presicce,
Edward K. Blum:
Algebraic Theory of Module Specification with Constraints.
MFCS 1986: 59-77 |
| 1985 |
|---|
| 5 | | Edward K. Blum,
Francesco Parisi-Presicce:
The Semantics of Shared Submodules Specifications.
TAPSOFT, Vol.1 1985: 359-373 |
| 1984 |
|---|
| 4 | | Francesco Parisi-Presicce:
Iterative Factor Algebras and Induced Metrics.
Theor. Comput. Sci. 28: 287-298 (1984) |
| 1983 |
|---|
| 3 | | Francesco Parisi-Presicce:
Extensions of Iterative Congruences on Free Iterative Algebras.
J. Comput. Syst. Sci. 27(2): 200-220 (1983) |
| 2 | | Edward K. Blum,
Francesco Parisi-Presicce:
Implementation of Data Types by Algebraic Methods.
J. Comput. Syst. Sci. 27(2): 304-330 (1983) |
| 1981 |
|---|
| 1 | | Francesco Parisi-Presicce:
On the Faithful Regular Extensions of Iterative Algebras
STOC 1981: 368-374 |
