From 97b4054035475d5623b6492e38202986ff375cd7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ondra=20Leng=C3=A1l?= Date: Mon, 29 Apr 2024 12:34:23 +0200 Subject: [PATCH 1/2] Update publications.md --- _pages/publications.md | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/_pages/publications.md b/_pages/publications.md index 7d7146f215f8..e998c26c6ab2 100644 --- a/_pages/publications.md +++ b/_pages/publications.md @@ -4,8 +4,22 @@ published: true title: Publications classes: wide --- -# 2023 +# 2024 +* Y. Chen, D. Chocholaty, V. Havlena, L. Holik, O. Lengal, and J. Sic. +[Z3-NOODLER: An Automata-based String Solver](https://doi.org/10.1007/978-3-031-57246-3_2). +In *Proc. of 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems* --- [TACAS'24](https://etaps.org/2024/conferences/tacas/), +Luxembourg City, Luxembourg, +volume 14570 of LNCS, +pages 24--33, 2024. +Springer-Verlag. +A preliminary version is available [here](https://github.com/ondrik/ondrik.github.io/raw/master/publications/tacas24-z3-noodler.pdf). +The artifact for the paper is available at Zenodo under the DOI [10.5281/zenodo.10034513](https://doi.org/10.5281/zenodo.10034513). +The slides from the presentation are available [here](https://github.com/ondrik/ondrik.github.io/raw/master/presentations/tacas24-z3-noodler.pdf). +The tool Z3-Noodler is available at [GitHub](https://github.com/VeriFIT/z3-noodler). + + +# 2023 * Y. Chen, D. Chocholaty, V. Havlena, L. Holik, O. Lengal, and J. Sic. [Solving String Constraints with Lengths by Stabilization](https://doi.org/10.1145/3622872). From 7c748449a18313e5429fbe3a41fa8bb1da0289f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ondra=20Leng=C3=A1l?= Date: Mon, 29 Apr 2024 12:37:29 +0200 Subject: [PATCH 2/2] Update publications.md --- _pages/publications.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_pages/publications.md b/_pages/publications.md index e998c26c6ab2..78182b1c57a6 100644 --- a/_pages/publications.md +++ b/_pages/publications.md @@ -7,7 +7,7 @@ classes: wide # 2024 * Y. Chen, D. Chocholaty, V. Havlena, L. Holik, O. Lengal, and J. Sic. -[Z3-NOODLER: An Automata-based String Solver](https://doi.org/10.1007/978-3-031-57246-3_2). +[Z3-Noodler: An Automata-based String Solver](https://doi.org/10.1007/978-3-031-57246-3_2). In *Proc. of 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems* --- [TACAS'24](https://etaps.org/2024/conferences/tacas/), Luxembourg City, Luxembourg, volume 14570 of LNCS,