L. D'Antoni, M. Helfrich, J. Kret\'ınský, E. Ramneantu, and M. Weininger. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, volume 12225 of Lecture Notes in Computer Science, page 3-14. Springer, (October 2020)
M. Blondin, J. Esparza, M. Helfrich, A. Kucera, and P. Meyer. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, volume 12225 of Lecture Notes in Computer Science, page 372-397. Springer, (October 2020)
J. Wituski, and G. Dietl. Proceedings of the 5th IEEE International Symposium on Smart and Wireless Systems within the International Conferences on Intelligent Data Acquisition and Advanced Computing Systems, IDAACS-SWS 2020, Dortmund, Germany, (September 2020)
M. Blondin, J. Esparza, B. Genest, M. Helfrich, and S. Jaax. 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France, volume 154 of LIPIcs, page 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (March 2020)
M. Blondin, J. Esparza, B. Genest, M. Helfrich, and S. Jaax. STACS, volume 154 of LIPIcs, page 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/1910.04600">Link</a><br>#conference.
S. Sickert, and J. Esparza. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, page 831–844. New York, NY, USA, Association for Computing Machinery, (2020)Preprint: <a href="https://arxiv.org/abs/2005.00472">Link</a><br>#conference.
J. Esparza, M. Helfrich, S. Jaax, and P. Meyer. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science, page 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.
M. Bozga, J. Esparza, R. Iosif, J. Sifakis, and C. Welzel. Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, volume 12078 of Lecture Notes in Computer Science, page 228--246. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2002.07672">Link</a><br>#conference.
H. Seidl, C. Müller, and B. Finkbeiner. VMCAI, volume 11990 of Lecture Notes in Computer Science, page 426-448. Springer, (2020)https://arxiv.org/abs/1908.05964.
L. D'Antoni, M. Helfrich, J. Kretinsky, E. Ramneantu, and M. Weininger. CAV (2), volume 12225 of Lecture Notes in Computer Science, page 3-14. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.01419">Link</a><br>#conference.