J
Jin Song Dong
Researcher at National University of Singapore
Publications - 234
Citations - 4232
Jin Song Dong is an academic researcher from National University of Singapore. The author has contributed to research in topics: Model checking & Formal specification. The author has an hindex of 30, co-authored 227 publications receiving 3995 citations. Previous affiliations of Jin Song Dong include Ontario Ministry of Transportation & Griffith University.
Papers
More filters
Journal ArticleDOI
Semantic Space: an infrastructure for smart spaces
TL;DR: Semantic Space is a pervasive computing infrastructure that exploits semantic Web technologies to support explicit representation, expressive querying, and flexible reasoning of contexts in smart spaces.
Book ChapterDOI
PAT: Towards Flexible Verification under Fairness
TL;DR: PAT, a toolkit for flexible and efficient system analysis under fairness, is presented and a unified algorithm is proposed to model check systems with a variety of fairness effectively in two different settings.
Proceedings ArticleDOI
Blending Object-Z and Timed CSP: an introduction to TCOZ
Brendan Mahony,Jin Song Dong +1 more
TL;DR: This paper introduces a blending of Object-Z and Timed CSP, known as TCOZ, which is particularly suited for specifying complex systems whose components have their own thread of control.
Book ChapterDOI
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit
Jun Sun,Yang Liu,Jin Song Dong +2 more
TL;DR: It is highlighted how partial order reduction is applied to improve refinement checking in Pat, a process analysis toolkit which complements FDR in several aspects.
Journal ArticleDOI
Timed Communicating Object Z
Brendan Mahony,Jin Song Dong +1 more
TL;DR: The notation Timed Communicating Object Z (TCOZ) is novel in that it includes timing primitives, properly separates process control and data/algorithm issues and supports the modeling of true multithreaded concurrency.