58 citations · 79 across the 5 of their papers we have counts for
6 papers
Correct-by-Construction Design of Timed Systems in Event-B
Guillaume Dupont, Jun Sun
Real-time systems require the careful handling of timing aspects in their models. For critical applications, this entails the use of time-aware formal methods. Currently, such form…
Finding Causally Different Tests for an Industrial Control System
Christopher M. Poskitt, Yuqi Chen, Jun Sun +1
Industrial control systems (ICSs) are types of cyber-physical systems in which programs, written in languages such as ladder logic or structured text, control industrial processes…
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs
Quang Loc Le, Jun Sun, Long H. Pham +1
Heap-manipulating programs are known to be challenging to reason about. We present a novel verifier for heap-manipulating programs called S2TD, which encodes programs systematicall…
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
Yang Sun, Christopher M. Poskitt, Jun Sun +2
Autonomous driving systems (ADSs) must be tested thoroughly before they can be deployed in autonomous vehicles. High-fidelity simulators allow them to be tested against diverse sce…
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Étienne André, Didier Lime, Dylan Marinho +1
Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage occurs whenever an attacker successfully ded…
Systematic Classification of Attackers via Bounded Model Checking
Eric Rothstein-Morris, Sun Jun, Sudipta Chattopadhyay
In this work, we study the problem of verification of systems in the presence of attackers using bounded model checking. Given a system and a set of security requirements, we prese…