TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
More than 125 records were found in 0.297 seconds
Better Lemmas with Lambda Extraction
FMCAD, 128-135, 2015
Reverse Engineering with Simulation Graphs
FMCAD, 152-159, 2015
Pattern-based Synthesis of Synchronization for the C++ Memory Model
FMCAD, 120-127, 2015
The Genesis and Development of Model Checking: Fact vs. Fiction
FMCAD, 7, 2015
Formal Verification of Automatic Circuit Transformations for Fault-Tolerance
FMCAD, 41-48, 2015
Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols
FMCAD, 168-175, 2015
Compositional Recurrence Analysis
FMCAD, 57-64, 2015
Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation
FMCAD, 2, 2015
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
FMCAD, 89-96, 2015
Comparing Different Functional Allocations in Automated Air Traffic Control Design
FMCAD, 112-119, 2015
Reactive Synthesis
FMCAD, 3, 2015
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs
FMCAD, 144-151, 2015
An SMT-based Approach to Fair Termination Analysis
FMCAD, 49-56, 2015
The FMCAD 2015 Graduate Student Forum
FMCAD, 8, 2015
Verification of Cache Coherence Protocols wrt. Trace Filters
FMCAD, 9-16, 2015
Pushing to the Top
FMCAD, 65-72, 2015
Democratization of Formal Verification with Collective Intelligence
FMCAD, 5, 2015
Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis
FMCAD, 4, 2015
Proving Hybrid Systems
FMCAD, 1, 2015
Detecting Hardware Trojans: A Tale of Two Techniques
FMCAD, 6, 2015
Template-based Synthesis of Instruction-Level Abstractions for SoC Verification
FMCAD, 160-167, 2015
Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015
ISBN: 978-0-9835678-5-1, 2015
Theory-Aided Model Checking of Concurrent Transition Systems
FMCAD, 81-88, 2015
CAQE: A Certifying QBF Solver
FMCAD, 136-143, 2015
Universal Boolean Functional Vectors
FMCAD, 25-32, 2015