- P.Bottoni, M.Koch, F.Parisi-Presicce, G.Taentzer, Consistency
Checking and Visualization of OCL Constraints, in Proc. UML 2000 -
The Unified Modeling Language (A.Evans, S.Kent, B.Selic, eds.),
Lect.Notes Comp.Sci. 1939, Springer-Verlag 2000, pp.294-308 pdf
- M.Koch, L.V.Mancini, F.Parisi-Presicce, A formal
Model for Role-Based Access Control using
Graph Transformations, in Proc. ESORICS2000 (F.Cuppens et al.,
eds.) Lect.Notes Comp.Sci. 1895, Springer-Verlag 2000, pp.122-139 pdf
- P.Bottoni, B.Meyer, F.Parisi-Presicce, Visual Multiset
Rewriting, in Proc. Workshop on Multiset Processing, Center for
Discrete Math. and Theoret.Comp.Sci., Tech.Univ. Auckland, 2000,
pp.35-50
- F.Parisi-Presicce, Which Graphs for Visual Modelling
?, (invited) in Proc.
ICALP Workshop Graph Transformation and Visual Modelling Techniques
(GVMT 2000) (J.D.P.Rolim,A.Z.Broder,A.Corradini,R.Gorrieri,R.Heckel,
J.Hromkovic,U.Vaccaro,J.B.Wells, eds.), Carleton Scientific,
Waterloo, Ontario, Canada, 2000, pp.383-386
- F.Parisi-Presicce, A.L.Wolf, Foundations for Software
Configuration Management
Policies using Graph Transformations, in Proc. FASE 2000
(T.Maibaum, ed.), Lect.Notes Comp. Sci. 1783, Springer-Verlag 2000 pp.
304-318
- P. Bottoni, F.Parisi-Presicce: Patterns on Graphs, in
Proc. GRATRA 2000 Workshop (H.Ehrig, G.Taentzer, eds.) Tech. Rep.
2000-02 Fachbereich
Informatik, Tech.Univ. Berlin 2000, pp. 180-188 (
http://tfs.cs.tu-berlin.de/gratra2000/)
- M.Große-Rhode, F.Parisi-Presicce, M.Simeoni, G.Taentzer: Modelling
Distributed Systems
by Modular Graph Transformations based on Refinements via Rule
Expressions, in
Proc. Internat. Workshop AGTIVE99, (M.Nagl, A.Schuerr, M.Münch
eds.) Lect.Notes
Comp.Sci. 1779, Springer-Verlag 2000, pp.31-46
- P.Bottoni, F.Parisi-Presicce, M.Simeoni: On a Uniform
Representation of Transformation Systems, in Proc. Internat.
Workshop AGTIVE99, (M.Nagl, A.Schürr, M.Münch, eds.)
Lect.Notes
Comp.Sci. 1779,
Springer-Verlag 2000, pp.63-78
- M.Große-Rhode, F.Parisi-Presicce, M. Simeoni: Refinements
of Graph Transformation Systems via
Rule Expressions, in Graph Grammars and their applications to
Comp. Sci. 6th Internat. Workshop,(Selected
Papers), (H.Ehrig, G.Engels, H.-J.Kreowski, G.Rozenberg, eds.)
Lect.Notes
Comp.Sci. 1764, Springer-Verlag 2000, pp.368-382
- P.Bottoni, F.Parisi-Presicce, M.Simeoni: From Formulae to
Rewriting Systems, in Graph Grammars and their applications to
Comp.Sci. 6th
Internat. Workshop, (Selected Papers), (H.Ehrig, G.Engels,
H.-J.Kreowski, G.Rozenberg eds.)
Lect.Notes Comp.Sci. 1764,
Springer-Verlag 2000, pp.267-280
- H.Ehrig, M.Gajewsky, F. Parisi-Presicce: High-Level
Replacement Systems with applications to Algebraic Specifications and
Petri Nets , in Handbook of
Graph Grammars vol 3 : Concurrency,
Parallelism and Distribution (H.Ehrig, H.-J.Kreowski,
U.Montanari, G.Rozenberg, eds.), World Scientific 1999, pp. 341-400
- M.Große-Rhode, F.Parisi Presicce, M.Simeoni,: Refinement
and Modules for Typed Graph Transformation Systems,in Recent
Trends in Algebraic Development Techniques (Selected papers from
WADT98),(J.L. Fiadeiro ed.) Lect.Notes Comp.Sci. 1589, Springer-Verlag
1999, pp.137-151
- F.Parisi-Presicce, S.Veglioni: Composition and Interaction
for Behavioural Specifications, Proc. IFIP TC6 3rd
Internat. Conference on Formal Methods for Open Object-based
Distributed Systems,
(P.Ciancarini, A.Fantechi, R.Gorrieri eds.) Kluwer Acad.Publ. 1999,
pp.149-160
- M.Große-Rhode, F.Parisi-Presicce, M.Simeoni: Spatial
and Temporal Refinement of Typed Graph Transformation Systems,
Proc. Math. Found. of Comp. Sci. 1998, (L.Brim, J.Gruska,
J.Zlatuvska eds.) Lect. Notes Comp.Sci.1450, Springer-Verlag 1998,
pp.553-561 pdf
- M.Gogolla, F.Parisi-Presicce,State
Diagrams in UML: a formal semantics using Graph Transformations,
Proc. Workshop on Precise Semantics
for Software
Modeling Techniques, Kyoto (Japan) April 1998, TUM-I9803, pp.55-72
- F.Parisi-Presicce (Ed.),
Recent Trends in Algebraic Development Techniques, Selected Papers of
the 12th
Internat. Workshop WADT 97, Lect.Notes Comp.Sci.1376,
Springer-Verlag
1998
- S.Cicerone, F.Parisi-Presicce, On the Complexity of
Specification Morphisms, Theoret.
Comp. Sci. 189,1-2 (1997)
pp.239-248
- F.Parisi-Presicce, A.Pierantonio, On the Algebraic
Specification of Classes and Inheritance in OOP, in "Advances in
the Design of Symbolic
Computation Systems" (A.Miola, M.Temperini, eds.)
Texts and Monographs in Symbolic Computation, Springer 1997, pp.145-163
- F.Parisi-Presicce Transformations
of Graph Grammars, Proc. 5th International Workshop on
Graph Grammars 1994, (J.Cuny, H.Ehrig, G.Engels, G.Rozenberg, eds.),
Lect.Notes in Comp. Sci. 1073, Springer-Verlag 1996, pp.428-442
- F.Parisi-Presicce, A.Pierantonio, Dynamical Behavior of
Object Systems, in "Recent Trends in
Data Type Specification" 10th ADT Workshop (E.Astesiano,
G.Reggio, A.Tarlecki, eds.) Lect.Notes Comp.Sci. 906, Springer-Verlag
1995, pp.406-419
- F.Parisi-Presicce, G.Piersanti, Multilevel
Graph Grammars, in Proc. 20th Internat. Workshop Graph Theoretic
Concepts in Comp.Sci.
(E.W.Meyer, G. Schmidt, G.Tinhofer eds.) Lect.Notes Comp.Sci. 903,
Springer-Verlag 1995, pp.51-64
- F.Parisi-Presicce, A.Pierantonio, An Algebraic Theory of
Class Specification, ACM Transactions on Software
Engineering and
Methodology (TOSEM), vol 3, n. 2
(April 1994) pp.166-199
- F.Parisi-Presicce, A.Pierantonio, Reusing Object Oriented
Design: an Algebraic Approach, in
"Object Oriented Methodology and Systems" (E.Bertino, S.Urban, eds.),
Lect.Notes Comp.Sci. 858, Springer-Verlag (1994) pp.329-345
- S.Cicerone, F.Parisi-Presicce, Strategies in modular system
design by
interface rewriting, Proc.5th European Symposium on
Programming (D.Sannella ed.), Lect.Notes in Comp.Sci. 788,
Springer-Verlag
(1994) pp. 165-179
- F.Parisi-Presicce, A.Pierantonio, Structured Inheritance for
Algebraic Class
Specifications, in "Recent Trends in Data Type Specification" 9th
ADT Workshop (H.Ehrig, F.Orejas, eds.), Lect.Notes Comp.Sci.785,
Springer-Verlag (1994) pp.295-309
- F.Parisi-Presicce, S.Veglioni, Heterogeneous Unified Algebras,
Proc. Math. Found. of Comp.Sci. 1993 (A.M.Borzyszkowski, S.Sokolowski,
eds.), Lect.Notes Comp.Sci. 711, Springer-Verlag (1993) pp.618-628
- H.Ehrig, F.Parisi-Presicce, Interaction between Algebraic
Specification Grammars and Modular
System Design, in Algebraic
Methodology and Software Technology AMAST 93 (M.Nivat, C.Rattray,
T.Rus, G.Scollo, eds.), Springer-Verlag 1993, pp. 219-226
- F.Parisi-Presicce, Single vs. double pushout derivations of
Graphs, in
Proc. 18th Workshop Graph Theoretic Concepts in Comp.Sci. (E.W.Meyer,
ed.)
Lect.Notes Comp.Sci. 657, Springer-Verlag 1993, pp.248-262
- H.Ehrig, F.Parisi-Presicce, Nonequivalence of categories for
equational algebraic specifications, in
"Recent Trends in Data Type Specification" 8th ADT/ 3rd
COMPASS Workshop (M.Bidoit, C.Choppy, eds.), Lect.Notes Comp.Sci.655,
Springer-Verlag 1993, pp. 222-235
- F.Parisi-Presicce, A.Pierantonio, Toward an Algebraic
Specification of
Classes in Object Oriented Programming, in "Current Trends in
Theoretical Computer Science" (G.Rozenberg, A.Salomaa eds)
World Scientific 1993, pag.183-194
- F.Parisi-Presicce, On the
Reusability of Specifications and Implementations, in Algebraic
Methodology and
Software Technology AMAST 91; (M.Nivat, C.Rattray, T.Rus, G.Scollo,
eds.), Springer-Verlag 1992, pp. 43-56
- F.Parisi-Presicce, A.Pierantonio, System Design by Deriving
using Rewriting,
Proc. 4th International Conference on Software Engineering and
Knowledge Engineering SEKE92 , IEEE Computer Science Press (1992)
pp.317-324
- H.Ehrig, F.Parisi-Presicce, High Level Replacement Systems
for Equational Algebraic Specifications, Proc.3rd International
Conference on
Algebraic and Logic Programming, Lect. Notes Comp. Sci. 632,
Springer-Verlag
1992, pp. 3-20
- F.Parisi-Presicce, Foundations for Rule-based Design of
Modular Systems, Theoretical Comp.Sci.
83 (1991) pp. 131-155
- H.Ehrig, A.Habel, H.-J.Kreowski, F. Parisi-Presicce, Parallelism
and Concurrency in High Level Replacement Systems, Math.
Struct. in Comp. Science (1991), vol 1, pp.361-404
- F.Parisi-Presicce, A.Pierantonio, An Algebraic view of
Inheritance and Subtyping in Object
Oriented Programming, Proc. European Software Engineering Conf.
ESEC91, Lect. Notes Comp.Sci. 550, Springer-Verlag 1991, pp. 364-379
- H.Ehrig, F.Parisi-Presicce, A Match Operation for Rule-Based
Modular System Design,
Proc. 7th International Workshop on Abstract
Data Types 1990, Lect. Notes Comp.Sci. 534, Springer-Verlag 1991,
pp. 74-97
- H.Ehrig, F.Parisi-Presicce, Algebraic Specification Grammars:
A Junction between Module
Specifications and Graph Grammars, Proc. 4th International Workshop
on Graph Grammars 1990, Lect. Notes in Comp.Sci. 532, Springer-Verlag
1991, pp.292-310
- H.Ehrig, A.Habel, H.-J.Kreowski, F.Parisi-Presicce, From
Graph Grammars to High Level Replacement Systems, Proc.
4th International Workshop on Graph
Grammars 1990, Lect. Notes in Comp.Sci. 532, Springer-Verlag 1991,
pp.269-291
- A.Corradini, F.Rossi, F.Parisi-Presicce, Logic Programming as
Hypergraph Rewriting,
Proc.CAAP91/TAPSOFT 91, Lect. Notes in Comp.Sci. 493, Springer-Verlag
1991, pp. 275-295
- H.Ehrig, W.Fey, H.Hansen, M.Lowe, D.Jacobs, F.Parisi-Presicce, Compatibility
Problems in the Development of Algebraic Module
Specifications, Theoret.Comp.Sci. 77, 1/2 (1990)
pp.27-71
- F. Parisi-Presicce, A Rule-Based Approach to Modular System
Design, Proc. 12th IEEE
Intern. Conference on Software Engineering ICSE90, Nice (FR) 1990,
pp.202-211
- H.Ehrig, P.Boehm, C.Rieckhoff, C.Dimitrovici,
M.Große-Rhode,
F.Parisi-Presicce, Combining Data Type and Recursive
Process Specification using Projection Algebras, Theoret.Comp.Sci.
71 (1990)
pp.347-380
- H.Ehrig, W.Fey, H.Hansen, M.Lowe, F.Parisi-Presicce, Categories
for the Development of Algebraic Module Specifications, in
Proc.Workshop "Categorical Methods in Comp.Sci. with aspects of
Topology", Lect.Notes in Comp.Sci. 393, Springer-Verlag 1989, pp.
157-184
- F.Parisi-Presicce, Modular System Design applying Graph
Grammar Techniques, Proc. 16th ICALP, Lect. Notes in Comp.Sci. 372,
Springer-Verlag 1989, pp.621-636
- H.Ehrig, W.Fey, H.Hansen, M.Lowe, D.Jacobs, A.Langen,
F.Parisi-Presicce, Algebraic
Specification of Modules and Configuration Families, J.
Inf. Process. Cybern. EIK 25, 5/6(1989), pp.205-232
- H.Ehrig, F.Parisi-Presicce, P.Boehm, C.Rieckhoff, C.Dimitrovici,
M.Große-Rhode, Algebraic Data Type and Process Specification
based
on Projection Spaces, in Recent Trends in Data Type Specification
(D.Sannella, A.Tarlecki,
eds.) Lect. Notes in Comp.Sci. 332, Springer-Verlag 1988, pp.23-43
- F.Parisi-Presicce, Product and Iteration of Module
Specification, Proc. CAAP 88, Lect.Notes in Comp.Sci.299,
Springer-Verlag
1988, pp.149-164
- F.Parisi-Presicce, Union and Actualization of Module
Specifications: Some Compatibility Results, J. Comput.
System Sci. 35, 1 (August 1987) pp. 72-95.
- E.K.Blum, H.Ehrig, F.Parisi-Presicce, Algebraic Specification
of Modules and their Basic
Interconnections, J. Comput. System Sci. 34, 2/3 (April/May
1987) pp.293-339.
- H.Ehrig, W.Fey, F. Parisi-Presicce,Distributive
Laws for Composition and Union of Module Specifications for Software
Systems, Proc. IFIP TC2 Working Conf.
on Program Specification and Transformation, (L.G.L.T.Meertens ed.)
North-Holland 1987, pp.293-312
- D.Moldovan, F.Parisi-Presicce, Parallelism Analysis in
Rule-Based Systems using
Graph Grammars, Proc. 3rd International Workshop on Graph Grammars,
Lect. Notes Comp. Sci. 291, Springer-Verlag 1987, pp.427-439
- F.Parisi-Presicce, H.Ehrig, U.Montanari, Graph Rewriting with
Unification and Composition, Proc. 3rd International Workshop on
Graph Grammars, Lect. Notes Comp.Sci.
291, Springer-Verlag 1987, pp.496-514
- F.Parisi-Presicce, Partial Composition and Recursion of
Module Specifications, Proc. CAAP87/ TAPSOFT87, Lect. Notes
Comp.Sci. 249, Springer-Verlag 1987, pp.217-231
- H.Ehrig, W.Fey, E.K.Blum, F.Parisi-Presicce, Algebraic Theory
of Module Specifications with Constraints,
Proc. Math. Found. of Comp.Sci., Lect.
Notes Comp.Sci. 233, Springer-Verlag 1986, pp. 59-77
- F.Parisi-Presicce, Inner and Mutual Compatibility of basic
Operations on Module Specifications, Proc. CAAP 86, Lect. Notes
Comp.Sci.
214, Springer-Verlag 1986, pp. 30-44. (Long Version: Tech. Rep.
86-06, Tech.Univ. Berlin, April 1986)
- E.K. Blum, F. Parisi-Presicce, The
Semantics of Shared Submodule Specifications, Proc. CAAP85/
TAPSOFT85, Lect. Notes Comp.Sci. 185, Springer-Verlag 1985, pp. 359-373
- F. Parisi-Presicce, Iterative Factor
Algebras and Induced Metrics, Theoret. Comput. Sci. 28
(1984), pp. 287-298.
- J.A.B. Fortes, F. Parisi-Presicce, Optimal
Linear Schedules for the Parallel Execution of Algorithms, Proc.
1984 International Conference on Parallel Processing, Bellaire (MI),
Aug 1984, pp. 322-329 .
- F. Parisi-Presicce, Extensions of
Iterative Congruences on Free Iterative
Algebras, J. Comput. System Sci. 27, 2 (1983) pp.200-220.
- I.Guessarian, F. Parisi-Presicce, Iterative vs.
Regular Factor Algebras, SIGACT News 12, 3 (1983), pp. 32-44
- E.K.Blum, F.Parisi-Presicce, Implementation of
Data Types by Algebraic Methods, J. Comput. System Sci.
27, 2 (1983), pp. 304-330
- F. Parisi-Presicce, On the faithful regular extension of
iterative algebras, Proc. 13th
ACM Symp. on Theory of Computing STOC81, Milwaukee(WI), May 1981, pp.
368-374.