Formal Methods in Computer-Aided Design
FMCAD
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering
Papers indexed
840
1996–2025
Papers per year
199645 peak2025
Most published authors
FMCAD papers
840 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2024 | Symbolic Computer Algebra for Multipliers Revisited - It's All About Orders and Phases. | Alexander Konrad, Christoph Scholl |
| 2024 | Leveraging LLMs for Program Verification. | Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma |
| 2024 | Combining Symbolic Execution with Predicate Abstraction and CEGAR. | Martin Jons, Jan Strejcek, Alberto Griggio |
| 2024 | Extending DRAT to SMT. | S. Hitarth, Cayden R. Codel, Hanna Lachnitt, Bruno Dutertre |
| 2024 | 2-DQBF Solving and Certification via Property-Directed Reachability Analysis. | Long-Hin Fung, Che Cheng, Yu-Wei Fan, Tony Tan, Jie-Hong Roland Jiang |
| 2024 | Efficient Synthesis of Symbolic Distributed Protocols by Sketching. | Derek Egolf, William Schultz, Stavros Tripakis |
| 2024 | Toward Exhaustive Sequential Redundancy Removal. | Rohit Dureja, Jason Baumgartner, Raj Kumar Gajavelly, Robert Kanzelman, Kristin Y. Rozier |
| 2024 | Recomposition: A New Technique for Efficient Compositional Verification. | Ian Dardik, April Porter, Eunsuk Kang |
| 2024 | Projective Model Counting for IP Addresses in Access Control Policies. | Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gkhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung |
| 2024 | Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection. | Ross Daly, Caleb Donovick, Caleb Terrill, Jackson Melchert, Priyanka Raina, Clark W. Barrett, Pat Hanrahan |
| 2024 | Verified Substitution Redundancy Checking. | Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule |
| 2024 | Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware. | Rachel Cleaveland, Caroline Trippel |
| 2024 | Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function. | Paul Bonnot, Benot Boyer, Florian Faissole, Claude March, Raphal Rieu-Helft |
| 2024 | The FMCAD 2024 Student Forum. | Martin Blicha, Nestan Tsiskaridze |
| 2024 | Hardware Model Checking Competition 2024. | Armin Biere, Nils Froleyks, Mathias Preiner |
| 2024 | Clausal Equivalence Sweeping. | Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks |
| 2024 | SMT-D: New Strategies for Portfolio-Based SMT Solving. | Clark W. Barrett, Pei-Wei Chen, Byron Cook, Bruno Dutertre, Robert B. Jones, Nham Le, Andrew Reynolds, Kunal Sheth, Christopher Stephens, Michael W. Whalen |
| 2024 | DAG-Based Compositional Approaches for LTLf to DFA Conversions. | Suguman Bansal, Yash Kankariya, Yong Li |
| 2023 | Mariposa: Measuring SMT Instability in Automated Program Verification. | Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno |
| 2023 | Fortis: A Tool for Analysis and Repair of Robust Software Systems. | Changjian Zhang, Ian Dardik, Rmulo Meira-Ges, David Garlan, Eunsuk Kang |
| 2023 | Towards Compositional Hardware Model Checking Certification. | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
| 2023 | Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. | Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett |
| 2023 | Partitioning Strategies for Distributed SMT Solving. | Amalee Wilson, Andres Ntzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett |
| 2023 | μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. | Simon Tollec, Mihail Asavoae, Damien Courouss, Karine Heydemann, Mathieu Jan |
| 2023 | Data-Driven Learning of Strong Conjunctive Invariants. | Arkesh Thakkar, Deepak D'Souza |
51–75 of 840← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems