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/fmcad2022.bht:"
download as .bib file
@inproceedings{DBLP:conf/fmcad/AmirZKS22,
author = {Guy Amir and
Tom Zelazny and
Guy Katz and
Michael Schapira},
editor = {Alberto Griggio and
Neha Rungta},
title = {Verification-Aided Deep Ensemble Selection},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {27--37},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_8},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_8},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/AmirZKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Andronick22,
author = {June Andronick},
editor = {Alberto Griggio and
Neha Rungta},
title = {The seL4 Verification Journey: How Have the Challenges and Opportunities
Evolved},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {1},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_1},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_1},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Andronick22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BlichaFHS22,
author = {Martin Blicha and
Grigory Fedyukovich and
Antti E. J. Hyv{\"{a}}rinen and
Natasha Sharygina},
editor = {Alberto Griggio and
Neha Rungta},
title = {Split Transition Power Abstraction for Unbounded Safety},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {349--358},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_42},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_42},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BlichaFHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Bryant22,
author = {Randal E. Bryant},
editor = {Alberto Griggio and
Neha Rungta},
title = {Tbuddy: {A} Proof-Generating {BDD} Package},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {49--58},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_10},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_10},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Bryant22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BucevK22,
author = {Mario Bucev and
Viktor Kuncak},
editor = {Alberto Griggio and
Neha Rungta},
title = {Formally Verified Quite {OK} Image Format},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {343--348},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_41},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_41},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BucevK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChenHLT22,
author = {Fa{-}Hsun Chen and
Shen{-}Chang Huang and
Yu{-}Cheng Lu and
Tony Tan},
editor = {Alberto Griggio and
Neha Rungta},
title = {Reducing NEXP-complete problems to {DQBF}},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {199--204},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_26},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_26},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChenHLT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Chockler22,
author = {Hana Chockler},
editor = {Alberto Griggio and
Neha Rungta},
title = {Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning
to Verification},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {1},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_2},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_2},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Chockler22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DalyDMSBRBH22,
author = {Ross Daly and
Caleb Donovick and
Jackson Melchert and
Rajsekhar Setaluri and
Nestan Tsiskaridze and
Priyanka Raina and
Clark W. Barrett and
Pat Hanrahan},
editor = {Alberto Griggio and
Neha Rungta},
title = {Synthesizing Instruction Selection Rewrite Rules from {RTL} using
{SMT}},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {139--150},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_20},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_20},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/DalyDMSBRBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Ebnenasir22,
author = {Ali Ebnenasir},
editor = {Alberto Griggio and
Neha Rungta},
title = {Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded
Variables},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {245--254},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_31},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_31},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Ebnenasir22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/EsenR22,
author = {Zafer Esen and
Philipp R{\"{u}}mmer},
editor = {Alberto Griggio and
Neha Rungta},
title = {Tricera: Verifying {C} Programs Using the Theory of Heaps},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {380--391},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_45},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_45},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/EsenR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FlattCWTP22,
author = {Oliver Flatt and
Samuel Coward and
Max Willsey and
Zachary Tatlock and
Pavel Panchekha},
editor = {Alberto Griggio and
Neha Rungta},
title = {Small Proofs from Congruence Closure},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {75--83},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_13},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/FlattCWTP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GeorgiouGBRKR22,
author = {Pamina Georgiou and
Bernhard Gleiss and
Ahmed Bhayat and
Michael Rawson and
Laura Kov{\'{a}}cs and
Giles Reger},
editor = {Alberto Griggio and
Neha Rungta},
title = {The Rapid Software Verification Framework},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {255--260},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_32},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_32},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GeorgiouGBRKR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GodboleMS22,
author = {Adwait Godbole and
Yatin A. Manerkar and
Sanjit A. Seshia},
editor = {Alberto Griggio and
Neha Rungta},
title = {Automated Conversion of Axiomatic to Operational Models: Theory and
Practice},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {331--342},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_40},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_40},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GodboleMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GroverED22,
author = {Anvay Grover and
Ruediger Ehlers and
Loris D'Antoni},
editor = {Alberto Griggio and
Neha Rungta},
title = {Synthesizing Transducers from Complex Specifications},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {294--303},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_36},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_36},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GroverED22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GuptaKMS22,
author = {Aarti Gupta and
Roope Kaivola and
Mihir Parang Mehta and
Vaibhav Singh},
editor = {Alberto Griggio and
Neha Rungta},
title = {Error Correction Code Algorithm and Implementation Verification Using
Symbolic Representations},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {151--159},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_21},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_21},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GuptaKMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HaglundG22,
author = {Jonas Haglund and
Roberto Guanciale},
editor = {Alberto Griggio and
Neha Rungta},
title = {Formally Verified Isolation of {DMA}},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {118--128},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_18},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_18},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HaglundG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Hjort22,
author = {H{\aa}kan Hjort},
editor = {Alberto Griggio and
Neha Rungta},
title = {On Applying Model Checking in Formal Verification},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {1},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_3},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_3},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Hjort22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/IsacBZK22,
author = {Omri Isac and
Clark W. Barrett and
Min Zhang and
Guy Katz},
editor = {Alberto Griggio and
Neha Rungta},
title = {Neural Network Verification with Proof Production},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {38--48},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_9},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_9},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/IsacBZK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JacobsSV22,
author = {Swen Jacobs and
Mouhammad Sakr and
Marcus V{\"{o}}lp},
editor = {Alberto Griggio and
Neha Rungta},
title = {Automatic Repair and Deadlock Detection for Parameterized Systems},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {225--234},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_29},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_29},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/JacobsSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JonssonLS22,
author = {Bengt Jonsson and
Magnus L{\aa}ng and
Konstantinos Sagonas},
editor = {Alberto Griggio and
Neha Rungta},
title = {Awaiting for Godot: Stateless Model Checking that Avoids Executions
where Nothing Happens},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {284--293},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_35},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_35},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JonssonLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KaivolaK22,
author = {Roope Kaivola and
Neta Bar Kama},
editor = {Alberto Griggio and
Neha Rungta},
title = {Timed Causal Fanin Analysis for Symbolic Circuit Simulation},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {99--107},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_16},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_16},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KaivolaK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KalitaKR22,
author = {Pankaj Kumar Kalita and
Miriyala Jeevan Kumar and
Subhajit Roy},
editor = {Alberto Griggio and
Neha Rungta},
title = {Synthesis of Semantic Actions in Attribute Grammars},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {304--314},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_37},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_37},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KalitaKR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KheterpalTJ22,
author = {Nishant Kheterpal and
Elanor Tang and
Jean{-}Baptiste Jeannin},
editor = {Alberto Griggio and
Neha Rungta},
title = {Automating Geometric Proofs of Collision Avoidance with Active Corners},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_43},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_43},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KheterpalTJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KonradSMGD22,
author = {Alexander Konrad and
Christoph Scholl and
Alireza Mahzoon and
Daniel Gro{\ss}e and
Rolf Drechsler},
editor = {Alberto Griggio and
Neha Rungta},
title = {Divider Verification Using Symbolic Computer Algebra and Delayed Don't
Care Optimization},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_17},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_17},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/KonradSMGD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LaufferYVSS22,
author = {Niklas Lauffer and
Beyazit Yalcinkaya and
Marcell Vazquez{-}Chanlatte and
Ameesh Shah and
Sanjit A. Seshia},
editor = {Alberto Griggio and
Neha Rungta},
title = {Learning Deterministic Finite Automata Decompositions from Examples
and Demonstrations},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_39},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_39},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/LaufferYVSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LiWW22,
author = {Yannan Li and
Jingbo Wang and
Chao Wang},
editor = {Alberto Griggio and
Neha Rungta},
title = {Proving Robustness of {KNN} Against Adversarial Data Poisoning},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {7--16},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_6},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_6},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LiWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LohnLH22,
author = {Evan Lohn and
Chris Lambert and
Marijn J. H. Heule},
editor = {Alberto Griggio and
Neha Rungta},
title = {Compact Symmetry Breaking for Tournaments},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {179--188},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_24},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_24},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/LohnLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Loow22,
author = {Andreas L{\"{o}}{\"{o}}w},
editor = {Alberto Griggio and
Neha Rungta},
title = {Reconciling Verified-Circuit Development and Verilog Development},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {1--10},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_15},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_15},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Loow22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MaderbacherB22,
author = {Benedikt Maderbacher and
Roderick Bloem},
editor = {Alberto Griggio and
Neha Rungta},
title = {Reactive Synthesis Modulo Theories using Abstraction Refinement},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {315--324},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_38},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_38},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/MaderbacherB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/NairCWOB22,
author = {Abhishek Anil Nair and
Saranyu Chattopadhyay and
Haoze Wu and
Alex Ozdemir and
Clark W. Barrett},
editor = {Alberto Griggio and
Neha Rungta},
title = {Proof-Stitch: Proof Combination for Divide-and-Conquer {SAT} Solvers},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {84--88},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_14},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_14},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/NairCWOB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/NotzliBNPRBT22,
author = {Andres N{\"{o}}tzli and
Haniel Barbosa and
Aina Niemetz and
Mathias Preiner and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
editor = {Alberto Griggio and
Neha Rungta},
title = {Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific
Language},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {65--74},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_12},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_12},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/NotzliBNPRBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Padon22,
author = {Oded Padon},
editor = {Alberto Griggio and
Neha Rungta},
title = {Verification of Distributed Protocols: Decidable Modeling and Invariant
Inference},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {4},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_4},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_4},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/Padon22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PalmskogYDGD22,
author = {Karl Palmskog and
Xiaomo Yao and
Ning Dong and
Roberto Guanciale and
Mads Dam},
editor = {Alberto Griggio and
Neha Rungta},
title = {Foundations and Tools in {HOL4} for Analysis of Microarchitectural
Out-of-Order Execution},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {129--138},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_19},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_19},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/PalmskogYDGD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Preiner22,
author = {Mathias Preiner},
editor = {Alberto Griggio and
Neha Rungta},
title = {The {FMCAD} 2022 Student Forum},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {5--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_5},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_5},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Preiner22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PriyaSBZVG22,
author = {Siddharth Priya and
Yusen Su and
Yuyan Bao and
Xiang Zhou and
Yakir Vizel and
Arie Gurfinkel},
editor = {Alberto Griggio and
Neha Rungta},
title = {Bounded Model Checking for {LLVM}},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {214--224},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_28},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_28},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/PriyaSBZVG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RaghunathanBGW22,
author = {Divya Raghunathan and
Ryan Beckett and
Aarti Gupta and
David Walker},
editor = {Alberto Griggio and
Neha Rungta},
title = {{ACORN:} Network Control Plane Abstraction using Route Nondeterminism},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {261--272},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_33},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_33},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RaghunathanBGW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RathBK22,
author = {Jakob Rath and
Armin Biere and
Laura Kov{\'{a}}cs},
editor = {Alberto Griggio and
Neha Rungta},
title = {First-Order Subsumption via {SAT} Solving},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {160--169},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_22},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_22},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/RathBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SchlichtkrullSST22,
author = {Anders Schlichtkrull and
Morten Konggaard Schou and
Jir{\'{\i}} Srba and
Dmitriy Traytel},
editor = {Alberto Griggio and
Neha Rungta},
title = {Differential Testing of Pushdown Reachability with a Formally Verified
Oracle},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {369--379},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_44},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_44},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/SchlichtkrullSST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SchultzDT22,
author = {William Schultz and
Ian Dardik and
Stavros Tripakis},
editor = {Alberto Griggio and
Neha Rungta},
title = {Plain and Simple Inductive Invariant Inference for Distributed Protocols
in TLA\({}^{\mbox{+}}\)},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {273--283},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_34},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_34},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/SchultzDT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/VigourouxEMMP22,
author = {Thomas Vigouroux and
Cristian Ene and
David Monniaux and
Laurent Mounier and
Marie{-}Laure Potet},
editor = {Alberto Griggio and
Neha Rungta},
title = {BaxMC: a {CEGAR} approach to Max{\#}SAT},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {170--178},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_23},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_23},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/VigourouxEMMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WalterGM22,
author = {Andrew T. Walter and
David A. Greve and
Panagiotis Manolios},
editor = {Alberto Griggio and
Neha Rungta},
title = {Enumerative Data Types with Constraints},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {189--198},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_25},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_25},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WalterGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YangLM22,
author = {Suwei Yang and
Victor C. Liang and
Kuldeep S. Meel},
editor = {Alberto Griggio and
Neha Rungta},
title = {{INC:} {A} Scalable Incremental Weighted Sampler},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {205--213},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_27},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_27},
timestamp = {Thu, 22 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/YangLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/YuFBH22,
author = {Emily Yu and
Nils Froleyks and
Armin Biere and
Keijo Heljanko},
editor = {Alberto Griggio and
Neha Rungta},
title = {Stratified Certification for k-Induction},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {59--64},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_11},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/YuFBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZelaznyWBK22,
author = {Tom Zelazny and
Haoze Wu and
Clark W. Barrett and
Guy Katz},
editor = {Alberto Griggio and
Neha Rungta},
title = {On Optimizing Back-Substitution Methods for Neural Network Verification},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {17--26},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_7},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_7},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ZelaznyWBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZhangTN22,
author = {Ruoxi Zhang and
Richard J. Trefler and
Kedar S. Namjoshi},
editor = {Alberto Griggio and
Neha Rungta},
title = {Synthesizing Locally Symmetric Parameterized Protocols from Temporal
Specifications},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {235--244},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_30},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_30},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ZhangTN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2022,
editor = {Alberto Griggio and
Neha Rungta},
title = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
publisher = {{IEEE}},
year = {2022},
url = {https://ieeexplore.ieee.org/xpl/conhome/10026543/proceeding},
isbn = {978-3-85448-053-2},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/2022.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-21 11:55 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:
