Sammler, M., Hammond, A., Lepigre, R., Campbell, B.
, Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P. (2022).
Islaris: verification of machine code against authoritative ISA semantics. I R. Jhala & I. Dillig (red.),
PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 825-840). Association for Computing Machinery.
https://doi.org/10.1145/3519939.3523434
Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R.
, Birkedal, L. & Dreyer, D. (2022).
Later credits: resourceful reasoning for the later modality.
Proceedings of the ACM on Programming Languages ,
6(ICFP), Artikel 100.
https://doi.org/10.1145/3547631
Gratzer, D., Cavallo, E.
, Kavvos, G. A., Guatto, A.
& Birkedal, L. (2022).
Modalities and Parametric Adjoints.
ACM Transactions on Computational Logic,
23(3), Artikel 18.
https://doi.org/10.1145/3514241
Nieto, A., Gondelman, L., Reynaud, A.
, Timany, A. & Birkedal, L. (2022).
Modular verification of op-based CRDTs in separation logic.
Proceedings of the ACM on Programming Languages ,
6(OOPSLA2), 1788-1816. Artikel 188.
https://doi.org/10.1145/3563351
Strydonck, T. V.
, Georges, A. L., Guéneau, A., Trieu, A., Timany, A., Piessens, F.
, Birkedal, L. & Devriese, D. (2022).
Proving full-system security properties under multiple attacker models on capability machines. I
Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 (s. 80-95). IEEE.
https://doi.org/10.1109/CSF54842.2022.9919645
Seisenberger, M., ter Beek, M. H., Fan, X., Ferrari, A., Haxthausen, A. E., James, P., Lawrence, A., Luttik, B.
, van de Pol, J. & Wimmer, S. (2022).
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings (s. 246-268). Springer.
https://doi.org/10.1007/978-3-031-19762-8_20
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O.
, Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022).
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
International Journal on Software Tools for Technology Transfer,
24(6), 999-1024.
https://doi.org/10.1007/s10009-022-00686-8
André, É., Marinho, D.
& Pol, J. V. D. (2021).
A Benchmarks Library for Extended Parametric Timed Automata. I F. Loulergue & F. Wotawa (red.),
Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Proceedings: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings (s. 39-50). Springer.
https://doi.org/10.1007/978-3-030-79379-1_3
Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L.
, van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N. (2021).
An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation.
Frontiers in Bioengineering and Biotechnology,
9, Artikel 732917.
https://doi.org/10.3389/fbioe.2021.732917
Georges, A. L., Guéneau, A., Van Strydonck, T.
, Timany, A., Trieu, A., Devriese, D.
& Birkedal, L. (2021).
Cap’ ou pas cap’ ?: Preuve de programmes pour une machine à capacités en présence de code inconnu. I
Journées Francophones des Langages Applicatifs 2021 Institut de Recherche en Informatique Fondamentale.
https://researchportal.vub.be/en/publications/cap-ou-pas-cap-preuve-de-programmes-pour-une-machine-%C3%A0-capacit%C3%A9s-
Gondelman, L., Gregersen, S. O., Nieto, A., Timany, A. & Birkedal, L. (2021).
Distributed causal memory: Modular specification and verification in higher-order distributed separation logic.
Proceedings of the ACM on Programming Languages ,
5(POPL), Artikel 42.
https://doi.org/10.1145/3434323
Georges, A. L., Guéneau, A., Van Strydonck, T.
, Timany, A., Trieu, A., Huyghebaert, S., Devriese, D.
& Birkedal, L. (2021).
Efficient and provable local capability revocation using uninitialized capabilities.
Proceedings of the ACM on Programming Languages ,
5(POPL), Artikel 6.
https://doi.org/10.1145/3434287
Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., Katsumata, S. Y. & Sato, T. (2021).
Higher-order probabilistic adversarial computations: categorical semantics and program logics.
Proceedings of the ACM on Programming Languages ,
5(ICFP), Artikel 93.
https://doi.org/10.1145/3473598
André, É., Arias, J., Petrucci, L.
& Pol, J. V. D. (2021).
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. I J. F. Groote & K. G. Larsen (red.),
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I (s. 311-329). Springer.
https://doi.org/10.1007/978-3-030-72016-2_17
Abate, C.
, Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hriţcu, C., Maillard, K.
& Spitters, B. (2021).
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. I
Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021 IEEE.
https://doi.org/10.1109/CSF51468.2021.00048
Birkedal, L., Dinsdale-Young, T.
, Guéneau, A., Jaber, G., Svendsen, K. & Tzevelekos, N. (2021).
Theorems for free from separation logic specifications.
Proceedings of the ACM on Programming Languages ,
5(ICFP), Artikel 81.
https://doi.org/10.1145/3473586
Spies, S., Gäher, L.
, Gratzer, D., Tassarotti, J.
, Krebbers, R., Dreyer, D.
& Birkedal, L. (2021).
Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. I S. N. Freund & E. Yahav (red.),
PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 80-95). Association for Computing Machinery.
https://doi.org/10.1145/3453483.3454031
Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021).
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. I A. L. Lafuente & A. Mavridou (red.),
Formal Methods for Industrial Critical Systems (s. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
Krogh-Jespersen, M., Timany, A., Ohlenbusch, M. E., Gregersen, S. O. & Birkedal, L. (2020).
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. I P. Müller (red.),
Programming Languages and Systems- 29th European Symposium on Programming ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (s. 336-365). Springer.
https://doi.org/10.1007/978-3-030-44914-8_13