Publications

  • Jurriaan Rot.
    Distributive Laws for Monotone Specifications.
    EXPRESS/SOS 2017, to appear.
  • Henning Basold, Damien Pous, Jurriaan Rot.
    Monoidal company for accessible functors.
    CALCO 2017, to appear.
  • Damien Pous, Jurriaan Rot.
    Companions, Codensity and Causality.
    FoSSaCS 2017. LNCS 10203, pages 106–123, 2017. Available here.
  • Filippo Bonchi, Matias Lee, Jurriaan Rot.
    Bisimilarity of Open Terms in Stream GSOS.
    FSEN 2017, to appear.
  • Stijn de Gouw, Frank de Boer, Richard Bubel, Reiner Haehnle, Jurriaan Rot, Dominic Steinhofel.
    Verifying OpenJDK’s sort method for generic collections.
    To appear in Journal of Automated Reasoning, 2017.
  • Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot.
    A general approach to coinduction up-to.
    Acta Informatica, special issue of CONCUR 2015, volume 54, issue 2, pages 127–190, 2017. Extended version of (CONCUR 2015) and (CSL-LICS 2014).
  • Bartek Klin, Jurriaan Rot.
    Coalgebraic Trace Semantics via Forgetful Logics.
    Logical Methods in Computer Science – special issue FoSSaCS 2015, volume 12, issue 4, 2016. Available here.
  • Jurriaan Rot, Marcello Bonsangue.
    Structural Congruence for Bialgebraic Semantics.
    Journal of Logical and Algebraic Methods in Programming, special issue of NWPT 2013, volume 85, issue 6, pages 1268–1291, 2016. Extended version of (FoSSaCS 2014). pdf
  • Jurriaan Rot.
    Coalgebraic minimization of automata by initiality and finality.
    MFPS 2016, ENTCS 325, pages 253–276, 2016. pdf
  • Julian Salamanca, Marcello Bonsangue, Jurriaan Rot.
    Duality of Equations and Coequations via Contravariant Adjunctions.
    CMCS 2016. LNCS 9608, Springer, pages 73-93. full version (pdf)
  • Stijn de Gouw, Jurriaan Rot.
    Effectively eliminating auxiliaries.
    Theory and practice of formal methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS 9660, Springer, pages 226-241. pdf
  • Jurriaan Rot, Marcello M. Bonsangue, Jan J.M.M. Rutten.
    Proving Language Inclusion and Equivalence by Coinduction.
    Information and Computation, Volume 246, 2016. Extended version of (LATA 2013). pdf
  • Jurriaan Rot.
    Enhanced Coinduction.
    PhD thesis, Leiden University. pdf
  • Jurriaan Rot, Filippo Bonchi, Marcello Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva.
    Enhanced coalgebraic bisimulation.
    To appear in MSCS. pdf
  • Stijn de Gouw, Jurriaan Rot, Frank de Boer, Richard Bubel, Reiner Haehnle.
    OpenJDK’s java.utils.Collection.sort() is broken: The good, the bad and the worst case.
    CAV 2015. LNCS 9206, Springer, pages 273–289. pdf
  • Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz and Jurriaan Rot.
    Presenting Distributive Laws.
    Logical Methods in Computer Science (special issue CALCO 2013).
    Extended version of (CALCO 2013), available here
  • Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot.
    Model checking recursive programs interacting via the heap.
    Sci. Comput. Program., Volume 100, pages 61-83, 2015. Extended version of (ICE 2012).
  • Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot.
    It is pointless to point in bounded heaps.
    Sci. Comput. Program., Volume 112, pages 102-118, 2015. Extended version of (FSEN 2013).
  • Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot.
    Lax bialgebras and Up-To Techniques for Weak Bisimulations.
    CONCUR 2015. LIPIcs, available here
  • Bartek Klin, Jurriaan Rot.
    Coalgebraic trace semantics via forgetful logics.
    FoSSaCS 2015, LNCS 9034, Springer, pages 151–166. full version (pdf)
  • Marcello M. Bonsangue, Jurriaan Rot, Davide Ancona, Frank de Boer, Jan Rutten.
    A Coalgebraic Foundation for Coinductive Union Types.
    ICALP 2014. LNCS 8573, Springer, pages 62-73. pdf
  • Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot.
    Coinduction up-to in a Fibrational Setting.
    CSL-LICS 2014, ACM. Full version available here.
  • Jurriaan Rot, Marcello M. Bonsangue.
    Combining Bialgebraic Semantics and Equations.
    FoSSaCS 2014. LNCS 8412, Springer, pages 381-395. pdf
  • Stijn de Gouw, Frank de Boer, Jurriaan Rot
    Proof Pearl: The KeY to Correct and Stable Sorting.
    Journal of Automated Reasoning. Volume 53, Number 2, pages 129-139.
  • Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz and Jurriaan Rot.
    Presenting Distributive Laws.
    5th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2013).
    LNCS 8089, Springer, pages 95-109. An extended version appeared in LMCS, see above.
  • Jurriaan Rot, Joost Winter.
    On Language Equations and Grammar Coalgebras for Context-free Languages.
    CALCO Early Ideas 2013.
  • Stefan Milius, Marcello Bonsangue, Rob Myers and Jurriaan Rot.
    Rational Operational Models.
    Twenty-Ninth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIX).
    ENTCS 298, pages 257-282. pdf
  • Jurriaan Rot, Marcello M. Bonsangue, Jan J.M.M. Rutten.
    Coinductive Proof Techniques for Language Equivalence.
    7th International Conference on Language and Automata Theory and Applications (LATA 2013).

    LNCS 7810, Springer, pages 480-492.

  • Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue
    Unbounded allocation in bounded heaps.
    5th IPM International Conference on Fundamentals of Software Engineering (FSEN 2013).

    LNCS 8161, Springer, pages 1-16.

  • Jurriaan Rot, Marcello M. Bonsangue, Jan J.M.M. Rutten.
    Coalgebraic Bisimulation-up-to.
    39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2013).

    LNCS 7741, Springer, pages 369-381.

  • Marcello M. Bonsangue, Stefan Milius and Jurriaan Rot.
    On the specification of operations on the rational behaviour of systems.
    Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012).

    EPTCS 89, 2012, pages 3-18. pdf

  • Jurriaan Rot, Irina M. Asavoae, Frank S. De Boer, Marcello M. Bonsangue, Dorel Lucanu.
    Interacting via the Heap in the Presence of Recursion.
    Fifth Interaction and Concurrency Experience (ICE 2012).

    EPTCS 104, pages 99-113. pdf

  • Irina M. Asavoae, Frank S. De Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot.
    Bounded Model Checking of Recursive Programs with Pointers in K.
    21st International Workshop on Algebraic Development Techniques (WADT 2012).

    LNCS 7841, Springer, pages 59-76.

  • Frank S. de Boer, Marcello M. Bonsangue, Jurriaan Rot.
    Automated verification of recursive programs with pointers.
    6th International Joint Conference on Automated Reasoning (IJCAR 2012).

    LNAI 7364, Springer, pages 149-163.