Teaching

Research Interests

Qualification

Work Experience

Professional Activities

Publications

Dr. Jing Sun

Associate Professor

Teaching

• SOFTENG 351 / COMPSCI 351 S1 C - Fundamentals of Database Systems
• COMPSCI 751 S1 C - Advanced Topics in Database Systems
• SOFTENG 752 S2 C - Formal Specification and Design

Research Interests

• Software Engineering, Formal Methods, Computer Aided Verification, Software Automation
• Formal Specification, Formal Verification, Simulation and Analysis
• Model Checking, Theorem Proving, Formal Reasoning

Qualification

• Ph.D. (01/2000 - 06/2003), Department of Computer Science, School of Computing, National University of Singapore, Singapore.
• B.Sc. (09/1994 - 07/1998), Department of Computer Science & Technology, Nanjing University, China.

Work Experience

• Faculty Member (08/2003 - present), School of Computer Science, University of Auckland, New Zealand.

Professional Activities

General Chair of

• 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Gold Coast, Australia, 18-22 October 2021.

Program Committee Chairs of

• 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Guangzhou, China, 10-13 November 2019.
• 20th International Conference on Formal Engineering Methods (ICFEM 2018), Gold Coast, Australia, 12-16 November 2018.
• 22nd Asia-Pacific Software Engineering Conference (APSEC 2015), New Delhi, India, 1-4 December 2015.
• 15th International Conference on Formal Engineering Methods (ICFEM 2013), Queenstown, New Zealand, 29 October - 1 November 2013.
• The First International Workshop on Model Checking Secure and Reliable systems (MoCSeRS 2010), Singapore, 9 June 2010.
• 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), Auckland, New Zealand, 11-14 July 2007.

Local Organising Chair of

• 18th International Semantic Web Conference (ISWC2019), Auckland, New Zealand.

Steering Committee Chair of

• International Conference on Engineering of Complex Computer Systems (ICECCS), IEEE Press.

Editorial Board Member of

• Innovations in Systems and Software Engineering - A NASA Journal (ISSE), Springer.

Program Committee Members of (selected list)

• 25th International Conference on Formal Engineering Methods (ICFEM 2023), Brisbane, Australia, 21-24 November 2023. (ICFEM 2022, Spain. ICFEM 2020, Singapore. ICFEM 2019, Shenzhen, China. ICFEM 2018, Gold Coast, Australia. ICFEM 2017, Xi'an, China. ICFEM 2016, Tokyo, Japan. ICFEM 2015, Paris, France. ICFEM 2014, Luxembourg. ICFEM 2013, Queenstown, New Zealand. ICFEM 2012, Kyoto, Japan. ICFEM 2011, Durham, United Kingdom. ICFEM 2010, Shanghai, China. ICFEM 2008, Kitakyushu-city, Japan.)
• 27th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2023), Toulouse, France, 14-16 June 2023. (ICECCS 2022, Japan. ICECCS 2020, Singapore. ICECCS 2019, Guangzhou, China. ICECCS 2017, Fukuoka, Japan. ICECCS 2016, Dubai, UAE. ICECCS 2015, Gold Coast, Australia. ICECCS 2014, Tianjin, China. ICECCS 2013, Singapore. ICECCS 2012, Paris, France. ICECCS 2011, Las Vegas, USA. ICECCS 2010, University of Oxford, United Kingdom. ICECCS 2009, Potsdam, Germany. ICECCS'08, Belfast, Northern Ireland. ICECCS'07, Auckland, New Zealand. ICECCS'05, Shanghai, China.)
• 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021), Australia, 15-19 November 2021. (ASE 2020, Melbourne, Australia)
• 32nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2020), Wyndham Pittsburgh University Centre, Pittsburgh, 9-11 July 2020. (SEKE 2019, Lisbon, Portugal. SEKE 2018, Redwood City, USA. SEKE 2017, Pittsburgh, USA. SEKE 2016, California, USA. SEKE 2015, Pittsburgh, USA. SEKE 2014, Vancouver, Canada. SEKE 2013, Boston, USA. SEKE 2012, San Francisco Bay, USA.)
• 14th International Symposium on Theoretical Aspects of Software Engineering (TASE 2020), Hangzhou, China, 15-17 July 2020. (TASE 2019, Guilin, China. TASE 2016, Shanghai, China. TASE 2015, Nanjing, China. TASE 2013, Birmingham, United Kingdom. TASE 2010, Taipei, Taiwan. TASE 2009, Tianjin, China.)
• 17th International Semantic Web Conference (ISWC 2018), California, USA, 8-12 October 2018. (ISWC 2017, Vienna, Austria. ISWC 2016, Kobe, Japan. ISWC 2015, Bethlehem, USA. ISWC 2014, Trentino, Italy. ISWC 2013, Sydney, Australia.)
• 24th Asia-Pacific Software Engineering Conference (APSEC 2017), Nanjing, China, 4-8 December 2017. (APSEC 2016, Hamilton, New Zealand. APSEC 2015, New Delhi, India. APSEC 2014, Korea. APSEC 2013, Bangkok, Thailand. APSEC 2012, Hong Kong, China. APSEC 2011, Ho Chi Minh city, Vietnam. APSEC 2010, Sydney, Australia. APSEC 2008, Beijing, China.)
• The 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS 2017), Prague, Czech Republic, 25-29 July 2017. (QRS 2016, Vienna, Austria. QRS 2015, Vancouver, Canada.)
• 32nd International Conference on Computers and Their Applications (CATA 2017), Honolulu, Hawaii, USA, 20-22 March 2017.(CATA 2016, Nevada, USA.)
• 5th International Conference on ASM, Alloy, B, TLA, VDM and Z (ABZ 2016), Linz, Austria, 23-27 May 2016.(ABZ 2014, Toulouse, France.)
• 13th International Conference on Software Engineering and Formal Methods (SEFM 2015), York, United Kingdom, 7-11 September 2015. (SEFM 2014, Grenoble, France.)
• 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014), Sydney, Australia, 3-7 November 2014.
• 14th International Conference on Quality Software (QSIC 2014), Dallas, USA, 2-3 October 2014. (QSIC 2013, Nanjing, China.)
• 19th International Symposium on Formal Methods (FM 2014), National University of Singapore, Republic of Singapore, 12-16 May 2014.
• 9th International Workshop on Semantic Web Enabled Software Engineering (SWESE 2013), Berlin, Germany, 2-5 December 2013. (SWESE 2012, Nara, Japan.)
• 35th Annual IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, Greece, 12-13 October 2012. (SEW-34, Limerick, Ireland. SEW-33, Skovde, Sweden.)

