dblp.uni-trier.dewww.uni-trier.de

Francesco Parisi-Presicce Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
97EEPaolo 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
96EEFrancesco Parisi-Presicce: Special section: International Conference on Graph Transformation ICGT 2004. Software and System Modeling 6(3): 267-268 (2007)
2006
95EEXinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce: Safety analysis of usage control authorization models. ASIACCS 2006: 243-254
94EEXinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu: Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. IWSEC 2006: 179-195
93EEPaolo Bottoni, Kathrin Hoffmann, Francesco Parisi-Presicce: Termination of Algebraic Rewriting with Inhibitors. ECEASST 4: (2006)
92EEGregor Engels, Fernando Orejas, Francesco Parisi-Presicce: Special Issue with Selected Papers from ICGT 2004. Fundam. Inform. 74(1): (2006)
91EEManuel Koch, Francesco Parisi-Presicce: UML specification of access control policies and their formal verification. Software and System Modeling 5(4): 429-447 (2006)
2005
90EEAmihai Motro, Francesco Parisi-Presicce: Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption. DBSec 2005: 338-352
89EEZaid Dwaikat, Francesco Parisi-Presicce: Risky trust: risk-based analysis of software systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
88EEXinwen 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)
87EEKathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce: Higher-Order Nets for Mobile Policies. Electr. Notes Theor. Comput. Sci. 127(2): 87-105 (2005)
86EEPaolo 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)
85EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph-based specification of access control policies. J. Comput. Syst. Sci. 71(1): 1-33 (2005)
84EEPaolo 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
81EEXinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu: A logical specification for usage control. SACMAT 2004: 1-10
80EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Administrative scope in the graph-based framework. SACMAT 2004: 97-104
2003
79EEPaolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer: Specifying Integrated Refactoring with Distributed Graph Transformations. AGTIVE 2003: 220-235
78EEManuel Koch, Francesco Parisi-Presicce: Visual Specifications of Policies and Their Verification. FASE 2003: 278-293
77EEManuel Koch, Francesco Parisi-Presicce: Formal access control analysis in the software development process. FMSE 2003: 67-76
76EEFrancesco Parisi-Presicce: A Formal Framework for Petri Net Class Transformations. Petri Net Technology for Communication-Based Systems 2003: 409-430
75EEDuminda 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)
74EEPaolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer: Coordinated Distributed Diagram Transformation for Software Evolution. Electr. Notes Theor. Comput. Sci. 72(4): (2003)
2002
73EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Decidability of Safety in Graph-Based Models for Access Control. ESORICS 2002: 229-243
72EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Conflict Detection and Resolution in Access Control Policy Specifications. FoSSaCS 2002: 223-237
71EEManuel Koch, Francesco Parisi-Presicce: Describing Policies with Graph Constraints and Rules. ICGT 2002: 223-238
70EEMassimo Mecella, Francesco Parisi-Presicce, Barbara Pernici: Modeling E -service Orchestration through Petri Nets. TES 2002: 38-47
69EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A graph-based formalism for RBAC. ACM Trans. Inf. Syst. Secur. 5(3): 332-365 (2002)
68EEMartin 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
67EEÅsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera: Revocations-A Classification. CSFW 2001: 44-58
66EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Foundations for a Graph-Based Approach to the Specification of Access Control Policies. FoSSaCS 2001: 287-302
65EEPaolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce: On a Uniform Logical Framework for Diagrammatic Reasoning. HCC 2001: 64-71
64EEPaolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi-Presicce: Deductive Parsing of Visual Languages. LACL 2001: 79-94
63EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: On the specification and evolution of access control policies. SACMAT 2001: 121-130
62EEPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: A Visualization of OCL Using Collaborations. UML 2001: 257-271
61EEMagdalena Gajewsky, Francesco Parisi-Presicce: On the Compatibility of Model and Model-Class Transformations. WADT 2001: 109-127
60EEFrancesco Parisi-Presicce: On Modifying High Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
59EEHartmut Ehrig, Annegret Habel, Francesco Parisi-Presicce: Basic Results for Two Types of High-Level Replacement Systems. Electr. Notes Theor. Comput. Sci. 51: (2001)
58EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: Graph Transformations for the Specification of Access Control Policies. Electr. Notes Theor. Comput. Sci. 51: (2001)
2000
57EEManuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce: A Formal Model for Role-Based Access Control Using Graph Transformation. ESORICS 2000: 122-139
56EEFrancesco 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
54EEPaolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Consistency Checking and Visualization of OCL Constraints. UML 2000: 294-308
53EEPaolo Bottoni, Bernd Meyer, Francesco Parisi-Presicce: Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning. WMP 2000: 45-68
1999
52EEMartin 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
51EEPaolo 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
49EEMartin 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
46EEMartin 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
44EESerafino Cicerone, Francesco Parisi-Presicce: On the Complexity of Specification Morphisms. Theor. Comput. Sci. 189(1-2): 239-248 (1997)
1996
43EEOrnella 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
41EESerafino 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
38EEFrancesco Parisi-Presicce, Gabriele Piersanti: Multilevel Graph Grammars. WG 1994: 51-64
37EEFrancesco 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
35EEFrancesco Parisi-Presicce, S. Veglioni: Heterogeneous Unified Algebras. MFCS 1993: 618-628
1992
34EEHartmut 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
32EEFrancesco Parisi-Presicce, Alfonso Pierantonio: System Design as Derivation via Rewriting. SEKE 1992: 317-324
31EEFrancesco 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
27EEAndrea 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
17EEFrancesco 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
15EEFrancesco 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
12EEFrancesco 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
9EEFrancesco 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
6EEHartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum: Algebraic Theory of Module Specification with Constraints. MFCS 1986: 59-77
1985
5EEEdward 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

