The following pages link to Jun Sun (Q488229):
Displayed 28 items.
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- SeVe: automatic tool for verification of security protocols (Q1762179) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- Compositional reasoning for shared-variable concurrent programs (Q2024370) (← links)
- A decidable fragment in separation logic with inductive predicates and arithmetic (Q2164251) (← links)
- Global PAC bounds for learning discrete time Markov chains (Q2226743) (← links)
- Model checking approach to automated planning (Q2248102) (← links)
- Automated verification of timed security protocols with clock drift (Q2281649) (← links)
- Frame inference for inductive entailment proofs in separation logic (Q2324205) (← links)
- Model checking with fairness assumptions using PAT (Q2418662) (← links)
- Regular Symmetry Patterns (Q2796070) (← links)
- Complexity of the Soundness Problem of Bounded Workflow Nets (Q2908201) (← links)
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction (Q2926661) (← links)
- Event Analytics (Q2938147) (← links)
- An Efficient Algorithm for Learning Event-Recording Automata (Q3172935) (← links)
- Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- (Q4412511) (← links)
- Satisfiability Modulo Heap-Based Programs (Q4633544) (← links)
- Improved BDD-Based Discrete Analysis of Timed Systems (Q4647854) (← links)
- Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking (Q5194935) (← links)
- Towards a Combination of CafeOBJ and PAT (Q5403071) (← links)
- Complexity of the Soundness Problem of Workflow Nets (Q5415301) (← links)
- (Q5418249) (← links)
- FM 2005: Formal Methods (Q5716893) (← links)
- Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)