Update home.md with ATVA paper

swenjacobs · Jun 28, 2024 · 21a4b05 · 21a4b05
1 parent 074e615
commit 21a4b05
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/_pages/home.md b/_pages/home.md
@@ -14,6 +14,8 @@ defaults:
 I am a tenure-track faculty at [CISPA Helmholtz Center for Information Security](https://www.cispa.de) in Saarbrücken, Germany. My main research interests are in formal verification and synthesis, with a focus on parameterized systems, and more recently on security properties in the presence of side channels.
 
 # News
+**June 2024:** Our work *Learning Broadcast Protocols with LeoParDS* (with Noa Izsak and Dana Fisman) has been accepted for publication at ***ATVA 2024***. 
+
 **June 2024:** Our work *Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata* (with Tom Baumeister, Paul Eichler, Mouhammad Sakr and Marcus Völp) has been accepted for publication at ***FM 2024***. 
 
 **June 2024:** Our work [*The Reactive Synthesis Competition (SYNTCOMP): 2018–2021*](https://doi.org/10.1007/s10009-024-00754-1) (with Guillermo Perez and all the competition participants) has been published in **STTT**. ([arxiv preprint](https://arxiv.org/abs/2206.00251))