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 |
|---|---|---|
| 2021 | Induction with Recursive Definitions in Superposition. | Mrton Hajd, Petra Hozzov, Laura Kovcs, Andrei Voronkov |
| 2021 | COCOALMA: A Versatile Masking Verifier. | Vedad Hadzic, Roderick Bloem |
| 2021 | Designing Samplers is Easy: The Boon of Testers. | Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel |
| 2021 | Towards an Automatic Proof of Lamport's Paxos. | Aman Goel, Karem A. Sakallah |
| 2021 | End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers. | Dapeng Gao, Tom Melham |
| 2021 | Single Clause Assumption without Activation Literals to Speed-up IC3. | Nils Froleyks, Armin Biere |
| 2021 | IC3 with Internal Signals. | Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel |
| 2021 | Model Checking AUTOSAR Components with CBMC. | Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr |
| 2021 | Refinement-Based Verification of Device-to-Device Information Flow. | Ning Dong, Roberto Guanciale, Mads Dam |
| 2021 | Reactive Synthesis Beyond Realizability. | Rayna Dimitrova |
| 2021 | Celestial: A Smart Contracts Verification Framework. | Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal |
| 2021 | Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. | Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra |
| 2021 | Robustness between Weak Memory Models. | Soham Chakraborty |
| 2021 | On Decomposition of Maximal Satisfiable Subsets. | Jaroslav Bendk |
| 2021 | Towards Scalable Verification of Deep Reinforcement Learning. | Guy Amir, Michael Schapira, Guy Katz |
| 2020 | Automating Compositional Analysis of Authentication Protocols. | Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu |
| 2020 | Parallelization Techniques for Verifying Neural Networks. | Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett |
| 2020 | Runtime Verification on FPGAs with LTLf Specifications. | Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron |
| 2020 | How testable is business software? | Peter Schrammel |
| 2020 | The FMCAD 2020 Student Forum. | Peter Schrammel |
| 2020 | Reductions for Strings and Regular Expressions Revisited. | Andrew Reynolds, Andres Ntzli, Clark W. Barrett, Cesare Tinelli |
| 2020 | Automating Modular Verification of Secure Information Flow. | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |
| 2020 | Thread-modular Counter Abstraction for Parameterized Program Safety. | Thomas Pani, Georg Weissenbacher, Florian Zuleger |
| 2020 | Ternary Propagation-Based Local Search for more Bit-Precise Reasoning. | Aina Niemetz, Mathias Preiner |
| 2020 | Smart Induction for Isabelle/HOL (Tool Paper). | Yutaka Nagashima |
176–200 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