Linked e-resources
Details
Table of Contents
Learning and Formal Synthesis
From Passive to Active: Learning Timed Automata Efficiently
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Parameter Synthesis and Robustness Analysis of Rule-Based Models
Formal Methods for DNNs
PaRoT: A Practical Framework for Robust Deep Neural Network Training
Simplifying Neural Networks using Formal Verification
High Assurance Systems
Neural Simplex Architecture
Strengthening Deterministic Policies for POMDPs
Benchmarking Software Model Checkers on Automotive Code
Requirement Specification and Testing
Automated Requirements-Based Testing of Black-Box Reactive Systems
Formal Verification of Parallel Prefix Sum
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking
Validation and Solvers
A Validation Methodology for OCaml-to-PVS Translation
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Solvers and Program Analysis
Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL*
Constraint Caching Revisited
Per-Location Simulation
Verification and Timed Systems
Sampling Distributed Schedules for Resilient Space Communication
Model Checking Timed Hyperproperties in Discrete-Time Systems
Verifying Band Convergence for Sampled Control Systems
Autonomy and Other Applications
Heterogeneous Verification of an Autonomous Curiosity Rover
Run-Time Assurance for Learning-Enabled Systems
hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions
Hybrid and Cyber-Physical Systems
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
Falsification of Cyber-Physical Systems with Constrained Signal Spaces.
From Passive to Active: Learning Timed Automata Efficiently
Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs
Parameter Synthesis and Robustness Analysis of Rule-Based Models
Formal Methods for DNNs
PaRoT: A Practical Framework for Robust Deep Neural Network Training
Simplifying Neural Networks using Formal Verification
High Assurance Systems
Neural Simplex Architecture
Strengthening Deterministic Policies for POMDPs
Benchmarking Software Model Checkers on Automotive Code
Requirement Specification and Testing
Automated Requirements-Based Testing of Black-Box Reactive Systems
Formal Verification of Parallel Prefix Sum
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking
Validation and Solvers
A Validation Methodology for OCaml-to-PVS Translation
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Solvers and Program Analysis
Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL*
Constraint Caching Revisited
Per-Location Simulation
Verification and Timed Systems
Sampling Distributed Schedules for Resilient Space Communication
Model Checking Timed Hyperproperties in Discrete-Time Systems
Verifying Band Convergence for Sampled Control Systems
Autonomy and Other Applications
Heterogeneous Verification of an Autonomous Curiosity Rover
Run-Time Assurance for Learning-Enabled Systems
hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions
Hybrid and Cyber-Physical Systems
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches
Falsification of Cyber-Physical Systems with Constrained Signal Spaces.