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/fmcad/fmcad2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/fmcad/Alglave17,
author = {Jade Alglave},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Coalition, intrigue, ambush, destruction and pride: Herding cats can
be challenging},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102230},
doi = {10.23919/FMCAD.2017.8102230},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Alglave17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AltHAS17,
author = {Leonardo Alt and
Antti Eero Johannes Hyv{\"{a}}rinen and
Sepideh Asadi and
Natasha Sharygina},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Duality-based interpolation for quantifier-free equalities and uninterpreted
functions},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {39--46},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102239},
doi = {10.23919/FMCAD.2017.8102239},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AltHAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BaeG17,
author = {Kyungmin Bae and
Sicun Gao},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Modular SMT-based analysis of nonlinear hybrid systems},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {180--187},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102258},
doi = {10.23919/FMCAD.2017.8102258},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BaeG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BanksEHSJN17,
author = {Christopher J. Banks and
Marco Elver and
Ruth Hoffmann and
Susmit Sarkar and
Paul B. Jackson and
Vijay Nagarajan},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Verification of a lazy cache coherence protocol against a weak memory
model},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {60--67},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102242},
doi = {10.23919/FMCAD.2017.8102242},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BanksEHSJN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BauerMCS017,
author = {Matthew S. Bauer and
Umang Mathur and
Rohit Chadha and
A. Prasad Sistla and
Mahesh Viswanathan},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Exact quantitative probabilistic model checking through rational search},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {92--99},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102246},
doi = {10.23919/FMCAD.2017.8102246},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BauerMCS017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BerryhillIVV17,
author = {Ryan Berryhill and
Alexander Ivrii and
Neil Veira and
Andreas G. Veneris},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Learning support sets in {IC3} and Quip: The good, the bad, and the
ugly},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {140--147},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102252},
doi = {10.23919/FMCAD.2017.8102252},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BerryhillIVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BerzishGZ17,
author = {Murphy Berzish and
Vijay Ganesh and
Yunhui Zheng},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Z3str3: {A} string solver with theory-aware heuristics},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {55--59},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102241},
doi = {10.23919/FMCAD.2017.8102241},
timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BerzishGZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BiereDH17,
author = {Armin Biere and
Tom van Dijk and
Keijo Heljanko},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Hardware model checking competition 2017},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {9},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102233},
doi = {10.23919/FMCAD.2017.8102233},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BiereDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChenHLR17,
author = {Yu{-}Fang Chen and
Chih{-}Duo Hong and
Anthony W. Lin and
Philipp R{\"{u}}mmer},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Learning to prove safety over parameterised concurrent systems},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {76--83},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102244},
doi = {10.23919/FMCAD.2017.8102244},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChenHLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiMS17,
author = {Alessandro Cimatti and
Sergio Mover and
Mirko Sessa},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {SMT-based analysis of switching multi-domain linear Kirchhoff networks},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {188--195},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102259},
doi = {10.23919/FMCAD.2017.8102259},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ConchonGKMR17,
author = {Sylvain Conchon and
Amit Goel and
Sava Krstic and
Rupak Majumdar and
Mattias Roux},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {FAR-Cubicle - {A} new reachability algorithm for Cubicle},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {172--175},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102256},
doi = {10.23919/FMCAD.2017.8102256},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ConchonGKMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Cook17,
author = {Byron Cook},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Automated formal reasoning about {AWS} systems},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102231},
doi = {10.23919/FMCAD.2017.8102231},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Cook17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Cremers17,
author = {Cas Cremers},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Symbolic security analysis using the Tamarin prover},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {5},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102229},
doi = {10.23919/FMCAD.2017.8102229},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Cremers17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DeifelGMS0L17,
author = {Hans{-}Peter Deifel and
Merlin G{\"{o}}ttlinger and
Stefan Milius and
Lutz Schr{\"{o}}der and
Christian Dietrich and
Daniel Lohmann},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Automatic verification of application-tailored {OSEK} kernels},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {196--203},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102260},
doi = {10.23919/FMCAD.2017.8102260},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/DeifelGMS0L17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DijkWM17,
author = {Tom van Dijk and
Robert Wille and
Robert Meolic},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Tagged BDDs: Combining reduction rules from different decision diagram
types},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {108--115},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102248},
doi = {10.23919/FMCAD.2017.8102248},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/DijkWM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DurejaR17,
author = {Rohit Dureja and
Kristin Yvonne Rozier},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {FuseIC3: An algorithm for checking large design spaces},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {164--171},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102255},
doi = {10.23919/FMCAD.2017.8102255},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/DurejaR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FedyukovichKB17,
author = {Grigory Fedyukovich and
Samuel J. Kaufman and
Rastislav Bod{\'{\i}}k},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Sampling invariants from frequency distributions},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {100--107},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102247},
doi = {10.23919/FMCAD.2017.8102247},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/FedyukovichKB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GanjeiREP17,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Safety verification of phaser programs},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {68--75},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102243},
doi = {10.23919/FMCAD.2017.8102243},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GanjeiREP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GhassabaniWG17,
author = {Elaheh Ghassabani and
Michael W. Whalen and
Andrew Gacek},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Efficient generation of all minimal inductive validity cores},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {31--38},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102238},
doi = {10.23919/FMCAD.2017.8102238},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GhassabaniWG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GurfinkelI17,
author = {Arie Gurfinkel and
Alexander Ivrii},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {K-induction without unrolling},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {148--155},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102253},
doi = {10.23919/FMCAD.2017.8102253},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GurfinkelI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HallahanZP17,
author = {William T. Hallahan and
Ennan Zhai and
Ruzica Piskac},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Automated repair by example for firewalls},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {220--229},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102263},
doi = {10.23919/FMCAD.2017.8102263},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HallahanZP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HavelundPU17,
author = {Klaus Havelund and
Doron Peled and
Dogan Ulus},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {First order temporal logic monitoring with BDDs},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {116--123},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102249},
doi = {10.23919/FMCAD.2017.8102249},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HavelundPU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Heljanko17,
author = {Keijo Heljanko},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {The {FMCAD} 2017 graduate student forum},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {10},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102234},
doi = {10.23919/FMCAD.2017.8102234},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Heljanko17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HoMB17,
author = {Yen{-}Sheng Ho and
Alan Mishchenko and
Robert K. Brayton},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Property directed reachability with word-level abstraction},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {132--139},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102251},
doi = {10.23919/FMCAD.2017.8102251},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HoMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/IzychevaD17,
author = {Anastasiia Izycheva and
Eva Darulova},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {On sound relative error bounds for floating-point arithmetic},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {15--22},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102236},
doi = {10.23919/FMCAD.2017.8102236},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/IzychevaD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KhadraSK17,
author = {M. Ammar {Ben Khadra} and
Dominik Stoffel and
Wolfgang Kunz},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {goSAT: Floating-point satisfiability as global optimization},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {11--14},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102235},
doi = {10.23919/FMCAD.2017.8102235},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KhadraSK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MarescottiGHS17,
author = {Matteo Marescotti and
Arie Gurfinkel and
Antti Eero Johannes Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Designing parallel {PDR}},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {156--163},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102254},
doi = {10.23919/FMCAD.2017.8102254},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/MarescottiGHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Matsuo17,
author = {Shin'ichiro Matsuo},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {How formal analysis and verification add security to blockchain-based
systems},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102228},
doi = {10.23919/FMCAD.2017.8102228},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Matsuo17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MudduluruDDLQ17,
author = {Rashmi Mudduluru and
Pantazis Deligiannis and
Ankush Desai and
Akash Lal and
Shaz Qadeer},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Lasso detection using partial-state caching},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {84--91},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102245},
doi = {10.23919/FMCAD.2017.8102245},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/MudduluruDDLQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RitircBK17,
author = {Daniela Ritirc and
Armin Biere and
Manuel Kauers},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Column-wise verification of multipliers using computer algebra},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {23--30},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102237},
doi = {10.23919/FMCAD.2017.8102237},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RitircBK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SangnierSPT17,
author = {Arnaud Sangnier and
Nathalie Sznajder and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Parameterized verification of algorithms for oblivious robots on a
ring},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {212--219},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102262},
doi = {10.23919/FMCAD.2017.8102262},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SangnierSPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Steiner17,
author = {Wilfried Steiner},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Formal methods in industrial dependable systems design - The TTTech
example},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102232},
doi = {10.23919/FMCAD.2017.8102232},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Steiner17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/TabajaraV17,
author = {Lucas M. Tabajara and
Moshe Y. Vardi},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Factored boolean functional synthesis},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {124--131},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102250},
doi = {10.23919/FMCAD.2017.8102250},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/TabajaraV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/TothHVMM17,
author = {Tam{\'{a}}s T{\'{o}}th and
{\'{A}}kos Hajdu and
Andr{\'{a}}s V{\"{o}}r{\"{o}}s and
Zolt{\'{a}}n Micskei and
Istv{\'{a}}n Majzik},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Theta: {A} framework for abstraction refinement-based model checking},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {176--179},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102257},
doi = {10.23919/FMCAD.2017.8102257},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/TothHVMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/VerbeekV17,
author = {Freek Verbeek and
Nike van Vugt},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Estimating worst-case latency of on-chip interconnects with formal
simulation},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {204--211},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102261},
doi = {10.23919/FMCAD.2017.8102261},
timestamp = {Fri, 17 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/VerbeekV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/VizelNM17,
author = {Yakir Vizel and
Alexander Nadel and
Sharad Malik},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Solving linear arithmetic with SAT-based model checking},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {47--54},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102240},
doi = {10.23919/FMCAD.2017.8102240},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/VizelNM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2017,
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
publisher = {{IEEE}},
year = {2017},
url = {https://ieeexplore.ieee.org/xpl/conhome/8093672/proceeding},
isbn = {978-0-9835678-7-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/2017.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-07-31 16:05 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:
