Search dblp for Publications

export results for "toc:db/conf/icfem/icfem2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icfem/BenduhnTSS17,
  author       = {Fabian Benduhn and
                  Thomas Th{\"{u}}m and
                  Ina Schaefer and
                  Gunter Saake},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Modularization of Refinement Steps for Agile Formal Methods},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_2},
  doi          = {10.1007/978-3-319-68690-5\_2},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/BenduhnTSS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BowlesC17,
  author       = {Juliana K{\"{u}}ster Filipe Bowles and
                  Marco B. Caminati},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {A Flexible Approach for Finding Optimal Paths with Minimal Conflicts},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {209--225},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_13},
  doi          = {10.1007/978-3-319-68690-5\_13},
  timestamp    = {Tue, 07 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/BowlesC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenSW17,
  author       = {Taolue Chen and
                  Fu Song and
                  Zhilin Wu},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Model Checking Pushdown Epistemic Game Structures},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {36--53},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_3},
  doi          = {10.1007/978-3-319-68690-5\_3},
  timestamp    = {Wed, 18 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ChenSW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenYYJ17,
  author       = {Xiaohong Chen and
                  Ling Yin and
                  Yijun Yu and
                  Zhi Jin},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Transforming Timing Requirements into {CCSL} Constraints to Verify
                  Cyber-Physical Systems},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {54--70},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_4},
  doi          = {10.1007/978-3-319-68690-5\_4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ChenYYJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChenZKM17,
  author       = {Yihai Chen and
                  Bofang Zhang and
                  Ridha Kh{\'{e}}dri and
                  Huaikou Miao},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {A Framework for Multi-view Reconciliation and for Medical Devices
                  Personalization},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {71--87},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_5},
  doi          = {10.1007/978-3-319-68690-5\_5},
  timestamp    = {Wed, 18 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ChenZKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ConchonDZ17,
  author       = {Sylvain Conchon and
                  David Declerck and
                  Fatiha Za{\"{\i}}di},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Compiling Parameterized {X86-TSO} Concurrent Programs to Cubicle-
                  \emph{W}},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {88--104},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_6},
  doi          = {10.1007/978-3-319-68690-5\_6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ConchonDZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DengZL17,
  author       = {Yuxin Deng and
                  Min Zhang and
                  Guoqing Lei},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its
                  Operational Semantics},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {464--480},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_28},
  doi          = {10.1007/978-3-319-68690-5\_28},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/DengZL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DoolanSZK17,
  author       = {Patrick Doolan and
                  Graeme Smith and
                  Chenyi Zhang and
                  Padmanabhan Krishnan},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Improving the Scalability of Automatic Linearizability Checking in
                  {SPIN}},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {105--121},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_7},
  doi          = {10.1007/978-3-319-68690-5\_7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/DoolanSZK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DuanTD17,
  author       = {Zhao Duan and
                  Cong Tian and
                  Zhenhua Duan},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Verifying Temporal Properties of {C} Programs via Lazy Abstraction},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {122--139},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_8},
  doi          = {10.1007/978-3-319-68690-5\_8},
  timestamp    = {Wed, 18 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/DuanTD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FarrellMP17,
  author       = {Marie Farrell and
                  Rosemary Monahan and
                  James F. Power},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Combining Event-B and {CSP:} An Institution Theoretic Approach to
                  Interoperability},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {140--156},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_9},
  doi          = {10.1007/978-3-319-68690-5\_9},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/FarrellMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GothelJS17,
  author       = {Thomas G{\"{o}}thel and
                  Nils J{\"{a}}hnig and
                  Simon Seif},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Refinement-Based Modelling and Verification of Design Patterns for
                  Self-adaptive Systems},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {157--173},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_10},
  doi          = {10.1007/978-3-319-68690-5\_10},
  timestamp    = {Wed, 18 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/GothelJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JiangYQSZY17,
  author       = {Hao Jiang and
                  Hongli Yang and
                  Shengchao Qin and
                  Zhendong Su and
                  Jian Zhang and
                  Jun Yan},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Detecting Energy Bugs in Android Apps Using Static Analysis},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {192--208},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_12},
  doi          = {10.1007/978-3-319-68690-5\_12},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/JiangYQSZY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LeNCH17,
  author       = {Xuan Bach Le and
                  Thanh{-}Toan Nguyen and
                  Wei{-}Ngan Chin and
                  Aquinas Hobor},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {A Certified Decision Procedure for Tree Shares},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {226--242},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_14},
  doi          = {10.1007/978-3-319-68690-5\_14},
  timestamp    = {Wed, 18 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LeNCH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiDPSBLD17,
  author       = {Li Li and
                  Naipeng Dong and
                  Jun Pang and
                  Jun Sun and
                  Guangdong Bai and
                  Yang Liu and
                  Jin Song Dong},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {A Verification Framework for Stateful Security Protocols},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {262--280},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_16},
  doi          = {10.1007/978-3-319-68690-5\_16},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LiDPSBLD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiO17,
  author       = {Xin Li and
                  Mizuhito Ogawa},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {A Sliding-Window Algorithm for On-The-Fly Interprocedural Program
                  Analysis},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {281--297},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_17},
  doi          = {10.1007/978-3-319-68690-5\_17},
  timestamp    = {Thu, 19 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LiO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiSGA17,
  author       = {Jiaying Li and
                  Jun Sun and
                  Bo Gao and
                  {\'{E}}tienne Andr{\'{e}}},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Classification-Based Parameter Synthesis for Parametric Timed Automata},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {243--261},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_15},
  doi          = {10.1007/978-3-319-68690-5\_15},
  timestamp    = {Sun, 12 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/LiSGA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuLFH17,
  author       = {Yunhao Liu and
                  Xiaohong Li and
                  Zhiyong Feng and
                  Jianye Hao},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {An Improved Android Collusion Attack Detection Method Based on Program
                  Slicing},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {315--331},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_19},
  doi          = {10.1007/978-3-319-68690-5\_19},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/LiuLFH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiuOGGM17,
  author       = {Si Liu and
                  Peter Csaba {\"{O}}lveczky and
                  Jatin Ganhotra and
                  Indranil Gupta and
                  Jos{\'{e}} Meseguer},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Exploring Design Alternatives for {RAMP} Transactions Through Statistical
                  Model Checking},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {298--314},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_18},
  doi          = {10.1007/978-3-319-68690-5\_18},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LiuOGGM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MiaoC17,
  author       = {Dongjing Miao and
                  Zhipeng Cai},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Parameterized Complexity of Resilience Decision for Database Debugging},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {332--344},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_20},
  doi          = {10.1007/978-3-319-68690-5\_20},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/MiaoC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PhamT017,
  author       = {Long H. Pham and
                  Lyly Tran Thi and
                  Jun Sun},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Assertion Generation Through Active Learning},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {174--191},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_11},
  doi          = {10.1007/978-3-319-68690-5\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/PhamT017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/RashidH17,
  author       = {Adnan Rashid and
                  Osman Hasan},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Formal Analysis of Linear Control Systems Using Theorem Proving},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {345--361},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_21},
  doi          = {10.1007/978-3-319-68690-5\_21},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/RashidH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TowsW17,
  author       = {Manuel T{\"{o}}ws and
                  Heike Wehrheim},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Policy Dependent and Independent Information Flow Analyses},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {362--378},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_22},
  doi          = {10.1007/978-3-319-68690-5\_22},
  timestamp    = {Wed, 18 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/TowsW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangCSQ17,
  author       = {Jingyi Wang and
                  Xiaohong Chen and
                  Jun Sun and
                  Shengchao Qin},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Improving Probability Estimation Through Active Probabilistic Model
                  Learning},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {379--395},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_23},
  doi          = {10.1007/978-3-319-68690-5\_23},
  timestamp    = {Mon, 15 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/WangCSQ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangW0Y17,
  author       = {Yuwei Wang and
                  Yunqing Wen and
                  Guoqiang Li and
                  Shoji Yuen},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Nested Timed Automata with Diagonal Constraints},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {396--412},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_24},
  doi          = {10.1007/978-3-319-68690-5\_24},
  timestamp    = {Wed, 18 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/WangW0Y17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WuDCJLKN17,
  author       = {Tingting Wu and
                  Yunwei Dong and
                  Tsong Yueh Chen and
                  Mingyue Jiang and
                  Man Fai Lau and
                  Fei{-}Ching Kuo and
                  Sebastian Ng},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Integration of Metamorphic Testing with Program Repair Methods Based
                  on Adaptive Search Strategies and Program Equivalence},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {413--429},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_25},
  doi          = {10.1007/978-3-319-68690-5\_25},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/WuDCJLKN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/XuWQ17,
  author       = {Zhiwu Xu and
                  Cheng Wen and
                  Shengchao Qin},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Learning Types for Binaries},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {430--446},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_26},
  doi          = {10.1007/978-3-319-68690-5\_26},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/XuWQ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Yi17,
  author       = {Wang Yi},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Towards Customizable {CPS:} Composability, Efficiency and Predictability},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {3--15},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_1},
  doi          = {10.1007/978-3-319-68690-5\_1},
  timestamp    = {Wed, 10 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Yi17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YinTWKT17,
  author       = {Yi Yin and
                  Yuichiro Tateiwa and
                  Yun Wang and
                  Yoshiaki Katayama and
                  Naohisa Takahashi},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Inconsistency Analysis of Time-Based Security Policy and Firewall
                  Policy},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {447--463},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_27},
  doi          = {10.1007/978-3-319-68690-5\_27},
  timestamp    = {Wed, 18 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/YinTWKT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhangNLNSH17,
  author       = {Zhengkui Zhang and
                  Brian Nielsen and
                  Kim Guldstrand Larsen and
                  Gilles Nies and
                  Marvin Stenger and
                  Holger Hermanns},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Pareto Optimal Reachability Analysis for Simple Priced Timed Automata},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {481--495},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_29},
  doi          = {10.1007/978-3-319-68690-5\_29},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ZhangNLNSH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2017,
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5},
  doi          = {10.1007/978-3-319-68690-5},
  isbn         = {978-3-319-68689-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics