 | 2009 |
|---|
| 91 |       | Jun Sun,
Yang Liu,
Jin Song Dong,
Jun Pang:
PAT: Towards Flexible Verification under Fairness.
CAV 2009: 709-714 |
| 90 | | Jun Sun,
Yang Liu,
Abhik Roychoudhury,
Shanshan Liu,
Jin Song Dong:
Fair Model Checking with Process Counter Abstraction.
FM 2009: 123-139 |
| 89 |  | Shao Jie Zhang,
Yang Liu,
Jun Sun,
Jin Song Dong,
Wei Chen,
Yanhong A. Liu:
Formal Verification of Scalable NonZero Indicators.
SEKE 2009: 406-411 |
| 88 | | Jun Sun,
Yang Liu,
Jin Song Dong,
Chunqing Chen:
Integrating Specification and Programs for System Modeling and Verification.
TASE 2009: 127-135 |
| 87 | | Jin Song Dong,
Jun Sun:
Towards Expressive Specification and Efficient Model Checking.
TASE 2009: 9 |
| 86 | | Jin Song Dong,
Jing Sun:
SCP special issue on the grand challenge - Preface.
Sci. Comput. Program. 74(4): 167 (2009) |
| 2008 |
|---|
| 85 | | Jin Song Dong,
Jing Sun,
Jun Sun,
Kenji Taguchi,
Xian Zhang:
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
ICFEM 2008: 318-337 |
| 84 | | Jun Sun,
Yang Liu,
Jin Song Dong,
Hai H. Wang:
Specifying and Verifying Event-Based Fairness Enhanced Systems.
ICFEM 2008: 5-24 |
| 83 | | Chunqing Chen,
Jin Song Dong,
Jun Sun:
A verification system for timed interval calculus.
ICSE 2008: 271-280 |
| 82 | | Yang Liu,
Jun Sun,
Jin Song Dong:
An analyzer for extended compositional process algebras.
ICSE Companion 2008: 919-920 |
| 81 | | Jun Sun,
Yang Liu,
Jin Song Dong:
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.
ISoLA 2008: 307-322 |
| 80 | | Simon Ferndriger,
Abraham Bernstein,
Jin Song Dong,
Yuzhang Feng,
Yuan-Fang Li,
Jane Hunter:
Enhancing Semantic Web Services with Inheritance.
International Semantic Web Conference 2008: 162-177 |
| 79 | | Nwe Ni Tun,
Jin Song Dong:
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction.
KR 2008: 318-328 |
| 78 | | Jun Sun,
Yang Liu,
Jin Song Dong,
Jing Sun:
Bounded Model Checking of Compositional Processes.
TASE 2008: 23-30 |
| 77 | | Jun Sun,
Yang Liu,
Jin Song Dong,
Jing Sun:
Compositional encoding for bounded model checking.
Frontiers of Computer Science in China 2(4): 368-379 (2008) |
| 76 | | Jin Song Dong,
Ping Hao,
Shengchao Qin,
Jun Sun,
Wang Yi:
Timed Automata Patterns.
IEEE Trans. Software Eng. 34(6): 844-859 (2008) |
| 75 | | Kenji Taguchi,
Jin Song Dong:
Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach.
IJAOSE 2(4): 449-474 (2008) |
| 2007 |
|---|
| 74 | | Jin Song Dong,
Yuzhang Feng,
Ho-fung Leung:
A Verification Framework for Agent Knowledge.
ICFEM 2007: 57-75 |
| 73 | | Chunqing Chen,
Jin Song Dong,
Jun Sun:
Machine-Assisted Proof Support for Validation Beyond Simulink.
ICFEM 2007: 96-115 |
| 72 | | Hui Liang,
Jin Song Dong,
Jing Sun:
Evolution and Runtime Monitoring of Software Systems.
SEKE 2007: 343-348 |
| 71 | | Hai H. Wang,
Shengchao Qin,
Jun Sun,
Jin Song Dong:
Realizing Live Sequence Charts in SystemVerilog.
TASE 2007: 379-388 |
| 70 | | Tuan A. Luu,
Tho T. Quan,
Tru H. Cao,
Jin Song Dong:
Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base.
URSW 2007 |
| 2006 |
|---|
| 69 | | Ling Yuan,
Jin Song Dong,
Jing Sun:
Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.
APSEC 2006: 209-216 |
| 68 | | Dorel Lucanu,
Yuan-Fang Li,
Jin Song Dong:
Semantic Web Languages - Towards an Institutional Perspective.
Essays Dedicated to Joseph A. Goguen 2006: 99-123 |
| 67 | | Hui Liang,
Jin Song Dong,
Jing Sun,
Roger Duke,
Rudolph E. Seviora:
Formal Specification-based Online Monitoring.
ICECCS 2006: 152-162 |
| 66 | | Jin Song Dong,
Yang Liu,
Jun Sun,
Xian Zhang:
Verification of Computation Orchestration Via Timed Automata.
ICFEM 2006: 226-245 |
| 65 | | Jin Song Dong,
Ping Hao,
Jun Sun,
Xian Zhang:
A Reasoning Method for Timed CSP Based on Constraint Solving.
ICFEM 2006: 342-359 |
| 64 | | Chunqing Chen,
Jin Song Dong:
Applying Timed Interval Calculus to Simulink Diagrams.
ICFEM 2006: 74-93 |
| 63 | | Jin Song Dong:
From semantic web to expressive software specifications: a modeling languages spectrum.
ICSE 2006: 1063-1064 |
| 62 | | Jin Song Dong,
Ping Hao,
Xian Zhang,
Shengchao Qin:
HighSpec: a tool for building and checking OZTA models.
ICSE 2006: 775-778 |
| 61 | | Jin Song Dong,
Yuzhang Feng,
Jing Sun,
Jun Sun:
Context Awareness Systems Design and Reasoning.
ISoLA 2006: 335-340 |
| 60 | | Alvaro E. Arenas,
Jin Song Dong,
Andrew Martin,
Brian Matthews:
Preface.
Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006) |
| 59 | | Jun Sun,
Jin Song Dong:
Design Synthesis from Interaction and State-Based Specifications.
IEEE Trans. Software Eng. 32(6): 349-364 (2006) |
| 58 | | Ling Yuan,
Jin Song Dong,
Jing Sun,
Hamid Abdul Basit:
Generic Fault Tolerant Software Architecture Reasoning and Customization.
IEEE Transactions on Reliability 55(3): 421-435 (2006) |
| 57 | | Hai H. Wang,
Jin Song Dong,
Jing Sun,
Jun Sun:
Reasoning support for Semantic Web ontology family languages using Alloy.
Multiagent and Grid Systems 2(4): 455-471 (2006) |
| 2005 |
|---|
| 56 | | Jin Song Dong,
Yuzhang Feng,
Yuan-Fang Li,
Jun Sun:
A Tools Environment for Developing and Reasoning about Ontologies.
APSEC 2005: 465-472 |
| 55 | | Jun Sun,
Jin Song Dong:
Synthesis of Distributed Processes from Scenario-Based Specifications.
FM 2005: 415-431 |
| 54 | | Jin Song Dong,
D. Dan:
Software Engineering Approaches to Semantic Web.
ICECCS 2005: 2 |
| 53 | | Jin Song Dong,
Roger Duke,
Ping Hao:
Integrating Object-Z with Timed Automata.
ICECCS 2005: 488-497 |
| 52 | | Jun Sun,
Jin Song Dong:
Model Checking Live Sequence Charts.
ICECCS 2005: 529-538 |
| 51 | | Jun Sun,
Jin Song Dong:
Extracting FSMs from Object-Z Specifications with History Invariants.
ICECCS 2005: 96-105 |
| 50 | | Jin Song Dong,
Ping Hao,
Shengchao Qin,
Xian Zhang:
The Semantics and Tool Support of OZTA.
ICFEM 2005: 66-80 |
| 49 | | Dorel Lucanu,
Yuan-Fang Li,
Jin Song Dong:
Institution Morphisms for Relating OWL and Z.
SEKE 2005: 286-291 |
| 48 | | Hai H. Wang,
Jin Song Dong,
Jing Sun,
Yuan-Fang Li:
TCOZ Approach to OWL-S Process Model Design.
SEKE 2005: 354-359 |
| 47 | | Hai H. Wang,
Jin Song Dong,
Jing Sun:
Reasoning Support for SWRL-FOL Using Alloy.
SEKE 2005: 626-631 |
| 46 | | Dorel Lucanu,
Yuan-Fang Li,
Jin Song Dong:
Soundness proof of Z semantics of OWL using institutions.
WWW (Special interest tracks and posters) 2005: 1048-1049 |
| 45 | | Jin Song Dong,
Ping Hao,
Brendan P. Mahony:
Formal Designs for Embedded and Hybrid Systems.
International Journal of Software Engineering and Knowledge Engineering 15(2): 373-378 (2005) |
| 2004 |
|---|
| 44 | | Yue Tang,
Jin Song Dong,
Jing Sun,
Brendan P. Mahony:
Reasoning about Semantic Web in Isabelle/HOL.
APSEC 2004: 46-53 |
| 43 | | Kenji Taguchi,
Jin Song Dong,
Gabriel Ciobanu:
Relating pi-calculus to Object-Z.
ICECCS 2004: 97-106 |
| 42 | | Jin Song Dong,
Ping Hao,
Shengchao Qin,
Jun Sun,
Wang Yi:
Timed Patterns: TCOZ to Timed Automata.
ICFEM 2004: 483-498 |
| 41 | | Jin Song Dong,
Chew Hung Lee,
Yuan-Fang Li,
Hai H. Wang:
Verifying DAML+OIL and Beyond in Z/EVES.
ICSE 2004: 201-210 |
| 40 | | Jin Song Dong:
Software Modeling Techniques and the Semantic Web.
ICSE 2004: 724-725 |
| 39 | | Jin Song Dong,
Yuzhang Feng,
Yuan-Fang Li:
Verifying OWL and ORL Ontologies in PVS.
ICTAC 2004: 265-279 |
| 38 | | Jin Song Dong,
Shengchao Qin,
Jun Sun:
Generating MSCs from an Integrated Formal Specification Language.
IFM 2004: 168-186 |
| 37 | | Jin Song Dong,
Chew Hung Lee,
Hian Beng Lee,
Yuan-Fang Li,
Hai H. Wang:
A combined approach to checking web ontologies.
WWW 2004: 714-722 |
| 36 | | Jin Song Dong,
Yuan-Fang Li,
Hai H. Wang:
TCOZ approach to semantic web services design.
WWW (Alternate Track Papers & Posters) 2004: 442-443 |
| 2003 |
|---|
| 35 | | Jin Song Dong,
Jim Woodcock:
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Springer 2003 |
| 34 | | Hong Li Yang,
Jin Song Dong,
Ke Gang Hao,
Jun Gang Han:
Formalizing Semantics of XSLT Using Object-Z.
APWeb 2003: 120-131 |
| 33 | | Shengchao Qin,
Jin Song Dong,
Wei-Ngan Chin:
A Semantic Foundation for TCOZ in Unifying Theories of Programming.
FME 2003: 321-340 |
| 32 | | Jin Song Dong,
Jing Sun,
Hai H. Wang:
Checking and Reasoning about Semantic Web through Alloy.
FME 2003: 796-813 |
| 31 | | Jin Song Dong,
Jun Sun,
Hai H. Wang,
Chew Hung Lee,
Hian Beng Lee:
Analysing Web Ontology in Alloy: A Military Case Study.
SEKE 2003: 542-546 |
| 30 | | Mark Utting,
Ian Toyn,
Jing Sun,
Andrew Martin,
Jin Song Dong,
Nicholas Daley,
David W. Currie:
ZML: XML Support for Standard Z.
ZB 2003: 437-456 |
| 2002 |
|---|
| 29 | | Sergey A. Stupnikov,
Leonid A. Kalinichenko,
Jin Song Dong:
Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows.
ADBIS Research Communications 2002: 206-216 |
| 28 | | Jing Sun,
Jin Song Dong:
Specifying and Reasoning about Generic Architecture in TCOZ.
APSEC 2002: 405- |
| 27 | | Jin Song Dong,
Shaoying Liu:
The Semantics of Extended SOFL.
COMPSAC 2002: 653-658 |
| 26 | | Jin Song Dong,
Jing Sun,
Hai H. Wang:
Semantic Web for Extending and Linking Formalisms.
FME 2002: 587-606 |
| 25 | | Kenji Taguchi,
Jin Song Dong:
An Overview of Mobile Object-Z.
ICFEM 2002: 144-155 |
| 24 | | Jin Song Dong,
Jing Sun,
Hai H. Wang:
Z Approach to Semantic Web.
ICFEM 2002: 156-167 |
| 23 | | Jin Song Dong,
Yuan-Fang Li,
Jing Sun,
Jun Sun,
Hai H. Wang:
XML-Based Static Type Checking and Dynamic Visualization for TCOZ.
ICFEM 2002: 311-322 |
| 22 | | Jing Sun,
Jin Song Dong,
Jing Liu,
Hai H. Wang:
A Formal Object Approach to the Design of ZML.
Ann. Software Eng. 13(1-4): 329-356 (2002) |
| 21 | | Brendan P. Mahony,
Jin Song Dong:
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.
Formal Asp. Comput. 13(2): 142-160 (2002) |
| 2001 |
|---|
| 20 | | Jing Sun,
Jin Song Dong,
Jing Liu,
Hai H. Wang:
An XML/XSL Approach to Visualize and Animate TCOZ.
APSEC 2001: 453-460 |
| 19 | | Jin Song Dong:
State, Event, Time and Diagram in System Modeling.
ICSE 2001: 733-734 |
| 18 | | Jing Sun,
Jin Song Dong,
Jing Liu,
Hai H. Wang:
Object-Z web environment and projections to UML.
WWW 2001: 725-734 |
| 17 | | Jing Liu,
Jin Song Dong,
Brendan P. Mahony,
Kun Shi:
Linking UML with Integrated Formal Techniques.
Unified Modeling Language: Systems Analysis, Design and Development Issues 2001: 210-223 |
| 2000 |
|---|
| 16 | | Jing Liu,
Jin Song Dong,
Jing Sun:
TRMCS in TCOZ.
IWSSD 2000: 63-74 |
| 15 | | Brendan P. Mahony,
Jin Song Dong:
Timed Communicating Object Z.
IEEE Trans. Software Eng. 26(2): 150-177 (2000) |
| 1999 |
|---|
| 14 | | Jin Song Dong,
Brendan P. Mahony,
Neale Fulton:
Capturing Periodic Concurrent Interactions of Mission Computer Tasks.
APSEC 1999: 538-545 |
| 13 | | Jin Song Dong,
Shaoying Liu:
An Object Semantic Model of SOFL.
IFM 1999: 189-208 |
| 12 | | Brendan P. Mahony,
Jin Song Dong:
Overview of the Semantics of TCOZ.
IFM 1999: 66-85 |
| 11 | | Brendan P. Mahony,
Jin Song Dong:
Sensors and Actuators in TCOZ.
World Congress on Formal Methods 1999: 1166-1185 |
| 10 | | Jin Song Dong,
Brendan P. Mahony,
Neale Fulton:
Modeling Aircraft Mission Computer Task Rates.
World Congress on Formal Methods 1999: 1855 |
| 1998 |
|---|
| 9 | | Jin Song Dong,
Brendan P. Mahony:
Active Objects in TCOZ.
ICFEM 1998: 16-25 |
| 8 | | Brendan P. Mahony,
Jin Song Dong:
Blending Object-Z and Timed CSP: An Introduction to TCOZ.
ICSE 1998: 95-104 |
| 7 | | Brendan P. Mahony,
Jin Song Dong:
Network Topology and a Case Study in TCOZ.
ZUM 1998: 308-327 |
| 1997 |
|---|
| 6 | | Jin Song Dong,
Neale Fulton,
Lin Zucconi,
John Colton:
Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program.
ICFEM 1997: 161- |
| 5 | | Jin Song Dong,
Roger Duke,
Gordon A. Rose:
An object-oriented denotational semantics of a small programming language.
Object Oriented Systems 4: 29-52 (1997) |
| 1995 |
|---|
| 4 | | Jin Song Dong:
Living with Free Type and Class Union.
APSEC 1995: 304-312 |
| 3 | | Jin Song Dong,
Gordon A. Rose,
Roger Duke:
The role of secondary attributes in formal object modelling.
ICECCS 1995: 31-38 |
| 1993 |
|---|
| 2 | | Jin Song Dong,
Roger Duke:
An Object-Oriented Approach to the Formal Specification of ODP Trader.
Open Distributed Processing 1993: 341-352 |
| 1 | | Jin Song Dong,
Roger Duke:
Class Union and Polymorphism.
TOOLS (12/9) 1993: 181-190 |
