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},
    }