SUN, Jun's bib database
@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{DBLP:conf/icfem/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},
abstract = {Over the last few decades, many
specification languages have been proposed, targeting different
systems, different aspects of complex systems, and systems at
different stages of development. Two complementary approaches have
proven useful in practice. Logic-based formalisms like Z and CSP
are based on mathematical techniques which provide the means for
defining notions like consistency, completeness, and refinement.
Diagrammatic notations like sequence charts or Statecharts are
based on visual transition diagrams and are widely accepted by
industry. One challenge of designing complex computer systems is
to find benefiting formalisms from those that may vary
significantly in presentation and establish sound connections
between them. A long-cherished goal of software engineering is the
mechanized synthesis of implementations from high-level
specifications. An important part of this thesis is dedicated to
the problem of synthesis. For system engineering starting with
state-based formal specification, we developed a method of
synthesizing implementable finite state machines from logic-based
Object-Z models with history invariants. For system development
starting with scenario-based diagrams, we investigated ways of
synthesizing distributed object systems from Live Sequence Charts
without constructing the global state machine. By combining the
two approaches, we achieve the goal of generating implementations
from system specifications with not only complicated control flow
but also complex data structures. In addition, this thesis also
investigates sound transformations between different formalisms so
that existing theory and tool support can be reused for
visualization and verification. Logic-based models can be
visualized by diagrammatic languages like UML to allow easy grasp
of essential facts. Using transformation techniques, mature
verification mechanisms can be reused over formalisms other than
those intended to discover design errors inexpensively. In a
nutshell, we established various connections between complementary
formalisms, which provide constructive methods for system
development.}
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)},
booktitle = {ICECCS},
year = {2007},
pages = {74-86},
title = {Proceedings of the 12th International Conference on Engineering of Complex
Computer Systems (ICECCS 2007)},
booktitle = {ICECCS},
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)},
booktitle = {ICFEM},
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},
publisher = {Higher Education Press, co-published with Springer-Verlag GmbH},
}