Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yuri Meshman, Noam Rinetzky, Eran Yahav |
Pattern-based Synthesis of Synchronization for the C++ Memory Model. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tim Lange 0001, Martin R. Neuhäußer, Thomas Noll 0001 |
IC3 Software Model Checking on Control Flow Automata. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Markus N. Rabe, Leander Tentrup |
CAQE: A Certifying QBF Solver. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu |
Verification of Cache Coherence Protocols wrt. Trace Filters. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas |
Accelerating Invariant Generation. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guy Katz, Clark W. Barrett, David Harel |
Theory-Aided Model Checking of Concurrent Transition Systems. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier |
Comparing Different Functional Allocations in Automated Air Traffic Control Design. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal |
Compositional Reasoning Gotchas in Practice. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sharad Malik |
Detecting Hardware Trojans: A Tale of Two Techniques. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Bingham |
Universal Boolean Functional Vectors. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik |
Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton |
Simulation Graphs for Reverse Engineering. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roope Kaivola, Thomas Wahl (eds.) |
Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. |
FMCAD |
2015 |
DBLP BibTeX RDF |
|
1 | Javier Esparza, Philipp J. Meyer |
An SMT-based Approach to Fair Termination Analysis. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio |
Compositional Safety Verification with Max-SMT. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Isil Dillig |
Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Georg Weissenbacher |
The FMCAD 2015 Graduate Student Forum. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Alexander Ivrii |
Pushing to the Top. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ziyad Hanna |
Democratization of Formal Verification with Collective Intelligence. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem |
Reactive Synthesis. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Zachary Kincaid |
Compositional Recurrence Analysis. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Murali Talupur, Sandip Ray, John Erickson |
Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Priyank Kalla |
Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Preiner, Aina Niemetz, Armin Biere |
Better Lemmas with Lambda Extraction. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
Proving Hybrid Systems. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Burlyaev, Pascal Fradet |
Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amirhossein Vakili, Nancy A. Day |
Reducing CTL-live model checking to first-order logic validity checking. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marijn Heule, Martina Seidl, Armin Biere |
Efficient extraction of Skolem functions from QRAT proofs. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Corneliu Popeea, Andrey Rybalchenko, Andreas Wilhelm |
Reduction for compositional verification of multi-threaded programs. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Jancík, Jan Kofron, Simone Fulvio Rollini, Natasha Sharygina |
On interpolants and variable assignments. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Sai Deep Tetali, Zilong Wang 0004 |
Kuai: A model checker for software-defined networks. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Yakir Vizel |
DRUPing for interpolates. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari 0001, Dejan Jovanovic, Sharad Malik |
Template-based circuit understanding. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing |
SAT-based methods for circuit synthesis. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille |
Patient-specific models from inter-patient biological models and clinical records. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn |
Disproving termination with overapproximation. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Kinder |
Efficient symbolic execution for software testing. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peizun Liu, Thomas Wahl |
Infinite-state backward exploration of Boolean broadcast programs. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ivrii, Arie Gurfinkel, Anton Belov |
Small inductive safe invariants. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Scheibler, Bernd Becker 0001 |
Using interval constraint propagation for pseudo-Boolean constraint solving. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gianpiero Cabodi, Marco Palena, Paolo Pasini |
Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac |
The FMCAD 2014 graduate student forum. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adam Walker, Leonid Ryzhyk |
Predicate abstraction for reactive synthesis. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shilpi Goel, Warren A. Hunt Jr., Matt Kaufmann, Soumava Ghosh |
Simulation and formal verification of x86 machine-code programs that make system calls. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tim King 0001, Clark W. Barrett, Cesare Tinelli |
Leveraging linear and mixed integer programming for SMT. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aina Niemetz, Mathias Preiner, Armin Biere |
Turbo-charging Lemmas on demand with don't care reasoning. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Morgan Deters, Andrew Reynolds 0001, Tim King 0001, Clark W. Barrett, Cesare Tinelli |
A tour of CVC4: How it works, and how to use it. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere |
Challenges in bit-precise reasoning. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014 |
FMCAD |
2014 |
DBLP BibTeX RDF |
|
1 | Xin Chen 0002, Sriram Sankaranarayanan 0001, Erika Ábrahám |
Under-approximate flowpipes for non-linear continuous systems. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Heidy Khlaaf, Nir Piterman |
Faster temporal reasoning for infinite-state programs. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Reynolds 0001, Cesare Tinelli, Leonardo Mendonça de Moura |
Finding conflicting instances of quantified formulas in SMT. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akash Lal, Shaz Qadeer |
A program transformation for faster goal-directed search. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio |
Towards Pareto-optimal parameter synthesis for monotonic cost functions. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
Computer-aided verification technology for biology. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ziyad Hanna |
Challenging problems in industrial formal verification. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daher Kaiss, Jonathan Kalechstain |
Post-silicon timing diagnosis made simple using formal technology. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy |
Compiler verification for fun and profit. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki, Arie Gurfinkel, Nishant Sinha 0001 |
Efficient verification of periodic programs using sequential consistency and snapshots. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Manolios, Vasilis Papavasileiou, Mirek Riedewald |
ILP Modulo Data. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Georg Hofferek, Bettina Könighofer, Robert Könighofer, Simon Ausserlechner, Raphael Spork |
Synthesis of synchronization using uninterpreted functions. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Brad D. Bingham, Mark R. Greenstreet |
Response property checking via distributed state space exploration. |
FMCAD |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zyad Hassan, Aaron R. Bradley, Fabio Somenzi |
Better generalization in IC3. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Eugene Goldberg, Panagiotis Manolios |
Quantifier elimination via clause redundancy. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Andreas Pavlogiannis |
Distributed synthesis for LTL fragments. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Yulia Demyanova, Helmut Veith, Florian Zuleger |
On the concept of variable roles and its use in software analysis. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Divjyot Sethi, Srinivas Narayana, Sharad Malik |
Abstractions for model checking SDN controllers. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Pranav Ashar |
Static verification based signoff - A key enabler for managing verification complexity in the modern soc. |
FMCAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Wahl |
The FMCAD graduate student forum. |
FMCAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yifei Yuan 0001, Anduo Wang, Rajeev Alur, Boon Thau Loo |
On the feasibility of automation for bandwidth allocation problems in data centers. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu |
Efficient modular SAT solving for IC3. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
Verifying periodic programs with priority inheritance locks. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Jijie Wei, Yan Peng, Ge Yu, Mark R. Greenstreet |
Verifying global convergence for a digital phase-locked loop. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Koen Claessen, Niklas Eén, Baruch Sterin |
A circuit approach to LTL model checking. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa |
Syntax-guided synthesis. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi |
Invariants for finite instances and beyond. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Saqib Sohail, Fabio Somenzi |
Efficient handling of obligation constraints in synthesis from omega-regular specifications. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Somesh Jha, Thomas W. Reps, William R. Harris |
Secure programs via game-based synthesis. |
FMCAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jim Grundy |
Firmware validation: challenges and opportunities. |
FMCAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013 |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | David Déharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure |
Computing prime implicants. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Annu John, Igor Konnov 0001, Ulrich Schmid 0001, Helmut Veith, Josef Widder |
Parameterized model checking of fault-tolerant distributed algorithms by abstraction. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
Parameter synthesis with IC3. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Alexander Nadel, Vadim Ryvchin, Ofer Strichman |
Efficient MUS extraction with resolution. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | John W. O'Leary, Roope Kaivola, Tom Melham |
Relational STE and theorem proving for formal verification of industrial circuit designs. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Marijn Heule, Warren A. Hunt Jr., Nathan Wetzler |
Trimming while checking clausal proofs. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Hassan Eldib, Chao Wang 0001 |
An SMT based method for optimizing arithmetic computations in embedded software code. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Viktor Kuncak, Régis Blanc |
Interpolation for synthesis on unbounded domains. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio |
Proving termination of imperative programs using Max-SMT. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Rajeev Alur, Salar Moarref, Ufuk Topcu |
Counter-strategy guided refinement of GR(1) temporal logic specifications. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Björn Wachter, Daniel Kroening, Joël Ouaknine |
Verifying multi-threaded software with impact. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Tim King 0001, Clark W. Barrett, Bruno Dutertre |
Simplex with sum of infeasibilities for SMT. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Philipp Rümmer, Pavle Subotic |
Exploring interpolants. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening |
Formal co-validation of low-level hardware/software interfaces. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Sicun Gao, Soonho Kong, Edmund M. Clarke |
Satisfiability modulo ODEs. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger |
Tutorial: Practical verification of network programs. |
FMCAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lori A. Clarke |
Using process modeling and analysis techniques to reduce errors in healthcare. |
FMCAD |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Jobstmann, Sandip Ray |
Preface. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem |
Synthesizing multiple boolean functions using interpolation on a single proof. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|
1 | Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo |
Generalized counterexamples to liveness properties. |
FMCAD |
2013 |
DBLP BibTeX RDF |
|