C. Rodríguez,
S. Schwoon
P. Baldan
Efficient contextual unfolding
CONCUR'11 Conference Proceedings,
J.-P. Katoen and
Barbara König eds.,
Springer LNCS
vol. 6901, 2011, pp. 342-357.
© Springer.
[Abstract]
[PDF]
P. Baldan,
F. Gadducci
P. Sobocinski
Adhesivity Is Not Enough: Local Church-Rosser Revisited
MFCS'11 Conference Proceedings,
F. Murlak and
P. Sankowski eds.
Springer LNCS
vol. 6907, 2011, pp. 48-59
© Springer.
[Abstract]
[PDF]
P. Baldan,
F. Bonchi,
F. Gadducci
G. Monreale
Concurrency Can't Be Observed, Asynchronously
APLAS'10 Conference Proceedings, K. Ueda
Springer LNCS
vol. 6461, 2010, pp. 424-438
© Springer.
[Abstract]
[PDF]
P. Baldan,
S. Crafa
A logic for true concurrency
CONCUR'10 Conference Proceedings, P. Gastin and F. Laroussinie eds.,
Springer LNCS
vol. 6269, 2010, pp. 147 - 161.
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Bruni,
A. Corradini,
B. König,
S. Schwoon
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars
ICGT'10 Conference Proceedings,
H. Ehrig,
A. Rensink,
G. Rozenberg,
A. Schü eds.,
Springer LNCS
vol. 6372, 2010, pp. 91 - 106.
© Springer.
[Abstract]
[PDF]
P. Baldan,
F. Bonchi,
F. Gadducci
Encoding asynchronous interactions using open Petri nets
CONCUR'09 Conference Proceedings, M. Bravetti and L. Zavattaro eds.,
Springer LNCS
vol. 5710, 2009, pp. 99 - 114.
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
T. Heindel,
B. König
P. Sobocinski
Unfolding Grammars in Adhesive Categories
CALCO'09 Conference Proceedings, M. Lenisa, A. Kurz and A. Tarlecki, eds.
Springer LNCS, vol. 5728, 2009, pp. 350 -- 366
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
H. Ehrig,
B. König
Open Petri Nets: Non-deterministic Processes and Compositionality
ICGT'08 Conference Proceedings, H. Ehrig, R. Heckel,
G. Rozenberg, G. Taentzer eds.,
Springer LNCS vol. 5214, pp. 257-273.
© Springer.
[Abstract]
[PDF]
G. Rangel,
L. Lambers,
H. Ehrig,
B. König,
P. Baldan
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts
ICGT'08 Conference Proceedings, H. Ehrig, R. Heckel, G. Rozenberg, G. Taentzer eds.,
Springer LNCS vol. 5214, pp. 242-256.
© Springer.
[Abstract]
[PDF]
P. Baldan,
T. Chatain,
S. Haar,
B. König
Unfolding-Based Diagnosis of Systems with an Evolving Topology
CONCUR'08 Conference Proceedings, F. van Breugel and M. Chechik eds.,
Springer LNCS vol. 5201, pp. 203 - 217.
© Springer.
[Abstract]
[PDF]
P. Baldan,
F. Gadducci
Petri nets are dioids
AMAST'08 Conference Proceedings, J. Meseguer and G. Rosu eds.,
Springer LNCS vol. 5140, pp. 51 - 66.
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
F.L. Dotti,
L. Foss,
F. Gadducci,
L. Ribeiro
Towards a Notion of Transaction in Graph Rewriting
GT-VMT'06 Conference Proceedings, R. Bruni and D. Varro eds.,
ENTCS Volume 211, pp. 39-50 (2008).
© Elsevier Science.
[Abstract]
[PDF]
C. Bertolissi,
P. Baldan,
H. Cirstea,
C. Kirchner
Towards a sharing strategy for the graph rewriting
calculus
WRS'07 Conference Proceedings, J. Giesl ed.
ENTCS Volume 204, pp. 111-127 (2008).
© Elsevier Science.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
H. Ehrig,
R. Heckel,
B. König
Bisimilarity and and Behaviour-Preserving Reconfigurations of Open Petri Nets
CALCO'07 Conference Proceedings, U. Montanari and T. Mossakowski eds.
Springer LNCS, vol. 4624, 2007, pp. 126-142.
© Springer.
[Abstract]
[PDF]
P. Baldan,
F. Gadducci,
U. Montanari
Modelling Calculi with Name Mobility
using Graphs with Equivalences
Termgraph'06 Conference Proceedings, I. Mackie eds.,
ENTCS Volume 176, pp. 85-97 (2007).
© Elsevier Science.
[Abstract]
[PDF]
P. Baldan, R. Bruni,
A. Bracciali,
L. Brodo
Deducing Interactions in Partially Unspecified
Biological Systems
Algebraic Biology'07 Conference Proceedings, H. Anai, K. Horimoto, and T. Kutsia, eds.,
Springer LNCS vol. 4545, 2007, pp. 262-276.
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
A. Lluch Lafuente,
B. König
A Temporal Graph Logic for Verification
of Graph Transformation Systems
WADT'06 Conference Proceedings, J. Fiadeiro ed.,
Springer LNCS vol. 4409, pp. 1 - 20.
© Springer.
[Abstract]
[PDF]
P. Baldan,
F. Gadducci,
U. Montanari
Concurrent Rewriting for Graphs with Equivalences
CONCUR'06 Conference Proceedings, C. Baier and
H. Hermanns eds.,
Springer LNCS vol. 4137, 2006, pp. 279-294.
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
L. Foss,
F. Gadducci
Graph Transactions as Processes
ICGT'06 Conference Proceedings, A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro and G. Rozenberg eds.,
Springer LNCS vol. 4178, pp. 199 - 214.
© Springer.
[Abstract]
[PDF]
P. Baldan,
B. König,
H. Ehrig
Composition and Decomposition of DPO Transformations with
Borrowed Context
ICGT'06 Conference Proceedings, A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro and G. Rozenberg eds.,
Springer LNCS vol. 4178, pp. 153 - 167.
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
T. Heindel,
B. König,
P. Sobocinski
Processes for Adhesive Rewriting Systems
FoSSaCS'06 Conference Proceedings, L. Aceto and A. Ingólfsdóttir eds.,
Springer LNCS vol. 3921, pp. 202 - 216 (2006).
[Abstract]
[PDF]
P. Baldan,
S. Haar,
B. König
Distributed Unfolding of Petri Nets
FoSSaCS'06 Conference Proceedings, L. Aceto and A. Ingólfsdóttir eds.,
Springer LNCS vol. 3921, pp. 126 - 141 (2006).
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
J. Esparza,
T. Heindel,
B. König,
V. Kozioura
Verifying Red-Black Trees
Proceedings of COSMICAH 2005,
First international workshop on the
verification of COncurrent Systems with dynaMIC Allocated Heaps,
D. Distefano, P. O'Hearn, R. Iosif eds.
[Abstract]
[PDF]
P. Baldan,
B. König,
A. Rensink
Graph Grammar Verification through Abstraction
Dagstuhl Seminar 04241
on Graph Transformations and Process Algebras for Modeling
Distributed and Mobile Systems,
B. Koenig, U. Montanari, P. Gardner, eds.
[PDF]
P. Baldan,
A. Corradini,
U. Montanari
Relating SPO and DPO graph rewriting with Petri nets having
read, inhibitor and reset arcs
PNGT'04 Conference Proceedings, H. Ehrig, J. Padberg, G. Rozenberg, eds.
ENTCS Volume 127(2), pp. 5-28 (2005).
© Elsevier Science.
[Abstract]
[PDF]
C.
Bertolissi,
P. Baldan,
H. Cirstea,
C. Kirchner
A rewriting calculus for cyclic higher-order term graphs
TERMGRAPH'04 Conference Proceedings, M. Fernández, eds.
ENTCS Volume 127(5), pp. 21-41 (2005).
© Elsevier Science.
[Abstract]
[PDF]
P. Baldan,
B.
König, I. Stürmer,
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
ICGT'04 Conference Proceedings, G. Engels and F. Parisi-Presicce, eds.
Springer LNCS, vol. 3256, 2004, pp. 194-209.
© Springer.
[Abstract]
[PDF]
P. Baldan, A. Corradini,
B. König
Verifying Finite-State Graph Grammars: an Unfolding-Based Approach
CONCUR'04 Conference Proceedings, P. Gardner and N. Yoshida, eds.
Springer LNCS, vol. 3170, 2004, pp. 83-98.
© Springer.
See also the Technical Report CS-2004-10.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
B. König,
B. König
Verifying a Behavioural Logic for Graph Transformation Systems
CoMeta'03 Conference Proceedings, F. Honsell, M. Lenisa, M. Miculan ed.,
ENTCS Volume 104 (C), 2004, pp. 5-24.
© Elsevier Science.
[Abstract]
[PDF]
P. Baldan, B. König, B. König
A Logic for Analyzing Abstractions of Graph Transformation Systems
SAS'03 Conference Proceedings, R. Cousot ed.,
Springer LNCS vol. 2694, 2003, pp. 255-272.
© Springer.
[Abstract]
[PDF]
[PDF (long version)]
P. Baldan,
R. Bruni,
U. Montanari
Pre-nets, read arcs and unfolding: a functorial presentation
WADT'02 Conference Proceedings, M. Wirsing, D. Pattinson and R. Hennicker eds.,
Springer LNCS vol. 2755, 2003, pp. 145-164.
© Springer.
[Abstract]
[PDF]
P. Baldan,
A. Corradini,
U. Montanari,
L. Ribeiro
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars
WADT'02 Conference Proceedings, M. Wirsing, D. Pattinson and R. Hennicker eds.,
Springer LNCS vol. 2755, 2003, pp. 165-184.
© Springer.
[Abstract]
[PDF]
L. Andrade,
P. Baldan,
H. Baumeister,
R. Bruni,
A. Corradini,
R. De Nicola,
J.L. Fiadeiro,
F. Gadducci,
S. Gnesi,
P. Hoffman,
N. Koch,
P. Kosiuczenko,
A. Lapadula,
D. Latella,
A. Lopes,
M. Loreti,
M. Massink,
F. Mazzanti,
U. Montanari,
C. Oliveira,
R. Pugliese,
A. Tarlecki,
M. Wermelinger,
M. Wirsing,
A. Zawlocki
AGILE: Software Architecture for Mobility
WADT'02 Conference Proceedings, M. Wirsing, D. Pattinson and R. Hennicker eds.,
Springer LNCS vol. 2755, 2003, pp. 1-33.
© Springer.
[Abstract]
[Full-pdf]
P. Baldan, B. König
Approximating the Behaviour of Graph Transformation Systems
ICGT'02 Conference Proceedings, A. Corradini, H. Ehrig, H.-J. Kreowski, G. Rozemberg eds.,
Springer LNCS vol. 2505, 2002, pp. 14-30.
© Springer.
[Abstract]
[PDF]
P. Baldan, R. Bruni,
A. Bracciali
Bisimulation by Unification
AMAST '02 Conference Proceedings, H. Kirchner and C. Ringeissen, eds.,
Springer LNCS vol. 2422, 2002, pp. 254-270.
© Springer.
[Abstract]
[PDF]
P. Baldan, A. Corradini,
B. König
Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars - A Case Study
IDPT'02 Conference proceedings, H. Ehrig, B. Krämer, and A. Ertas, eds.
[Abstract]
[PDF]
P. Baldan, A. Corradini,
B. König
A Static Analysis Technique for Graph Transformation Systems
CONCUR'01 Conference Proceedings, K.G. Larsen and M. Nielsen eds.
Springer LNCS, vol. 2154, 2001, pp. 381-395.
© Springer.
[Abstract]
[PDF]
P. Baldan, A. Corradini,
H. Ehrig, R. Heckel
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR'01 Conference Proceedings, K.G. Larsen and M. Nielsen eds.
Springer LNCS, vol. 2154, 2001, pp. 502-518.
© Springer.
[Abstract]
[PDF]
P. Baldan
Concurrency for Graph Grammars in a Petri net shell
ENTCS Volume 51, 2001.
© Elsevier Science.
[Abstract]
[PDF]
P. Baldan, N. Busi,
A. Corradini, G.M. Pinna
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
CONCUR'00 Conference Proceedings, Palamidessi, C. ed.,
Springer LNCS vol. 1877, 2000, pp. 442-457.
See also the Technical Report TR-05-00.
© Springer.
[Abstract]
[PS]
P. Baldan, A. Corradini,
U. Montanari
History Preserving Bisimulation for Contextual Nets
WADT'99 Conference Proceedings, Bert, D. and Choppy, C. eds.,
Springer LNCS vol. 1827, 2000, pp. 291-310.
© Springer.
[Abstract]
[PDF]
P. Baldan, A. Corradini,
U. Montanari
Unfolding of Double-Pushout Graph Grammars is a Coreflection
Extended version of the paper in TAGT'98 Conference Proceedings,
H. Ehrig, G. Engels, H.J. Kreowsky and G. Rozemberg eds.,
Springer LNCS vol. 1764 1999, pp. 145-163.
© Springer.
[Abstract]
[PDF]
P. Baldan, A. Corradini,
U. Montanari
Unfolding and Event Structure Semantics for Graph Grammars
FoSSaCS '99 Conference Proceedings, Thomas, W. eds.,
Springer LNCS vol. 1578 1999, pp. 73 - 89.
© Springer.
[Abstract]
[PDF]
P. Baldan, A. Corradini,
U. Montanari
Concatenable Graph Processes: Relating Processes and Derivation Traces
ICALP '98 Conference Proceedings, K. Larsen, S. Skyum and G. Winskel eds.,
Springer LNCS vol. 1443, 1998, pp. 283-295.
© Springer.
[Abstract]
[PDF]
P. Baldan, A. Corradini,
U. Montanari
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
FoSSaCS '98 Conference Proceedings, M. Nivat, eds.,
Springer LNCS vol. 1378, 1998, pp. 63-80.
© Springer.
[Abstract]
[PDF]
F. Alessi, P. Baldan,
F. Honsell
Partializing Stone Spaces Using SFP Domains
CAAP'97 Conference Proceedings, M. Bidoit and M. Dauchet eds.,
Springer LNCS vol. 1214, 1997, pp. 478-489.
© Springer.
[Abstract]
[PDF]
F. Alessi, P. Baldan,
G. Bellè,
J.J.M.M. Rutten
Functorial and Non-Functorial Solution of Metric Domain Equations
Proceedings of the 11th MFPS. S. Brookes, M. Main, A. Melton, M. Mislove eds.,
ENTCS Volume 1, 1995.
© Elsevier Science.
[Abstract]
[PDF]