Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
verification
Papers
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)
ARCH-COMP20 Repeatability Evaluation Report
Taylor T. Johnson
In
:
ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
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)
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 no. 4102
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
Copyright © 2012-2021 easychair.org. All rights reserved.