Dan Frumin
Titel
Geciteerd door
Geciteerd door
Jaar
ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency
D Frumin, R Krebbers, L Birkedal
LICS, 442-451, 2018
172018
A homotopy-theoretic model of function extensionality in the effective topos
D Frumin, B van den Berg
arXiv preprint arXiv:1701.08369, 2017
13*2017
Branching processes of conservative nested Petri nets
D Frumin, I Lomazova
VPT 2014. Second International Workshop on Verification and Program …, 2014
92014
NPNtool: Modelling and Analysis Toolset for Nested Petri Nets
L Dworzanski, D Frumin
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2013
92013
Finite sets in homotopy type theory
D Frumin, H Geuvers, L Gondelman, N van der Weide
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
82018
Bicategories in univalent foundations
B Ahrens, D Frumin, M Maggesi, N Veltri, N van der Weide
arXiv preprint arXiv:1903.01152, 2019
22019
Compositional Non-Interference for Fine-Grained Concurrent Programs
D Frumin, R Krebbers, L Birkedal
https://arxiv.org/abs/1910.00905, 2020
12020
Semi-Automated Reasoning About Non-Determinism in C Expressions
D Frumin, L Gondelman, R Krebbers
ESOP, 2019
12019
Logic and homotopy in the category of assemblies
D Frumin
http://cs.ru.nl/~dfrumin/pdf/realiz.pdf, 2016
12016
RELOC RELOADED: TECHNICAL APPENDIX
DAN FRUMIN, R KREBBERS, L BIRKEDAL
2020
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
D Frumin, R Krebbers, L Birkedal
arXiv preprint arXiv:2006.13635, 2020
2020
1-Types versus Groupoids
N van der Weide, D Frumin, H Geuvers
TYPES 2018, 86, 2018
2018
ReLoC technical report
D Frumin, R Krebbers, L Birkedal
2018
A calculus for logical refinements in separation logic
D Frumin, R Krebbers
CoqPL, 2018
2018
Presheaf models for concurrency
D Frumin
2016
On Temporal Properties of Nested Petri Nets
L Dvoryansky, D Frumin
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2012
2012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–16