Rao, X.
, Georges, A. L., Legoupil, M., Watt, C.
, Pichon-Pharabod, J., Gardner, P.
& Birkedal, L. (2023).
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proceedings of the ACM on Programming Languages ,
7, Article 151.
https://doi.org/10.1145/3591265
Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L. (2023).
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.
Proceedings of the ACM on Programming Languages ,
7, 1438-1462.
https://doi.org/10.1145/3591279
Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B. (2022).
Adiar Binary Decision Diagrams in External Memory. In D. Fisman & G. Rosu (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 295-313). Springer.
https://doi.org/10.1007/978-3-030-99527-0_16
Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V.
& Pol, J. V. D. (2022).
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones.
Information Systems,
103, Article 101456. Advance online publication.
https://doi.org/10.1016/j.is.2019.101456
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), Article 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), Article 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. Article 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. In
Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 (pp. 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. In T. Margaria & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings (pp. 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. In F. Loulergue & F. Wotawa (Eds.),
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 (pp. 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, Article 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. In
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), Article 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), Article 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), Article 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. In J. F. Groote & K. G. Larsen (Eds.),
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 (pp. 311-329). Springer.
https://doi.org/10.1007/978-3-030-72016-2_17