Publications

Editorial

• Zhe Hou, Vijay Ganesh and Jing Sun (Editors). Innovations in Systems and Software Engineering - A NASA Journal (ISSE), Volume 18, Issue 3, Springer Nature, September 2022. (DOI: 10.1007/s11334-022-00482-2)
• Jing Sun (Editor). International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Special Issue on Semantic Enabled Software Engineering (SESE), Volume 30, Issue 06, World Scientific Publishing, June 2020. (DOI: 10.1142/S0218194020020027)
• Jing Sun and Jun Pang (Editors), Proceedings of the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Guangzhou, China, IEEE Computer Society, November 2019.
• Jing Sun and Meng Sun (Editors), Formal Methods and Software Engineering, Proceedings of the 18th International Conference on Formal Engineering Methods, LNCS, Vol. 11232, Springer-Verlag, November 2018. (DOI: 10.1007/978-3-030-02450-5)
• Raghu Reddy, Jing Sun, Anjaneyulu Pasala and Arun Bahulkar (Editors), Proceedings of the 22nd Asia Pacific Software Engineering Conference (APSEC 2015), Page xi, IEEE Publisher, December 2015. (DOI: 10.1109/APSEC.2015.5)
• Lindsay Groves and Jing Sun (Editors), Formal Methods and Software Engineering, Proceedings of the 15th International Conference on Formal Engineering Methods, LNCS, Vol. 8144, Springer-Verlag, October 2013. (DOI: 10.1007/978-3-642-41202-8)
• Jin Song Dong and Jing Sun (Editors). Science of Computer Programming, Special Issue on the Grand Challenge, Volume 74, Issue 4, Elsevier, February 2009. (DOI: 10.1016/j.scico.2008.10.001)

Book Chapters

• Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang and Jeff Pan. Towards a Consistent Feature Model using OWL. Chapter IV in Book: Semantic Web Enabled Software Engineering, pages 67-91, Volume 17, Series - Studies on the Semantic Web, IOS Press, July 2014. (DOI: 10.3233/978-1-61499-370-4-67)
• Hai Wang, Jin Song Dong, Jing Sun, Terry Payne, Nick Gibbins, Yuan Fang Li and Jeff Pan. An Integrated Formal Approach to Semantic Work Environments Design. Chapter XV in Book: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, pages 262-280, Information Science Reference, Hershey, New York, USA, June 2008. (DOI: 10.4018/978-1-59904-877-2.ch015)

Referred Journal Articles

