Keyword:verification

Publications
Trustworthiness Evaluation of Deep Learning Accelerators Using UVM-based Verification with Error Injection Randa Aboudeif, Tasneem A. Awaad, Mohamed Abdelsalam and Yehea Ismail EasyChair Preprint 15357
UVM Portable Stimulus: Synchronized Multi-Stream Parallel-State Scenario in UVM Ahmed Allam EasyChair Preprint 15264
Simulation-Based Verification of Neural Network Models Edwin Frank and Godwin Olaoye EasyChair Preprint 15064
SAT Can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth Luca Mueller and Rolf Drechsler EasyChair Preprint 14322
Vehicle Entry Management System Using Image Processing Africa Freedom Jatakalula and Eng Tirivangani Magadza EasyChair Preprint 11039
A Model Checking Based Business Process for Monitoring Company's Strategies Hanane Ouaar and Mahmoud Boufaida EasyChair Preprint 8720
Voice Based SQL Query Generation with NLP Process Implementation Using Machine Learning Savita Kandharkar and Rushali Deshmukh EasyChair Preprint 7907
Survey of Automation Practices in Model-Driven Development and Operations Christophe Ponsard and Valery Ramon EasyChair Preprint 7760
Verification of Psychometry Results by Combining of Tempometry and Video Eye-Tracking Methods Oleg S. Ivanov, Sergei V. Chermianin, Veronika E. Kapitanaki, Sergei V. Pilkevich and Timur R. Sabirov EasyChair Preprint 4102
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs Keith Clark, Brijesh Dongol and Peter Robinson EasyChair Preprint 1491
Automating the Diagram Method to Prove Correctness of Program Transformations David Sabel EasyChair Preprint 415
Detection of Dataflow Anomalies in Business Process An Overview of Modeling Approaches Najat Chadli, Mohammed Issam Kabbaj and Zohra Bakkouri EasyChair Preprint 226
An Optimal Value Iteration Algorithm for Parity Games Nathanaël Fijalkow EasyChair Preprint 21
The Challenges and Triumphs of CSP Based Formal Verification Andrew Roscoe and Pedro Antonino In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Stefan Mitsch, Christian Schilling, Joris Tillet and Mark Wetzlinger In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Efficient Simulation for Hardware Model Checking Joseph Tafese and Arie Gurfinkel In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Automated Theorem Proving for Prolog Verification Fred Mesnard, Thierry Marianne and Etienne Payet In:LPAR 2024 Complementary Volume
ARCH-COMP23 Repeatability Evaluation Report Taylor T Johnson In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Closed-Loop ACAS Xu Neural Network Verification Sanaz Sheikhi and Stanley Bak In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger and Daniel Zhuang In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T Johnson, Tobias Ladner and Christian Schilling In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic Alexander Steen, Geoff Sutcliffe, Pascal Fontaine and Jack McKeown In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Model Checking Omega-Regular Hyperproperties with AutoHyperQ Raven Beutner and Bernd Finkbeiner In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Tighter Abstract Queries in Neural Network Verification Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett and Guy Katz In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
ARCH-COMP22 Repeatability Evaluation Report Taylor T Johnson In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
ARCH-COMP21 Repeatability Evaluation Report Taylor T. Johnson In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Taylor T Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan and Chao Huang In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP20 Repeatability Evaluation Report Taylor T Johnson In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Analysis of Real-Time Control Systems using First-Order Continuization Maximilian Gaukler In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Minimal Modifications of Deep Neural Networks using Verification Ben Goldberger, Guy Katz, Yossi Adi and Joseph Keshet In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Verified SAT Solver Framework including Optimization and Partial Valuations Mathias Fleury and Christoph Weidenbach In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Intra-Operative and Anatomic Verification of a TKA Computational Model for Pre-Operative Surgical Planning Joshua Twiggs, Edgar Wakelin, Justin Roe, Brett Fritsch and Brad Miles In:CAOS 2019. The 19th Annual Meeting of the International Society for Computer Assisted Orthopaedic Surgery
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees Stanley Bak and Kerianne Hobbs In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification Thitivatr Patanasakpinyo In:Proceedings of 34th International Conference on Computers and Their Applications
Policy Iterations Without Selection Property Assale Adje In:TNC'18. Trusted Numerical Computations
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
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
A Suite of Monitoring Tools for Erlang Ian Cassar, Adrian Francalanza, Duncan Attard, Luca Aceto and Anna Ingolfsdottir In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Runtime Verification using VALOUR Shaun Azzopardi, Christian Colombo, Jean Paul Ebejer, Edward Mallia and Gordon Pace In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Formal Verification of a Multi-Basal Insulin Infusion Control Model Xin Chen, Souradeep Dutta and Sriram Sankaranarayanan In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Testbed for Model-based Verification of Cyber-physical Production Systems Christof J. Budnik, Sebastian Eckl and Marco Gario In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Distributed Autonomous Systems Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang and Taylor T. Johnson In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Direct Verification of Linear Systems with over 10000 Dimensions Stanley Bak and Parasara Sridhar Duggirala In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
A Benchmark for Component-based Hybrid Systems Safety Verification Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and André Platzer In:ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verifying a PI Controller using SoapBox and Stabhyli Eike Möhlmann, Willem Hagemann and Astrid Rakow In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification Axel Busboom, Simone Schuler and Alexander Walsch In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
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
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
High-level Hybrid Systems Analysis with Hypy Stanley Bak, Sergiy Bogomolov and Christian Schilling 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
Functional Pearl: the Proof Search Monad Jonathan Protzenko In:IWIL-2015. 11th International Workshop on the Implementation of Logics
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
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
Progress on Powertrain Verification Challenge with C2E2 Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra and Mahesh Viswanathan In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Running SpaceEx on the ARCH14 Benchmarks Stefano Minopoli and Goran Frehse In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
SMT Encoding of Hybrid Systems in dReal Kyungmin Bae, Soonho Kong and Sicun Gao In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
An Introduction to CORA 2015 Matthias Althoff In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Benchmark: Quadrotor Attitude Control A. E. C. Da Cunha 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
Formal Replay of Translation Validation for Highly Optimised C Thomas Sewell In:VPT 2014. Second International Workshop on Verification and Program Transformation
Verification of Multi-Party Ping-Pong Protocols via Program Transformation Antonina Nepeivoda In:VPT 2014. Second International Workshop on Verification and Program Transformation
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? Alexei Lisitsa and Andrei Nemytykh In:VPT 2014. Second International Workshop on Verification and Program Transformation
A Sufficient Condition for the Observational Equivalence of Processes Andrew Mironov In:PSI 2014. Ershov Informatics Conference
SMT-Based System Verification with DVF Amit Goel, Sava Krstic, Rebekah Leslie and Mark Tuttle In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
Building trustworthy refactoring tools Simon Thompson In:VPT 2013. First International Workshop on Verification and Program Transformation
Transforming Event B Models into Verified C# Implementations Dominique Mery and Rosemary Monahan In:VPT 2013. First International Workshop on Verification and Program Transformation
Abstract Interpretation over Zones without Widening Thomas Martin Gawlitza and Helmut Seidl In:WING 2010. Workshop on Invariant Generation 2010
CheAPS: a Checker of Asynchronous Parameterized Systems Igor Konnov In:WING 2010. Workshop on Invariant Generation 2010
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer Shuling Wang and Xu Wang In:VERIFY-2010. 6th International Verification Workshop