Papers Accepted at ICFEM 2016

ICFEM 2016
Two full papers co-authored by our group members were recently accepted to the 18th International Conference on Formal Engineering Methods (ICFEM 2016), which will be held in Tokyo, Japan later this month.

Postprints and DOI links for the papers are available below. The first paper proposes a framework to dynamically monitor and adapt the workflow of web service composition in order to automatically satisfy non-functional requirements. The second paper proposes a BDD-based verification technique for real-time systems.

  • M. Chen, T. H. Tan, J. Sun, J. Wang, Y. Liu, J. Sun, and J. S. Dong. Service adaptation with probabilistic partial models. In Proc. International Conference on Formal Engineering Methods (ICFEM 2016), volume 10009, LNCS, Springer, 2016, pp. 122-140.
    [PDF] [DOI] [Bibtex]
    @inproceedings{Chen_et-al16a,
    author = {Manman Chen and
    Tian Huat Tan and
    Jun Sun and
    Jingyi Wang and
    Yang Liu and
    Jing Sun and
    Jin Song Dong},
    title = {Service Adaptation with Probabilistic Partial Models},
    booktitle = {{Proc. International Conference on Formal Engineering Methods (ICFEM 2016)}},
    pages = {122--140},
    series = {LNCS},
    volume = {10009},
    publisher  = {Springer},
    year = {2016},
    doi = {10.1007/978-3-319-47846-3_9},
    pdf = {http://sav.sutd.edu.sg/wp-content/uploads/2016/08/icfem2016-jingyi.pdf},
    }
  • T. K. Nguyen, T. H. Tan, J. Sun, J. Li, Y. Liu, M. Chen, and J. S. Dong. Scaling BDD-based timed verification with simulation reduction. In Proc. International Conference on Formal Engineering Methods (ICFEM 2016), volume 10009, LNCS, Springer, 2016, pp. 363-382.
    [PDF] [DOI] [Bibtex]
    @inproceedings{Nguyen_et-al16a,
    author  = {Truong Khanh Nguyen and Tian Huat Tan and Jun Sun and Jiaying Li and Yang Liu and Manman Chen and Jin Song Dong},
    title = {Scaling {BDD}-based Timed Verification with Simulation Reduction},
    booktitle  = {{Proc. International Conference on Formal Engineering Methods (ICFEM 2016)}},
    pages = {363--382},
    volume = {10009},
    series = {LNCS},
    publisher = {Springer},
    year = {2016},
    doi = {10.1007/978-3-319-47846-3_23},
    pdf = {http://sav.sutd.edu.sg/wp-content/uploads/2016/08/icfem2016-jiaying.pdf},
    }

Papers Accepted at FM 2016

fm2016
Two full papers and a short paper co-authored by our group members were recently accepted by the 21st International Symposium on Formal Methods (FM 2016), which will be held in Limassol, Cyprus this November.

Postprints of the papers are available below. The first paper resulted from our work on verifying time-based security protocols, whereas the latter two resulted from our work on analysing and verifying real-world cyber-physical systems such as the SWaT Secure Water Treatment testbed at SUTD.

  • L. Li, J. Sun, and J. S. Dong. Automated verification of timed security protocols with clock drift. In Proc. International Symposium on Formal Methods (FM 2016), LNCS-FM, Springer, 2016.
    [PDF] [Bibtex]
    @inproceedings{Li-Sun-Dong16a,
    author = {Li Li and Jun Sun and Jin Song Dong},
    title = {Automated Verification of Timed Security Protocols with Clock Drift},
    booktitle = {{Proc. International Symposium on Formal Methods (FM 2016)}},
    series = {LNCS-FM},
    publisher = {Springer},
    year = {2016},
    pdf = {http://sav.sutd.edu.sg/wp-content/uploads/2016/08/Li-Sun-Dong.FM_.2016.pdf},
    note = {To appear},
    }
  • P. Kong, Y. Li, X. Chen, J. Sun, M. Sun, and J. Wang. Towards concolic testing for hybrid systems. In Proc. International Symposium on Formal Methods (FM 2016), LNCS-FM, Springer, 2016.
    [PDF] [Bibtex]
    @inproceedings{Kong-et_al16a,
    author = {Pingfan Kong and Yi Li and Xiaohong Chen and Jun Sun and Meng Sun and Jingyi Wang},
    title = {Towards Concolic Testing for Hybrid Systems},
    booktitle = {{Proc. International Symposium on Formal Methods (FM 2016)}},
    series = {LNCS-FM},
    publisher = {Springer},
    year = {2016},
    pdf = {http://sav.sutd.edu.sg/wp-content/uploads/2016/08/HyChecker-FM2016.pdf},
    note = {To appear},
    }
  • Y. Chen, C. M. Poskitt, and J. Sun. Towards learning and verifying invariants of cyber-physical systems by code mutation. In Proc. International Symposium on Formal Methods (FM 2016), LNCS-FM, Springer, 2016.
    [PDF] [Bibtex]
    @inproceedings{Chen-Poskitt-Sun16a,
    author = {Yuqi Chen and Christopher M. Poskitt and Jun Sun},
    title = {Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation},
    booktitle = {{Proc. International Symposium on Formal Methods (FM 2016)}},
    series = {LNCS-FM},
    publisher = {Springer},
    year = {2016},
    pdf = {http://sav.sutd.edu.sg/wp-content/uploads/2016/08/Chen-Poskitt-Sun.FM_.2016.pdf},
    note = {To appear},
    }

SAV Group Website Launched

sunjunWelcome to the newly launched website of the System Analysis and Verification (SAV) group, led by Prof. Sun Jun at the Singapore University of Technology and Design.

Our group develops systematic tools, theories, and methodologies for ensuring the correctness, reliability, and efficiency of software and systems, focusing on automated techniques such as model checking, machine learning, and program analysis. We target several different challenging kinds of software and systems, ranging from (concurrent) object-oriented programs to real cyber-physical systems such as SWaT.

We intend for this website to provide an overview of the SAV group’s members, research, and publications. We will also be posting regularly about our activities and new papers: please consider subscribing to our news feed, or following our Twitter account.