Accepted Papers

  • Martin Kölbl, Alan Khoja, Stefan Leue and Rüdiger Wilhelmi. Automated Consistency Analysis for Legal Contracts
  • Thanh Son Nguyen, Zvonimir Rakamaric and Ben Jones. Synthesis of Rigorous Floating-Point Predicates
  • Shiraj Arora, Rene Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay and Danny Bøgsted Poulsen. Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
  • Fabian Bauer-Marquart, David Boetius, Stefan Leue and Christian Schilling. SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
  • Parker Hanson, Benjamin Winters, Eric Mercer and Brett Decker. Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench
  • Saumya Shankar, Antoine Rollet, Srinivas Pinisetty and Yliès Falcone. Bounded-Memory Runtime Enforcement
  • Mitja Kulczynski, Kevin Lotz, Dirk Nowotka and Danny Bøgsted Poulsen. Solving String Theories involving Regular Membership Predicates Using SAT
  • Fereidoun Moradi, Maryam Bagheri, Hanieh Rahmati, Hamed Yazdi, Sara Abbaspour Asadollah and Marjan Sirjani. Monitoring Cyber-Physical Systems using a Tiny Twin to Prevent Cyber-Attacks