Keyword:competition

Papers
ARCH-COMP 2020 Category Report: Falsification Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata and Zhenya Zhang In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders and Christian Schilling In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Digital Currency Schemes: More or Less Sustainable? Limits to Growth, Electronification and the Negotiability of Money in Europe Gabriella Gimigliano and Valentino Cattelan EasyChair Preprint no. 1360
The Effect of Scrambling CNFs Armin Biere and Marijn Heule In:Proceedings of Pragmatics of SAT 2015 and 2018
On the Risk of Tool Over-tuning in Run-time Verification Competitions (position paper) Domenico Bianculli and Srdjan Krstic In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools