| Actris: Session-type based reasoning in separation logic JK Hinrichsen, J Bengtson, R Krebbers Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019 | 71* | 2019 |
| Machine-checked semantic session typing JK Hinrichsen, D Louwrink, R Krebbers, J Bengtson Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | 28 | 2021 |
| Actris 2.0: Asynchronous session-type based reasoning in separation logic JK Hinrichsen, J Bengtson, R Krebbers Logical Methods in Computer Science, 2022 | 21* | 2022 |
| Verifying reliable network components in a distributed separation logic with dependent separation protocols L Gondelman, JK Hinrichsen, M Pereira, A Timany, L Birkedal Proceedings of the ACM on Programming Languages 7 (ICFP), 847-877, 2023 | 17 | 2023 |
| Trillium: higher-order concurrent and distributed separation logic for intensional refinement A Timany, SO Gregersen, L Stefanesco, JK Hinrichsen, L Gondelman, ... Proceedings of the ACM on Programming Languages 8 (POPL), 241-272, 2024 | 8 | 2024 |
| Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing J Jacobs, JK Hinrichsen, R Krebbers Proceedings of the ACM on Programming Languages 8 (POPL), 1385-1417, 2024 | 6 | 2024 |
| Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) J Jacobs, JK Hinrichsen, R Krebbers Proceedings of the ACM on Programming Languages 7 (ICFP), 768-795, 2023 | 3 | 2023 |
| Sessions and Separation JK Hinrichsen IT-Universitetet i København, 2021 | 2 | 2021 |
| Multris: Functional Verification of Multiparty Message Passing in Separation Logic JK Hinrichsen, J Jacobs, R Krebbers Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 1446-1474, 2024 | 1 | 2024 |
| Multris: Functional Verification of Multiparty Message Passing in Separation Logic-Coq Mechanization JK Hinrichsen, J Jacobs, RJ Krebbers Zenodo, 2024 | | 2024 |
| Verifying Liveness Properties of Distributed Systems via Trace Refinement in Higher-Order Concurrent Separation Logic JK HINRICHSEN, LÉO STEFANESCO, L BIRKEDAL, A TIMANY | | |
Robbert KrebbersAssociate Professor, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl