Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/fmcad/fmcad2022.bht:"
@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} }
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.