Keyword:verification

Papers
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
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
Intra-Operative and Anatomic Verification of a TKA Computational Model for Pre-Operative Surgical Planning Joshua Guy 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
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs Keith Clark, Brijesh Dongol and Peter Robinson EasyChair Preprint no. 1491
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
Numerical Verification of 10000-dimensional Linear Systems 10000x Faster Stanley Bak In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
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
Automating the Diagram Method to Prove Correctness of Program Transformations David Sabel EasyChair Preprint no. 415
Detection of Dataflow Anomalies in Business Process An Overview of Modeling Approaches Najat Chadli, Mohammed Issam Kabbaj and Zohra Bakkouri EasyChair Preprint no. 226
An Optimal Value Iteration Algorithm for Parity Games Nathanaël Fijalkow EasyChair Preprint no. 21
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
A Suite of Monitoring Tools for Erlang Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto and Anna Ingolfsdottir In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
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
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
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
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
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
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
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
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
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
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
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
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
Functional Pearl: the Proof Search Monad Jonathan Protzenko In:IWIL-2015. 11th International Workshop on the Implementation of Logics
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: Quadrotor Attitude Control A. E. C. Da Cunha 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
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
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
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
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
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
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 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
A Sufficient Condition for the Observational Equivalence of Processes Andrew M. Mironov In:PSI 2014. Ershov Informatics Conference
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
Verification of Multi-Party Ping-Pong Protocols via Program Transformation Antonina Nepeivoda In:VPT 2014. Second International Workshop on Verification and Program Transformation
Formal Replay of Translation Validation for Highly Optimised C Thomas Sewell In:VPT 2014. Second International Workshop on Verification and Program Transformation
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
Transforming Event B Models into Verified C# Implementations Dominique Mery and Rosemary Monahan In:VPT 2013. First International Workshop on Verification and Program Transformation
Building trustworthy refactoring tools Simon Thompson In:VPT 2013. First International Workshop on Verification and Program Transformation
CheAPS: a Checker of Asynchronous Parameterized Systems Igor Konnov In:WING 2010. Workshop on Invariant Generation 2010
Abstract Interpretation over Zones without Widening Thomas Martin Gawlitza and Helmut Seidl 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