Jun Sun

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Sequential schemes for frequentist estimation of properties in statistical model checking	2024-09-08	Paper
Concolic testing heap-manipulating programs	2024-03-14	Paper
Distributed parametric model checking timed automata under non-zenoness assumption	2023-06-29	Paper
Verifying Neural Networks Against Backdoor Attacks	2022-12-07	Paper
A decidable fragment in separation logic with inductive predicates and arithmetic	2022-08-12	Paper
Compositional reasoning for shared-variable concurrent programs	2021-05-04	Paper
Global PAC bounds for learning discrete time Markov chains	2021-02-09	Paper
Parametric Timed Model Checking for Guaranteeing Timed Opacity	2020-07-20	Paper
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation	2020-07-20	Paper
Automated verification of timed security protocols with clock drift	2020-01-03	Paper
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking	2019-09-17	Paper
Frame inference for inductive entailment proofs in separation logic	2019-09-16	Paper
Model checking with fairness assumptions using PAT	2019-05-28	Paper
Satisfiability Modulo Heap-Based Programs	2019-05-03	Paper
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS	2018-10-23	Paper
Towards verification of computation orchestration	2016-08-05	Paper
Regular Symmetry Patterns	2016-03-23	Paper
Parameter synthesis for hierarchical concurrent real-time systems	2015-01-23	Paper
Event Analytics	2015-01-13	Paper
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction	2014-11-03	Paper
Model checking approach to automated planning	2014-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q5418249	2014-06-03	Paper
Complexity of the Soundness Problem of Workflow Nets	2014-05-12	Paper
Towards a Combination of CafeOBJ and PAT	2014-03-25	Paper
SeVe: automatic tool for verification of security protocols	2012-11-15	Paper
Improved BDD-Based Discrete Analysis of Timed Systems	2012-11-08	Paper
Complexity of the Soundness Problem of Bounded Workflow Nets	2012-09-04	Paper
An Efficient Algorithm for Learning Event-Recording Automata	2011-10-07	Paper
A formal framework for modeling and validating simulink diagrams	2009-11-13	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4412511	2003-07-15	Paper

Research outcomes over time

This page was built for person: Jun Sun