Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Frits W. Vaandrager |
Active Automata Learning: from L* to L#. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ning Dong, Roberto Guanciale, Mads Dam |
Refinement-Based Verification of Device-to-Device Information Flow. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett |
Automating System Configuration. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel |
IC3 with Internal Signals. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Neta Bar Kama, Roope Kaivola |
Hardware Security Leak Detection by Symbolic Simulation. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Kuncak, Jad Hamza |
Stainless Verification System Tutorial. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Aman Goel, Karem A. Sakallah |
Towards an Automatic Proof of Lamport's Paxos. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Guy Amir, Michael Schapira, Guy Katz |
Towards Scalable Verification of Deep Reinforcement Learning. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021 |
FMCAD |
2021 |
DBLP BibTeX RDF |
|
1 | Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov |
Induction with Recursive Definitions in Superposition. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ori Lahav 0002, Guy Katz |
Pruning and Slicing Neural Networks using Formal Verification. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ankit Kumar, Panagiotis Manolios |
Mathematical Programming Modulo Strings. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sewell |
Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dapeng Gao, Tom Melham |
End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Kragl, Shaz Qadeer |
The Civl Verifier. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hari Govind V. K., Sharon Shoham, Arie Gurfinkel |
Logical Characterization of Coherent Uninterpreted Programs. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal |
Celestial: A Smart Contracts Verification Framework. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei 0004, Xiaofan Zhang 0001, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra |
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule |
SAT-Inspired Eliminations for Superposition. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mark Santolucito |
The FMCAD 2021 Student Forum. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ivrii, Ofer Strichman |
Exploiting Isomorphic Subgraphs in SAT. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Bendík |
On Decomposition of Maximal Satisfiable Subsets. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina |
Lookahead in Partitioning SMT. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Rawson 0001, Giles Reger |
A Multithreaded Vampire with Shared Persistent Grounding. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vedad Hadzic, Roderick Bloem |
COCOALMA: A Versatile Masking Verifier. |
FMCAD |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar 0002, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal |
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström |
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz |
Using model checking tools to triage the severity of security bugs in the Xen hypervisor. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Haoze Wu 0001, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett |
Parallelization Techniques for Verifying Neural Networks. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lonsing, Subhasish Mitra, Clark W. Barrett |
A Theoretical Framework for Symbolic Quick Error Detection. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Pani, Georg Weissenbacher, Florian Zuleger |
Thread-modular Counter Abstraction for Parameterized Program Safety. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vasileios Klimis, George Parisis, Bernhard Reus |
Model Checking Software-Defined Networks with Flow Entries that Time Out. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz |
Effective System Level Liveness Verification. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Franz Brauße, Zurab Khasidashvili, Konstantin Korovin |
Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel |
How testable is business software? |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina |
Formal Methods with a Touch of Magic. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere |
Tutorial on World-Level Model Checking. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier |
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Nagashima |
Smart Induction for Isabelle/HOL (Tool Paper). |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nadel |
On Optimizing a Generic Function in SAT. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers, Ivan Gavran, Daniel Neider |
Learning Properties in LTL ∩ ACTL from Positive Examples Only. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia 0001, Corina S. Pasareanu |
Automating Compositional Analysis of Authentication Protocols. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pamina Georgiou, Bernhard Gleiss, Laura Kovács |
Trace Logic for Inductive Loop Reasoning. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schrammel |
The FMCAD 2020 Student Forum. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Kaufmann, Mathias Fleury, Armin Biere |
The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lauren Pick, Grigory Fedyukovich, Aarti Gupta |
Automating Modular Verification of Secure Information Flow. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020 |
FMCAD |
2020 |
DBLP BibTeX RDF |
|
1 | Hillel Kugler |
Formal Verification for Natural and Engineered Biological Systems. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001, Andres Nötzli, Clark W. Barrett, Cesare Tinelli |
Reductions for Strings and Regular Expressions Revisited. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Denis Bueno, Arlen Cox, Karem A. Sakallah |
EUFicient Reachability in Software with Arrays. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon Jantsch, Hans Harder, Florian Funke 0002, Christel Baier |
Switss: Computing Small Witnessing Subsystems. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds 0001, Omar Chowdhury, Cesare Tinelli |
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nadel |
Anytime Algorithms for MaxSAT and Beyond. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xuankang Lin, He Zhu 0001, Roopsha Samanta, Suresh Jagannathan |
Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman |
From Correctness to High Quality. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina |
Incremental Verification by SMT-based Summary Repair. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Aina Niemetz, Mathias Preiner |
Ternary Propagation-Based Local Search for more Bit-Precise Reasoning. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Prantik Chatterjee, Subhajit Roy 0001, Bui Phi Diep, Akash Lal |
Distributed Bounded Model Checking. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron |
Runtime Verification on FPGAs with LTLf Specifications. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
Reactive Synthesis from Extended Bounded Response LTL Specifications. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Kullmann, Ankit Shukla |
Autarkies for DQCNF. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Jatin Arora 0002, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah |
Knowledge Compilation for Boolean Functional Synthesis. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Hana Chockler, Masoud Ebrahimi 0002, Ofer Strichman |
Synthesizing Reactive Systems Using Robustness and Recovery Specifications. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Clark W. Barrett, Jin Yang (eds.) |
2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019 |
FMCAD |
2019 |
DBLP BibTeX RDF |
|
1 | Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni |
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray |
Verification of Authenticated Firmware Loaders. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Polikarpova |
SuSLik: Synthesis of Safe Pointer-Manipulating Programs (Invited Tutorial). |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier |
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Dixon |
An Increasing Need for Formality (Keynote). |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Ogles, Peter Aldous, Eric Mercer |
Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Meng Wu, Jingbo Wang 0006, Jyotirmoy Deshmukh, Chao Wang 0001 |
Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovács, Matteo Maffei |
Verifying Relational Properties using Trace Logic. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Dutra, Jonathan Bachrach, Koushik Sen |
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Kaufmann, Armin Biere, Manuel Kauers |
Verifying Large Multipliers by Combining SAT and Computer Algebra. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Freark I. van der Berg, Jaco van de Pol |
Concurrent Chaining Hash Maps for Software Model Checking. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dorsa Sadigh |
Safe and Interactive Autonomy: A Journey Starting from Formal Methods (Keynote). |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nadel |
Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Berryhill, Andreas G. Veneris |
Chasing Minimal Inductive Validity Cores in Hardware Model Checking. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Mordvinov, Grigory Fedyukovich |
Property Directed Inference of Relational Invariants. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gideon Geier, Philippe Heim, Felix Klein 0001, Bernd Finkbeiner |
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Haniel Barbosa, Andrew Reynolds 0001, Daniel Larraz, Cesare Tinelli |
Extending enumerative function synthesis via SMT-driven classification. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran |
Scalable Translation Validation of Unverified Legacy OS Code. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh |
Input Elimination Transformations for Scalable Verification and Trace Reconstruction. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider, Oliver Markgraf |
Learning-Based Synthesis of Safety Controllers. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aile Ge-Ernst, Christoph Scholl 0001, Ralf Wimmer 0001 |
Localizing Quantifiers for DQBF. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc |
BDD-Based Algorithms for Packet Classification. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Avi Ziv |
Challenges and Solutions in Post-Silicon Validation of High-end Processors (Invited Tutorial). |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Florian Frohn, Jürgen Giesl |
Proving Non-Termination via Loop Acceleration. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Faria Kalim, Karl Palmskog, Jayasi Mehar, Adithya Murali, Indranil Gupta, P. Madhusudan |
Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mark R. Greenstreet |
Integrating SMT with Theorem Proving for Verification of Analog and Mixed-Signal Circuits (Invited Tutorial). |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ebnenasir |
Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich |
The FMCAD 2019 Student Forum. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aellison Cassimiro T. dos Santos, Ben Schneider, Vivek Nigam |
TSNSCHED: Automated Schedule Generation for Time Sensitive Networking. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Kuderski, Jorge A. Navas, Arie Gurfinkel |
Unification-based Pointer Analysis without Oversharing. |
FMCAD |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer |
Trau: SMT solver for string constraints. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Mattarei, Makai Mann, Clark W. Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan |
CoSA: Integrated Verification for Agile Hardware Design. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Goldberg |
Complete Test Sets And Their Approximations. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sourav Anand, Nadia Polikarpova |
Automatic Synchronization for GPU Kernels. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bjørnar Luteberget, Koen Claessen, Christian Johansen |
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nina Narodytska |
Formal Verification of Deep Neural Networks. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|