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/vmcai/vmcai2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/vmcai/AndreDFL19,
author = {{\'{E}}tienne Andr{\'{e}} and
Beno{\^{\i}}t Delahaye and
Paulin Fournier and
Didier Lime},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Parametric Timed Broadcast Protocols},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {491--512},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_23},
doi = {10.1007/978-3-030-11245-5\_23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AndreDFL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AndreFMS19,
author = {{\'{E}}tienne Andr{\'{e}} and
Laurent Fribourg and
Jean{-}Marc Mota and
Romain Soulat},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Verification of an Industrial Asynchronous Leader Election Algorithm
Using Abstractions and Parametric Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {409--424},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_19},
doi = {10.1007/978-3-030-11245-5\_19},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AndreFMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BallabrigaFGLR19,
author = {Cl{\'{e}}ment Ballabriga and
Julien Forget and
Laure Gonnord and
Giuseppe Lipari and
Jordy Ruiz},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Static Analysis of Binary Code with Memory Indirections Using Polyhedra},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {114--135},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_6},
doi = {10.1007/978-3-030-11245-5\_6},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BallabrigaFGLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BouillaguetBSY19,
author = {Quentin Bouillaguet and
Fran{\c{c}}ois Bobot and
Mihaela Sighireanu and
Boris Yakobowski},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Exploiting Pointer Analysis in Memory Models for Deductive Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {160--182},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_8},
doi = {10.1007/978-3-030-11245-5\_8},
timestamp = {Fri, 18 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BouillaguetBSY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BoutonnetH19,
author = {R{\'{e}}my Boutonnet and
Nicolas Halbwachs},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Disjunctive Relational Abstract Interpretation for Interprocedural
Program Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {136--159},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_7},
doi = {10.1007/978-3-030-11245-5\_7},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BoutonnetH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BuenoS19,
author = {Denis Bueno and
Karem A. Sakallah},
editor = {Constantin Enea and
Ruzica Piskac},
title = {euforia: Complete Software Model Checking with Uninterpreted Functions},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {363--385},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_17},
doi = {10.1007/978-3-030-11245-5\_17},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BuenoS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DeckerP19,
author = {Normann Decker and
Anton Pirogov},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Flat Model Checking for Counting {LTL} Using Quantifier-Free Presburger
Arithmetic},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {513--534},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_24},
doi = {10.1007/978-3-030-11245-5\_24},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DeckerP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FedyukovichGG19,
author = {Grigory Fedyukovich and
Arie Gurfinkel and
Aarti Gupta},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Lazy but Effective Functional Synthesis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {92--113},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_5},
doi = {10.1007/978-3-030-11245-5\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/FedyukovichGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FoxSH19,
author = {Gereon Fox and
Daniel Stan and
Holger Hermanns},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Syntactic Partial Order Compression for Probabilistic Reachability},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {446--467},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_21},
doi = {10.1007/978-3-030-11245-5\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FoxSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FuC19,
author = {Hongfei Fu and
Krishnendu Chatterjee},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Termination of Nondeterministic Probabilistic Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {468--490},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_22},
doi = {10.1007/978-3-030-11245-5\_22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FuC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GermaneM0M19,
author = {Kimball Germane and
Jay McCarthy and
Michael D. Adams and
Matthew Might},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Demand Control-Flow Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {226--246},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_11},
doi = {10.1007/978-3-030-11245-5\_11},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GermaneM0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GermaneM19,
author = {Kimball Germane and
Matthew Might},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Relatively Complete Pushdown Analysis of Escape Continuations},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {205--225},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_10},
doi = {10.1007/978-3-030-11245-5\_10},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GermaneM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HaarKP19,
author = {Stefan Haar and
Juraj Kolc{\'{a}}k and
Lo{\"{\i}}c Paulev{\'{e}}},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Combining Refinement of Parametric Models with Goal-Oriented Reduction
of Dynamics},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {555--576},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_26},
doi = {10.1007/978-3-030-11245-5\_26},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HaarKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HamzaK19,
author = {Jad Hamza and
Viktor Kuncak},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Minimal Synthesis of String to String Functions from Examples},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {48--69},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_3},
doi = {10.1007/978-3-030-11245-5\_3},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HamzaK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HoenickeS19,
author = {Jochen Hoenicke and
Tanja Schindler},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Solving and Interpolating Constant Arrays Based on Weak Equivalences},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {297--317},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_14},
doi = {10.1007/978-3-030-11245-5\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HoenickeS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HuybersL19,
author = {Richard Huybers and
Alfons Laarman},
editor = {Constantin Enea and
Ruzica Piskac},
title = {A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {535--554},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_25},
doi = {10.1007/978-3-030-11245-5\_25},
timestamp = {Fri, 18 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HuybersL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KarlSBM19,
author = {Anja F. Karl and
Robert Schilling and
Roderick Bloem and
Stefan Mangard},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Small Faults Grow Up - Verification of Error Masking Robustness in
Arithmetically Encoded Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {183--204},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_9},
doi = {10.1007/978-3-030-11245-5\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KarlSBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LopesR19,
author = {Nuno P. Lopes and
Andrey Rybalchenko},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Fast {BGP} Simulation of Large Datacenters},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {386--408},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_18},
doi = {10.1007/978-3-030-11245-5\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/LopesR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LuCC019,
author = {Tianhan Lu and
Pavol Cern{\'{y}} and
Bor{-}Yuh Evan Chang and
Ashutosh Trivedi},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Type-Directed Bounding of Collections in Reactive Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {275--296},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_13},
doi = {10.1007/978-3-030-11245-5\_13},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/LuCC019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MurphyK19,
author = {Charlie Murphy and
Zachary Kincaid},
editor = {Constantin Enea and
Ruzica Piskac},
title = {A Practical Algorithm for Structure Embedding},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {342--362},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_16},
doi = {10.1007/978-3-030-11245-5\_16},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/MurphyK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NguyenTC19,
author = {Thanh{-}Toan Nguyen and
Quang{-}Trung Ta and
Wei{-}Ngan Chin},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Automatic Program Repair Using Formal Verification and Expression
Templates},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {70--91},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_4},
doi = {10.1007/978-3-030-11245-5\_4},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/NguyenTC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NicolaySMR19,
author = {Jens Nicolay and
Quentin Sti{\'{e}}venart and
Wolfgang De Meuter and
Coen De Roover},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Effect-Driven Flow Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {247--274},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_12},
doi = {10.1007/978-3-030-11245-5\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/NicolaySMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PreoteasaDT19,
author = {Viorel Preoteasa and
Iulia Dragomir and
Stavros Tripakis},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Mechanically Proving Determinacy of Hierarchical Block Diagram Translations},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {577--600},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_27},
doi = {10.1007/978-3-030-11245-5\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PreoteasaDT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/QiuW19,
author = {Xiaokang Qiu and
Yanjun Wang},
editor = {Constantin Enea and
Ruzica Piskac},
title = {A Decidable Logic for Tree Data-Structures with Measurements},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {318--341},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_15},
doi = {10.1007/978-3-030-11245-5\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/QiuW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RaadLV19,
author = {Azalea Raad and
Ori Lahav and
Viktor Vafeiadis},
editor = {Constantin Enea and
Ruzica Piskac},
title = {On the Semantics of Snapshot Isolation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {1--23},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_1},
doi = {10.1007/978-3-030-11245-5\_1},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/RaadLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SmithA19,
author = {Calvin Smith and
Aws Albarghouthi},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Program Synthesis with Equivalence Reduction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {24--47},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_2},
doi = {10.1007/978-3-030-11245-5\_2},
timestamp = {Mon, 14 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/SmithA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/YamaguchiBRIK19,
author = {Tomoya Yamaguchi and
Martin Brain and
Chirs Ryder and
Yosikazu Imai and
Yoshiumi Kawamura},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Application of Abstract Interpretation to the Automotive Electronic
Control System},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {425--445},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_20},
doi = {10.1007/978-3-030-11245-5\_20},
timestamp = {Mon, 07 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/YamaguchiBRIK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2019,
editor = {Constantin Enea and
Ruzica Piskac},
title = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5},
doi = {10.1007/978-3-030-11245-5},
isbn = {978-3-030-11244-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/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-28 10:29 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:
