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