Jurriaan Rot
Jurriaan Rot
Verified email at cs.ru.nl
TitleCited byYear
Coinduction up-to in a fibrational setting
F Bonchi, D Petrişan, D Pous, J Rot
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
442014
Coalgebraic bisimulation-up-to
J Rot, M Bonsangue, J Rutten
International Conference on Current Trends in Theory and Practice of …, 2013
422013
OpenJDK’s Java. utils. Collection. sort () is broken: The good, the bad and the worst case
S De Gouw, J Rot, FS de Boer, R Bubel, R Hähnle
International Conference on Computer Aided Verification, 273-289, 2015
392015
Presenting distributive laws
MM Bonsangue, HH Hansen, A Kurz, J Rot
International Conference on Algebra and Coalgebra in Computer Science, 95-109, 2013
342013
Enhanced coalgebraic bisimulation
J Rot, F Bonchi, M Bonsangue, D Pous, J Rutten, A Silva
Mathematical Structures in Computer Science 27 (7), 1236-1264, 2017
252017
Coalgebraic trace semantics via forgetful logics
B Klin, J Rot
International Conference on Foundations of Software Science and Computation …, 2015
222015
Enhanced coinduction
JC Rot
Faculty of Science, Leiden University, 2015
182015
A general account of coinduction up-to
F Bonchi, D Petrişan, D Pous, J Rot
Acta Informatica 54 (2), 127-190, 2017
162017
Companions, codensity and causality
D Pous, J Rot
International Conference on Foundations of Software Science and Computation …, 2017
122017
Coinductive proof techniques for language equivalence
J Rot, M Bonsangue, J Rutten
International Conference on Language and Automata Theory and Applications …, 2013
122013
Proving language inclusion and equivalence by coinduction
J Rot, M Bonsangue, J Rutten
Information and Computation 246, 62-76, 2016
112016
Proof pearl: the KeY to correct and stable sorting
S de Gouw, F de Boer, J Rot
Journal of automated reasoning 53 (2), 129-139, 2014
112014
A coalgebraic foundation for coinductive union types
M Bonsangue, J Rot, D Ancona, F de Boer, J Rutten
International Colloquium on Automata, Languages, and Programming, 62-73, 2014
112014
Monoidal company for accessible functors
H Basold, D Pous, J Rot
92017
Combining bialgebraic semantics and equations
J Rot, M Bonsangue
International Conference on Foundations of Software Science and Computation …, 2014
92014
Interacting via the Heap in the Presence of Recursion
J Rot, IM Asăvoae, F de Boer, MM Bonsangue, D Lucanu
arXiv preprint arXiv:1212.3879, 2012
92012
Verifying openjdk’s sort method for generic collections
S de Gouw, FS de Boer, R Bubel, R Hähnle, J Rot, D Steinhöfel
Journal of automated reasoning 62 (1), 93-126, 2019
72019
On the specification of operations on the rational behaviour of systems
MM Bonsangue, S Milius, J Rot
arXiv preprint arXiv:1208.2746, 2012
72012
A pushdown system representation for unbounded object creation
J Rot, F de Boer, M Bonsangue
Formal Verification of Object-Oriented Software, 38, 2010
72010
Automated verification of recursive programs with pointers
F de Boer, M Bonsangue, J Rot
International Joint Conference on Automated Reasoning, 149-163, 2012
62012
The system can't perform the operation now. Try again later.
Articles 1–20