Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/icfem/icfem2017.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.