Jacobs, Swen

1. Validation of Abstract Side-Channel Models for Computer Architectures
   2020/05/11 by Nemati, Hamed, Buiras, Pablo, Lindner, Andreas +2 · 4 citations
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
2. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
   2022/06/01 by Jacobs, Swen, Perez, Guillermo A., Abraham, Remco +22 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. The Temporal Logic Synthesis Format TLSF v1.2
   2023/03/07 by Jacobs, Swen, Perez, Guillermo A., Schlehuber-Caissier, Philipp · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)