Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides |
Datapath Verification via Word-Level E-Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 92-100, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Abdalrhman Mohamed, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli |
A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 189-198, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps |
Modular System Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 257-267, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Changjian Zhang, Ian Dardik, Rômulo Meira-Góes, David Garlan, Eunsuk Kang |
Fortis: A Tool for Analysis and Repair of Robust Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-9, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shaowei Cai 0001 |
Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Könighofer |
Formal Methods for Trused AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey |
MiniZinc for Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan |
μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 101-109, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Manasvi Saxena, Shuang Song, Lui Sha |
MediK: Towards Safe Guideline-based Clinical Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 306-317, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
Verified Encodings for SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 141-151, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón |
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 237-246, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bohan Li 0002, Shaowei Cai 0001 |
Local Search For SMT On Linear and Multi-linear Real Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-10, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kuldeep S. Meel |
Distribution Testing: The New Frontier for Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 2, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia |
Modelling and Verification of Security-Oriented Resource Partitioning Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 268-273, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
Towards Compositional Hardware Model Checking Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-11, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Iason Marmanis, Viktor Vafeiadis |
Optimal Bounded Partial Order Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 86-91, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mikolas Janota, Nina Narodytska |
The FMCAD 2023 Student Forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-2, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nils Froleyks, Emily Yu, Armin Biere |
BIG Backbones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 162-167, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Haoze Wu 0001, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett |
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-11, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nadel, Kristin Yvonne Rozier (eds.) |
Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-3-85448-060-0 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Samuel Pastva, Thomas A. Henzinger |
Binary Decision Diagrams on Modern Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 122-131, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Amalee Wilson, Andres Nötzli, Andrew Reynolds 0001, Byron Cook, Cesare Tinelli, Clark W. Barrett |
Partitioning Strategies for Distributed SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 199-208, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lööw |
Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 247-256, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Katalin Fazekas, Aman Goel, Karem A. Sakallah |
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 152-161, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Landon Taylor, Bryant Israelsen, Zhen Zhang 0006 |
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 284-293, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kaki Ryan, Cynthia Sturton |
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 110-121, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Swartwout |
NASA's core Flight System Framework Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Baoluo Meng, Joyanta Debnath, Sarat Chandra Varanasi, Emmanuel Manoloios, Michael Durling, Saswata Paul, Daniel Prince, Saif Alsabbagh, Richard Haadsma, Craig McMillan, Chi Zhang, Tim Oates 0001 |
Towards a Correct-by-Construction Design of Integrated Modular Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 221-227, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel |
BTOR2MLIR: A Format and Toolchain for Hardware Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 55-63, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina |
Reasoning about Quantifiers in SMT: The QSMA algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli |
CRV: Automated Cyber-Resiliency Reasoning for System Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 209-220, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
Conformance Testing for Stochastic Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 294-305, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz |
Formally Explaining Neural Networks within Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-13, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Raya Elsaleh, Guy Katz |
DelBugV: Delta-Debugging Neural Network Verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 34-43, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yi Zhou 0025, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno |
Mariposa: Measuring SMT Instability in Automated Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 178-188, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shreesha G. Bhat, Kartik Nagar |
Automating Cutoff-based Verification of Distributed Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 75-85, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kait Lam, Nicholas Coughlin |
Lift-off: Trustworthy ARMv8 semantics from formal specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 274-283, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kristin Y. Rozier, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi |
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Arkesh Thakkar, Deepak D'Souza |
Data-Driven Learning of Strong Conjunctive Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 1-11, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Kiesl-Reiter, Michael W. Whalen |
Proofs for Incremental SAT with Inprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023, pp. 132-140, 2023, IEEE, 978-3-85448-060-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Haglund, Roberto Guanciale |
Formally Verified Isolation of DMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 118-128, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet |
BaxMC: a CEGAR approach to Max#SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 170-178, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha |
Small Proofs from Congruence Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 75-83, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | William Schultz, Ian Dardik, Stavros Tripakis |
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 273-283, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel |
Differential Testing of Pushdown Reachability with a Formally Verified Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 369-379, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Håkan Hjort |
On Applying Model Checking in Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 1, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel |
Bounded Model Checking for LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 214-224, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Suwei Yang, Victor C. Liang, Kuldeep S. Meel |
INC: A Scalable Incremental Weighted Sampler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 205-213, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Lööw |
Reconciling Verified-Circuit Development and Verilog Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 1-10, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, Mads Dam |
Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 129-138, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andres Nötzli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli |
Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 65-74, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Mouhammad Sakr, Marcus Völp |
Automatic Repair and Deadlock Detection for Parameterized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 225-234, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yannan Li, Jingbo Wang 0006, Chao Wang 0001 |
Proving Robustness of KNN Against Adversarial Data Poisoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 7-16, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Jonsson 0001, Magnus Lång, Konstantinos Sagonas |
Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 284-293, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Rath, Armin Biere, Laura Kovács |
First-Order Subsumption via SAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 160-169, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Evan Lohn, Chris Lambert, Marijn J. H. Heule |
Compact Symmetry Breaking for Tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 179-188, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson 0001, Laura Kovács, Giles Reger |
The Rapid Software Verification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 255-260, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fa-Hsun Chen, Shen-Chang Huang, Yu-Cheng Lu, Tony Tan |
Reducing NEXP-complete problems to DQBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 199-204, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Zafer Esen, Philipp Rümmer |
Tricera: Verifying C Programs Using the Theory of Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 380-391, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tom Zelazny, Haoze Wu 0001, Clark W. Barrett, Guy Katz |
On Optimizing Back-Substitution Methods for Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 17-26, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Konrad, Christoph Scholl 0001, Alireza Mahzoon, Daniel Große, Rolf Drechsler |
Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 1-10, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
Stratified Certification for k-Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 59-64, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin |
Automating Geometric Proofs of Collision Avoidance with Active Corners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 1-10, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia |
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 1-6, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Roope Kaivola, Neta Bar Kama |
Timed Causal Fanin Analysis for Symbolic Circuit Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 99-107, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina |
Split Transition Power Abstraction for Unbounded Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 349-358, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bucev, Viktor Kuncak |
Formally Verified Quite OK Image Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 343-348, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Omri Isac, Clark W. Barrett, Min Zhang 0002, Guy Katz |
Neural Network Verification with Proof Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 38-48, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Oded Padon |
Verification of Distributed Protocols: Decidable Modeling and Invariant Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 4, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker 0001 |
ACORN: Network Control Plane Abstraction using Route Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 261-272, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | June Andronick |
The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 1, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Aarti Gupta, Roope Kaivola, Mihir Parang Mehta, Vaibhav Singh |
Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 151-159, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu 0001, Alex Ozdemir, Clark W. Barrett |
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 84-88, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Maderbacher, Roderick Bloem |
Reactive Synthesis Modulo Theories using Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 315-324, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira |
Verification-Aided Deep Ensemble Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 27-37, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Griggio, Neha Rungta (eds.) |
22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-3-85448-053-2 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Anvay Grover, Ruediger Ehlers, Loris D'Antoni |
Synthesizing Transducers from Complex Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 294-303, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ebnenasir |
Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 245-254, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler |
Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 1, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrew T. Walter, David A. Greve, Panagiotis Manolios |
Enumerative Data Types with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 189-198, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze, Priyanka Raina, Clark W. Barrett, Pat Hanrahan |
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 139-150, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy 0001 |
Synthesis of Semantic Actions in Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 304-314, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi |
Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 235-244, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia |
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 331-342, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Preiner |
The FMCAD 2022 Student Forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 5-6, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Randal E. Bryant |
Tbuddy: A Proof-Generating BDD Package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 49-58, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rayna Dimitrova |
Reactive Synthesis Beyond Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 1, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Liskov |
From Viewstamped Replication to Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 1, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Seny Kamara |
Algorithms for the People. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 11, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nils Froleyks, Armin Biere |
Single Clause Assumption without Activation Literals to Speed-up IC3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 72-76, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alex Ozdemir, Haoze Wu 0001, Clark W. Barrett |
SAT Solving in the Serverless Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 241-245, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mertcan Temel, Warren A. Hunt |
Sound and Automated Verification of Real-World RTL Multipliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 53-62, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Soham Chakraborty 0001 |
Robustness between Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 173-182, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Maffei |
Formal Methods for the Security Analysis of Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 1-2, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr |
Model Checking AUTOSAR Components with CBMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 96-101, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay 0001, Sanjit A. Seshia |
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 153-162, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis |
Dynamic Partial Order Reductions for Spinloops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 163-172, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mikolás Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds 0001 |
Fair and Adventurous Enumeration of Quantifier Instantiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 256-260, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Priyanka Golia, Mate Soos, Sourav Chakraborty 0001, Kuldeep S. Meel |
Designing Samplers is Easy: The Boon of Testers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 222-230, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nham Le, Xujie Si, Arie Gurfinkel |
Data-driven Optimization of Inductive Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021, pp. 86-95, 2021, IEEE, 978-3-85448-046-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|