Jin-Song Dong

Available identifiers

zbMath Open dong.jinsongMaRDI QIDQ488230

List of research outcomes

Publication	Date of Publication	Type
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

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: Jin-Song Dong