Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icfem/icfem2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/icfem/0001FZZE19,
author = {Bai Xue and
Martin Fr{\"{a}}nzle and
Hengjun Zhao and
Naijun Zhan and
Arvind Easwaran},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Probably Approximate Safety Verification of Hybrid Dynamical Systems},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {236--252},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_15},
doi = {10.1007/978-3-030-32409-4\_15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/0001FZZE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/00030Z19,
author = {Yang Liu and
Lei Ma and
Jianjun Zhao},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Secure Deep Learning Engineering: {A} Road Towards Quality Assurance
of Intelligent Systems},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {3--15},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_1},
doi = {10.1007/978-3-030-32409-4\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/00030Z19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AnLCLY19,
author = {Dongdong An and
Jing Liu and
Xiaohong Chen and
Tengfei Li and
Ling Yin},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior
Classification Based on Machine Learning},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {522--525},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_37},
doi = {10.1007/978-3-030-32409-4\_37},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/AnLCLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BenesBPPS19,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
Jakub Pol{\'{a}}cek and
David Safr{\'{a}}nek},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Formal Analysis of Qualitative Long-Term Behaviour in Parametrised
Boolean Networks},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {353--369},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_22},
doi = {10.1007/978-3-030-32409-4\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BenesBPPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BuningBS19,
author = {Marko Kleine B{\"{u}}ning and
Tom{\'{a}}s Balyo and
Carsten Sinz},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Using DimSpec for Bounded and Unbounded Software Model Checking},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {19--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_2},
doi = {10.1007/978-3-030-32409-4\_2},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BuningBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BuningS19,
author = {Marko Kleine B{\"{u}}ning and
Carsten Sinz},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Automatic Modularization of Large Programs for Bounded Model Checking},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {186--202},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_12},
doi = {10.1007/978-3-030-32409-4\_12},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BuningS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Cai0D19,
author = {Chenghao Cai and
Jing Sun and
Gillian Dobbie},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Design Model Repair with Formal Verification},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {489--492},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_30},
doi = {10.1007/978-3-030-32409-4\_30},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Cai0D19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChangGX00Y19,
author = {Jialiang Chang and
Bo Gao and
Hao Xiao and
Jun Sun and
Yan Cai and
Zijiang Yang},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {sCompile: Critical Path Identification and Analysis for Smart Contracts},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {286--304},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_18},
doi = {10.1007/978-3-030-32409-4\_18},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ChangGX00Y19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Cheng19,
author = {Lin Cheng},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {SqlSol: An accurate {SQL} Query Synthesizer},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {104--120},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_7},
doi = {10.1007/978-3-030-32409-4\_7},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Cheng19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ConchonR19,
author = {Sylvain Conchon and
Mattias Roux},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Reasoning About Universal Cubes in {MCMT}},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {270--285},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_17},
doi = {10.1007/978-3-030-32409-4\_17},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ConchonR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ElderhalliHT19,
author = {Yassmeen Elderhalli and
Osman Hasan and
Sofi{\`{e}}ne Tahar},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Formally Verified Algebraic Approach for Dynamic Reliability Block
Diagrams},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {253--269},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_16},
doi = {10.1007/978-3-030-32409-4\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ElderhalliHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FeiZSY19,
author = {Yuan Fei and
Huibiao Zhu and
Haiying Sun and
Jiaqi Yin},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Security Calculus for Wireless Networks of Named Data Networking},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {170--185},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_11},
doi = {10.1007/978-3-030-32409-4\_11},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FeiZSY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Feng0L19,
author = {Ruitao Feng and
Yang Liu and
Shangwei Lin},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Performance-Sensitive Malware Detection System on Mobile Platform},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {493--497},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_31},
doi = {10.1007/978-3-030-32409-4\_31},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Feng0L19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FengAB19,
author = {Hui Feng and
Farhad Arbab and
Marcello M. Bonsangue},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Reo Model of Software Defined Networks},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {69--85},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_5},
doi = {10.1007/978-3-030-32409-4\_5},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FengAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FotsoLFMTM19,
author = {Steve Jeffrey Tueno Fotso and
R{\'{e}}gine Laleau and
Marc Frappier and
Amel Mammar and
Francois Thibodeau and
Mama Nsangou Mouchili},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Assessment of a Formal Requirements Modeling Approach on a Transportation
System},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {470--486},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_29},
doi = {10.1007/978-3-030-32409-4\_29},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FotsoLFMTM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GardyD19,
author = {Patrick Gardy and
Yuxin Deng},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Simulations for Multi-Agent Systems with Imperfect Information},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {138--153},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_9},
doi = {10.1007/978-3-030-32409-4\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/GardyD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GomesMJB19,
author = {Leandro Gomes and
Alexandre Madeira and
Manisha Jain and
Lu{\'{\i}}s Soares Barbosa},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {On the Generation of Equational Dynamic Logics for Weighted Imperative
Programs},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {154--169},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_10},
doi = {10.1007/978-3-030-32409-4\_10},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/GomesMJB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HasegawaY19,
author = {Isamu Hasegawa and
Tomoyuki Yokogawa},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Automatic Verification for Node-Based Visual Script Notation Using
Model Checking},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {52--68},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_4},
doi = {10.1007/978-3-030-32409-4\_4},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/HasegawaY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Jahanian19,
author = {Hamid Jahanian},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Note on Failure Mode Reasoning},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {503--506},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_33},
doi = {10.1007/978-3-030-32409-4\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Jahanian19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Jiao19,
author = {Jiao Jiao},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Formal Specification and Verification of Smart Contracts},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {512--516},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_35},
doi = {10.1007/978-3-030-32409-4\_35},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Jiao19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JungK19,
author = {Jay Hoon Jung and
YoungMin Kwon},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Robustness of Piece-Wise Linear Neural Network with Feasible Region
Approaches},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {507--511},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_34},
doi = {10.1007/978-3-030-32409-4\_34},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/JungK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Li19,
author = {Tengfei Li},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Spatio-Temporal Specification Language for Cyber-Physical Systems},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {517--521},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_36},
doi = {10.1007/978-3-030-32409-4\_36},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Li19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiS0T019,
author = {Yi Li and
Xuechao Sun and
Yong Li and
Andrea Turrini and
Lijun Zhang},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Synthesizing Nested Ranking Functions for Loop Programs via {SVM}},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {438--454},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_27},
doi = {10.1007/978-3-030-32409-4\_27},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiS0T019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiSZWGH19,
author = {Ximeng Li and
Zhiping Shi and
Qianying Zhang and
Guohui Wang and
Yong Guan and
Ning Han},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Towards Verifying Ethereum Smart Contracts at Intermediate Language
Level},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {121--137},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_8},
doi = {10.1007/978-3-030-32409-4\_8},
timestamp = {Thu, 23 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/LiSZWGH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiW19,
author = {Yongjian Li and
Bow{-}Yaw Wang},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Parameterized Hardware Verification Through a Term-Level Generalized
Symbolic Trajectory Evaluation},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {403--419},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_25},
doi = {10.1007/978-3-030-32409-4\_25},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Liu019,
author = {Ai Liu and
Meng Sun},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Coalgebraic Semantics Framework for Quantum Systems},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {387--402},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_24},
doi = {10.1007/978-3-030-32409-4\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Liu019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PoitrenaudR19,
author = {Denis Poitrenaud and
Etienne Renault},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Combining Parallel Emptiness Checks with Partial Order Reductions},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {370--386},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_23},
doi = {10.1007/978-3-030-32409-4\_23},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/PoitrenaudR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SallPC19,
author = {Boubacar Demba Sall and
Fr{\'{e}}d{\'{e}}ric Peschanski and
Emmanuel Chailloux},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Mechanized Theory of Program Refinement},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {305--321},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_19},
doi = {10.1007/978-3-030-32409-4\_19},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/SallPC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Schewe19,
author = {Klaus{-}Dieter Schewe},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Consistency Enforcement for Static First-Order Invariants in Sequential
Abstract State Machines},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {219--235},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_14},
doi = {10.1007/978-3-030-32409-4\_14},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Schewe19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SouafL19,
author = {Salwa Souaf and
Fr{\'{e}}d{\'{e}}ric Loulergue},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A First Step in the Translation of Alloy to Coq},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {455--469},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_28},
doi = {10.1007/978-3-030-32409-4\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SouafL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SullivanMK19,
author = {Allison Sullivan and
Darko Marinov and
Sarfraz Khurshid},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Solution Enumeration Abstraction: {A} Modeling Idiom to Enhance a
Lightweight Formal Method},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {336--352},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_21},
doi = {10.1007/978-3-030-32409-4\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SullivanMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/XiangBZ19,
author = {Shuangqing Xiang and
Marcello M. Bonsangue and
Huibiao Zhu},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {PDNet: {A} Programming Language for Software-Defined Networks with
{VLAN}},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {203--218},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_13},
doi = {10.1007/978-3-030-32409-4\_13},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/XiangBZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/XuLJ019,
author = {Junnan Xu and
Wanwei Liu and
David N. Jansen and
Lijun Zhang},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {An Axiomatisation of the Probabilistic {\textbackslash}mu -Calculus},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {420--437},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_26},
doi = {10.1007/978-3-030-32409-4\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/XuLJ019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YuBH19,
author = {Zhengqi Yu and
Armin Biere and
Keijo Heljanko},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Certifying Hardware Model Checking Results},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {498--502},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_32},
doi = {10.1007/978-3-030-32409-4\_32},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/YuBH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhanJZXHS19,
author = {Bohua Zhan and
Zhenyan Ji and
Wenfan Zhou and
Chaozhu Xiang and
Jie Hou and
Wenhui Sun},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Design of Point-and-Click User Interfaces for Proof Assistants},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {86--103},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_6},
doi = {10.1007/978-3-030-32409-4\_6},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ZhanJZXHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhangPZ19,
author = {Yueling Zhang and
Geguang Pu and
Min Zhang},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {{SMTBCF:} Efficient Backbone Computing for {SMT} Formulas},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {36--51},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_3},
doi = {10.1007/978-3-030-32409-4\_3},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/ZhangPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhuoZ19,
author = {Xilong Zhuo and
Chenyi Zhang},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Relational Static Semantics for Call Graph Construction},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {322--335},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_20},
doi = {10.1007/978-3-030-32409-4\_20},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ZhuoZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2019,
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4},
doi = {10.1007/978-3-030-32409-4},
isbn = {978-3-030-32408-7},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-30 14:44 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
