@inproceedings{DongLSSW02,
author = {Jin Song Dong and Yuan-Fang Li and Jing Sun and Jun Sun and Hai Wang},
title = {XML-Based Static Type Checking and Dynamic Visualization for TCOZ},
booktitle = {Formal Methods and Software Engineering, 4th International
Conference on Formal Engineering Methods, ICFEM 2002},
editor = {Chris George and Huaikou Miao},
year = {2002},
series = {Lecture Notes in Computer Science},
volume = {2495},
pages = {311-322},
ee = {http://link.springer.de/link/service/series/0558/bibs/2495/24950311.htm},
}
@inproceedings{DongSWLL03,
author = {Jin Song Dong and Jun Sun and Hai Wang and Chew Hung Lee and Hian Beng Lee},
title = {Analysing Web Ontology in Alloy: A Military Case Study},
booktitle = {Proceedings of the Fifteenth International Conference on
Software Engineering {\&} Knowledge Engineering (SEKE'2003)},
year = {2003},
pages = {542-546},
}
@inproceedings{DongQS04,
author = {Jin Song Dong and Shengchao Qin and Jun Sun},
title = {Generating MSCs from an Integrated Formal Specification Language},
booktitle = {ntegrated Formal Methods, 4th International Conference,IFM 2004},
year = {2004},
pages = {168-186},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2999},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2999{\&}spage=168},
}
@inproceedings{DongHQSY04,
author = {Jin Song Dong and Ping Hao and Shengchao Qin and Jun Sun and Wang Yi},
title = {Timed Patterns: TCOZ to Timed Automata},
booktitle = {Formal Methods and Software Engineering, 6th International
Conference on Formal Engineering Methods, ICFEM 2004},
year = {2004},
publisher = {Springer},
editor = {Jim Davies and Wolfram Schulte and Michael Barnett},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {483-498},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3308{\&}spage=483},
}
@inproceedings{SunD05a,
author = {Jun Sun and Jin Song Dong},
title = {Model Checking Live Sequence Charts},
booktitle = {10th International Conference on Engineering of Complex
Computer Systems (ICECCS 2005)},
year = {2005},
publisher = {IEEE Computer Society},
pages = {529-538},
ee = {http://dx.doi.org/10.1109/ICECCS.2005.60},
}
@inproceedings{SunD05b,
author = {Jun Sun and Jin Song Dong},
title = {Extracting FSMs from Object-Z Specifications with History Invariants},
booktitle = {10th International Conference on Engineering of Complex
Computer Systems (ICECCS 2005)},
year = {2005},
publisher = {IEEE Computer Society},
pages = {96-105},
ee = {http://dx.doi.org/10.1109/ICECCS.2005.44},
}
@inproceedings{SunD05,
author = {Jun Sun and Jin Song Dong},
title = {Synthesis of Distributed Processes from Scenario-Based Specifications},
booktitle = {FM 2005: Formal Methods, International Symposium of Formal
Methods Europe},
year = {2005},
editor = {John Fitzgerald and Ian J. Hayes and Andrzej Tarlecki},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {415-431},
ee = {http://dx.doi.org/10.1007/11526841_28},
}
@inproceedings{LiuS05,
author = {Yang Liu and Jun Sun},
title = {Algorithmic Design Using Object-Z for Twig XML Queries Evaluation},
booktitle = {WLFM 2005: Workshop on Web Language and Formal Methods},
year = {2005},
}
@inproceedings{SunLWS05,
author = {Jun Sun and Yuan Fang Li and Hai Wang and Jing Sun},
title = {Visualizing and Simulating Semantic Web Services Ontologies},
booktitle = {Formal Methods and Software Engineering, 7th International
Conference on Formal Engineering Methods, ICFEM 2005},
editor = {Kung-Kiu Lau and Richard Banach},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3785},
year = {2005},
pages = {435-449},
ee = {http://dx.doi.org/10.1007/11576280_30},
}
@inproceedings{DongFLS05,
author = {Jin Song Dong and Yuzhang Feng and Yuan-Fang Li and Jun Sun},
title = {A Tools Environment for Developing and Reasoning about Ontologies},
booktitle = {12th Asia-Pacific Software Engineering Conference (APSEC 2005)},
year = {2005},
publisher = {IEEE Computer Society},
pages = {465-472},
ee = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2005.21},
}
@inproceedings{LiSDSW06,
author = {Yuan-Fang Li and Jing Sun and Gillian Dobbie and Jun Sun and Hai H. Wang},
title = {Validating Semistructured Data Using OWL},
booktitle = {Advances in Web-Age Information Management, 7th International
Conference,WAIM 2006},
editor = {Jeffrey Xu Yu and Masaru Kitsuregawa and Hong Va Leong},
year = {2006},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4016},
pages = {520-531},
ee = {http://dx.doi.org/10.1007/11775300_44},
}
@inproceedings{DongFSS06,
author = {Jin Song Dong and Yuzhang Feng and Jing Sun and Jun Sun},
title = {Sensor Based Design Techniques for Smart System Space},
booktitle = {ICMOCCA '06: Proceedings of the First International Conference on Mobile Computing, Communications and Applications},
month = {August},
year = {2006},
location = {Seoul, Korea}
}
@inproceedings{DBLP:conf/icfem/DongHSZ06,
author = {Jin Song Dong and Ping Hao and Jun Sun and Xian Zhang},
title = {A Reasoning Method for Timed CSP Based on Constraint Solving},
booktitle = {Formal Methods and Software Engineering, 8th International
Conference on Formal Engineering Methods, ICFEM 2006},
year = {2006},
pages = {342-359},
editor = {Zhiming Liu and Jifeng He},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4260},
ee = {http://dx.doi.org/10.1007/11901433_19},
}
@inproceedings{DongLSZ06,
author = {Jin Song Dong and Yang Liu and Jun Sun and Xian Zhang},
title = {Verification of Computation Orchestration Via Timed Automata},
booktitle = {Formal Methods and Software Engineering, 8th International
Conference on Formal Engineering Methods, ICFEM 2006},
year = {2006},
editor = {Zhiming Liu and Jifeng He},
pages = {226-245},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4260},
ee = {http://dx.doi.org/10.1007/11901433_13},
}
@inproceedings{DongFSS06,
author = {Jin Song Dong and Yuzhang Feng and Jing Sun and Jun Sun},
title = {Context Awareness Systems Design and Reasoning},
booktitle = {ISoLA '06: Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
month = {November},
year = {2006},
pages = {347-352},
location = {Paphos, Cyprus}
}
@article{WangDSS06,
author = {Hai Wang and Jin Song Dong and Jing Sun and Jun Sun}
title = {Reasoning Support for Semantic Web Ontology Family Languages Using Alloy},
journal = {International Journal of Multiagent and Grid Systems, Special issue on Agent-Oriented Software Development Methodologies},
volume = {2},
number = {4},
month = {December},
year = {2006},
issn = {1574-1702},
publisher = {IOS press}
}
@article{LiuS06a,
author = {Yang Liu and Jun Sun},
title = {Algorithmic Design Using Object-Z for Twig XML Queries Evaluation},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {151},
number = {2},
year = {2006},
pages = {107-124},
}
@article{SunD06,
author = {Jun Sun and Jin Song Dong},
title = {Design Synthesis from Interaction and State-Based Specifications},
journal = {IEEE Transsactions on Software Engineering},
volume = {32},
number = {6},
year = {2006},
pages = {349-364},
}
@article{LiSDWS06a,
author = {Yuan Fang Li and Jing Sun and Gillian Dobbie and Hai H. Wang and Jun Sun},
title = {Reasoning About ORA-SS Data Models Using the Semantic Web},
journal = {Journal on Data Semantics VII},
volume = {4244},
month = {November},
year = {2006},
issn = {0302-9743},
isbn = {978-3-540-46329-0},
pages = {219-241},
publisher = {Springer},
address = {Berlin, Germany},
url = {http://www.springerlink.com/content/h513t84307073303/}
}
@phdthesis{Sun06,
author = {Jun Sun},
title = {Complementary Formalisms - Synthesis, Verification and Visualization},
school = {Department of Computer Science, School of Computing, National University of Singapore},
address = {3 Science Drive 2, Singapore 117543, Republic of Singapore},
month = {May},
year = {2006},
}
@inproceedings{WangQSD07,
author = {Hai H. Wang and Shengchao Qin and Jun Sun and Jin Song Dong},
title = {Realizing Live Sequence Charts in SystemVerilog},
booktitle = {TASE 2007: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering},
year = {2007},
pages = {379-388},
ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2007.41},
}
@inproceedings{WangGPSS07,
author = {Hai H. Wang and Nick Gibbins and Terry R. Payne and Ahmed Saleh and Jun Sun},
title = {A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)},
year = {2007},
pages = {74-86},
booktitle = {Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007)},
publisher = {IEEE Computer Society},
year = {2007},
isbn = {978-0-7695-2895-3},
}
@inproceedings{CHENDJ07,
author = {Chunqing Chen and Jin Song Dong and Jun Sun},
title = {Machine-Assisted Proof Support for Validation Beyond Simulink},
year = {2007},
pages = {96-115},
editor = {Michael Butler and Michael G. Hinchey and Mar\'{\i}a M. Larrondo-Petrie},
booktitle = {Proceedings of the 9th International Conference on Formal Engineering Methods (ICFEM 2007)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4789},
year = {2007},
isbn = {978-3-540-76648-3},
}
@inproceedings{ChenDS08,
author = {Chunqing Chen and Jin Song Dong and Jun Sun},
title = {A Verification System for Timed Interval Calculus},
booktitle = {Proceedings of the 30th International Conference on Software Engineering (ICSE 2008)},
publisher = {ACM},
year = {2008},
isbn = {978-1-60558-079-1},
pages = {271-280},
}
@inproceedings{LiuSD08,
author = {Yang Liu and Jun Sun and Jin Song Dong},
title = {An Analyzer for Extended Compositional Process Algebras},
booktitle = {ICSE Companion},
publisher = {ACM},
year = {2008},
isbn = {978-1-60558-079-1},
pages = {919-920},
}
@inproceedings{SunLDS08,
author = {Jun Sun and Yang Liu and Jin Song Dong and Jing Sun},
title = {Bounded Model Checking of Compositional Processes},
booktitle = {Proceedings of the Second IEEE International Symposium on Theoretical Aspects of Software Engineering},
publisher = {IEEE},
pages = {23-30},
publisher = {IEEE Computer Society},
year = {2008},
}
@inproceedings{SunLD08b,
author = {Jun Sun and Yang Liu and Jin Song Dong},
title = {Model Checking CSP Revisited: Introducing a Process Analysis Toolkit},
booktitle = {Proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)},
pages = {307-322},
publisher = {Springer},
series = {Communications in Computer and Information Science},
volume = {17},
year = {2008},
}
@inproceedings{StephenSWS08,
author = {Stephen Wong and Jing Sun and Ian Warren and Jun Sun},
title = {A Scalable Approach to Multi-Style Architectural Modeling and Verification},
booktitle = {Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008)},
month = {April},
year = {2008},
location = {Belfast, Northern Ireland},
isbn = {978-0-7695-3139-7},
pages = {25-34},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}
@inproceedings{DongSSTZ08,
author = {Jin Song Dong and Jing Sun and Jun Sun and Kenji Taguchi and Xian Zhang},
title = {Specifying and Verifying Sensor Networks: an Experiment of Formal Methods},
booktitle = {Proceedings of the 10th International Conference on Formal Engineering Methods (ICFEM 2008)},
month = {Oct},
pages = {318-337},
year = {2008},
location = {kokura, Japan},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5256},
}
@inproceedings{SUNLDW08,
author = {Jun Sun and Yang Liu and Jin Song Dong and Hai H. Wang},
title = {Specifying and Verifying Event-based Fairness Enhanced Systems},
booktitle = {Proceedings of the 10th International Conference on Formal Engineering Methods (ICFEM 2008)},
month = {Oct},
pages = {318-337},
year = {2008},
location = {kokura, Japan},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5256},
}
@inproceedings{WangGPSS08,
author = {Hai H. Wang and Nick Gibbins and Terry Payne and Ahmed Saleh and Jun Sun},
title = {A Formal Model of Semantic Web Service Ontology (WSMO) Execution},
booktitle = {Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008)},
month = {April},
year = {2008},
location = {Belfast, Northern Ireland},
isbn = {978-0-7695-3139-7},
pages = {111-120},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
@article{SunLDS08,
author = {Jun Sun and Yang Liu and Jin Song Dong and Jing Sun},
title = {Compositional encoding for bounded model checking },
journal = {Frontiers of Computer Science in China},
month = {November},
year = {2008},
volume = {2},
number = {4},
pages = {368-379},
publisher = {Higher Education Press, co-published with Springer-Verlag GmbH},
}
@article{SunD08,
author = {Jin Song Dong and Ping Hao and Shengchao Qin and Jun Sun and Wang Yi},
title = {Timed Automata Patterns},
journal = {IEEE Transsactions on Software Engineering},
volume = {34},
number = {6},
year = {2008},
pages = {844-859},
}
@inproceedings{SunLDP09,
author = {Jun Sun and Yang Liu and Jin Song Dong and Jun Pang},
title = {PAT: Towards Flexible Verification under Fairness},
journal = {Proceedings of the 21th International Conference on Computer Aided Verification (CAV'09)},
year = {2009},
publisher = {Springer},
pages = {709-714},
series = {Lecture Notes in Computer Science},
volume = {5643},
}
@inproceedings{ZhangLSDCL09,
author = {Shao Jie Zhang and Yang Liu and Jun Sun and Jin Song Dong and Wei Chen and Yanhong A. Liu},
title = {Formal Verification of Scalable NonZero Indicators},
booktitle = {Proceedings of the 21st International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2009)},
year = {2009},
pages = {406-411},
publisher = {Knowledge Systems Institute Graduate School},
}
@article{ChenDS09,
author = {Chun Qing Chen and Jin Song Dong and Jun Sun},
title = {A Formal Framework for Modeling and Validating Simulink Diagrams},
journal = {Formal Aspects in Computing},
volume = {21},
number = {5},
year = {2009},
pages = {451-483},
}
@inproceedings{DongS09,
author = {Jin Song Dong and Jun Sun},
title = {Towards Expressive Specification and Efficient Model Checking},
booktitle = {Proceedings of the third IEEE International Symposium on Theoretical
Aspects of Software Engineering (TASE'09)},
year = {2009},
pages = {9},
publisher = {IEEE Computer Society},
editor = {Wei-Ngan Chin and
Shengchao Qin},
}
@inproceedings{LiuPSZ09,
author = {Yang Liu and
Jun Pang and
Jun Sun and
Jianhua Zhao},
title = {Verification of Population Ring Protocols in PAT},
booktitle = {Proceedings of the third IEEE International Symposium on Theoretical
Aspects of Software Engineering (TASE'09)},
year = {2009},
pages = {81-89},
publisher = {IEEE Computer Society},
editor = {Wei-Ngan Chin and
Shengchao Qin},
}
@inproceedings{SunLDC09,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Chunqing Chen},
title = {Integrating Specification and Programs for System Modeling
and Verification},
booktitle = {Proceedings of the third IEEE International Symposium on Theoretical
Aspects of Software Engineering (TASE'09)},
year = {2009},
pages = {127-135},
publisher = {IEEE Computer Society},
editor = {Wei-Ngan Chin and
Shengchao Qin},
}
@inproceedings{SunLDZ09,
author = {Jun Sun and
Yang Liu and
Jin Song Dong and
Xian Zhang},
title = {Verifying Stateful Timed CSP Using Implicit Clocks and Zone
Abstraction},
booktitle = {Proceedings of the 11th IEEEInternational
Conference on Formal Engineering Methods (ICFEM 2009)},
year = {2009},
editor = {Karin Breitman and
Ana Cavalcanti},
pages = {581-600},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5885},
}
@inproceedings{LiuSD09,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Scalable Multi-core Model Checking Fairness Enhanced Systems},
booktitle = {Proceedings of the 11th IEEEInternational
Conference on Formal Engineering Methods (ICFEM 2009)},
year = {2009},
editor = {Karin Breitman and
Ana Cavalcanti},
pages = {426-445},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5885},
}
@inproceedings{LiuCLS09,
author = {Yang Liu and
Wei Chen and
Yanhong A. Liu and
Jun Sun},
title = {Model Checking Linearizability via Refinement},
booktitle = {Proceedings of the Second World Congress on Formal Methods (FM'09)},
year = {2009},
editor = {Ana Cavalcanti and
Dennis Dams},
pages = {321-337},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5850},
year = {2009},
}
@inproceedings{SunLRLD09,
author = {Jun Sun and
Yang Liu and
Abhik Roychoudhury and
Shanshan Liu and
Jin Song Dong},
title = {Fair Model Checking with Process Counter Abstraction},
booktitle = {Proceedings of the Second World Congress on Formal Methods (FM'09)},
year = {2009},
editor = {Ana Cavalcanti and
Dennis Dams},
pages = {123-139},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5850},
year = {2009},
}
@article{ChenDSM10,
author = {Chunqing Chen and
Jin Song Dong and
Jun Sun and
Andrew Martin},
title = {A verification system for interval-based specification languages},
journal = {ACM Trans. Softw. Eng. Methodol.},
volume = {19},
number = {4},
year = {2010},
}
@inproceedings{LiuSD10,
author = {Yang Liu and
Jun Sun and
Jin Song Dong},
title = {Developing Model Checkers Using PAT},
year = {2010},
pages = {371-377},
editor = {Ahmed Bouajjani and
Wei-Ngan Chin},
booktitle = {Automated Technology for Verification and Analysis - 8th
International Symposium, ATVA 2010, Singapore, September
21-24, 2010. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6252},
}
@inproceedings{XingSLD10,
author = {Zhenchang Xing and
Jun Sun and
Yang Liu and
Jin Song Dong},
title = {SpecDiff: debugging formal specifications},
year = {2010},
pages = {353-354},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
booktitle = {ASE 2010, 25th IEEE/ACM International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24,
2010},
publisher = {ACM},
year = {2010},
isbn = {978-1-4503-0116-9},
}
@inproceedings{SunSL10,
author = {Jun Sun and
Songzheng Song and
Yang Liu},
title = {Model Checking Hierarchical Probabilistic Systems},
year = {2010},
pages = {388-403},
editor = {Jin Song Dong and
Huibiao Zhu},
booktitle = {Formal Methods and Software Engineering - 12th International
Conference on Formal Engineering Methods, ICFEM 2010, Shanghai,
China, November 17-19, 2010. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6447},
year = {2010},
}
@inproceedings{SunLC10,
author = {Jun Sun and
Yang Liu and
Bin Cheng},
title = {Model Checking a Model Checker: A Code Contract Combined
Approach},
year = {2010},
pages = {518-533},
editor = {Jin Song Dong and
Huibiao Zhu},
booktitle = {Formal Methods and Software Engineering - 12th International
Conference on Formal Engineering Methods, ICFEM 2010, Shanghai,
China, November 17-19, 2010. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6447},
year = {2010},
}
@inproceedings{LiuSD10,
author = {Yang Liu and Jun Sun and
Jin Song Dong},
title = {Analyzing Hierarchical Complex Real-time Systems},
year = {2010},
booktitle = {FSE 2010},
year = {2010},
}
@inproceedings{SunLDT10,
author = {Jun Sun and Yang Liu and
Jin Song Dong and Tian Huat Tan},
title = {Model-based Methods for Linking Web Service Choreography and Orchestration},
year = {2010},
booktitle = {APSEC 2010},
year = {2010},
}
