- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j22 |      | Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André: Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Trans. Softw. Eng. Methodol. 22(1): 3 (2013) |
| c110 | | Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu: State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. VMCAI 2013: 515-535 |
| 2012 | ||
| j21 | | Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves: Editorial. Formal Asp. Comput. 24(1): 1 (2012) |
| j20 | | Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Quan Thanh Tho: SeVe: automatic tool for verification of security protocols. Frontiers of Computer Science in China 6(1): 57-75 (2012) |
| j19 | | Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng: Formal modeling and validation of Stateflow diagrams. STTT 14(6): 653-671 (2012) |
| c109 | | Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong: Complexity of the Soundness Problem of Bounded Workflow Nets. Petri Nets 2012: 92-107 |
| c108 | | Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong: Using Monterey Phoenix to Formalize and Verify System Architectures. APSEC 2012: 644-653 |
| c107 | | Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong: A Model Checker for Hierarchical Probabilistic Real-Time Systems. CAV 2012: 705-711 |
| c106 | | Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André: Automatic Compositional Verification of Timed Systems. FM 2012: 272-276 |
| c105 | | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu: Improved BDD-Based Discrete Analysis of Timed Systems. FM 2012: 326-340 |
| c104 | | Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun: Model Checking Software Architecture Design. HASE 2012: 193-200 |
| c103 | | Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari: Formal Analysis of Pervasive Computing Systems. ICECCS 2012: 169-178 |
| c102 | | Yi Li, Jing Sun, Jin Song Dong, Yang Liu, Jun Sun: Translating PDDL into CSP# - The PAT Approach. ICECCS 2012: 240-249 |
| c101 | | Étienne André, Yang Liu, Jun Sun, Jin Song Dong: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. ICECCS 2012: 253-262 |
| c100 | | Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong: Automatic Generation of Provably Correct Embedded Systems. ICFEM 2012: 214-229 |
| c99 | | Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li: More Anti-chain Based Refinement Checking. ICFEM 2012: 364-380 |
| c98 | | Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho: An Analytical and Experimental Comparison of CSP Extensions and Tools. ICFEM 2012: 381-397 |
| c97 | | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong: Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. ICFEM 2012: 398-413 |
| c96 | | Vwen Yen Lee, Yan Liu, Xian Zhang, Clifton Phua, Kelvin Sim, Jiaqi Zhu, Jit Biswas, Jin Song Dong, Mounir Mokhtari: ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT). ICOST 2012: 182-189 |
| c95 | | Songzheng Song, Jianye Hao, Yang Liu, Jun Sun, Ho-Fung Leung, Jin Song Dong: Analyzing multi-agent systems with probabilistic model checking approach. ICSE 2012: 1337-1340 |
| c94 | | Jianye Hao, Songzheng Song, Yang Liu, Jun Sun, Lin Gui, Jin Song Dong, Ho-fung Leung: Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction. PRIMA 2012: 16-30 |
| 2011 | ||
| j18 | | Nwe Ni Tun, Jin Song Dong, Satoshi Tojo: A philosophy-driven entity classification and enrichment for ontology mapping. Expert Systems 28(2): 138-166 (2011) |
| c93 | | Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu: An Efficient Algorithm for Learning Event-Recording Automata. ATVA 2011: 463-472 |
| c92 | | Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong: On Combining State Space Reductions with Global Fairness Assumptions. FM 2011: 432-447 |
| c91 | | Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong: Verification of Orchestration Systems Using Compositional Partial Order Reduction. ICFEM 2011: 98-114 |
| c90 | | Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li: PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. ICFEM 2011: 147-162 |
| c89 | | Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu: Towards a Model Checker for NesC and Wireless Sensor Networks. ICFEM 2011: 372-387 |
| c88 | | Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong: Differencing Labeled Transition Systems. ICFEM 2011: 537-552 |
| c87 | | Yang Liu, Jun Sun, Jin Song Dong: PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. ISSRE 2011: 190-199 |
| c86 | | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong: A model checking framework for hierarchical systems. ASE 2011: 633-636 |
| c85 | | Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu: Towards bug-free implementation for wireless sensor networks. SenSys 2011: 407-408 |
| 2010 | ||
| j17 | | Chunqing Chen, Jin Song Dong, Jun Sun, Andrew Martin: A verification system for interval-based specification languages. ACM Trans. Softw. Eng. Methodol. 19(4) (2010) |
| c84 | | Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Huat Tan: Model-Based Methods for Linking Web Service Choreography and Orchestration. APSEC 2010: 166-175 |
| c83 | | |
| c82 | | Jit Biswas, Mounir Mokhtari, Jin Song Dong, Philip Lin Kiat Yap: Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification. ICOST 2010: 160-170 |
| c81 | | Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong: SpecDiff: debugging formal specifications. ASE 2010: 353-354 |
| c80 | | Yang Liu, Jun Sun, Jin Song Dong: Analyzing hierarchical complex real-time systems. SIGSOFT FSE 2010: 365-366 |
| e2 | | Jin Song Dong, Huibiao Zhu (Eds.): Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science 6447, Springer 2010, isbn 978-3-642-16900-7 |
| 2009 | ||
| j16 | | Chunqing Chen, Jin Song Dong, Jun Sun: A formal framework for modeling and validating Simulink diagrams. Formal Asp. Comput. 21(5): 451-483 (2009) |
| j15 | | Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong: Software monitoring through formal specification animation. ISSE 5(4): 231-241 (2009) |
| j14 | | Jin Song Dong, Jing Sun: SCP special issue on the grand challenge - Preface. Sci. Comput. Program. 74(4): 167 (2009) |
| c79 | | |
| c78 | | Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong: Fair Model Checking with Process Counter Abstraction. FM 2009: 123-139 |
| c77 | | Yang Liu, Jun Sun, Jin Song Dong: Scalable Multi-core Model Checking Fairness Enhanced Systems. ICFEM 2009: 426-445 |
| c76 | | Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang: Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. ICFEM 2009: 581-600 |
| c75 |  | 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 |
| c74 | | |
| c73 | | Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen: Integrating Specification and Programs for System Modeling and Verification. TASE 2009: 127-135 |
| 2008 | ||
| j13 | | 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) |
| j12 | | Kenji Taguchi, Jin Song Dong: Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach. IJAOSE 2(4): 449-474 (2008) |
| j11 | | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008) |
| c72 | | Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang: Specifying and Verifying Event-Based Fairness Enhanced Systems. ICFEM 2008: 5-24 |
| c71 | | 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 |
| c70 | | Chunqing Chen, Jin Song Dong, Jun Sun: A verification system for timed interval calculus. ICSE 2008: 271-280 |
| c69 | | Yang Liu, Jun Sun, Jin Song Dong: An analyzer for extended compositional process algebras. ICSE Companion 2008: 919-920 |
| c68 | | Jun Sun, Yang Liu, Jin Song Dong: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. ISoLA 2008: 307-322 |
| c67 | | Nwe Ni Tun, Jin Song Dong: Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. KR 2008: 318-328 |
| c66 | | 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 |
| c65 | | |
| 2007 | ||
| c64 | | Jin Song Dong, Yuzhang Feng, Ho-fung Leung: A Verification Framework for Agent Knowledge. ICFEM 2007: 57-75 |
| c63 | | Chunqing Chen, Jin Song Dong, Jun Sun: Machine-Assisted Proof Support for Validation Beyond Simulink. ICFEM 2007: 96-115 |
| c62 | | |
| c61 | | Anh Tuan Luu, Tho T. Quan, Tru H. Cao, Jin Song Dong: Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base. URSW 2007 |
| c60 | | Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong: Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388 |
| 2006 | ||
| j10 | | Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. Electr. Notes Theor. Comput. Sci. 151(2): 1 (2006) |
| j9 | | 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) |
| j8 | | 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) |
| j7 | | Jun Sun, Jin Song Dong: Design Synthesis from Interaction and State-Based Specifications. IEEE Trans. Software Eng. 32(6): 349-364 (2006) |
| c59 | | Ling Yuan, Jin Song Dong, Jing Sun: Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. APSEC 2006: 209-216 |
| c58 | | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong: Semantic Web Languages - Towards an Institutional Perspective. Essays Dedicated to Joseph A. Goguen 2006: 99-123 |
| c57 | | Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora: Formal Specification-based Online Monitoring. ICECCS 2006: 152-162 |
| c56 | | Chunqing Chen, Jin Song Dong: Applying Timed Interval Calculus to Simulink Diagrams. ICFEM 2006: 74-93 |
| c55 | | Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245 |
| c54 | | Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359 |
| c53 | | Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin: HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778 |
| c52 | | Jin Song Dong: From semantic web to expressive software specifications: a modeling languages spectrum. ICSE 2006: 1063-1064 |
| c51 | | Jin Song Dong, Yuzhang Feng, Jing Sun, Jun Sun: Context Awareness Systems Design and Reasoning. ISoLA 2006: 335-340 |
| 2005 | ||
| j6 | | 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) |
| c50 | | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun: A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005: 465-472 |
| c49 | | |
| c48 | | |
| c47 | | Jun Sun, Jin Song Dong: Extracting FSMs from Object-Z Specifications with History Invariants. ICECCS 2005: 96-105 |
| c46 | | |
| c45 | | |
| c44 | | Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang: The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80 |
| c43 | | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong: Institution Morphisms for Relating OWL and Z. SEKE 2005: 286-291 |
| c42 | | Hai H. Wang, Jin Song Dong, Jing Sun, Yuan-Fang Li: TCOZ Approach to OWL-S Process Model Design. SEKE 2005: 354-359 |
| c41 | | Hai H. Wang, Jin Song Dong, Jing Sun: Reasoning Support for SWRL-FOL Using Alloy. SEKE 2005: 626-631 |
| c40 | | 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 |
| 2004 | ||
| j5 | | Xiaohang Wang, Jin Song Dong, Chung-Yau Chin, SankaRavipriya Hettiarachchi, Daqing Zhang: Semantic Space: An Infrastructure for Smart Spaces. IEEE Pervasive Computing 3(3): 32-39 (2004) |
| c39 | | Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony: Reasoning about Semantic Web in Isabelle/HOL. APSEC 2004: 46-53 |
| c38 | | Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu: Relating pi-calculus to Object-Z. ICECCS 2004: 97-106 |
| c37 | | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498 |
| c36 | | Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang: Verifying DAML+OIL and Beyond in Z/EVES. ICSE 2004: 201-210 |
| c35 | | |
| c34 | | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li: Verifying OWL and ORL Ontologies in PVS. ICTAC 2004: 265-279 |
| c33 | | Jin Song Dong, Shengchao Qin, Jun Sun: Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186 |
| c32 | | Jin Song Dong, Yuan-Fang Li, Hai H. Wang: TCOZ approach to semantic web services design. WWW (Alternate Track Papers & Posters) 2004: 442-443 |
| c31 | | 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 |
| 2003 | ||
| c30 | | Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han: Formalizing Semantics of XSLT Using Object-Z. APWeb 2003: 120-131 |
| c29 | | Shengchao Qin, Jin Song Dong, Wei-Ngan Chin: A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME 2003: 321-340 |
| c28 | | Jin Song Dong, Jing Sun, Hai H. Wang: Checking and Reasoning about Semantic Web through Alloy. FME 2003: 796-813 |
| c27 | | 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 |
| c26 | | 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 |
| e1 | | Jin Song Dong, Jim Woodcock (Eds.): Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Lecture Notes in Computer Science 2885, Springer 2003, isbn 3-540-20461-X |
| 2002 | ||
| j4 | | 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) |
| j3 | | Brendan P. Mahony, Jin Song Dong: Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Asp. Comput. 13(2): 142-160 (2002) |
| c25 | | 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 |
| c24 | | Jing Sun, Jin Song Dong: Specifying and Reasoning about Generic Architecture in TCOZ. APSEC 2002: 405- |
| c23 | | |
| c22 | | Jin Song Dong, Jing Sun, Hai H. Wang: Semantic Web for Extending and Linking Formalisms. FME 2002: 587-606 |
| c21 | | |
| c20 | | |
| c19 | | 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 |
| 2001 | ||
| p1 | | 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 |
| c18 | | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: An XML/XSL Approach to Visualize and Animate TCOZ. APSEC 2001: 453-460 |
| c17 | | |
| c16 | | Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang: Object-Z web environment and projections to UML. WWW 2001: 725-734 |
| 2000 | ||
| j2 | | Brendan P. Mahony, Jin Song Dong: Timed Communicating Object Z. IEEE Trans. Software Eng. 26(2): 150-177 (2000) |
| c15 | | |
| 1999 | ||
| c14 | | Jin Song Dong, Brendan P. Mahony, Neale Fulton: Capturing Periodic Concurrent Interactions of Mission Computer Tasks. APSEC 1999: 538-545 |
| c13 | | Brendan P. Mahony, Jin Song Dong: Sensors and Actuators in TCOZ. World Congress on Formal Methods 1999: 1166-1185 |
| c12 | | Jin Song Dong, Brendan P. Mahony, Neale Fulton: Modeling Aircraft Mission Computer Task Rates. World Congress on Formal Methods 1999: 1855 |
| c11 | | |
| c10 | | |
| 1998 | ||
| c9 | | |
| c8 | | Brendan P. Mahony, Jin Song Dong: Blending Object-Z and Timed CSP: An Introduction to TCOZ. ICSE 1998: 95-104 |
| c7 | | |
| 1997 | ||
| j1 | | 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) |
| c6 | | Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton: Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. ICFEM 1997: 161- |
| c5 | | Jin Song Dong, Lin Zucconi: A framework for adding time into formal object models. WORDS 1997: 26-31 |
| 1995 | ||
| c4 | | |
| c3 | | Jin Song Dong, Gordon A. Rose, Roger Duke: The role of secondary attributes in formal object modelling. ICECCS 1995: 31-38 |
| 1993 | ||
| c2 | | Jin Song Dong, Roger Duke: An Object-Oriented Approach to the Formal Specification of ODP Trader. Open Distributed Processing 1993: 341-352 |
| c1 | | |
Colors in the list of coauthors
Last update Sun May 19 20:27:48 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page