Jun Sun

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Distributed parametric model checking timed automata under non-zenoness assumption	2023-06-29	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jun Sun