Keyword:benchmark

Publications
Performance Comparison of YOLOv7 and YOLOv8 Using the YCB Datasets YCB-M and YCB-Video Samuel Hafner, Markus Schneider and Benjamin Stähle EasyChair Preprint 13111
Presentation and Analysis of the Ecosystem for Mobile Development in Multiplatform Ricardo Lucas Jardim EasyChair Preprint 4953
Slovak Firms Robust Multiple Criteria Risk and Performance Analysis Vladimir Mlynarovič and Eduard Hozlár EasyChair Preprint 3066
Classification based on Associations (CBA) - a performance analysis Jiří Filip and Tomáš Kliegr EasyChair Preprint 501
A Mathematical Benchmark for Inductive Theorem Provers Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Benchmarks for the Formal Verification of Power Systems Matthias Althoff In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device Mostafa Ayesh, Namya Mehan, Ethan Dhanraj, Abdul El-Rahwan, Simon Emil Opalka, Tony Fan, Akil Hamilton, Akshay Mathews Jacob, Rahul Anthony Sundarrajan, Bryan Widjaja and Claudio Menghi In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving Stefan Mitsch, Jonathan Julián Huerta Y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers Peter Heidlauf, Alexander Collins, Michael Bolender and Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal) Patrick Musau and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Discrete-Space Analysis of Partial Differential Equations Hoang-Dung Tran, Tianshu Bao and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Linear Differential-Algebraic Equations (Benchmark Proposal) Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Data Storage and Maintenance Challenges: The Case of Advanced Metering Infrastructure Systems Lucas Pereira, Rodolfo Gonçalves, Filipe Quintal and Nuno Nunes In:ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata Nikolaos Kekatos, Marcelo Forets and Goran Frehse In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
An Autonomous Vehicle Control Stack Alena Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli and Rahul Mangharam In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Evaluating Automated Theorem Provers Using Adimen-SUMO Javier Álvez, Paqui Lucio and German Rigau In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Verification of Fault-Tolerant Clock Synchronization Algorithms Sergiy Bogomolov, Christian Herrera and Wilfried Steiner In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Large-Scale Linear Systems from Order-Reduction Hoang-Dung Tran, Luan Viet Nguyen and Taylor T Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis Scott Livingston and Vasumathi Raman In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Non-linear Continuous Systems for Safety Verification Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue Houssam Abbas, Kuk Jin Jang and Rahul Mangharam In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis Omar Beg, Ali Davoudi and Taylor T Johnson In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Hybrid Modelling of a Wind Turbine Simone Schuler, Fabiano Daher Adegas and Adolfo Anta In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers Sidharta Andalam, Avinash Malik, Partha Roop and Mark Trew In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery Victor Gan, Guy Dumont and Ian Mitchell In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools Ibtissem Ben Makhlouf and Stefan Kowalewski In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: Reachability on a model with holes Thomas Heinz, Jens Oehlerking and Matthias Woehrle In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmarks for Temporal Logic Requirements for Automotive Systems Bardh Hoxha, Houssam Abbas and Georgios Fainekos In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters) Luan Viet Nguyen and Taylor T Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Motor-Transmission Drive System: a Benchmark Example for Safety Verification Hongxu Chen, Sayan Mitra and Guangyu Tian In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark Jyotirmoy Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Ken Butts, Juergen Gerhard, Behzad Samadi, Kevin Walker and Yuzhen Xie In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis Hoang-Dung Tran, Luan Viet Nguyen and Taylor T Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark Generator for Stratified Controllers of Tank Networks Stanley Bak, Sergiy Bogomolov, Marius Greitschus and Taylor T Johnson In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Verifying Properties of an Electro-Mechanical Braking System Thomas Strathmann and Jens Oehlerking In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark problem: an air brake model for trains Luca Parolini, Simone Schuler and Adolfo Anta In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems