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/vmcai2016.bht:"
download as .bib file
@inproceedings{DBLP:conf/vmcai/0001SS16,
author = {Peter M{\"{u}}ller and
Malte Schwerhoff and
Alexander J. Summers},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Viper: {A} Verification Infrastructure for Permission-Based Reasoning},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {41--62},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_2},
doi = {10.1007/978-3-662-49122-5\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/0001SS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AusserlechnerJK16,
author = {Simon Au{\ss}erlechner and
Swen Jacobs and
Ayrat Khalimov},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Tight Cutoffs for Guarded Protocols with Fairness},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {476--494},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_23},
doi = {10.1007/978-3-662-49122-5\_23},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AusserlechnerJK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BakstJ16,
author = {Alexander Bakst and
Ranjit Jhala},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Predicate Abstraction for Linked Data Structures},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {65--84},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_3},
doi = {10.1007/978-3-662-49122-5\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BakstJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BrainHKM16,
author = {Martin Brain and
Liana Hadarean and
Daniel Kroening and
Ruben Martins},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Automatic Generation of Propagation Complete {SAT} Encodings},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {536--556},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_26},
doi = {10.1007/978-3-662-49122-5\_26},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BrainHKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChakiK16,
author = {Sagar Chaki and
Derrick Karimi},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Model Checking with Multi-threaded {IC3} Portfolios},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {517--535},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_25},
doi = {10.1007/978-3-662-49122-5\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ChakiK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CrescenzoT16,
author = {Ilaria De Crescenzo and
Salvatore La Torre},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {A General Modular Synthesis Problem for Pushdown Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {495--513},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_24},
doi = {10.1007/978-3-662-49122-5\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CrescenzoT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DacaGH16,
author = {Przemyslaw Daca and
Ashutosh Gupta and
Thomas A. Henzinger},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Abstraction-driven Concolic Testing},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {328--347},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_16},
doi = {10.1007/978-3-662-49122-5\_16},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DacaGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DelahayeLP16,
author = {Beno{\^{\i}}t Delahaye and
Didier Lime and
Laure Petrucci},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Parameter Synthesis for Parametric Interval Markov Chains},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {372--390},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_18},
doi = {10.1007/978-3-662-49122-5\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DelahayeLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DokoV16,
author = {Marko Doko and
Viktor Vafeiadis},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {A Program Logic for {C11} Memory Fences},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {413--430},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_20},
doi = {10.1007/978-3-662-49122-5\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DokoV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DudkaHPTV16,
author = {Kamil Dudka and
Luk{\'{a}}s Hol{\'{\i}}k and
Petr Peringer and
Marek Trt{\'{\i}}k and
Tom{\'{a}}s Vojnar},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {From Low-Level Pointers to High-Level Containers},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {431--452},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_21},
doi = {10.1007/978-3-662-49122-5\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DudkaHPTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GangeNSSS16,
author = {Graeme Gange and
Jorge A. Navas and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {An Abstract Domain of Uninterpreted Functions},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {85--103},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_4},
doi = {10.1007/978-3-662-49122-5\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GangeNSSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GanjeiREP16,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Lazy Constrained Monotonic Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {147--165},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_7},
doi = {10.1007/978-3-662-49122-5\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GanjeiREP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HashemiH016,
author = {Vahid Hashemi and
Holger Hermanns and
Lei Song},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Reward-Bounded Reachability Probability for Uncertain Weighted MDPs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {351--371},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_17},
doi = {10.1007/978-3-662-49122-5\_17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HashemiH016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HazizaHMW16,
author = {Fr{\'{e}}d{\'{e}}ric Haziza and
Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer and
Sebastian Wolff},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Pointer Race Freedom},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {393--412},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_19},
doi = {10.1007/978-3-662-49122-5\_19},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HazizaHMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HenzingerOS16,
author = {Thomas A. Henzinger and
Jan Otop and
Roopsha Samanta},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Lipschitz Robustness of Timed {I/O} Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {250--267},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_12},
doi = {10.1007/978-3-662-49122-5\_12},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HenzingerOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HilleryMRP16,
author = {Benjamin Hillery and
Eric Mercer and
Neha Rungta and
Suzette Person},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Exact Heap Summaries for Symbolic Execution},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {206--225},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_10},
doi = {10.1007/978-3-662-49122-5\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HilleryMRP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Holzmann16,
author = {Gerard J. Holzmann},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Cloud-Based Verification of Concurrent Software},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {311--327},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_15},
doi = {10.1007/978-3-662-49122-5\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Holzmann16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KarpenkovMW16,
author = {Egor George Karpenkov and
David Monniaux and
Philipp Wendler},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Program Analysis with Local Policy Iteration},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {127--146},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_6},
doi = {10.1007/978-3-662-49122-5\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KarpenkovMW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KidoCH16,
author = {Kengo Kido and
Swarat Chaudhuri and
Ichiro Hasuo},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Abstract Interpretation with Infinitesimals - Towards Scalability
in Nonstandard Static Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {229--249},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_11},
doi = {10.1007/978-3-662-49122-5\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KidoCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LinNR016,
author = {Anthony W. Lin and
Truong Khanh Nguyen and
Philipp R{\"{u}}mmer and
Jun Sun},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Regular Symmetry Patterns},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {455--475},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_22},
doi = {10.1007/978-3-662-49122-5\_22},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/LinNR016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MarechalFKMP16,
author = {Alexandre Mar{\'{e}}chal and
Alexis Fouilh{\'{e}} and
Tim King and
David Monniaux and
Micha{\"{e}}l P{\'{e}}rin},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Polyhedral Approximation of Multivariate Polynomials Using Handelman's
Theorem},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {166--184},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_8},
doi = {10.1007/978-3-662-49122-5\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MarechalFKMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Parizek16,
author = {Pavel Par{\'{\i}}zek},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Hybrid Analysis for Partial Order Reduction of Programs with Arrays},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {291--310},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_14},
doi = {10.1007/978-3-662-49122-5\_14},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Parizek16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PelegSY16,
author = {Hila Peleg and
Sharon Shoham and
Eran Yahav},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {{D3} : Data-Driven Disjunctive Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {185--205},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_9},
doi = {10.1007/978-3-662-49122-5\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/PelegSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RepsT16,
author = {Thomas W. Reps and
Aditya V. Thakur},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Automating Abstract Interpretation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {3--40},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_1},
doi = {10.1007/978-3-662-49122-5\_1},
timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/RepsT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RinetzkyS16,
author = {Noam Rinetzky and
Sharon Shoham},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Property Directed Abstract Interpretation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {104--123},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_5},
doi = {10.1007/978-3-662-49122-5\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/RinetzkyS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SogokonGJP16,
author = {Andrew Sogokon and
Khalil Ghorbal and
Paul B. Jackson and
Andr{\'{e}} Platzer},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {A Method for Invariant Generation for Polynomial Continuous Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {268--288},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_13},
doi = {10.1007/978-3-662-49122-5\_13},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SogokonGJP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2016,
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5},
doi = {10.1007/978-3-662-49122-5},
isbn = {978-3-662-49121-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2016.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-04-28 19:50 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:
