Beyer, Dirk http://orcid.org/0000-0003-4832-7662
Chapter History
First Online: 20 April 2023
Data-Availability Statement
: The verification tasks and results of the competition are published at Zenodo, as described in Table InternalRef removed. All components and data that are necessary for reproducing the competition are available in public version repositories, as specified in Table InternalRef removed. For easy access, the results are presented also online on the competition web site ExternalRef removed. The main results were reproduced in an independent reproduction study [CitationRef removed].
: This project was funded in part by the Deutsche Forschungsgemeinschaft (DFG) — ExternalRef removed (Coop).
Conference Information
Conference Acronym: TACAS
Conference Name: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Conference City: Paris
Conference Country: France
Conference Year: 2023
Conference Start Date: 22 April 2023
Conference End Date: 27 April 2023
Conference Number: 29
Conference ID: tacas2023
Conference URL: https://etaps.org/2023/tacas
Peer Review Information (provided by the conference organizers)
Type: Double-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 169
Number of Full Papers Accepted: 56
Number of Short Papers Accepted: 6
Acceptance Rate of Full Papers: 33% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.
Average Number of Reviews per Paper: 3
Average Number of Papers per Reviewer: 11
External Reviewers Involved: Yes