Jin Song Dong - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

On Combining State Space Reductions with Global Fairness AssumptionsShao Jie Zhang, Jun Sun 0001, Jun Pang, Yang Liu 0003, Jin Song Dong. fm 2011: 432-447 [doi]

2010

Model-Based Methods for Linking Web Service Choreography and OrchestrationJun Sun 0001, Yang Liu 0003, Jin Song Dong, Geguang Pu, Tian Huat Tan. apsec 2010: 166-175 [doi]

Analyzing hierarchical complex real-time systemsYang Liu 0003, Jun Sun 0001, Jin Song Dong. FSE 2010: 365-366 [doi]

Developing Model Checkers Using PATYang Liu 0003, Jun Sun 0001, Jin Song Dong. ATVA 2010: 371-377 [doi]

Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario VerificationJit Biswas, Mounir Mokhtari, Jin Song Dong, Philip Lin Kiat Yap. icost 2010: 160-170 [doi]

A verification system for interval-based specification languagesChunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew Martin. TOSEM, 19(4), 2010. [doi]

Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. ProceedingsJin Song Dong, Huibiao Zhu, editors, Volume 6447 of Lecture Notes in Computer Science, Springer, 2010. [doi]

SpecDiff: debugging formal specificationsZhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin Song Dong. kbse 2010: 353-354 [doi]

2009

PAT: Towards Flexible Verification under FairnessJun Sun 0001, Yang Liu, Jin Song Dong, Jun Pang. cav 2009: 709-714 [doi]

Verifying Stateful Timed CSP Using Implicit Clocks and Zone AbstractionJun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang. icfem 2009: 581-600 [doi]

Integrating Specification and Programs for System Modeling and VerificationJun Sun 0001, Yang Liu 0003, Jin Song Dong, Chunqing Chen. tase 2009: 127-135 [doi]

Fair Model Checking with Process Counter AbstractionJun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong. fm 2009: 123-139 [doi]

Scalable Multi-core Model Checking Fairness Enhanced SystemsYang Liu 0003, Jun Sun 0001, Jin Song Dong. icfem 2009: 426-445 [doi]

A formal framework for modeling and validating Simulink diagramsChunqing Chen, Jin Song Dong, Jun Sun 0001. fac, 21(5):451-483, 2009. [doi]

SCP special issue on the grand challenge - PrefaceJin Song Dong, Jing Sun. SCP, 74(4):167, 2009. [doi]

Towards Expressive Specification and Efficient Model CheckingJin Song Dong, Jun Sun 0001. tase 2009: 9 [doi]

Software monitoring through formal specification animationHui Liang, Jin Song Dong, Jing Sun, W. Eric Wong. isse, 5(4):231-241, 2009. [doi]

Formal Verification of Scalable NonZero IndicatorsShao Jie Zhang, Yang Liu, Jun Sun 0001, Jin Song Dong, Wei Chen, Yanhong A. Liu. seke 2009: 406-411

2008

Specifying and Verifying Event-Based Fairness Enhanced SystemsJun Sun 0001, Yang Liu, Jin Song Dong, Hai H. Wang. icfem 2008: 5-24 [doi]

Bounded Model Checking of Compositional ProcessesJun Sun 0001, Yang Liu, Jin Song Dong, Jing Sun. tase 2008: 23-30 [doi]

Model Checking CSP Revisited: Introducing a Process Analysis ToolkitJun Sun 0001, Yang Liu, Jin Song Dong. isola 2008: 307-322 [doi]

Compositional encoding for bounded model checkingJun Sun 0001, Yang Liu, Jin Song Dong, Jing Sun. fcsc, 2(4):368-379, 2008. [doi]

A verification system for timed interval calculusChunqing Chen, Jin Song Dong, Jun Sun 0001. ICSE 2008: 271-280 [doi]

Timed Automata PatternsJin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi. TSE, 34(6):844-859, 2008. [doi]

Specifying and Verifying Sensor Networks: An Experiment of Formal MethodsJin Song Dong, Jing Sun, Jun Sun 0001, Kenji Taguchi, Xian Zhang. icfem 2008: 318-337 [doi]

Enhancing Semantic Web Services with InheritanceSimon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter. semweb 2008: 162-177 [doi]

An analyzer for extended compositional process algebrasYang Liu, Jun Sun 0001, Jin Song Dong. ICSE 2008: 919-920 [doi]

Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approachKenji Taguchi, Jin Song Dong. ijaose, 2(4):449-474, 2008. [doi]

Ontology Generation through the Fusion of Partial Reuse and Relation ExtractionNwe Ni Tun, Jin Song Dong. kr 2008: 318-328

2007

2006

Design Synthesis from Interaction and State-Based SpecificationsJun Sun 0001, Jin Song Dong. TSE, 32(6):349-364, 2006. [doi]

PrefaceAlvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews. ENTCS, 151(2):1, 2006. [doi]

Applying Timed Interval Calculus to Simulink DiagramsChunqing Chen, Jin Song Dong. icfem 2006: 74-93 [doi]

Verification of Computation Orchestration Via Timed AutomataJin Song Dong, Yang Liu, Jun Sun 0001, Xian Zhang. icfem 2006: 226-245 [doi]

From semantic web to expressive software specifications: a modeling languages spectrumJin Song Dong. ICSE 2006: 1063-1064 [doi]

A Reasoning Method for Timed CSP Based on Constraint SolvingJin Song Dong, Ping Hao, Jun Sun 0001, Xian Zhang. icfem 2006: 342-359 [doi]

Context Awareness Systems Design and ReasoningJin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun 0001. isola 2006: 335-340 [doi]

HighSpec: a tool for building and checking OZTA modelsJin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin. ICSE 2006: 775-778 [doi]

Formal Specification-based Online MonitoringHui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora. iceccs 2006: 152-162 [doi]

Semantic Web Languages - Towards an Institutional PerspectiveDorel Lucanu, Yuan-Fang Li, Jin Song Dong. BIRTHDAY 2006: 99-123 [doi]

Reasoning support for Semantic Web ontology family languages using AlloyHai H. Wang, Jin Song Dong, Jing Sun, Jun Sun 0001. mags, 2(4):455-471, 2006. [doi]

Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCLLing Yuan, Jin Song Dong, Jing Sun. apsec 2006: 209-216 [doi]

Generic Fault Tolerant Software Architecture Reasoning and CustomizationLing Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit. tr, 55(3):421-435, 2006. [doi]

2005

Extracting FSMs from Object-Z Specifications with History InvariantsJun Sun 0001, Jin Song Dong. iceccs 2005: 96-105 [doi]

Synthesis of Distributed Processes from Scenario-Based SpecificationsJun Sun 0001, Jin Song Dong. fm 2005: 415-431 [doi]

Model Checking Live Sequence ChartsJun Sun 0001, Jin Song Dong. iceccs 2005: 529-538 [doi]

Formal Designs for Embedded and Hybrid SystemsJin Song Dong, Ping Hao, Brendan P. Mahony. ijseke, 15(2):373-378, 2005. [doi]

The Semantics and Tool Support of OZTAJin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang. icfem 2005: 66-80 [doi]

Software Engineering Approaches to Semantic WebJin Song Dong, D. Dan. iceccs 2005: 2 [doi]

A Tools Environment for Developing and Reasoning about OntologiesJin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun 0001. apsec 2005: 465-472 [doi]

Integrating Object-Z with Timed AutomataJin Song Dong, Roger Duke, Ping Hao. iceccs 2005: 488-497 [doi]

Institution Morphisms for Relating OWL and ZDorel Lucanu, Yuan-Fang Li, Jin Song Dong. seke 2005: 286-291

Soundness proof of Z semantics of OWL using institutionsDorel Lucanu, Yuan-Fang Li, Jin Song Dong. WWW 2005: 1048-1049 [doi]

Reasoning Support for SWRL-FOL Using AlloyHai H. Wang, Jin Song Dong, Jing Sun. seke 2005: 626-631

TCOZ Approach to OWL-S Process Model DesignHai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li. seke 2005: 354-359

2004

Timed Patterns: TCOZ to Timed AutomataJin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi. icfem 2004: 483-498 [doi]

Verifying DAML+OIL and Beyond in Z/EVESJin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang. ICSE 2004: 201-210 [doi]

Verifying OWL and ORL Ontologies in PVSJin Song Dong, Yuzhang Feng, Yuan-Fang Li. ictac 2005: 265-279 [doi]

Software Modeling Techniques and the Semantic WebJin Song Dong. ICSE 2004: 724-725 [doi]

A combined approach to checking web ontologiesJin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang. WWW 2004: 714-722 [doi]

TCOZ approach to semantic web services designJin Song Dong, Yuan-Fang Li, Hai H. Wang. WWW 2004: 442-443 [doi]

Relating pi-calculus to Object-ZKenji Taguchi, Jin Song Dong, Gabriel Ciobanu. iceccs 2004: 97-106 [doi]

Reasoning about Semantic Web in Isabelle/HOLYue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony. apsec 2004: 46-53 [doi]

Semantic Space: An Infrastructure for Smart SpacesXiaohang Wang, Jin Song Dong, Chung-Yau Chin, SankaRavipriya Hettiarachchi, Daqing Zhang. pervasive, 3(3):32-39, 2004. [doi]

2003

Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, ProceedingsJin Song Dong, Jim Woodcock, editors, Volume 2885 of Lecture Notes in Computer Science, Springer, 2003.

Checking and Reasoning about Semantic Web through AlloyJin Song Dong, Jing Sun, Hai H. Wang. fm 2003: 796-813 [doi]

Analysing Web Ontology in Alloy: A Military Case StudyJin Song Dong, Jun Sun 0001, Hai H. Wang, Chew Hung Lee, Hian Beng Lee. seke 2003: 542-546

A Semantic Foundation for TCOZ in Unifying Theories of ProgrammingShengchao Qin, Jin Song Dong, Wei-Ngan Chin. fm 2003: 321-340 [doi]

ZML: XML Support for Standard ZMark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie. zum 2003: 437-456 [doi]

Formalizing Semantics of XSLT Using Object-ZHong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han. apweb 2003: 120-131 [doi]

2002

Semantic Web for Extending and Linking FormalismsJin Song Dong, Jing Sun, Hai H. Wang. fm 2002: 587-606 [doi]

The Semantics of Extended SOFLJin Song Dong, Shaoying Liu. compsac 2002: 653-658 [doi]

Z Approach to Semantic WebJin Song Dong, Jing Sun, Hai H. Wang. icfem 2002: 156-167 [doi]

XML-Based Static Type Checking and Dynamic Visualization for TCOZJin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun 0001, Hai H. Wang. icfem 2002: 311-322 [doi]

Deep Semantic Links of TCSP and Object-Z: TCOZ ApproachBrendan P. Mahony, Jin Song Dong. fac, 13(2):142-160, 2002. [doi]

Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing WorkflowsSergey A. Stupnikov, Leonid A. Kalinichenko, Jin Song Dong. adbis 2002: 206-216 [doi]

Specifying and Reasoning about Generic Architecture in TCOZJing Sun, Jin Song Dong. apsec 2002: 405 [doi]

A Formal Object Approach to the Design of ZMLJing Sun, Jin Song Dong, Jing Liu, Hai H. Wang. ansoft, 13(1-4):329-356, 2002.

An Overview of Mobile Object-ZKenji Taguchi, Jin Song Dong. icfem 2002: 144-155 [doi]

2001

2000

TRMCS in TCOZJing Liu, Jin Song Dong, Jing Sun. iwssd 2000: 63-74 [doi]

Timed Communicating Object ZBrendan P. Mahony, Jin Song Dong. TSE, 26(2):150-177, 2000. [doi]

1999

1998

Active Objects in TCOZJin Song Dong, Brendan P. Mahony. icfem 1998: 16-25 [doi]

Network Topology and a Case Study in TCOZBrendan P. Mahony, Jin Song Dong. zum 1998: 308-327

Blending Object-Z and Timed CSP: An Introduction to TCOZBrendan P. Mahony, Jin Song Dong. ICSE 1998: 95-104

1997

Formalizing Process Scheduling Requirements for an Aircraft Operational Flight ProgramJin Song Dong, Neale Fulton, Lin Zucconi, John Colton. icfem 1997: 161

An object-oriented denotational semantics of a small programming languageJin Song Dong, Roger Duke, Gordon A. Rose. oos, 4:29-52, 1997. [doi]

1995

Living with Free Type and Class UnionJin Song Dong. apsec 1995: 304-312 [doi]

PreviousNext