• Cheng-Hao Cai, Jing Sụn and Gillian Dobbie. Automatic Refactoring of Conditions and Substitutions for B State Transition Models. Software: Practice and Experience, Wiley, August 2023. (Online, DOI: 10.1002/spe.3255)
• Nacha Chondamrongkul and Jing Sun. Software Evolutionary Architecture: Automated Planning for Functional Changes, Science of Computer Programming, Volume 230, Elsevier, August 2023. (Online, DOI: 10.1016/j.scico.2023.102978)
• Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhe Hou, Hadrien Bride, Jin Song Dong and Scott Uk-Jin Lee. Fast Automated Abstract Machine Repair using Simultaneous Modifications and Refactoring, Formal Aspects of Computing: Applicable Formal Methods (FAC), Association for Computing Machinery, May 2022. (Online, DOI: 10.1145/3536430)
• Yezhou Liu, Radu Nicolescu and Jing Sun. Towards Automated Deduction in cP Systems, Information Sciences, Volume 587, Pages 435-449, Elsevier, March 2022. (DOI: 10.1016/j.ins.2021.12.035)
• Cheng-Hao Cai, Jing Sun and Gillian Dobbie. B Model Quality Assessments on Automated Reachability Repair with ISO/IEC 25010, Science of Computer Programming, Volume 214, Elsevier, February 2022. (DOI: 10.1016/j.scico.2021.102732)
• Yezhou Liu, Radu Nicolescu and Jing Sun. Formal Verification of cP Systems Using Coq, Journal of Membrane Computing, Volume 3, pages 205-220, Springer, August 2021. (DOI: 10.1007/s41965-021-00080-4)
• Nacha Chondamrongkul, Jing Sun and Ian Warren. Software Architectural Migration: An Automated Planning Approach, ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 30, Issue 4, pages 1–35, Association for Computing Machinery, July 2021. (DOI: 10.1145/3461011)
• Yezhou Liu, Radu Nicolescu and Jing Sun. An Efficient Labelled Nested Multiset Unification Algorithm. Journal of Membrane Computing, Volume 3, pages 194-204, Springer, May 2021. (DOI: 10.1007/s41965-021-00076-0)
• Bingyang Wei and Jing Sun. Leveraging SPARQL Queries for UML Consistency Checking. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Volume 31, Issue 04, pages 635-654, May 2021. (DOI: 10.1142/S0218194021500170)
• Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhe Hou, Seyedali Mirjalili and Jing Sun. Silas: A High-Performance Machine Learning Foundation for Logical Reasoning and Verification, Expert Systems with Applications, Volume 176, Elsevier, March 2021. (DOI: 10.1016/j.eswa.2021.114806)
• Yezhou Liu, Radu Nicolescu, Jing Sun, Alec Henderson. A Sublinear Sudoku Solution in cP Systems and its Formal Verification. Computer Science Journal of Moldova, Vol. 29, No. 1 (85), pages 3–28, March 2021. (Online)
• Nacha Chondamrongkul, Jing Sun and Ian Warren. Formal Security Analysis for Software Architecture Design: An Expressive Framework to Emerging Architectural Styles, Science of Computer Programming, Elsevier, February 2021. (DOI: 10.1016/j.scico.2021.102631)
• Nacha Chondamrongkul, Jing Sun, Ian Warren and Scott Uk-Jin Lee. Integrated Formal Tools for Software Architecture Smell Detection. International Journal of Software Engineering and Knowledge Engineering, Volume 30, Issue 06, Special Issue on Semantic Enabled Software Engineering, Pages 723-763, World Scientific Publishing, June 2020. (DOI: 10.1142/S0218194020400057)
• Yezhou Liu, Radu Nicolescu and Jing Sun. Formal Verification of cP Systems Using PAT3 and ProB. Journal of Membrane Computing, Pages 80–94, Springer, March 2020. (DOI: 10.1007/s41965-020-00036-0)
• Longyu Ma, Chiu-Wing Sham, Jing Sun and Raul Valencia Tenorio. A Real-Time Flexible Telecommunication Decoding Architecture using FPGA Partial Reconfiguration, IEEE Transactions on Circuits and Systems II: Express Briefs, IEEE Press, November 2019. (DOI: 10.1109/TCSII.2019.2953700)
• Cheng-Hao Cai, Jing Sun and Gillian Dobbie. Automatic B-model Repair using Model Checking and Machine Learning, Automated Software Engineering, Volume 26 Issue 3, Pages 653-704, Springer, August 2019. (Online, DOI: 10.1007/s10515-019-00264-4)
• Cheng-Hao Cai, Yanyan Xu, Dengfeng Ke, Kaile Su and Jing Sun. Trainable Back-propagated Functional Transfer Matrices, Applied Intelligence, pages 1-20, Springer, August 2018. (DOI: 10.1007/s10489-018-1266-3)
• Pengyi Li, Jing Sun and Hai Wang. Formal Approach to Assertion-Based Code Generation. International Journal of Software Engineering and Knowledge Engineering, Vol. 27, Nos. 9&10, Pages 1637–1662, World Scientific Publishing, December 2017. (DOI: 10.1142/S0218194017400162)
• M. Shaban Jokhio, Jing Sun, Gillian Dobbie and Tianming Hu. Goal-based Testing of Semantic Web Services. Journal of Information and Software Technology, Volume 83, pages 1-13, Elsevier, March 2017. (DOI: 10.1016/j.infsof.2016.11.011)
• Candice Eckert, Brian Cham, Jing Sun, Gillian Dobbie and Pengyi Li. Linking Design Model with Code. International Journal of Software Engineering and Knowledge Engineering, Vol. 26, Nos. 9&10, Pages 1473–1491, World Scientific Publishing, December 2016. (DOI: 10.1142/S0218194016400131)
• Huiquan Zhu, Jing Sun, Jin Song Dong and Shang-Wei Lin. From Verified Model to Executable Program: the PAT Approach. Innovations in Systems and Software Engineering: A NASA Journal, Volume 12, Issue 1, pages 1–26, Springer, March 2016. (DOI: 10.1007/s11334-015-0269-z)
• Yi Li, Jin Song Dong, Jing Sun, Yang Liu and Jun Sun. Model Checking Approach to Automated Planning. Formal Methods in System Design, Volume 44, Issue 2, pages 176-202, Springer, April 2014. (DOI: 10.1007/s10703-013-0197-1)
• Tianming Hu, Chuanren Liu, Yong Tang, Jing Sun, Hui Xiong and Sam Yuan Sung. High-dimensional Clustering: a Clique-based Hypergraph Partitioning Framework. Knowledge and Information Systems - An International Journal, Volume 39, Issue 1, pages 61-88, Springer, April 2014. (DOI: 10.1007/s10115-012-0609-3)
• Hai H. Wang, Danica Damljanovic and Jing Sun. An Automated Tool for Semantic Accessing to Formal Software Models. Science of Computer Programming, Special Issue on Systems Development by means of Semantic Technologies, Volume 95, Part 1, pages 93-111, Elsevier, March 2014. (DOI: 10.1016/j.scico.2014.02.027)
• Tianming Hu, Sam Yuan Sung, Jing Sun, Xiao-Wei Ai and Peter A. Ng. A Linear Transform Scheme for Building Weighted Scoring Rules. Intelligent Data Analysis - An International Journal, Volume 16, Number 3, pages 383-407, IOS Press, May 2012. (DOI: 10.3233/IDA-2012-0530)
• Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun and Lindsay Groves. Theorem Prover Approach to Semistructured Data Design. Formal Methods in System Design, Volume 37, Issue 1, pages 1-60, Springer, November 2010. (DOI: 10.1007/s10703-010-0099-4)
• Hui Liang, Jin Song Dong, Jing Sun and W. Eric 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. (DOI: 10.1007/s11334-009-0096-1)
• Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun and Lindsay Groves. Formal Verification of Semistructured Data Models in PVS. Journal of Universal Computer Science, Special Issue on Logic, Abstract State Machines and Databases, Volume 15, Issue 1, pages 241-272, January 2009. (DOI: 10.3217/jucs-015-01-0241)
• Hai Wang and Jing Sun. A Semantic Web Environment for Components. The Knowledge Engineering Review, Special Issue on Ontology, Conceptualization and Epistemology for Software and System Engineering, Volume 24, Issue 1, pages 59-75, Cambridge University Press, United Kingdom, January 2009. (DOI: 10.1017/S0269888909000137)
• Jun Sun, Yang Liu, Jin Song Dong and Jing Sun. Compositional Encoding for Bounded Model Checking. Frontiers of Computer Science in China, Higher Education Press and Springer-Verlag, Volume 2, Issue 4, pages 368-379, December 2008. (DOI: 10.1007/s11704-008-0035-6)
• Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang and Jeff Pan. Verifying Feature Models using OWL. Journal of Web Semantics: Science, Services and Agents on the World Wide Web. Volume 5, Issue 2, Pages 117-129, Elsevier, June 2007. (DOI: 10.1016/j.websem.2006.11.006)
• Hai Wang, Jin Song Dong, Jing Sun and Jun Sun. Reasoning Support for Semantic Web Ontology Family Languages using Alloy. International Journal of Multiagent and Grid Systems, Special issue on Agent-Oriented Software Development Methodologies, Volume 2, Number 4, pages 455-471, IOS press, December 2006. (DOI: 10.3233/MGS-2006-2410)
• Yuan Fang Li, Jing Sun, Gillian Dobbie, Hai Wang and Jun Sun. Reasoning about ORA-SS Data Models using the Semantic Web. Journal on Data Semantics VII, Lecture Notes in Computer Science, Volume 4244, pages 219-241, Springer, November 2006. (DOI: 10.1007/11890591_8)
• Ling Yuan, Jin Song Dong, Jing Sun and Hamid Abdul Basit. Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Transactions on Reliability, Volume 55, Number 3, pages 421-435, September 2006. (DOI: 10.1109/TR.2006.879605)
• Jing Sun, Jin Song Dong, Stanislaw Jarzabek and Hai Wang. Computer-Aided Dispatch System Family Architecture and Verification: An Integrated Formal Approach. IEE Proceedings Software, Volume 153, Number 3, pages 102-112, June 2006. (DOI: 10.1049/ip-sen:20050014)
• Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie and Yuan Fang Li. A Z Approach in Validating ORA-SS Data Models. Electronic Notes in Theoretical Computer Science, Volume 157, Issue 1, Pages 95-109, Elsevier, Amsterdam, The Netherlands, May 2006. (DOI: 10.1016/j.entcs.2006.01.025)
• Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering, Volume 13, Issue 1-4, pages 329-356, Springer Netherlands, June 2002. (DOI: 10.1023/A:1016513914276)