Coauthor Index

1Edward K. Blum [2] [5] [6] [11]
2Paul Boehm [13] [19]
3Paolo Bottoni [48] [51] [53] [54] [62] [64] [65] [74] [79] [84] [86] [93] [97]
4Serafino Cicerone [41] [44]
5Ornella Ciotti [43]
6Andrea Corradini [27]
7Christian Dimitrovici [13] [19]
8Zaid Dwaikat [89]
9Hartmut Ehrig [6] [7] [11] [13] [14] [16] [18] [19] [21] [22] [23] [25] [29] [34] [36] [59] [83]
10Gregor Engels [83] [92]
11Werner Fey [6] [14] [16] [18]
12Magdalena Gajewsky [61]
13Martin Große-Rhode [13] [19] [46] [47] [49] [52] [68]
14Ehud Gudes [82]
15Annegret Habel [22] [25] [59]
16Åsa Hagström [67] [75]
17Horst Hansen [14] [16] [18]
18Kathrin Hoffmann [84] [87] [93]
19Dean Jacobs [16] [18]
20Sushil Jajodia [67] [75]
21Manuel Koch [54] [57] [58] [62] [63] [66] [69] [71] [72] [73] [77] [78] [80] [85] [86] [91]
22Hans-Jörg Kreowski [22] [25]
23Anno Langen [16]
24Michael Löwe [14] [16] [18]
25Luigi V. Mancini [57] [58] [63] [66] [69] [72] [73] [80] [82] [85]
26Kim Marriott [64]
27Massimo Mecella [70]
28Bernd Meyer [53] [64] [65]
29Dan I. Moldovan [8]
30Ugo Montanari [7]
31Till Mossakowski [87]
32Amihai Motro [90]
33Fernando Orejas [92]
34Jaehong Park [81] [88]
35Barbara Pernici [70]
36Alfonso Pierantonio [26] [28] [32] [33] [37] [40] [42]
37Gabriele Piersanti [38]
38Simone Pulcini [97]
39Catharina Rieckhoff [13] [19]
40Francesca Rossi [27]
41Grzegorz Rozenberg [83]
42Ravi S. Sandhu [81] [88] [94] [95]
43Marta Simeoni [46] [47] [48] [49] [51] [52] [68]
44Gabriele Taentzer [52] [54] [62] [74] [79] [84] [86] [97]
45S. Veglioni [35] [50]
46Duminda Wijesekera [67] [75]
47Alexander L. Wolf [56]
48Xinwen Zhang [81] [88] [94] [95]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)