Person:488230

Available identifiers

zbMath Open dong.jinsongMaRDI QIDQ488230

List of research outcomes

Publication	Date of Publication	Type
Sequential schemes for frequentist estimation of properties in statistical model checking	2024-09-08	Paper
A neurodynamic approach for nonsmooth optimal power consumption of intelligent and connected vehicles	2023-10-26	Paper
A subgradient-based neurodynamic algorithm to constrained nonsmooth nonconvex interval-valued optimization	2023-10-18	Paper
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring	2023-08-31	Paper
N-PAT: A Nested Model-Checker	2022-11-09	Paper
An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model	2021-06-09	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
Model checking with fairness assumptions using PAT	2019-05-28	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
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
Semantic Web Languages – Towards an Institutional Perspective	2007-09-07	Paper
FM 2005: Formal Methods	2006-01-10	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q4808853	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4426726	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4412489	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4412490	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4412511	2003-07-15	Paper
A formal object approach to the design of ZML	2003-02-19	Paper
Deep semantic links of TCSP and Object-Z: TCOZ approach.	2002-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4494239	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4494245	2000-08-10	Paper

Research outcomes over time

This page was built for person: Jin-Song Dong