| 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.  |
FMCAD  |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps |
Modular System Synthesis. |
FMCAD |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaowei Cai 0001 |
Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Könighofer |
Formal Methods for Trused AI. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter J. Stuckey |
MiniZinc for Formal Methods. |
FMCAD |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Manasvi Saxena, Shuang Song, Lui Sha |
MediK: Towards Safe Guideline-based Clinical Decision Support. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
Verified Encodings for SAT Solvers. |
FMCAD |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bohan Li 0002, Shaowei Cai 0001 |
Local Search For SMT On Linear and Multi-linear Real Arithmetic. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuldeep S. Meel |
Distribution Testing: The New Frontier for Formal Methods. |
FMCAD |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
Towards Compositional Hardware Model Checking Certification. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Iason Marmanis, Viktor Vafeiadis |
Optimal Bounded Partial Order Reduction. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolas Janota, Nina Narodytska |
The FMCAD 2023 Student Forum. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Froleyks, Emily Yu, Armin Biere |
BIG Backbones. |
FMCAD |
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. |
FMCAD |
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 |
FMCAD |
2023 |
DBLP BibTeX RDF |
|
| 1 | Samuel Pastva, Thomas A. Henzinger |
Binary Decision Diagrams on Modern Hardware. |
FMCAD |
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. |
FMCAD |
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. |
FMCAD |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Landon Taylor, Bryant Israelsen, Zhen Zhang 0006 |
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaki Ryan, Cynthia Sturton |
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Swartwout |
NASA's core Flight System Framework Overview. |
FMCAD |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Tafese, Isabel Garcia-Contreras, Arie Gurfinkel |
BTOR2MLIR: A Format and Toolchain for Hardware Verification. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Paola Bonacina |
Reasoning about Quantifiers in SMT: The QSMA algorithm. |
FMCAD |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Qin, Navid Hashemi, Lars Lindemann, Jyotirmoy V. Deshmukh |
Conformance Testing for Stochastic Cyber-Physical Systems. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz |
Formally Explaining Neural Networks within Reactive Systems. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raya Elsaleh, Guy Katz |
DelBugV: Delta-Debugging Neural Network Verifiers. |
FMCAD |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shreesha G. Bhat, Kartik Nagar |
Automating Cutoff-based Verification of Distributed Protocols. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kait Lam, Nicholas Coughlin |
Lift-off: Trustworthy ARMv8 semantics from formal specifications. |
FMCAD |
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. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arkesh Thakkar, Deepak D'Souza |
Data-Driven Learning of Strong Conjunctive Invariants. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Kiesl-Reiter, Michael W. Whalen |
Proofs for Incremental SAT with Inprocessing. |
FMCAD |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Haglund, Roberto Guanciale |
Formally Verified Isolation of DMA. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet |
BaxMC: a CEGAR approach to Max#SAT. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha |
Small Proofs from Congruence Closure. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | William Schultz, Ian Dardik, Stavros Tripakis |
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. |
FMCAD |
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. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Håkan Hjort |
On Applying Model Checking in Formal Verification. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel |
Bounded Model Checking for LLVM. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Suwei Yang, Victor C. Liang, Kuldeep S. Meel |
INC: A Scalable Incremental Weighted Sampler. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Lööw |
Reconciling Verified-Circuit Development and Verilog Development. |
FMCAD |
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. |
FMCAD |
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. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Swen Jacobs, Mouhammad Sakr, Marcus Völp |
Automatic Repair and Deadlock Detection for Parameterized Systems. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannan Li, Jingbo Wang 0006, Chao Wang 0001 |
Proving Robustness of KNN Against Adversarial Data Poisoning. |
FMCAD |
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. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Rath, Armin Biere, Laura Kovács |
First-Order Subsumption via SAT Solving. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Evan Lohn, Chris Lambert, Marijn J. H. Heule |
Compact Symmetry Breaking for Tournaments. |
FMCAD |
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. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fa-Hsun Chen, Shen-Chang Huang, Yu-Cheng Lu, Tony Tan |
Reducing NEXP-complete problems to DQBF. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zafer Esen, Philipp Rümmer |
Tricera: Verifying C Programs Using the Theory of Heaps. |
FMCAD |
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. |
FMCAD |
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. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
Stratified Certification for k-Induction. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin |
Automating Geometric Proofs of Collision Avoidance with Active Corners. |
FMCAD |
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. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Roope Kaivola, Neta Bar Kama |
Timed Causal Fanin Analysis for Symbolic Circuit Simulation. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina |
Split Transition Power Abstraction for Unbounded Safety. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bucev, Viktor Kuncak |
Formally Verified Quite OK Image Format. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Omri Isac, Clark W. Barrett, Min Zhang 0002, Guy Katz |
Neural Network Verification with Proof Production. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Padon |
Verification of Distributed Protocols: Decidable Modeling and Invariant Inference. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker 0001 |
ACORN: Network Control Plane Abstraction using Route Nondeterminism. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | June Andronick |
The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved. |
FMCAD |
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. |
FMCAD |
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. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedikt Maderbacher, Roderick Bloem |
Reactive Synthesis Modulo Theories using Abstraction Refinement. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira |
Verification-Aided Deep Ensemble Selection. |
FMCAD |
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 |
FMCAD |
2022 |
DBLP BibTeX RDF |
|
| 1 | Anvay Grover, Ruediger Ehlers, Loris D'Antoni |
Synthesizing Transducers from Complex Specifications. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ebnenasir |
Synthesizing Self-Stabilizing Parameterized Protocols with Unbounded Variables. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hana Chockler |
Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew T. Walter, David A. Greve, Panagiotis Manolios |
Enumerative Data Types with Constraints. |
FMCAD |
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. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy 0001 |
Synthesis of Semantic Actions in Attribute Grammars. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi |
Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia |
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Preiner |
The FMCAD 2022 Student Forum. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Randal E. Bryant |
Tbuddy: A Proof-Generating BDD Package. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rayna Dimitrova |
Reactive Synthesis Beyond Realizability. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Liskov |
From Viewstamped Replication to Blockchains. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Seny Kamara |
Algorithms for the People. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Froleyks, Armin Biere |
Single Clause Assumption without Activation Literals to Speed-up IC3. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Ozdemir, Haoze Wu 0001, Clark W. Barrett |
SAT Solving in the Serverless Cloud. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mertcan Temel, Warren A. Hunt |
Sound and Automated Verification of Real-World RTL Multipliers. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Soham Chakraborty 0001 |
Robustness between Weak Memory Models. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Maffei |
Formal Methods for the Security Analysis of Smart Contracts. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr |
Model Checking AUTOSAR Components with CBMC. |
FMCAD |
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. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michalis Kokologiannakis, Xiaowei Ren, Viktor Vafeiadis |
Dynamic Partial Order Reductions for Spinloops. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds 0001 |
Fair and Adventurous Enumeration of Quantifier Instantiations. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Priyanka Golia, Mate Soos, Sourav Chakraborty 0001, Kuldeep S. Meel |
Designing Samplers is Easy: The Boon of Testers. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nham Le, Xujie Si, Arie Gurfinkel |
Data-driven Optimization of Inductive Generalization. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license