Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jin Song Dong

Model Checking With Fairness Assumptions Using PAT

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2013English

LightSense: A Novel Side Channel for Zero-Permission Mobile User Tracking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

More Anti-Chain Based Refinement Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Using Monterey Phoenix to Formalize and Verify System Architectures

2012English

Enhancing Semantic Web Services With Inheritance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Reasoning Method for Timed CSP Based on Constraint Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Realizing Live Sequence Charts in SystemVerilog

2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy