National University of Singapore

Dr. DONG, Jin Song Professor, Computer Science Department, School of Computing, National University of Singapore 13 Computing Drive Singapore 117417 E-mail: dcsdjs at nus dot edu dot sg

Research areas

• design analysis and model checking (PAT)
• trusted machine learning and decision making (Silas)
• context awareness and pervasive computing (Semantic Space)
• real-time concurrent system specification (TCOZ)
• web semantics, services, agent and reasoning
• formal methods and safety/security critical systems
• object, component, and language semantics

Qualifications

• PhD, University of Queensland, Australia (93 - 95) 

• BInfTech with First Class Honours, University of Queensland, Australia (89-92) - Major in Software Engineering.
  

Work Experiences

• Professor (2016) Associate Professor (2005) Assistant Professor (1998),
  Computer Science Department , School of Computing, National University of Singapore (NUS)
  
  • Member of PhD supervisors at NUS Graduate School for Integrative Sciences and Engineering (NGS)
  • Co-Director of the IPAL Lab (2013-2019)
  • PhD QE Co-ordinator (CS Department, 2008-2014).
  • Graduate Committee Member (Graduate Office, SoC, 2001-2014).
  • Assistant Dean (Graduate Office, SoC, 2005-2008).
  • Search Committee Member (CS Department, 2005-2008).
  • SINGA committee Member (NUS, 2007-2009).
  • Publication Ranking Committee (CS Department, 2001-2010).
  • CS Exco Committee Member (CS Department, 2008-2011).
• Senior Research Scientist (1998),
  Research Scientist (1995-98),
  Division of Mathematical and Information Sciences,
  Commonwealth Scientific and Industrial Research Organisation (CSIRO), Australia
• Tutor (1991-95), CS Department, The University of Queensland.
• Senior Research Assistant, Software Verification Research Centre (11/92-1/93)
  Research Assistant, CS Dept, The University of Queensland (11/91-1/92)

Some Awards/Recognition

• Fellow of Institute of Engineers Australia (2018))
• 20 Year ICFEM Most Influential System Award (2018))
• IEEE Certificate of Appreciation for Outstanding Service as the Program Co-Chair at the 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), by IEEE Computer Society
• Visiting Fellow at Kellogg College, Oxford University (elected during 2006 sabbatical)
• NUS Young Researcher Award (2004)
• Richard Jago Memorial Prize (1995),
• Australian Postgraduate Award (93-95)

Some Professional and Research Activities

• Organisations:
  • Editorial Board Member of ACM Transactions on Software Engineering and Methodology (ACM TOSEM)
  • Editorial Board Member of Formal Aspects of Computing Journal (FAoC)
  • Editorial Board Member of Innovations in Systems and Software Engineering, A NASA Journal (ISSE)
  • Steering Committee Chair of ICFEM, International Conference on Formal Engineering Methods
  • Steering Committee Vice-Chair of APSEC, Asia-Pacific Software Engineering Conference
  • Steering Committee Member of PRDC, IEEE Pacific Rim International Symposium on Dependable Computing
  • Steering Committee Member of FME, Formal Methods Europe
  • Steering Committee Member of APSEC, Asia-Pacific Software Engineering Conference
  • General Chair of the 19th International Symposium on Formal Methods, FM'14, Singapore, May 2014.
  • General Co-Chair of 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Singapore, July 2013.
  • General Co-Chair of The 15th International Conference on Formal Engineering Methods, Queenstown, NZ. Oct 29 - Nov 1, 2013.
  • Program Co-Chair of The 12th International Conference on Formal Engineering Methods, Shanghai, China, Nov 2010.
  • General Chair of 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10) 21-24 September 2010, Singapore
  • General Chair of The 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'10), Singapore, 9-11 June, 2010
  • Conference Co-Chair of 6th International Conference on Integrated Formal Methods (IFM'07), Oxford, UK, 2-6 July 2007
  • Program Co-Chair of 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), Auckland, NZ, 11-14 July 2007.
  • Tutorial Chair of the 14th International Symposium on Formal Methods, FM 2006, Canada.
  • Program Co-Chair of International Workshop on Web Languages and Formal Methods WLFM 2005, UK.
  • Program Co-Chair of ICFEM 2003, Singapore.
  • Program Co-Chair of APSEC 2000, Singapore.
• Program Committee Member of
  • The 36th International Conference on Software Engineering, ICSE'14, Hyderabad, India, June 1-7, 2014, ICSE'10, Cape Town, May 2010
  • FM 2011: 17th International Symposium of Formal Methods, Ireland. June 2011. FM'09, Eindhoven, the Netherlands, 13th FM'05, Newcastle, UK. FM'99, World Congress, Toulouse France, 1999.
  • 9th International Conference on Integrated Formal Methods IFM2012, Pisa, Italy. IFM2010, Nancy, France. IFM'07, Oxford, UK, IFM'05, Eindhoven, The Netherlands. Nov 2005 , IFM'04, Canterbury UK . IFM'02, Turku, Finland . IFM'00, Schloss Dagstuhl, Germany . IFM'99, York, UK .
  • 13th ICFEM 2011, Durham, UK. 10th ICFEM 2008, Kitakyushu-City, Japan. ICFEM'07, Florida, USA.. ICFEM'05, Manchester UK. ICFEM'04, Seattle USA. ICFEM'03, Singapore. ICFEM'02, Shanghai China, ICFEM'00, York UK , ICFEM'98, Brisbane Australia
  • The 2nd NASA Formal Methods Symposium NFM'10, Washington D.C., April 13-15, 2010
  • The 5th Annual European Semantic Web Conference ESWC 2008, Tenerife, Spain. 2008
  • The 5th International Semantic Web Conference ISWC 2006, Athens, USA. and SWESE 2006
  • 4th International Conference of B and Z Users ZB'05, Guildford UK,
  • 11th IEEE International Conference on Engineering of Complex Computer Systems ICECCS'06, Stanford University, USA. ICECCS'05, Shanghai China. ICECCS'04, Florence, Italy. ICECCS'02, Greenbelt USA. ICECCS'01, Skovde, Sweden . ICECCS'00, Tokyo, Japan. ICECCS'99, Las Vegas, USA.
  • 8th International Conference on Quality Software, QSIC'08, Oxford, UK. QSIC'07, Oregon USA . QSIC'05, Melbourne Australia. QSIC'04 Braunschweig Germany. QSIC'03, Dallas USA. APAQS'01, Hong Kong .
  • 15th APSEC'08, Beijing, China. APSEC'07, Nagoya, Japan. APSEC'06, Bangalore, India. APSEC'04, Busan, Korea. APSEC'03, Chiangmai, Thailand. APSEC'02, Gold Coast, Australia . APSEC'01, Macau . APSEC'00, Singapore . APSEC'99, Takamatsu Japan
  • 5th IEEE International Conference on Software Engineering and Formal Methods SEFM'07, London, UK. SEFM'05, Koblenz Germany. SEFM'04, Beijing China. SEFM'03, Brisbane Australia.
  • 20th International Conference on Software Engineering and Knowledge Engineering, SEKE'08, San Francisco, USA. SEKE'07, Boston, USA. SEKE'06, San Francisco Bay, USA.
  SEKE'05, Taipei Taiwan, 2005
• Research projects

Publications

Editorship

• J. S. Dong and H. Zhu (Editors), Formal Methods and Software Engineering, Proceedings of the 12th International Conference on Formal Engineering Methods, LNCS (vol 2885), Springer-Verlag, Nov 2010.
• J. S. Dong and J. Sun (Editors). Special Issue on the Grand Verification Challenge, Science of Computer Programming, Volume 74(4): (2009)
• A. Arenas, J. S. Dong, A. Martin, B. Matthews (Editors). Special Issue on Web Languages and Formal Methods (WLFM'05). Electr. Notes Theor. Comput. Sci. 151(2): (2006)
• J. S. Dong and J. Woodcock (Editors), Formal Methods and Software Engineering, Proceedings of the 5th International Conference on Formal Engineering Methods, LNCS (vol 2885), Springer-Verlag, Nov 2003.
• J. S. Dong, J. He and M. Purvis (Editors), Proceedings of The 7th Asia-Pacific Software Engineering Conference, IEEE Press. Dec 2000.

Refereed Papers in Journals/Monographs/Conferences (partial list)

• T. Tan, M. Chen, J. Sun, Y. Liu, É. André, J. S. Dong. Optimizing Selection of Competing Services with Probabilistic Hierarchical Refinement. The 38th International Conference on Software Engineering (ICSE 2016), Austin, TX, May, 2016. (accepted)
• T. Wang, J. Sun, Y. Liu, Y. Si, J.S. Dong, X. Li. A Systematic Study on Non-Zenoness Checking for Timed Automata. IEEE Transactions on Software Engineering (TSE), 41(1): 3-18 (2015).
• L. Li, J. Sun, Y. Liu, J. S. Dong: Verifying Parameterized Timed Security Protocols. FM 2015: 342-359
• G. Bai, J. Sun, J. Wu, Q. Ye, L. Li, J. S. Dong, S. Guo: All Your Sessions Are Belong to Us: Investigating Authenticator Leakage through Backup Channels on Android. ICECCS 2015: 60-69
• Q. Ye, G. Bai, K. Wang, J. S. Dong: Formal Analysis of a Single Sign-On Protocol Implementation for Android. ICECCS 2015: 90-99
• J. S. Dong, L. Shi, L. Chuong, K. Jiang, J. Sun: Sports Strategy Analytics Using Probabilistic Reasoning. ICECCS 2015: 182-185
• T. Tan, Y. Xue, M. Chen, J. Sun, Y. Liu, J. S. Dong: Optimizing selection of competing features via feedback-directed evolutionary algorithms. ISSTA 2015: 246-256
• L. Gui, J. Sun, Y. Liu, J. S. Dong: Reliability assessment for distributed systems via communication abstraction and refinement. ISSTA 2015: 293-304
• É. André, Y. Liu, J. Sun, J. S. Dong. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Real-Time System journal, 50(5-6): 620-679 (2014).
• Y. Liu, J. Sun, J. S. Dong, J. Biswas, M. Mokhtari. Towards Formal Modeling and Verification of Pervasive Computing Systems. Transactions on Computational Collective Intelligence, XVI: 62-91, Springer, 2014
• S. Lin, E. Andre, Y. Liu, J. Sun, J. S. Dong, Learning Assumptions for Compositional Verification of Timed Systems, IEEE Transactions on Software Engineering (TSE), 40(2): 137-153 (2014)
• Y. Li, J. S. Dong, J. Sun, Y. Liu. Model Checking Approach to Automated Planning, Formal Methods in System Design (FMSD) journal, Springer, 44(2): 176-202 (2014)
• S. Song, J. Zhang, Y. Liu, M. Auguston, J. Sun, J. S. Dong, T. Chen. Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix, Software and Systems Modeling (SSM) journal, Springer, April 2014.
• J. S. Dong, Y. Liu, J. Sun, X. Zhang. Towards verification of computation orchestration. Formal Aspects of Computing (FAOC). Springer, 26(4): 729-759 (2014)
• Y. Liu, W. Chen, Y. A. Liu, J. Sun, S. Zhang and J. S. Dong.Verifying Linearizability via Optimized Refinement Checking. IEEE Transactions on Software Engineering (TSE), 39(7):1018-1039, 2013.
• L. Gui, J. Sun, Y. Liu, Y. Si, J. S. Dong and X. Wang. Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution. The International Symposium in Software Testing and Analysis (ISSTA 2013) , Lugano, Switzerland, 15-20 July 2013.
• É. André, Y. Liu, J. Sun, J. S. Dong and S. Lin. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. The 25th International Conference on Computer Aided Verification (CAV 2013), Saint Petersburg, Russia, July, 2013.
• T. H. Tan, E. Andre, J. Sun, Y. Liu, J. S. Dong and M. Chen. Dynamic Synthesis of Local Time Requirement for Service Composition. The 35th International Conference on Software Engineering (ICSE 2013), San Francisco, USA, May, 2013
• G. Bai, J. Lei, G. Meng, S. Venkatraman, P. Saxena, J. Sun, Y. Liu, and J. S. Dong. AUTHSCAN: Automatic Extraction of Web Authentication Protocols from Implementations. Proceedings of the Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013
• J. Sun, Y. Liu, J. S. Dong, Y. Liu, L. Shi and E. Andre. Modeling and Verifying Hierarchical Real-time Systems using Stateful Timed CSP. ACM Transactions on Software Engineering and Methodology (TOSEM), 22(1):3:1-3:29, 2013.
• S-W. Lin, Y. Liu, J. Sun, J. S. Dong and E. Andre. Automatic Compositional Verification of Timed Systems. The 18th International Symposium on Formal Methods (FM'12), Paris, France, Auguest 27 - 31, 2012.
• T. K. Nguyen, J. Sun, Y. Liu, J. S. Dong and Y. Liu. Improved BDD-based Discrete Analysis of Timed Systems. The 18th International Symposium on Formal Methods (FM'12), Paris, France, Auguest 27 - 31, 2012.
• S. Song, J. Sun, Y. Liu, and J. S. Dong. A Model Checker for Hierarchical Probabilistic Real-time Systems. 24th International Conference on Computer Aided Verification (CAV 2012), Berkeley, California, USA, July 7-13, 2012.
• S. Song, J. Hao, Y. Liu, J. Sun, H. Leung, and J. S. Dong. Analyzing Multi-agent Systems with Probabilistic Model Checking Approach. The 34th International Conference on Software Engineering (ICSE 2012), New Ideas and Emerging Results (NIER), Zurich, Switzerland, June 2 - 9, 2012.
• S. Zhang, J. Sun, J. Pang, Y. Liu and J. S. Dong. On Combining State Space Reductions with Global Fairness Assumptions. The 17th International Symposium on Formal Methods (FM 2011), pages 432 - 447, Lero, Limerick, Ireland, June 20 - 24, 2011.
• N. N. Tun, J. S. Dong and S. Tojo. A philosophy-driven entity classification and enrichment for ontology mapping. Expert Systems, Volume 28(2), pages 138 - 166, Willey, May 2011.
• C. Chen, J. S. Dong, J. Sun and A. Martin. A Verification System for Interval-based Specification Languages, ACM Transactions on Software Engineering and Methodology (TOSEM). 19(4), pages 1 - 36, ACM. 2010.
• H. Liang, J. S. Dong, J. Sun and W. E. Wong. Software monitoring through formal specification animation, Innovations in Systems and Software Engineering, A NASA Journal. Volume 5, Issue 4, pages 231-241, Springer, December 2009.
• C. Chen, J. S. Dong and J. Sun. A Formal Framework for Modeling and Validating Simulink Diagrams. Formal Aspects of Computing. vol. 21(5), pp 451-483, 2009.
• J. Sun, Y. Liu, J. S. Dong and J. Pang. PAT: Towards Flexible Verification under Fairness. The 21th International Conference on Computer Aided Verification (CAV 2009), Grenoble, France, June 2009.
• J. Sun, Y. Liu, A. Roychoudhury, S. Liu and J. S. Dong. Fair Model Checking with Process Counter Abstraction. The 16th International Symposium on Formal Methods (FM 2009). pages 123 - 139, Eindhoven, the Netherlands, November, 2009.
• J. S. Dong, P. Hao, S. C. Qin, J. Sun and Y. Wang, Timed Automata Patterns. IEEE Transactions on Software Engineering, vol. 34(6), pp 844-859, Nov./Dec. 2008.
• S. Ferndriger, A. Bernstein, J. S. Dong, Y. Z. Feng, Y. F. Li and J. Hunter. Enhancing Semantic Web Services with Inheritance, 7th International Semantic Web conference (ISWC'08), Karlsruhe, Germany, pp 162-177, 2008.
• N. N. Tun and J. S. Dong. Ontology Generation through a Fusion of Partial Reuse and Relation Extraction, 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), pp 318-328, 2008.
• C. Chen, J. S. Dong and J. Sun. A Verification System for Timed Interval Calculus, The 30th International Conference on Software Engineering (ICSE'08), pp 271-280, 2008.
• K. Taguchi and J. S. Dong. Formally Specifying and Verifying Mobile Agents : Model Checking Mobility, International Journal of Agent-Oriented Software Engineering, vol2(4):449-474, 2008.
• H. Wang, J. S. Dong, J. Sun, T. Payne, N. Gibbins, Y. F. Li and J. Pan. An Integrated Formal Approach to Semantic Work Environments Design. Chapter in Book: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, 2008.
• C. Chen, J. S. Dong and J. Sun. A Machine-Assisted Proof Support for Validation Beyond Simulink, 9th International Conference on Formal Engineering Methods (ICFEM 2007), Florida, 2007.
• J. S. Dong, Y. Feng and H-F. Leung, A Verification Framework for Agent Knowledge. ICFEM 2007: 57-75
• J. Sun and J. S. Dong, Design Synthesis from Interaction and State-based Specifications. IEEE Transactions on Software Engineering, Vol-32(6):349-364, 2006
• H. Wang, J. S. Dong, J. Sun and J. Sun. Reasoning Support for Semantic Web Ontology Family Languages Using Alloy. International Journal of Multiagent and Grid Systems, IOS press, Vol-2(4):455-471, 2006.
• L. Yuan, J. S. Dong, J. Sun and H. A. Basit. Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Transactions on Reliability. Vol-55(3):421-435, 2006
• J. Sun, J. S. Dong, S. Jarzabek and H. Wang. CAD System Family Architecture and Verification: An Integrated Formal Approach. IEE Proceedings Software. Vol-153(3):102-112, 2006.
• J. S. Dong, P. Hao, X. Zhang, and S. Qin, HighSpec: a Tool for Building and Checking OZTA Models. 28th International Conference on Software Engineering (ICSE'06). 2006.
• D. Lucanu, Y.F. Li, J.S. Dong: Semantic Web Languages - Towards an Institutional Perspective. Essays Dedicated to Joseph A. Goguen, LNCS Springer, 2006: 99-123
• H. Liang, J. S. Dong, J. Sun, R. Duke, R. E. Seviora: Formal Specification-based Online Monitoring. ICECCS 2006: 152-162
• J. S. Dong, Y. Liu, J. Sun, X. Zhang: Verification of Computation Orchestration Via Timed Automata. ICFEM 2006: 226-245
• J. S. Dong, P. Hao, J. Sun, X. Zhang: A Reasoning Method for Timed CSP Based on Constraint Solving. ICFEM 2006: 342-359
• C. Chen, J. S. Dong: Applying Timed Interval Calculus to Simulink Diagrams. ICFEM 2006: 74-93
• J. S. Dong: From semantic web to expressive software specifications: a modeling languages spectrum. ICSE 2006: 1063-1064
• J. Sun and J. S. Dong, Synthesis of Distributed Processes from Scenario-based Specifications. Formal Methods 2005 (FM'05), LNCS, pp 415-431, Newcastle, UK. 2005.
• J.S. Dong and P. Hao and B. Mahony, Formal Designs for Embedded and Hybrid Systems. International Journal on Software Engineering and Knowledge Engineering, vol 15(2): 373-378, 2005
• J. Sun and J. S. Dong, Extracting FSMs from Object-Z Specifications with History Invariants. The 10th International Conference on Engineering of Complex Computer Systems (ICECCS'05),pp 96-105, 2005.
• J. S. Dong, R. Duke and P. Hao, Integrating Object-Z with Timed Automata . ICECCS'05:488-497, 2005. (pdf)
• J. Sun and J. S. Dong, Model Checking Live Sequence Charts. ICECCS'05:529-538, 2005.
• J. S. Dong, P. Hao, S. Qin, J. Sun and Y. Wang, Timed Patterns: TCOZ to Timed Automata. The 6th International Conference on Formal Engineering Methods (ICFEM'04), editors: J. Davies, W. Schulte and M. Barnett, LNCS, pp 483-498, Seattle. 2004.
• X. Wang, D. Zhang, J. S. Dong, C. Chin and S. Hettiarachchi. Semantic Space: A Semantic Web Infrastructure for Smart Spaces. IEEE Pervasive Computing, 3(3):32-39, July-September 2004. (pdf)
• J. S. Dong, C. Lee, H. Lee, Y. F. Li and H. Wang. A Combined Approach to Checking Web Ontologies. 13th ACM International World Wide Web Conference (WWW'04), refereed track, ACM Press, pages 714-722, NYC, USA, 2004. ( pdf )
• J. S. Dong, C. Lee, Y. F. Li and H. Wang, Verifying DAML+OIL and Beyond in Z/EVES. The 26th International Conference on Software Engineering (ICSE'04), ACM/IEEE Press, pp 201-210, Edinburgh, 2004.
• J. S. Dong. Software Modeling Techniques and the Semantic Web. The 26th International Conference on Software Engineering (ICSE'04), ACM/IEEE Press, Edinburgh, Scotland, 2004. (tutorial, slides in ps.Z (compressed ps file) or pdf )
• J. S. Dong, S. C. Qin and J. Sun. Generating Message Sequence Charts from an Integrated Formal Specification Language The 4th International Conference on Integrated Formal Methods, editors: E. Bioten, J. Derrick and G. Smith, LNCS, Springer-Verlag, pp 168-186, Canterbury, UK, 2004.
• K. Taguchi, J. S. Dong and G. Ciobanu. Relating Pi-calculus to Object-Z. The 9th IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04), editors: P. Bellini, S. Bohner and B. Steffen, IEEE Press, pp 97-106, Florence, Italy, 2004.
• J. S. Dong, J. Sun and H. Wang. Checking and Reasoning about Semantic Web through Alloy. 12th International Symposium on Formal Methods Europe (FM'03). editors: K. Araki, S. Gnesi and D. Mandrioli, LNCS, pages 796-813, Springer-Verlag, Pisa, Italy, 2003.
• S. Qin, J. S. Dong and W. N. Chin. A Semantic Foundation of TCOZ in Unifying Theory of Programming. FM'03. LNCS, pages 321-340, 2003.
• M. Utting, I, Toyn, J. Sun, A. Martin, J. S. Dong, N. Daley and D. Currie. ZML: XML Support for Standard Z. 3rd International Conference of Z and B Users (ZB'03), LNCS, Springer-Verlag, pages 437-456, Turku, Finland, 2003.
• B. Mahony and J.S. Dong. Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects of Computing journal, 13:142-160, Springer, 2002.
• J. Sun and J. S. Dong. Specifying and Reasoning about Generic Architecture in TCOZ. 9th Asia-Pacific Software Engineering Conference (APSEC'02), IEEE Press, pages 405-414, Gold Coast, Australia, 2002.
• J. Sun, J. S. Dong, J. Liu and H. Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering: An international journal, 13:329-356, Kluwer Academic Publishers, 2002.
• J. S. Dong, J. Sun and H. Wang . Z Approach to Semantic Web. International Conference on Formal Engineering Methods (ICFEM'02), LNCS, Springer-Verlag, pages 156-167, Shanghai, 2002. (pdf)
• J. S. Dong, Y. F. Li, J. Sun, J. Sun and H. Wang. XML-based static type checking and dynamic visualization for TCOZ. ICFEM'02, pages 311-322, 2002. (pdf)
• K. Taguchi and J. S. Dong. An Overview of Mobile Object-Z. ICFEM'02. pages 144-155, 2002.
• J. S. Dong, J. Sun and H. Wang. Semantic Web for Extending and Linking Formalisms. Formal Methods Europe (FME'02 - FLoC), LNCS, Springer-Verlag, pages 587-606, Copenhagen, 2002. (pdf)
• J. Sun, J. S. Dong, J. Liu and H. Wang. Object-Z Web Environment and Projections to UML. 10th ACM International World Wide Web Conference (WWW'01), refereed track, pages 725-734, ACM Press, HK, 2001.
• J. S. Dong, State, Event, Time and Diagram in System Modeling, 23th International Conference on Software Engineering (ICSE'01), pages 733-734, IEEE Press, Toronto, 2001. ( pdf , tutorial slides in pdf )
• J. Liu, J.S. Dong, B. Mahony and K. Shi. Linking UML with Integrated Formal Techniques. chapter in Book: Unified Modeling Language: Systems Analysis, Design, and Development Issues (Editors: K. Siau and T. Halpin), pages 210-223, 2001.
• B. Mahony and J.S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150-177, Feb 2000. (pdf)
• J. Liu, J.S. Dong and J. Sun. TRMCS in TCOZ. 10th IEEE International Workshop on S/W Spec & Design (IWSSD'00), IEEE Press, pages 63-72, San Diego, 2000
• J.S. Dong, B. Mahony and N. Fulton. Capturing Periodic Concurrent Interactions of Mission Computer Tasks , The 6th Asia-Pacific Software Engineering Conference (APSEC'99), IEEE Press, pages 538-545, Takamatsu, Japan, 1999.
• B. Mahony and J.S. Dong. Sensors and Actuators in TCOZ. World Congress on Formal Methods (FM'99), editors: J. Wing, J. Woodcock and J. Davies. LNCS, Vol 1709, pages 1166-1185, Springer-Verlag, Toulouse, France, 1999. (pdf)
• J.S. Dong, B. Mahony and N. Fulton. Modeling Aircraft Mission Computer Task Rates , World Congress on Formal Methods (FM'99), 1999.
• J.S. Dong, S. Jarzabek and L. O'Brien. From an Object Semantic Model to a Design of Static Program Analyser. The 11th International Conference on Software Engineering and Knowledge Engineering (SEKE'99), pages 354-361, Kaiserslautern, Germany. 1999. (postscript)
• B. Mahony and J.S. Dong. Overview of the Semantics of TCOZ. Integrated Formal Methods (IFM'99), editors: K. Araki, A. Galloway and K. Taguchi, pages 66-85, Springer-Verlag, York, UK, 1999. (postscript)
• J.S. Dong and B. Mahony. Active Object in TCOZ. In Proceedings of the 1998 IEEE International Conference on Formal Engineering Methods (ICFEM'98), editors: J. Staples, M. Hinchey and S. Liu. IEEE Press, pages 16-25, Brisbane, Australia, 1998. (postscript)
• B. Mahony and J.S. Dong. Network Topology and a Case Study in TCOZ. In Proceedings of the 11th International Conference of Z Users (ZUM'98), editors: J. P. Bowen, A. Fett and M. G. Hinchey, LNCS:1493, pages 308-327, Springer-Verlag, Berlin, 1998. (postscript)
• B. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. In Proceedings of the 20th International Conference on Software Engineering (ICSE'98), editors: K. Futatsugi and R. Kemmerer and K. Torii, IEEE Press, pages 95-104, Kyoto, Japan, 1998. (postscript).
• J.S. Dong. Formal Methods Conference Looks for Practical Connections. IEEE Software 15(1), January/February, 1998.
• J.S. Dong, N. Fulton, L. Zucconi and J. Colton. Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program. In Proceedings of the IEEE International Conference on Formal Engineering Methods (ICFEM'97), editor: M. Hinchey and S. Liu, IEEE Press, Hiroshima, Japan, 1997. (postscript)
• J.S. Dong, R. Duke and G. Rose. An Object-Oriented Denotational Semantics of A (block-structured sequential) Programming Language. Object-Oriented Systems (OOS) journal 4(1):29-52, Chapman Hall, 1997.
• J.S. Dong, L. Zucconi and R. Duke. Specifying Parallel and Distributed Systems in Object-Z. In Proceedings of the 2nd IFIP International Workshop on Software Engineering for Parallel and Distributed Systems, Boston, USA, pages 140-149, IEEE Press, 1997. (postscript)
• J.S. Dong, J. Colton and L. Zucconi. A Formal Object Approach to Real-Time specification. In Proceedings of the 1996 Asia-Pacific Software Engineering Conference (APSEC'96). IEEE Press, Seoul, Korea, 1996. (postscript)
• J.S. Dong and R. Duke. A Formal Object Model of an Object-Oriented Programming Language. In Proceedings of the 20th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'USA96), Santa Barbara, USA, 1996.
• J.S. Dong and R. Duke. The Geometry of Object Containment. Object-Oriented Systems (OOS) journal 2(1):41-63, Chapman Hall, 1995. (pdf)
• J.S. Dong. Living with Free Type and Class Union. In Proceedings of the 1995 Asia-Pacific Software Engineering Conference (APSEC'95), pages 304-312, IEEE Press, Brisbane, Australia, 1995. (postscript)
• J.S. Dong, G. Rose and R. Duke. The Role of Secondary Attributes in Formal Object Modelling. In Proceedings of the First IEEE International Conference on Engineering Complex Computer Systems (ICECCS'95). pages 31--38, Ft. Lauderdale, USA, IEEE Press, 1995. (pdf)
• J.S. Dong and R. Duke. Exclusive Control within Object Oriented Systems. In Proceedings of the 18th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'Pacific95). Melbourne, Australia, pages 123-132, Prentice-Hall, 1995. (pdf)
• J.S. Dong and R. Duke. An Object-Oriented Approach to the Formal Specification of ODP Trader. In Open Distributed Processing, II,  IFIP Transactions C: Communication Systems, C-20:341-352, North-Holland, 1994. (postscript)
• J.S. Dong, R. Duke and G. Rose. An Object-Oriented Approach to the Semantics of Programming Languages, Australian Computer Science Communications, 16(1):767-775, 1994. (postscript)
• J.S. Dong and R. Duke. Class Union and Polymorphism. In Proceedings of the 12th International Conference on Technology of Object-Oriented Languages and Systems, pages 181-190, Prentice-Hall, 1993. (postscript)

PhD Thesis

• J.S. Dong Formal Object Modelling Techniques and Denotational Semantics Studies. Computer Science Department, The University of Queensland, October 1995. thesis info , (postscript)

Keynote/Invited-Talk/Tutorial...:

• J. S. Dong, Keynote: Event-Strategy Analytics, 9th International Symposium on Theoretical Aspects of Software Engineering (TASE'15), September 12-14, 2015, Nanjing, China
• J. S. Dong, Invited Talk: Event Analytics, 11th International Colloquium on Theoretical Aspects of Computing, 17-20 Sep 2014, Bucharest, Romania.
• J. S. Dong, Tutorial: Pervasive Model Checking: PAT Approach, 11th International Colloquium on Theoretical Aspects of Computing, 17 Sep 2014, Bucharest, Romania.
• J. S. Dong, Invited Talk: Pervasive Model Checking and Event Analytics, Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation, Beijing, Oct 23-25, 2013
• J. S. Dong, J. Sun and Y. Liu. Tutorial: Build Your Own Model Checker in One Month. 35th International Conference on Software Engineering (ICSE 2013), San Francisco, USA, May 18, 2013
• J. S. Dong, Invited Talk: Pervasive Model Checking, MSR Verified Software Workshop and Summer School (Co-Chairs: Tony Hoare and Jifeng He), Shanghai, July 2012.
• J. S. Dong, J. Sun and Y. Liu. Tutorial: Build Your Own Model Checker in One Month. The 17th International Symposium on Formal Methods (FM 2011), Limerick, Ireland, June 20, 2011.
• J. S. Dong, Invited Talk: Expressive Design Techniques and Pervasive Model Checking, GRACE International symposium on Advanced Software Engineering, NII, Tokyo, Japan. March 2010.
• J. S. Dong and J. Sun. Invited Tutorial: Towards Expressive Specification and Efficient Model Checking, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China. July 2009.
• J. S. Dong, Invited Talk: A Spectrum of Modeling languages and Transformations. The Fourth Workshop on Programmable Structured Documents, University of Tokyo, Japan, Dec 2005.
• J. S. Dong, Half-Day Tutorial: Modeling Languages Spectrum: From Web Ontology to Behaviour Specifications, Formal Methods 2005 (FM'05), University of Newcastle upon Tyne, UK. July 2005.
• J. S. Dong, Half-Day Tutorial: Software Engineering Approach to Semantic Web. 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), Shanghai, China. June 2005. Slides in pdf
• J. S. Dong, Invited Talk: Formal Designs for Embedded and Hybrid Systems, International Conference on Embedded and Hybrid Systems (IEHSC), Singapore, May 2005.
• J. S. Dong, Keynote: Semantic Web in Action - Modeling and Verification, 4th International Conference on Internet Information Retrieval (ICIIR'04), Nov, Seoul, Korea, 2004.
• J. S. Dong. Full-Day Tutorial: Software Modeling Techniques and the Semantic Web. The 26th International Conference on Software Engineering (ICSE'04), ACM/IEEE Press, Edinburgh, Scotland, 2004. (slides in ps.Z (compressed ps file) or pdf )
• J. S. Dong, Half-Day Tutorial: Semantic Web and Formal Methods. 12th International Symposium on Formal Methods Europe (FM'03). Pisa, Italy, 2003. Slides in ( ps or ( pdf )
• J.S. Dong, Full-Day Tutorial: Integrated Formal Modeling Techniques and UML, 23rd International Conference on Software Engineering (ICSE'01), Toronto, Canada, 2001. ( slides with solutions in pdf )
• J.S. Dong Half-Day Tutorial: Timed Multi-Threaded Formal Object Modeling Techniques, 6th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'00) Tokyo, Japan. 2000

PhD/MSc Students

Current

• BAI Guangdong (PhD, supported by NGS)
• CHEN Manman (PhD, supported by SoC/NUS)
• GUI Lin (PhD, supported by NGS)
• LI Li (PhD, supported by SoC/NUS)
• LIU Yan (PhD, supported by MOE T2 project)
• NGUYEN Truong Khanh (PhD, supported by MOE T2 project)
• SHI Ling (PhD, supported by SoC/NUS)

Completed/Submitted

• SUN, Jing (PhD 2003, won Dean's Graduate Award and President's Graduate Fellowship, -> Associate Professor with tenure at The University of Auckland, NZ)
• WANG, Hai (PhD 2004, won Dean's Graduate Award, -> Lecturer at Aston University, UK)
• SUN, Jun (PhD 2006, won Dean's Graduate Award, -> Lee Kuan Yew Postdoctoral Fellow -> Associate Professor with tenure at Singapore University of Technology and Design)
• LI, Yuanfang (PhD 2006, won Dean's Graduate Award, President's Graduate Fellowship and Singapore Millennium Foundation PhD Scholarship, -> Lecturer at Monash University, Australia
• HAO, Ping (PhD 2008, -> Tech Lead, Prudential Service Singapore)
• YUAN, Ling (PhD 2008, -> Associate Professor at Huazhong University of Science and Technology, China)
• LIANG, Hui (PhD 2008, won IDA Fellowship, -> Postdoc at University of Texas at Dallas)
• CHEN Chunqing (PhD 2009, won Dean's Graduate Research Excellence Award, -> Researcher at HP Research Lab, Singapore)
• LIU, Yang (PhD 2010, won Microsoft Asia Research Fellowship and Dean's Graduate Research Excellence Award, -> Temasek Research Fellow at Tlab -> Assistant Professor at Nanyang Technological University)
• FENG Yuzhang (PhD 2011, -> Research Scientist, A*STAR I2R, Singapore)
• ZHANG, Xian (PhD 2012, Postdoc at I2R-NUS Research Project)
• ZHANG Shaojie (PhD 2013, -> Postdoc at SUTD)
• ZHENG Manchun (PhD 2013, -> Postdoc at University of Delaware)
• SONG SongZheng (PhD 2013, -> Research Fellow at NTU)
• TAN Tian Huat (PhD 2013, -> Postdoc at SUTD)
• LIU Yan (PhD 2014, -> Postdoc at Tlab-NUS)
• GUI Lin (PhD 2014, -> Research Scientist, HP Lab Singapore)
• SHI Ling (PhD 2014, -> Postdoc at NUS)
• NGUYEN Truong Khanh (PhD 2014, -> Postdoc at SUTD)
• LUU Anh Tuan (MSc, -> Researcher at NTU)
• WANG, Xiaohang (MSc, co-advisor, -> Google (New York City Lab))
• Huang, Xiaoning (MSc)
• TANG, Yue Linda (MSc)
• WANG, Yan (MSc)
• LIU, Jing (MSc)
• ONG, Wai Chun West Jean (MSc, co-advisor)
• TEH, Hsin Yee (MSc, co-advisor)

Useful things to know about PhD research:
Oxford University Computing Lab (preparation in pdf) ,
H.T. Kung Harvard University
M. Bellare, UCSD

Note: I am currently interested in taking new PhD students. Contact me only if you are very interested in formal methods and are exceptionally strong in discrete maths and logic. If you are one of the top students from a very good university, there is an excellent phd scholarship at NGS.

Computer Science Department School of Computing