The following pages link to Jin-Song Dong (Q488230):
Displaying 34 items.
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- (Q736806) (redirect page) (← links)
- Towards verification of computation orchestration (Q736807) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- Deep semantic links of TCSP and Object-Z: TCOZ approach. (Q1601247) (← 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)
- A formal object approach to the design of ZML (Q1859519) (← links)
- An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model (Q2031429) (← links)
- Model checking approach to automated planning (Q2248102) (← links)
- Automated verification of timed security protocols with clock drift (Q2281649) (← links)
- Model checking with fairness assumptions using PAT (Q2418662) (← 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)
- (Q4412489) (← links)
- (Q4412490) (← links)
- (Q4412511) (← links)
- (Q4426726) (← links)
- (Q4494239) (← links)
- (Q4494245) (← links)
- Improved BDD-Based Discrete Analysis of Timed Systems (Q4647854) (← links)
- (Q4808853) (← links)
- N-PAT: A Nested Model-Checker (Q5049015) (← 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)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709979) (← links)
- FM 2005: Formal Methods (Q5716893) (← links)
- Semantic Web Languages – Towards an Institutional Perspective (Q5757930) (← links)
- A neurodynamic approach for nonsmooth optimal power consumption of intelligent and connected vehicles (Q6057935) (← links)
- A subgradient-based neurodynamic algorithm to constrained nonsmooth nonconvex interval-valued optimization (Q6077871) (← links)
