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/icfem2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/icfem/BeckertBHKB18,
author = {Bernhard Beckert and
Simon Bischof and
Mihai Herda and
Michael Kirsten and
Marko Kleine B{\"{u}}ning},
editor = {Jing Sun and
Meng Sun},
title = {Using Theorem Provers to Increase the Precision of Dependence Analysis
for Information Flow Control},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {284--300},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_17},
doi = {10.1007/978-3-030-02450-5\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BeckertBHKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BergGDG18,
author = {Nils Berg and
Thomas G{\"{o}}thel and
Armin Danziger and
Sabine Glesner},
editor = {Jing Sun and
Meng Sun},
title = {Preserving Liveness Guarantees from Synchronous Communication to Asynchronous
Unstructured Low-Level Languages},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {303--319},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_18},
doi = {10.1007/978-3-030-02450-5\_18},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BergGDG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BrideDDH18,
author = {Hadrien Bride and
Jie Dong and
Jin Song Dong and
Zh{\'{e}} H{\'{o}}u},
editor = {Jing Sun and
Meng Sun},
title = {Towards Dependable and Explainable Machine Learning Using Automated
Reasoning},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {412--416},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_25},
doi = {10.1007/978-3-030-02450-5\_25},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BrideDDH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BrideDHMO18,
author = {Hadrien Bride and
Jin Song Dong and
Zh{\'{e}} H{\'{o}}u and
Brendan P. Mahony and
Martin Oxenham},
editor = {Jing Sun and
Meng Sun},
title = {Towards Trustworthy {AI} for Autonomous Systems},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {407--411},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_24},
doi = {10.1007/978-3-030-02450-5\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BrideDHMO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CraigPGA18,
author = {Aaron Craig and
Alex Potanin and
Lindsay Groves and
Jonathan Aldrich},
editor = {Jing Sun and
Meng Sun},
title = {Capabilities: Effects for Free},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {231--247},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_14},
doi = {10.1007/978-3-030-02450-5\_14},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/CraigPGA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongM18,
author = {Naipeng Dong and
Tim Muller},
editor = {Jing Sun and
Meng Sun},
title = {The Foul Adversary: Formal Models},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {37--53},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_3},
doi = {10.1007/978-3-030-02450-5\_3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Du18,
author = {Xiaoning Du},
editor = {Jing Sun and
Meng Sun},
title = {Towards Building a Generic Vulnerability Detection Platform by Combining
Scalable Attacking Surface Analysis and Directed Fuzzing},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {464--468},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_36},
doi = {10.1007/978-3-030-02450-5\_36},
timestamp = {Fri, 11 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Du18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FeiZ18,
author = {Yuan Fei and
Huibiao Zhu},
editor = {Jing Sun and
Meng Sun},
title = {Modeling and Verifying {NDN} Access Control Using {CSP}},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {143--159},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_9},
doi = {10.1007/978-3-030-02450-5\_9},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FeiZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Fernando18,
author = {Dileepa Fernando},
editor = {Jing Sun and
Meng Sun},
title = {Model Checking Nash-Equilibrium - Automatic Verification of Robustness
in Distributed Systems},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {436--440},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_30},
doi = {10.1007/978-3-030-02450-5\_30},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Fernando18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FernandoDJD18,
author = {Dileepa Fernando and
Naipeng Dong and
Cyrille J{\'{e}}gourel and
Jin Song Dong},
editor = {Jing Sun and
Meng Sun},
title = {Verification of Strong Nash-equilibrium for Probabilistic {BAR} Systems},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {106--123},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_7},
doi = {10.1007/978-3-030-02450-5\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FernandoDJD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FosterTBD18,
author = {Michael Foster and
Ramsay G. Taylor and
Achim D. Brucker and
John Derrick},
editor = {Jing Sun and
Meng Sun},
title = {Formalising Extended Finite State Machine Transition Merging},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {373--387},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_22},
doi = {10.1007/978-3-030-02450-5\_22},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FosterTBD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GainerLDH018,
author = {Paul Gainer and
Sven Linker and
Clare Dixon and
Ullrich Hustadt and
Michael Fisher},
editor = {Jing Sun and
Meng Sun},
title = {The Power of Synchronisation: Formal Analysis of Power Consumption
in Networks of Pulse-Coupled Oscillators},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {160--176},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_10},
doi = {10.1007/978-3-030-02450-5\_10},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/GainerLDH018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GeYYZ18,
author = {Cunjing Ge and
Jiwei Yan and
Jun Yan and
Jian Zhang},
editor = {Jing Sun and
Meng Sun},
title = {Checking Activity Transition Systems with Back Transitions Against
Assertions},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {388--403},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_23},
doi = {10.1007/978-3-030-02450-5\_23},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/GeYYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Ghale18,
author = {Milad K. Ghale},
editor = {Jing Sun and
Meng Sun},
title = {Engineering Software for Modular Formalisation and Verification of
{STV} Algorithms},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {459--463},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_35},
doi = {10.1007/978-3-030-02450-5\_35},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Ghale18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Hayes18,
author = {Ian J. Hayes},
editor = {Jing Sun and
Meng Sun},
title = {Engineering a Theory of Concurrent Programming},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {3--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_1},
doi = {10.1007/978-3-030-02450-5\_1},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Hayes18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Jiang18,
author = {Kan Jiang},
editor = {Jing Sun and
Meng Sun},
title = {Combining Deep Learning and Probabilistic Model Checking in Sports
Analytics},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {446--449},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_32},
doi = {10.1007/978-3-030-02450-5\_32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Jiang18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Khoo18,
author = {Teck Ping Khoo},
editor = {Jing Sun and
Meng Sun},
title = {Model Based Testing of Cyber-Physical Systems},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {423--426},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_27},
doi = {10.1007/978-3-030-02450-5\_27},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Khoo18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KhooS18,
author = {Teck Ping Khoo and
Jun Sun},
editor = {Jing Sun and
Meng Sun},
title = {The Miles Before Formal Methods - {A} Case Study on Modeling and Analyzing
a Passenger Lift System},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {54--69},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_4},
doi = {10.1007/978-3-030-02450-5\_4},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/KhooS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KobayashiI18,
author = {Tsutomu Kobayashi and
Fuyuki Ishikawa},
editor = {Jing Sun and
Meng Sun},
title = {Analysis on Strategies of Superposition Refinement of Event-B Specifications},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {357--372},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_21},
doi = {10.1007/978-3-030-02450-5\_21},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/KobayashiI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Li18,
author = {Yi Li},
editor = {Jing Sun and
Meng Sun},
title = {Developing Reliable Component-Based Software in Mediator},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {432--435},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_29},
doi = {10.1007/978-3-030-02450-5\_29},
timestamp = {Sun, 23 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Li18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Li18a,
author = {Yuekang Li},
editor = {Jing Sun and
Meng Sun},
title = {Principled Greybox Fuzzing},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {455--458},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_34},
doi = {10.1007/978-3-030-02450-5\_34},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Li18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Liebrenz18,
author = {Timm Liebrenz},
editor = {Jing Sun and
Meng Sun},
title = {Service-Oriented Design and Verification of Hybrid Control Systems},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {427--431},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_28},
doi = {10.1007/978-3-030-02450-5\_28},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Liebrenz18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LiebrenzHG18,
author = {Timm Liebrenz and
Paula Herber and
Sabine Glesner},
editor = {Jing Sun and
Meng Sun},
title = {Deductive Verification of Hybrid Control Systems Modeled in Simulink
with KeYmaera {X}},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {89--105},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_6},
doi = {10.1007/978-3-030-02450-5\_6},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/LiebrenzHG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Mahadewa18,
author = {Kulani Mahadewa},
editor = {Jing Sun and
Meng Sun},
title = {Security Analysis of Smart Home Implementations},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {450--454},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_33},
doi = {10.1007/978-3-030-02450-5\_33},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Mahadewa18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Mahony18,
author = {Amanda Mahony},
editor = {Jing Sun and
Meng Sun},
title = {Formalising Performance Guarantees in Meta-Reinforcement Learning},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {469--472},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_37},
doi = {10.1007/978-3-030-02450-5\_37},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Mahony18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Marmsoler18,
author = {Diego Marmsoler},
editor = {Jing Sun and
Meng Sun},
title = {A Framework for Interactive Verification of Architectural Design Patterns
in Isabelle/HOL},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {251--269},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_15},
doi = {10.1007/978-3-030-02450-5\_15},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Marmsoler18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Martel18,
author = {Matthieu Martel},
editor = {Jing Sun and
Meng Sun},
title = {Strongly Typed Numerical Computations},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {197--214},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_12},
doi = {10.1007/978-3-030-02450-5\_12},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Martel18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SnookHDBFSW18,
author = {Colin F. Snook and
Thai Son Hoang and
Dana Dghaym and
Michael J. Butler and
Tomas Fischer and
Rupert Schlick and
Keming Wang},
editor = {Jing Sun and
Meng Sun},
title = {Behaviour-Driven Formal Model Development},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {21--36},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_2},
doi = {10.1007/978-3-030-02450-5\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SnookHDBFSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/StillB18,
author = {Vladim{\'{\i}}r Still and
Jiri Barnat},
editor = {Jing Sun and
Meng Sun},
title = {Model Checking of {C++} Programs Under the x86-TSO Memory Model},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {124--140},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_8},
doi = {10.1007/978-3-030-02450-5\_8},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/StillB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VistbakkaMT18,
author = {Inna Vistbakka and
Amin Majd and
Elena Troubitsyna},
editor = {Jing Sun and
Meng Sun},
title = {Deriving Mode Logic for Autonomous Resilient Systems},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {320--336},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_19},
doi = {10.1007/978-3-030-02450-5\_19},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/VistbakkaMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Wang18,
author = {Kailong Wang},
editor = {Jing Sun and
Meng Sun},
title = {Analyzing Security and Privacy in Design and Implementation of Web
Authentication Protocols},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {441--445},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_31},
doi = {10.1007/978-3-030-02450-5\_31},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/Wang18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangGSZLL18,
author = {Guohui Wang and
Yong Guan and
Zhiping Shi and
Qianying Zhang and
Xiaojuan Li and
Yongdong Li},
editor = {Jing Sun and
Meng Sun},
title = {Formalization of Symplectic Geometry in HOL-Light},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {270--283},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_16},
doi = {10.1007/978-3-030-02450-5\_16},
timestamp = {Thu, 23 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WangGSZLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WuLMHM18,
author = {Xi Wu and
Yi Lu and
Patrick A. Meiring and
Ian J. Hayes and
Larissa A. Meinicke},
editor = {Jing Sun and
Meng Sun},
title = {Type Capabilities for Object-Oriented Programming Languages},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {215--230},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_13},
doi = {10.1007/978-3-030-02450-5\_13},
timestamp = {Wed, 11 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WuLMHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/XieZQ18,
author = {Wanling Xie and
Huibiao Zhu and
Shengchao Qin},
editor = {Jing Sun and
Meng Sun},
title = {{UTP} Semantics for BigrTiMo},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {337--353},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_20},
doi = {10.1007/978-3-030-02450-5\_20},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/XieZQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/XuRQC18,
author = {Zhiwu Xu and
Kerong Ren and
Shengchao Qin and
Florin Craciun},
editor = {Jing Sun and
Meng Sun},
title = {CDGDroid: Android Malware Detection Based on Deep Learning Using {CFG}
and {DFG}},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {177--193},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_11},
doi = {10.1007/978-3-030-02450-5\_11},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/XuRQC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/XueZHYXC18,
author = {Jinyun Xue and
Yujun Zheng and
Qimin Hu and
Zhen You and
Wuping Xie and
Zhuo Cheng},
editor = {Jing Sun and
Meng Sun},
title = {{PAR:} {A} Practicable Formal Method and Its Supporting Platform},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {70--86},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_5},
doi = {10.1007/978-3-030-02450-5\_5},
timestamp = {Mon, 05 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/XueZHYXC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Zhang18,
author = {Xiyue Zhang},
editor = {Jing Sun and
Meng Sun},
title = {Modeling and Verification of Component Connectors},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {419--422},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_26},
doi = {10.1007/978-3-030-02450-5\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Zhang18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2018,
editor = {Jing Sun and
Meng Sun},
title = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5},
doi = {10.1007/978-3-030-02450-5},
isbn = {978-3-030-02449-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/2018.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-13 03:14 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:
