HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.