Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/icfem/AriasBPPSS20,
  author       = {Jaime Arias and
                  Carlos E. Budde and
                  Wojciech Penczek and
                  Laure Petrucci and
                  Teofil Sidoruk and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent
                  Systems},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_1},
  doi          = {10.1007/978-3-030-63406-3\_1},
  timestamp    = {Wed, 15 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/AriasBPPSS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BaiM20,
  author       = {Yunjun Bai and
                  Kaushik Mallik},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {297--307},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_18},
  doi          = {10.1007/978-3-030-63406-3\_18},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/BaiM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BuS20,
  author       = {Hao Bu and
                  Meng Sun},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Towards Modeling and Verification of the {CKB} Block Synchronization
                  Protocol in Coq},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {287--296},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_17},
  doi          = {10.1007/978-3-030-63406-3\_17},
  timestamp    = {Tue, 22 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/BuS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Chen0Z0G20,
  author       = {Xiangyu Chen and
                  Ximeng Li and
                  Qianying Zhang and
                  Zhiping Shi and
                  Yong Guan},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Formalizing the Transaction Flow Process of Hyperledger Fabric},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {233--250},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_14},
  doi          = {10.1007/978-3-030-63406-3\_14},
  timestamp    = {Sat, 20 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Chen0Z0G20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ChenCHW20,
  author       = {Zhe Chen and
                  Yunyun Chen and
                  Robert M. Hierons and
                  Yifan Wu},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Four-Valued Monitorability of {\o}mega-Regular Languages},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {198--214},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_12},
  doi          = {10.1007/978-3-030-63406-3\_12},
  timestamp    = {Wed, 28 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/ChenCHW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/DupontASIKP20,
  author       = {Guillaume Dupont and
                  Yamine A{\"{\i}}t Ameur and
                  Neeraj Kumar Singh and
                  Fuyuki Ishikawa and
                  Tsutomu Kobayashi and
                  Marc Pantel},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Embedding Approximation in Event-B: Safe Hybrid System Design Using
                  Proof and Refinement},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {251--267},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_15},
  doi          = {10.1007/978-3-030-63406-3\_15},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/DupontASIKP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FernandezM20,
  author       = {Maribel Fern{\'{a}}ndez and
                  Ian Mackie},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {A Reversible Operational Semantics for Imperative Programming Languages},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {91--106},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_6},
  doi          = {10.1007/978-3-030-63406-3\_6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/FernandezM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FujishiroH20,
  author       = {Kosei Fujishiro and
                  Koji Hasebe},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Robustness and Failure Detection in Epistemic Gossip Protocols},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {20--35},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_2},
  doi          = {10.1007/978-3-030-63406-3\_2},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/FujishiroH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/JahanianM20,
  author       = {Hamid Jahanian and
                  Annabelle McIver},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Reasoning with Failures},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {36--52},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_3},
  doi          = {10.1007/978-3-030-63406-3\_3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/JahanianM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/JaloyanDMMP20,
  author       = {Georges{-}Axel Jaloyan and
                  Claire Dross and
                  Maroua Maalej and
                  Yannick Moy and
                  Andrei Paskevich},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Verification of Programs with Pointers in {SPARK}},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {55--72},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_4},
  doi          = {10.1007/978-3-030-63406-3\_4},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/JaloyanDMMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Khoo0C20,
  author       = {Teck Ping Khoo and
                  Jun Sun and
                  Sudipta Chattopadhyay},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Learning Fault Models of Cyber Physical Systems},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {147--162},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_9},
  doi          = {10.1007/978-3-030-63406-3\_9},
  timestamp    = {Wed, 02 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/Khoo0C20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/NgoNR20,
  author       = {Minh Ngo and
                  David A. Naumann and
                  Tamara Rezk},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Type-Based Declassification for Free},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {181--197},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_11},
  doi          = {10.1007/978-3-030-63406-3\_11},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/NgoNR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/NieSH20,
  author       = {Chaoqun Nie and
                  Jianqi Shi and
                  Yanhong Huang},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {{VARF:} Verifying and Analyzing Robustness of Random Forests},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {163--178},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_10},
  doi          = {10.1007/978-3-030-63406-3\_10},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/NieSH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SardarFF20,
  author       = {Muhammad Usama Sardar and
                  Rasha Faqeh and
                  Christof Fetzer},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Formal Foundations for Intel {SGX} Data Center Attestation Primitives},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {268--283},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_16},
  doi          = {10.1007/978-3-030-63406-3\_16},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/SardarFF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SarswatS20,
  author       = {Suneel Sarswat and
                  Abhishek Kr Singh},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Formally Verified Trades in Financial Markets},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {217--232},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_13},
  doi          = {10.1007/978-3-030-63406-3\_13},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/SarswatS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ShenAZZ0Z20,
  author       = {Wei Shen and
                  Jie An and
                  Bohua Zhan and
                  Miaomiao Zhang and
                  Bai Xue and
                  Naijun Zhan},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {{PAC} Learning of Deterministic One-Clock Timed Automata},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {129--146},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_8},
  doi          = {10.1007/978-3-030-63406-3\_8},
  timestamp    = {Tue, 25 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/ShenAZZ0Z20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SinghK20,
  author       = {Shikhar Singh and
                  Sarfraz Khurshid},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Parallel Chopped Symbolic Execution},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {107--125},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_7},
  doi          = {10.1007/978-3-030-63406-3\_7},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/SinghK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SongC20,
  author       = {Yahui Song and
                  Wei{-}Ngan Chin},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Automated Temporal Verification of Integrated Dependent Effects},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {73--90},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_5},
  doi          = {10.1007/978-3-030-63406-3\_5},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/SongC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/VistbakkaT20,
  author       = {Inna Vistbakka and
                  Elena Troubitsyna},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Formalising Privacy-Preserving Constraints in Microservices Architecture},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {308--317},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_19},
  doi          = {10.1007/978-3-030-63406-3\_19},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/VistbakkaT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/YamagataM20,
  author       = {Yoriyuki Yamagata and
                  Yutaka Matsuno},
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Algebraic Approach for Confidence Evaluation of Assurance Cases},
  booktitle    = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  pages        = {318--327},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3\_20},
  doi          = {10.1007/978-3-030-63406-3\_20},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/YamagataM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfem/2020,
  editor       = {Shang{-}Wei Lin and
                  Zhe Hou and
                  Brendan P. Mahony},
  title        = {Formal Methods and Software Engineering - 22nd International Conference
                  on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
                  March 1-3, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12531},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63406-3},
  doi          = {10.1007/978-3-030-63406-3},
  isbn         = {978-3-030-63405-6},
  timestamp    = {Thu, 25 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.