Paolo Baldan - Papers in Conference Proceedings


Paolo Baldan, Richard Eggert, Barbara Koenig, Timo Matt, Tommaso Padoan
A Monoidal View on Fixpoint Checks.
Proceedings of ICGT 2023. Ed. by Maribel Fernàndez and Christopher M. Poskitt. Vol. 13961. LNCS. Springer, 2023
[PDF]

Paolo Baldan, Richard Eggert, Barbara Koenig, Tommaso Padoan
A Lattice-Theoretical View of Strategy Iteration.
Proceedings of CSL 2023: Vol. 252. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2023, 7:1-7:19
[PDF]

Paolo Baldan, Richard Eggert, Barbara Koenig, Tommaso Padoan
Fixpoint Theory - Upside Down.
Proceedings of FoSSaCS 2021: 62-81. Ed. by Christel Baier and Ugo Del Lago. Vol. 10803. Springer, 2021, pp. 165-182.
[PDF]

Paolo Baldan, Francesco Ranzato, Linpeng Zhang
A Rice's Theorem for Abstract Semantics
Proceedings of ICALP 2021: Vol. 198. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2021, 117:1-117:19.
[PDF]

Paolo Baldan, Alberto Carraro, Tommaso Padoan
(Un)Decidability for History Preserving True Concurrent Logics
In: Proceedings of MFCS 2021. Vol. 202. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2021, 13:1-13:16.
[PDF]

Paolo Baldan, Barbara Koenig, and Tommaso Padoan
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations
In: Proceedings of CONCUR 2020. Ed. by Igor Konnov and Laura Kovács. Vol. 171. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2020, 25:1-25:20.
[PDF]

Paolo Baldan and Alessandra Raffaetà. Minimisation of Event Structures
In: Proceedings of FSTTCS 2019. Ed. by Arkadev Chattopadhyay and Paul Gastin. Vol. 150. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019, 30:1-30:15.
[PDF]

Paolo Baldan, Barbara Koenig, Christina Mika-Michalski, Tommaso Padoan
Fixpoint Games in Continuous Lattices
Proceedings of POPL 2019. Ed. by Stephanie Weirauch. Vol. 3., ACM, 2019, pp. 26:1-26:29.
© Springer
[PDF]

Paolo Baldan and Tommaso Padoan
Automata for True Concurrent Properties
Proceedings of FoSSaCS 2018. Ed. by Christel Baier and Ugo Del Lago. Vol. 10803. Springer, 2018, pp. 165- 182.
© Springer
[PDF]

Paolo Baldan, Andrea Corradini, and Fabio Gadducci
Domains and event structures for fusions
Proceedings of LICS 2017. IEEE Computer Society, 2017, pp. 1-12.
© IEEE
[PDF]

Paolo Baldan and Tommaso Padoan
Local Model Checking in a Logic for True Concurrency
Proceedings of FoSSaCS 2017. Ed. by Javier Esparza and Andrzej S. Murawski. Vol. 10203. Springer, 2017, pp. 407- 423.
© Springer
[PDF]

Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente
Many-to-Many Information Flow Policies
Proceedings of COORDINATION 2017. Ed. by Jean-Marie Jacquet and Mieke Massink. Vol. 10319. LNCS. Springer, 2017, pp. 159-177
© Springer
[PDF]

Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, and Marta Simeoni
Petri nets for modelling and analysing trophic networks
Proceedings of BioPPN'15. Ed. by M. Heiner and A.K. Wagler. Vol. 1373. CEUR Workshop Proceedings. CEUR-WS.org, 2015, pp. 21-36.
[PDF]

Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara Koenig
Towards Trace Metrics via Functor Lifting
Proceedings of CALCO'15. Ed. by L. Moss and P. Sobocinski. Vol. 35. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015, pp. 35-49.
[PDF]

Paolo Baldan, Francesco Burato, and Alberto Carraro
Intransitive Non-interference by Unfolding
Proceedings of FACS'14. Ed. by I. Lanese and E. Madelaine. Vol. 8997. LNCS. Springer, 2015, pp. 269-287.
© Springer
[PDF]

A. Armas-Cervantes, P. Baldan, M. Dumas, and L. Garcìa-Banuelos.
Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures
Proceedings of BPM'14. Ed. by S. Wasim Sadiq, P. Soffer, and H. V ̈olzer. Vol. 8659. LNCS. Springer, 2014, pp. 267-282.
© Springer
[PDF]

A. Armas-Cervantes, P. Baldan, M. Dumas, and L. Garcìa-Banuelos.
BP- Diff: A Tool for Behavioral Comparison of Business Process Models
Proceedings of BPM'14 Demo Sessions. Ed. by L. Limonad and B. Weber. Vol. 1295. CEUR Workshop Proceedings. CEUR-WS.org, 2014, pp. 267- 282.
[PDF]

P. Baldan, F. Bonchi, F. Gadducci, and G.V. Monreale.
Encoding Synchronous Interactions using Labelled Petri Nets
Proceedings of COORDINATION'14. Ed. by E. Ku ̈hn and R. Pugliese. Vol. 8459. LNCS. Springer, 2014, pp. 1-16.
© Springer
[PDF]

P. Baldan, F.Bonchi, H. Kerstan, and B. Koenig
BehavioralMetrics via Functor Lifting
Proceedings of FSTTCS'14. Ed. by V. Raman and S.P. Suresh. Vol. 29. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014, pp. 403-415.
[PDF]

P. Baldan and A. Carraro.
Non-interference by Unfolding
Proceedings of Petri Nets'14. Ed. by G. Ciardo and E. Kindler. Vol. 8489. LNCS. Springer, 2014, pp. 190-209.
© Springer
[PDF]

P. Baldan and S. Crafa.
Hereditary History-Preserving Bisimilarity: Logics and Automata
Proceedings of APLAS'14. Ed. by J. Garrigue. Vol. 8858. LNCS. Springer, 2014, pp. 469-488.
© Springer
[PDF]

P. Baldan, M. Bocci, N. Cocco, and M. Simeoni.
Comparing metabolic pathways through potential fluxes: a selective opening approach
Proceedings of BioPPN'13. Ed. by G. Balbo and M. Heiner. Vol. 988. CEUR Workshop Proceedings. CEUR-WS.org, 2013, pp. 1-15.
[PDF]

P. Baldan, N. Cocco, and M. Simeoni.
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta
Proceedings of CS2Bio'13. Vol. 299. Electronic Notes in Theoretical Com- puter Science. 2013, pp. 5-13.
[PDF]

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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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).
[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).
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[PDF]

P. Baldan
Concurrency for Graph Grammars in a Petri net shell
ENTCS Volume 51, 2001.
© Elsevier Science.
[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.
[PDF]

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.
[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.
[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.
[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.
[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.
[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.
[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.
[PDF]