- 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
Scroll Up