Publications2025-02-03T09:50:22+00:00

Publications & Reports

Filter by

Filters
Year

Describing and Simulating Concurrent Quantum Systems.

Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, and Rajagopal Nagarajan.

In: Biere, A., Parker, D. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. Lecture Notes in Computer Science, vol 12079. 2020

Foundations of Persistent Programming.

Hans-J. Boehm, Ori Lahav, and Azalea Raad.

In Dagstuhl Reports, Volume 11, Issue 10, pp. 94-110, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) 2022

Verifying Read-Copy Update Under RC11.

Mikhail Semenyuk, Mark Batty and Brijesh Dongol.

In: Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, vol 14323. Springer, Cham. 2023

Ownership Guided C to Rust Translation.

Hanliang Zhang, Cristina David, Yijun Yu, and Meng Wang.

In: Enea, C., Lal, A. (eds) Computer Aided Verification. CAV 2023. Lecture Notes in Computer Science, vol 13966. 2023

Go to Top