Referred Conference Proceedings

• Yezhou Liu, Jing Sun, Radu Nicolescu and Hai Wang. cPV – Simulation and Verification for Membrane Computing. 22nd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2022), pages 606-615, Guangzhou, China, 5-9 December 2022. (DOI: 10.1109/QRS57517.2022.00067)
• Nacha Chondamrongkul and Jing Sun. Architectural Refactoring for Functional Properties in Evolutionary Architecture. 19th International Conference on Software Architecture (ICSA 2022), pages 146-156, Honolulu, Hawaii, USA, 12-15 March 2022. (DOI: 10.1109/ICSA53651.2022.00022)
• Nacha Chondamrongkul, Jing Sun and Ian Warren. Automated Planning for Software Architectural Migration. 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020), pages 216-224, Singapore, 28-31 October 2020. (DOI: 10.1109/ICECCS51672.2020.00032)
• Behzad Farokhi, Katharina Dost, Gerald Weber, Jing Sun and Christof Lutteroth. The Semantic Spreadsheet. 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020), pages 171-176, Singapore, 28-31 October 2020. (DOI: 10.1109/ICECCS51672.2020.00027)
• Yezhou Liu, Radu Nicolescu and Jing Sun. Multiset Unification and cP System Simulation. International Conference on Membrane Computing (ICMC 2020), 14-18 September 2020.
• Nacha Chondamrongkul, Jing Sun and Ian Warren. Formal Software Architecture Migration Towards Emerging Architectural Styles. 14th European Conference on Software Architecture (ECSA 2020), pages 21-38, Springer, L'Aquila, Italy, 14-18 September 2020. (DOI: 10.1007/978-3-030-58923-3_2)
• Chenghao Cai, Jing Sun and Gillian Dobbie. Measuring the Quality of B Abstract Machines with ISO/IEC 25010. 14th International Symposium on Theoretical Aspects of Software Engineering (TASE 2020), pages 169-176, Hangzhou, China, 15-17 July 2020. (DOI: 10.1109/TASE49443.2020.00031)
• Nacha Chondamrongkul, Jing Sun and Ian Warren. Formal Security Analysis for Blockchain-based Software Architecture. 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2020), pages 532-537, Wyndham Pittsburgh University Center, Pittsburgh, USA, 9-11 July 2020. (DOI: 10.18293/SEKE2020-024)
• Nacha Chondamrongkul, Jing Sun, Ian Warren and Scott Uk-Jin Lee. Semantic-based Architecture Smell Analysis. 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020), in Proceedings of the 42nd International Conference on Software Engineering (ICSE 2020), pages 109-118, Seoul, Korea, 23-29 May 2020. (DOI: 10.1145/3372020.3391564)
• Nacha Chondamrongkul, Jing Sun and Ian Warren. Automated Security Analysis for Microservice Architecture, IEEE International Conference on Software Architecture (ICSA 2020), New and Emerging Ideas (NEMI) track, pages 79-82, IEEE Press, Salvador, Brazil, 16-20 March 2020. (DOI: 10.1109/ICSA-C50368.2020.00024)
• Cheng-Hao Cai, Jing Sun, Gill Dobbie and Scott Uk-Jin Lee. Achieving Abstract Machine Reachability with Learning-based Model Fulfilment. 26th Asia-Pacific Software Engineering Conference (APSEC 2019), pages 260-267, IEEE Press, Putrajaya, Malaysia, 2-5 December 2019. (DOI: 10.1109/APSEC48747.2019.00043)
• Yezhou Liu, Radu Nicolescu and Jing Sun. Formal Approach to cP system Verification. The International Conference on Membrane Computing (Asian Branch) (ACMC 2019), Xiamen, China, 14-17 November 2019. (Best Paper Award)
• Cheng-Hao Cai, Jing Sun and Gillian Dobbie. Design Model Repair with Formal Verification. 21st International Conference on Formal Engineering Methods (ICFEM 2019), pages 489-492, Shenzhen, China, Springer, 5-9 November 2019. (DOI: 10.1007/978-3-030-32409-4_30)
• Nacha Chondamrongkul, Jing Sun and Ian Warren. PAT approach to Architecture Behavioural Verification. 31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), pages 187-192, Hotel Tivoli Oriente, Lisbon, Portugal, 10-12 July 2019. (DOI: 10.18293/SEKE2019-041)
• Luke Tudor, Jing Sun, Hai Wang and Bingyang Wei. Semantic Rule Based Program Monitoring. 31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), pages 297-300, Hotel Tivoli Oriente, Lisbon, Portugal, 10-12 July 2019. (DOI: 10.18293/SEKE2019-043)
• Nacha Chondamrongkul, Jing Sun, Bingyang Wei and Ian Warren. Parallel Verification of Software Architecture Design. 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), pages 50-57, Hangzhou, China, 3-5 January 2019. (DOI: 10.1109/HASE.2019.00018)
• Chenghao Cai, Jing Sun and Gillian Dobbie. B-Repair: Repairing B-Models Using Machine Learning. 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), pages 31-40, Melbourne, Australia, 12-14 December 2018. (DOI: 10.1109/ICECCS2018.2018.00012)
• Nacha Chondamrongkul, Jing Sun and Ian Warren. Ontology-based Software Architectural Pattern Recognition and Reasoning. 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), Pages 23-28, San Francisco Bay, California, USA, 1-3 July 2018. (DOI: 10.18293/SEKE2018-012)
• Bingyang Wei, Jing Sun and Yi Wang. A Knowledge Engineering Approach to UML Modeling. 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), Pages 60-63, San Francisco Bay, California, USA, 1-3 July 2018. (DOI: 10.18293/SEKE2018-114)
• Catherine Shanly, Michael Ieti, Ian Warren and Jing Sun. BackPocketDriver – A Mobile App to Enhance Safe Driving for Youth. 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), Pages 246-249, San Francisco Bay, California, USA, 1-3 July 2018. (DOI: 10.18293/SEKE2018-011)
• Pengyi Li, Jing Sun and Hai Wang. Towards Code Generation from Design Models. 29th International Conference on Software Engineering and Knowledge Engineering (SEKE 2017), Pages 242-247, Wyndham Pittsburgh University Center, Pittsburgh, USA, 5-7 July 2017. (DOI: 10.18293/SEKE2017-133)
• Anmol Desai, Nicholas Molloy, Jing Sun and Gillian Dobbie. Visual Development Platform for Ruby on Rails. 29th International Conference on Software Engineering and Knowledge Engineering (SEKE 2017), Page 623, Wyndham Pittsburgh University Center, Pittsburgh, USA, 5-7 July 2017. (DOI: 10.18293/SEKE2017-047)
• Chuan-Yu Wu, Bom Yi Lee, Jing Sun, Yin Yin Latt, Kim Shepherd and Jared Watts. Named Entity Extraction and Classification in Digital Publications. 29th International Conference on Software Engineering and Knowledge Engineering (SEKE 2017), Page 626, Wyndham Pittsburgh University Center, Pittsburgh, USA, 5-7 July 2017. (DOI: 10.18293/SEKE2017-132)
• Akshay Kalyan, Matthew Chiam, Jing Sun and Sathiamoorthy Manoharan. A Collaborative Code Review Platform for GitHub. 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), pages 191-196, Dubai, UAE, 6-8 November 2016. (DOI: 10.1109/ICECCS.2016.032)
• Elliot Varoy, John Burrows, Jing Sun and Sathiamoorthy Manoharan. From Code to Design: A Reverse Engineering Approach. 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), pages 181-186, Dubai, UAE, 6-8 November 2016. (DOI: 10.1109/ICECCS.2016.030)
• Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun and Jin Song Dong. Service Adaptation with Probabilistic Partial Models, 18th International Conference on Formal Engineering Methods (ICFEM 2016), TKP Conference Centre, Tokyo, Japan, pages 122-140, Springer, 14-18 November 2016. (DOI: 10.1007/978-3-319-47846-3_9)
• Candice Eckert, Brian Cham, Jing Sun and Gillian Dobbie. From Design to Code: An Educational Approach, 28th International Conference on Software Engineering & Knowledge Engineering (SEKE 2016), pages 443-448, Redwood City, San Francisco Bay, California, USA, 1-3 July 2016. (DOI: 10.18293/SEKE2016-007)
• Jin Song Dong, Ling Shi, Le Vu Nguyen Chuong, Kan Jiang and Jing Sun. Sports Strategy Analytics Using Probabilistic Reasoning, 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), pages 182-185, Gold Coast, Australia, 9-12 December 2015. (DOI: 10.1109/ICECCS.2015.28)
• Jin Song Dong, Jun Sun, Yang Liu, Yuan Fang Li, Jing Sun and Ling Shi. Event and Strategy Analytics. 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), pages 4-6, Nanjing, China, 12-14 September 2015. (DOI: 10.1109/TASE.2015.28)
• M. Shaban Jokhio, Gillian Dobbie, Tianming Hu and Jing Sun. Automated Mutation-based Test Case Evaluation for Semantic Web Services. 23rd Australasian Software Engineering Conference (ASWEC 2014), pages 210-219, Sydney, Australia, 7-10 April 2014. (DOI: 10.1109/ASWEC.2014.13)
• M. Shaban Jokhio, Gillian Dobbie, Jing Sun and Tianming Hu. Web Services Testing via Goal and Mutation, 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013), pages 159-162, National University of Singapore, Singapore, 17-19 July 2013. (DOI: 10.1109/ICECCS.2013.30)
• Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong and Jun Sun. Model Checking Software Architecture Design, 14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012), pages 193-200, University of Nebraska Omaha, USA, 25-27 October 2012. (DOI: 10.1109/HASE.2012.12)
• Yi Li, Jing Sun, Jin Song Dong, Yang Liu and Jun Sun. Planning as Model Checking Tasks, 35th Annual IEEE Software Engineering Workshop, pages 177-186, Heraclion, Crete, Greece, 12-13 October 2012. (DOI: 10.1109/SEW.2012.25)
• Yi Li, Jing Sun, Jin Song Dong, Yang Liu and Jun Sun. Translating PDDL into CSP# - the PAT Approach. 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), pages 240-249, Ecole Normale Superieure, Paris, France, 18-20 July 2012. (DOI: 10.1109/ICECCS.2012.41)
• Jing Sun, Hai H. Wang and Tianming Hu. Design Software Architecture Models using Ontology. 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), pages 191-196, Eden Roc Renaissance Miami Beach, USA, July 7-9, 2011. (BibTex, PDF)
• Jing Sun, Hai H. Wang and Hui Gu. Semantic Enabled Sensor Network Design. 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), pages 179-184, Eden Roc Renaissance Miami Beach, USA, July 7-9, 2011. (BibTex, PDF)
• Tianming Hu, Chuanren Liu, Jing Sun, Sam Yuan Sung and Peter A. Ng. Pairwise Constrained Clustering with Group Similarity-Based Patterns. 9th International Conference on Machine Learning and Applications (ICMLA 2010), pages 260-265, Washington DC, USA, December 12-14, 2010. (DOI: 10.1109/ICMLA.2010.45)
• Hai H. Wang, Danica Damljanovic and Jing Sun. Enhanced Semantic Access to Formal Software Models. 12th International Conference on Formal Engineering Methods (ICFEM 2010), pages 237-252, Shanghai, China, November 16-19, 2010. (DOI: 10.1007/978-3-642-16901-4_17)
• M. Shaban Jokhio, Gillian Dobbie and Jing Sun. A Framework for Testing Semantic Web Services using Model Checking. 4th South-East European Workshop on Formal Methods (SEEFM 2009), pages 17-24, Thessaloniki, Greece, December 4-5 2009. (DOI: 10.1109/SEEFM.2009.11)
• Yuan Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee and Hai Wang. Verifying Semistructured Data Normalization using SWRL. 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), pages 193-200, Tianjin, China, July 29-31, 2009. (DOI: 10.1109/TASE.2009.11)
• M. Shaban Jokhio, Gillian Dobbie and Jing Sun. Towards Specification Based Testing for Semantic Web Services. 20th Australasian Software Engineering Conference (ASWEC 2009), pages 54-63, Gold Coast, Queensland, Australia, April 14-17, 2009. (DOI: 10.1109/ASWEC.2009.38)
• Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi and Xian Zhang. Specifying and Verifying Sensor Networks: an Experiment of Formal Methods. 10th International Conference on Formal Engineering Methods (ICFEM 2008), pages 318-337, Kitakyushu, Japan, October 27-31, 2008. (DOI: 10.1007/978-3-540-88194-0_20)
• Jun Sun, Yang Liu, Jin Song Dong and Jing Sun. Bounded Model Checking of Compositional Processes. 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), pages 23-30, Nanjing, China, June 17-19, 2008. (DOI: 10.1109/TASE.2008.12)
• Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie and Lindsay Groves. Verifying Semistructured Data Normalization using PVS. 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), pages 15-24, Belfast, Northern Ireland, March 31 - April 4, 2008. (DOI: 10.1109/ICECCS.2008.23)
• Stephen Wong, Jing Sun, Ian Warren and Jun Sun. A Scalable Approach to Multi-Style Architectural Modeling and Verification. 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), pages 25-34, Belfast, Northern Ireland, March 31 - April 4, 2008. (DOI: 10.1109/ICECCS.2008.16)
• Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves and Yuan Fang Li. Correctness Criteria for Normalization of Semistructured Data. 19th Australasian Software Engineering Conference (ASWEC 2008), pages 248-257, Perth, Australia, March 26-28, 2008. (DOI: 10.1109/ASWEC.2008.4483213)
• Hui Liang, Jin Song Dong and Jing Sun. Evolution and Runtime Monitoring of Software Systems. 19th International Conference on Software Engineering and Knowledge Engineering (SEKE'07), pages 343-348, Boston, USA, July 9-11, 2007. (BibTex, PDF)
• Hui Liang and Jing Sun. Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection. 19th International Conference on Software Engineering and Knowledge Engineering (SEKE'07), pages 77-80, Boston, USA, July 9-11, 2007. (BibTex, PDF)
• Gillian Dobbie, Jing Sun, Yuan Fang Li and Scott Uk-Jin Lee. Extended abstract: towards verifying semistructured data. 4th Asia-Pacific Conference on Conceptual Modelling (APCCM 2007), pages 11-14, Ballarat, Australia, January 2007. (BibTex, PDF)
• Gillian Dobbie, Jing Sun, Yuan Fang Li and Scott Uk-Jin Lee. Research into Verifying Semistructured Data. 3rd International Conference on Distributed Computing and Internet Technology (ICDCIT 2006), pages 361-374, Bhubaneswar, India, December 20-23, 2006. (DOI: 10.1007/11951957_32)
• Ling Yuan, Jin Song Dong and Jing Sun. Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. 13th Asia Pacific Software Engineering Conference (APSEC06), pages 209-216, Bangalore, India, December 6-8, 2006. (DOI: 10.1109/APSEC.2006.44)
• Jin Song Dong, Yuzhang Feng, Jing Sun and Jun Sun. Context Awareness Systems Design and Reasoning. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pages 335-340, Paphos, Cyprus, November 2006. (DOI: 10.1109/ISoLA.2006.29)
• Ian Warren, Jing Sun, Sanjev Krishnamohan and Thiranjith Weerasinghe. An Automated Formal Approach to Managing Dynamic Reconfiguration. 21st IEEE International Conference on Automated Software Engineering (ASE 2006), pages 37-46, Tokyo, Japan, September 2006. (DOI: 10.1109/ASE.2006.12)
• Hui Liang, Jin Song Dong, Jing Sun, Roger Duke and Rudolph E. Seviora. Formal Specification-based Online Monitoring. 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006), IEEE Press, pages 152-160, Stanford University, CA, USA, August 2006. (DOI: 10.1109/ICECCS.2006.1690364)
• Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun and Lindsay Groves. A PVS Approach to Verifying ORA-SS Data Models. 18th International Conference on Software Engineering and Knowledge Engineering (SEKE 2006), pages 126-131, San Francisco Bay, USA, July 2006. (BibTex, PDF)
• Yuan Fang Li, Jing Sun, Gillian Dobbie, Jun Sun and Hai Wang. Validating Semistructured Data using OWL. 7th International Conference on Web-Age Information Management (WAIM'06), Springer, pages 520-531, Hong Kong, China, June 2006. (DOI: 10.1007/11775300_44)
• Lin Wang, Gillian Dobbie, Jing Sun and Lindsay Groves. Validating ORA-SS Data Models using Alloy. 17th Australian Software Engineering Conference (ASWEC 2006), pages 231-240, Sydney, Australia, April 2006. (DOI: 10.1109/ASWEC.2006.54)
• Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang and Jeff Pan. A Semantic Web Approach to Feature Modeling and Verification. Workshop on Semantic Web Enabled Software Engineering (SWESE'05), Galway, Ireland, November 2005. (BibTex, PDF)
• Jing Sun, Hai Wang, Sasanka Athauda and Tazkiya Sheik. SVG Web Environment for Z Specification Language. 7th International Conference on Formal Engineering Methods (ICFEM'05), LNCS, Springer-Verlag, pages 480-494, Manchester, United Kingdom, November 2005. (DOI: 10.1007/11576280_33)
• Jun Sun, Yuan Fang Li, Hai Wang and Jing Sun. Visualizing and Simulating Semantic Web Services Ontologies. 7th International Conference on Formal Engineering Methods (ICFEM'05), LNCS, Springer-Verlag, pages 435-449, Manchester, United Kingdom, November 2005. (DOI: 10.1007/11576280_30)
• Santokh Singh, John Grundy, John Hosking and Jing Sun. An Architecture for Developing Aspect-Oriented Web Services. 3rd European Conference on Web Services (ECOWS'05), pages 72-82, Vaxjo, Sweden, November 2005. (DOI: 10.1109/ECOWS.2005.7)
• Hai Wang, Jin Song Dong and Jing Sun. Reasoning Support for SWRL-FOL using Alloy. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pages 626-631, Taipei, Taiwan, July 2005. (BibTex, PDF)
• Hai Wang, Jin Song Dong, Jing Sun and Yuan Fang Li. TCOZ Approach to OWL-S Process Model Design. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pages 354-359, Taipei, Taiwan, July 2005. (BibTex, PDF)
• Jing Sun, Hongyu Zhang, Yuan Fang Li and Hai Wang. Formal Semantics and Verification for Feature Modeling. 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), pages 303-312, IEEE Press, Shanghai, China, June 2005. (DOI: 10.1109/ICECCS.2005.48)
• Hai Wang, Yuan Fang Li, Jing Sun and Hongyu Zhang. Verify feature models using protégé-OWL. 14th International World Wide Web Conference (WWW'05), poster track, ACM Press, pages 1038-1039, Chiba, Japan, May 2005. (DOI: 10.1145/1062745.1062857)
• Yue Tang, Jing Sun, Jin Song Dong and Brendan Mahony. Reasoning about Semantic Web in Isabelle/HOL. 11th Asia-Pacific Software Engineering Conference (APSEC'04), IEEE Press, pages 46-53, Busan, Korea, December 2004. (DOI: 10.1109/APSEC.2004.82)
• Jin Song Dong, Jing Sun and Hai Wang. Checking and Reasoning about Semantic Web through Alloy. 12th International Formal Methods Europe Symposium (FME'03), LNCS, Springer-Verlag, pages 796-813, Pisa, Italy, September 2003. (DOI: 10.1007/978-3-540-45236-2_43)
• Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley and David 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, June 2003. (DOI: 10.1007/3-540-44880-2_26)
• Jing Sun and Jin Song 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, December 2002. (DOI: 10.1109/APSEC.2002.1183010)
• Jin Song Dong, Jing Sun and Hai Wang. Z Approach to Semantic Web. 4th International Conference on Formal Engineering Methods (ICFEM'02), LNCS, Springer-Verlag, pages 156-167, Shanghai, China, October 2002. (DOI: 10.1007/3-540-36103-0_18)
• Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun and Hai Wang. XML-based Static Type Checking and Dynamic Visualization for TCOZ. 4th International Conference on Formal Engineering Methods (ICFEM'02), LNCS, Springer-Verlag, pages 311-322, Shanghai, China, October 2002. (DOI: 10.1007/3-540-36103-0_33)
• Jin Song Dong, Jing Sun and Hai Wang. Semantic Web for Extending and Linking Formalisms. 11th International Symposium of Formal Methods Europe (FME'02), LNCS, Springer-Verlag, pages 587-606, Copenhagen, Denmark, July 2002. (DOI: 10.1007/3-540-45614-7_33)
• Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. A XML/XSL Approach to Visualize and Animate TCOZ. 8th Asia-Pacific Software Engineering Conference (APSEC'01), IEEE Press, pages 453-460, Macau SAR, China, December 2001. (DOI: 10.1109/APSEC.2001.991514)
• Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. Object-Z Web Environment and Projections to UML. 10th International World Wide Web Conference (WWW'01), refereed paper track, ACM Press, pages 725-734, Hong Kong, China, May 2001. (DOI: 10.1145/371920.372189)
• Jing Liu, Jin Song Dong and Jing Sun. TRMCS in TCOZ. 10th IEEE International Workshop on Software Specification & Design (IWSSD'00), IEEE Press, pages 63-72, San Diego, USA, November 2000. (DOI: 10.1109/IWSSD.2000.891127)

PhD Studentship

I am currently interested in recruiting new Ph.D. students in the fields related to Software Engineering, Quality Assurance, AI/Machine Learning, Software Automation, and their associated subjects. For more details regarding entry requirements and application procedure, please consult the doctoral study information page on the University of Auckland's official website.

• If you are among the top students from reputable universities, there is the opportunity to apply for the University of Auckland Doctoral Scholarship, in addition to various other postgraduate scholarships and country-specific scholarships.
• Chinese applicants who are high-achieving students have the option to pursue the China Scholarship Council (CSC) scholarship, which is a collaboration between the University of Auckland and the China Scholarship Council (CSC).
• Furthermore, the New Zealand Government provides scholarships for citizens of eligible countries, such as the international tertiary scholarships.

This page was last updated on Friday 1 September 2023.