The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jin Song Dong: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sergey A. Stupnikov, Leonid A. Kalinichenko, Jin Song Dong
    Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. [Citation Graph (0, 0)][DBLP]
    ADBIS Research Communications, 2002, pp:206-216 [Conf]
  2. Jin Song Dong
    Living with Free Type and Class Union. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:304-312 [Conf]
  3. Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun
    A Tools Environment for Developing and Reasoning about Ontologies. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:465-472 [Conf]
  4. Jin Song Dong, Brendan P. Mahony, Neale Fulton
    Capturing Periodic Concurrent Interactions of Mission Computer Tasks. [Citation Graph (0, 0)][DBLP]
    APSEC, 1999, pp:538-545 [Conf]
  5. Jing Sun, Jin Song Dong
    Specifying and Reasoning about Generic Architecture in TCOZ. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:405-0 [Conf]
  6. Jing Sun, Jin Song Dong, Jing Liu, Hai Wang
    An XML/XSL Approach to Visualize and Animate TCOZ. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:453-460 [Conf]
  7. Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony
    Reasoning about Semantic Web in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:46-53 [Conf]
  8. Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han
    Formalizing Semantics of XSLT Using Object-Z. [Citation Graph (0, 0)][DBLP]
    APWeb, 2003, pp:120-131 [Conf]
  9. Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
    Semantic Web Languages - Towards an Institutional Perspective. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:99-123 [Conf]
  10. Jin Song Dong, Shaoying Liu
    The Semantics of Extended SOFL. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:653-658 [Conf]
  11. Jin Song Dong, Brendan P. Mahony, Neale Fulton
    Modeling Aircraft Mission Computer Task Rates. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1855- [Conf]
  12. Jin Song Dong, Jing Sun, Hai Wang
    Semantic Web for Extending and Linking Formalisms. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:587-606 [Conf]
  13. Jin Song Dong, Jing Sun, Hai Wang
    Checking and Reasoning about Semantic Web through Alloy. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:796-813 [Conf]
  14. Brendan P. Mahony, Jin Song Dong
    Sensors and Actuators in TCOZ. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1166-1185 [Conf]
  15. Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
    A Semantic Foundation for TCOZ in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:321-340 [Conf]
  16. Jun Sun, Jin Song Dong
    Synthesis of Distributed Processes from Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:415-431 [Conf]
  17. J. S. Dong, D. Dan
    Software Engineering Approaches to Semantic Web. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:2- [Conf]
  18. J. S. Dong, R. Duke, P. Hao
    Integrating Object-Z with Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:488-497 [Conf]
  19. Jin Song Dong, Gordon A. Rose, Roger Duke
    The role of secondary attributes in formal object modelling. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:31-38 [Conf]
  20. Jun Sun, Jin Song Dong
    Extracting FSMs from Object-Z Specifications with History Invariants. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:96-105 [Conf]
  21. Jun Sun, Jin Song Dong
    Model Checking Live Sequence Charts. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:529-538 [Conf]
  22. Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu
    Relating pi-calculus to Object-Z. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:97-106 [Conf]
  23. Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton
    Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:161-0 [Conf]
  24. Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
    Timed Patterns: TCOZ to Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:483-498 [Conf]
  25. Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang
    The Semantics and Tool Support of OZTA. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:66-80 [Conf]
  26. Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang
    A Reasoning Method for Timed CSP Based on Constraint Solving. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:342-359 [Conf]
  27. Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai H. Wang
    XML-Based Static Type Checking and Dynamic Visualization for TCOZ. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:311-322 [Conf]
  28. Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang
    Verification of Computation Orchestration Via Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:226-245 [Conf]
  29. Jin Song Dong, Brendan P. Mahony
    Active Objects in TCOZ. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:16-25 [Conf]
  30. Jin Song Dong, Jing Sun, Hai Wang
    Z Approach to Semantic Web. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:156-167 [Conf]
  31. Chunqing Chen, Jin Song Dong
    Applying Timed Interval Calculus to Simulink Diagrams. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:74-93 [Conf]
  32. Kenji Taguchi, Jin Song Dong
    An Overview of Mobile Object-Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:144-155 [Conf]
  33. Jin Song Dong
    State, Event, Time and Diagram in System Modeling. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:733-734 [Conf]
  34. Jin Song Dong
    Software Modeling Techniques and the Semantic Web. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:724-725 [Conf]
  35. Jin Song Dong
    From semantic web to expressive software specifications: a modeling languages spectrum. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1063-1064 [Conf]
  36. Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin
    HighSpec: a tool for building and checking OZTA models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:775-778 [Conf]
  37. Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang
    Verifying DAML+OIL and Beyond in Z/EVES. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:201-210 [Conf]
  38. Brendan P. Mahony, Jin Song Dong
    Blending Object-Z and Timed CSP: An Introduction to TCOZ. [Citation Graph (0, 0)][DBLP]
    ICSE, 1998, pp:95-104 [Conf]
  39. Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
    Verifying OWL and ORL Ontologies in PVS. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:265-279 [Conf]
  40. Brendan P. Mahony, Jin Song Dong
    Overview of the Semantics of TCOZ. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:66-85 [Conf]
  41. Jin Song Dong, Shaoying Liu
    An Object Semantic Model of SOFL. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:189-208 [Conf]
  42. Jin Song Dong, Shengchao Qin, Jun Sun
    Generating MSCs from an Integrated Formal Specification Language. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:168-186 [Conf]
  43. Jing Liu, Jin Song Dong, Jing Sun
    TRMCS in TCOZ. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:63-74 [Conf]
  44. Jin Song Dong, Roger Duke
    An Object-Oriented Approach to the Formal Specification of ODP Trader. [Citation Graph (0, 0)][DBLP]
    Open Distributed Processing, 1993, pp:341-352 [Conf]
  45. Jin Song Dong, Jun Sun, Hai Wang, Chew Hung Lee, Hian Beng Lee
    Analysing Web Ontology in Alloy: A Military Case Study. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:542-546 [Conf]
  46. Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
    Institution Morphisms for Relating OWL and Z. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:286-291 [Conf]
  47. Hai Wang, Jin Song Dong, Jing Sun
    Reasoning Support for SWRL-FOL Using Alloy. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:626-631 [Conf]
  48. Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li
    TCOZ Approach to OWL-S Process Model Design. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:354-359 [Conf]
  49. Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang
    A combined approach to checking web ontologies. [Citation Graph (0, 0)][DBLP]
    WWW, 2004, pp:714-722 [Conf]
  50. Jin Song Dong, Yuan-Fang Li, Hai H. Wang
    TCOZ approach to semantic web services design. [Citation Graph (0, 0)][DBLP]
    WWW (Alternate Track Papers & Posters), 2004, pp:442-443 [Conf]
  51. Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
    Soundness proof of Z semantics of OWL using institutions. [Citation Graph (0, 0)][DBLP]
    WWW (Special interest tracks and posters), 2005, pp:1048-1049 [Conf]
  52. Jing Sun, Jin Song Dong, Jing Liu, Hai Wang
    Object-Z web environment and projections to UML. [Citation Graph (0, 0)][DBLP]
    WWW, 2001, pp:725-734 [Conf]
  53. Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie
    ZML: XML Support for Standard Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:437-456 [Conf]
  54. Brendan P. Mahony, Jin Song Dong
    Network Topology and a Case Study in TCOZ. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:308-327 [Conf]
  55. Jin Song Dong, Roger Duke
    Class Union and Polymorphism. [Citation Graph (0, 0)][DBLP]
    TOOLS (12/9), 1993, pp:181-190 [Conf]
  56. Jing Sun, Jin Song Dong, Jing Liu, Hai Wang
    A Formal Object Approach to the Design of ZML. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2002, v:13, n:1-4, pp:329-356 [Journal]
  57. Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:1- [Journal]
  58. Brendan P. Mahony, Jin Song Dong
    Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:2, pp:142-160 [Journal]
  59. Jin Song Dong, Ping Hao, Brendan P. Mahony
    Formal Designs for Embedded and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:2, pp:373-378 [Journal]
  60. Jin Song Dong, Roger Duke, Gordon A. Rose
    An object-oriented denotational semantics of a small programming language. [Citation Graph (0, 0)][DBLP]
    Object Oriented Systems, 1997, v:4, n:, pp:29-52 [Journal]
  61. Brendan P. Mahony, Jin Song Dong
    Timed Communicating Object Z. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:2, pp:150-177 [Journal]
  62. Jun Sun, Jin Song Dong
    Design Synthesis from Interaction and State-Based Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:6, pp:349-364 [Journal]
  63. Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora
    Formal Specification-based Online Monitoring. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:152-162 [Conf]
  64. Chunqing Chen, Jin Song Dong, Jun Sun
    Machine-Assisted Proof Support for Validation Beyond Simulink. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:96-115 [Conf]
  65. Jin Song Dong, Yuzhang Feng, Ho-fung Leung
    A Verification Framework for Agent Knowledge. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2007, pp:57-75 [Conf]
  66. Hui Liang, Jin Song Dong, Jing Sun
    Evolution and Runtime Monitoring of Software Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:343-348 [Conf]
  67. Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong
    Realizing Live Sequence Charts in SystemVerilog. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:379-388 [Conf]
  68. Ling Yuan, Jin Song Dong, Jing Sun, Hamid Abdul Basit
    Generic Fault Tolerant Software Architecture Reasoning and Customization. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2006, v:55, n:3, pp:421-435 [Journal]

  69. Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. [Citation Graph (, )][DBLP]


  70. Developing Model Checkers Using PAT. [Citation Graph (, )][DBLP]


  71. PAT: Towards Flexible Verification under Fairness. [Citation Graph (, )][DBLP]


  72. Fair Model Checking with Process Counter Abstraction. [Citation Graph (, )][DBLP]


  73. Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. [Citation Graph (, )][DBLP]


  74. Specifying and Verifying Event-Based Fairness Enhanced Systems. [Citation Graph (, )][DBLP]


  75. Scalable Multi-core Model Checking Fairness Enhanced Systems. [Citation Graph (, )][DBLP]


  76. Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. [Citation Graph (, )][DBLP]


  77. Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification. [Citation Graph (, )][DBLP]


  78. An analyzer for extended compositional process algebras. [Citation Graph (, )][DBLP]


  79. A verification system for timed interval calculus. [Citation Graph (, )][DBLP]


  80. Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. [Citation Graph (, )][DBLP]


  81. Context Awareness Systems Design and Reasoning. [Citation Graph (, )][DBLP]


  82. SpecDiff: debugging formal specifications. [Citation Graph (, )][DBLP]


  83. Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. [Citation Graph (, )][DBLP]


  84. Formal Verification of Scalable NonZero Indicators. [Citation Graph (, )][DBLP]


  85. Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base. [Citation Graph (, )][DBLP]


  86. Enhancing Semantic Web Services with Inheritance. [Citation Graph (, )][DBLP]


  87. Towards Expressive Specification and Efficient Model Checking. [Citation Graph (, )][DBLP]


  88. Integrating Specification and Programs for System Modeling and Verification. [Citation Graph (, )][DBLP]


  89. Bounded Model Checking of Compositional Processes. [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.031secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002