SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING

A
Abdulla, Parosh Aziz	Verification of Cache Coherence Protocols wrt. Trace Filters
Agarwal, Chirag	Compositional Reasoning Gotchas in Practice
Akshay, S.	A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
Atig, Mohamed Faouzi	Verification of Cache Coherence Protocols wrt. Trace Filters
B
Barrett, Clark	Theory-Aided Model Checking of Concurrent Transition Systems
Biere, Armin	Better Lemmas with Lambda Extraction
Bingham, Jesse	Universal Boolean Functional Vectors
Bjorner, Nikolaj	Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
Brayton, Robert	Reverse Engineering with Simulation Graphs
Brockschmidt, Marc	Compositional Safety Verification with Max-SMT
Burlyaev, Dmitry	Formal Verification of Automatic Circuit Transformations for Fault-Tolerance
C
Chakraborty, Supratik	A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
Cimatti, Alessandro	Comparing Different Functional Allocations in Automated Air Traffic Control Design
D
Drechsler, Rolf	Reverse Engineering with Simulation Graphs
E
Erickson, John	Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols
Esparza, Javier	An SMT-based Approach to Fair Termination Analysis
F
Farzan, Azadeh	Compositional Recurrence Analysis
Fradet, Pascal	Formal Verification of Automatic Circuit Transformations for Fault-Tolerance
G
Ganjei, Zeinab	Verification of Cache Coherence Protocols wrt. Trace Filters
Gario, Marco	Comparing Different Functional Allocations in Automated Air Traffic Control Design
Gurfinkel, Arie	Pushing to the Top Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
H
Harel, David	Theory-Aided Model Checking of Concurrent Transition Systems
Hylander, Paul	Compositional Reasoning Gotchas in Practice
I
Ivrii, Alexander	Pushing to the Top
J
John, Ajith	A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
K
Katz, Guy	Theory-Aided Model Checking of Concurrent Transition Systems
Kincaid, Zachary	Compositional Recurrence Analysis
Komuravelli, Anvesh	Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
Kroening, Daniel	Accelerating Invariant Generation
L
Lange, Tim	IC3 Software Model Checking on Control Flow Automata
Larraz, Daniel	Compositional Safety Verification with Max-SMT
Lewis, Matt	Accelerating Invariant Generation
M
Madhukar, Kumar	Accelerating Invariant Generation
Mahajan, Yogesh	Compositional Reasoning Gotchas in Practice
Malik, Sharad	Template-based Synthesis of Instruction-Level Abstractions for SoC Verification
Mattarei, Cristian	Comparing Different Functional Allocations in Automated Air Traffic Control Design
McMillan, Kenneth	Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays
Meshman, Yuri	Pattern-based Synthesis of Synchronization for the C++ Memory Model
Meyer, Philipp J.	An SMT-based Approach to Fair Termination Analysis
Michelson, Jonathan	Compositional Reasoning Gotchas in Practice
N
Neuhäußer, Martin R.	IC3 Software Model Checking on Control Flow Automata
Niemetz, Aina	Better Lemmas with Lambda Extraction
Noll, Thomas	IC3 Software Model Checking on Control Flow Automata
O
Oliveras, Albert	Compositional Safety Verification with Max-SMT
P
Preiner, Mathias	Better Lemmas with Lambda Extraction
R
Rabe, Markus N.	CAQE: A Certifying QBF Solver
Ray, Sandip	Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols
Ray, Sayak	Template-based Synthesis of Instruction-Level Abstractions for SoC Verification
Rezine, Ahmed	Verification of Cache Coherence Protocols wrt. Trace Filters
Rinetzky, Noam	Pattern-based Synthesis of Synchronization for the C++ Memory Model
Rodríguez Carbonell, Enric	Compositional Safety Verification with Max-SMT
Rozier, Kristin Y.	Comparing Different Functional Allocations in Automated Air Traffic Control Design
Rubio, Albert	Compositional Safety Verification with Max-SMT
S
Shah, Shetal	A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
Singhal, Vigyan	Compositional Reasoning Gotchas in Practice
Sinn, Moritz	Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs
Soeken, Mathias	Reverse Engineering with Simulation Graphs
Srivas, Mandayam	Accelerating Invariant Generation
Sterin, Baruch	Reverse Engineering with Simulation Graphs
Subramanyan, Pramod	Template-based Synthesis of Instruction-Level Abstractions for SoC Verification
T
Talupur, Murali	Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols
Tentrup, Leander	CAQE: A Certifying QBF Solver
Tonetta, Stefano	Comparing Different Functional Allocations in Automated Air Traffic Control Design
Trivedi, Ashutosh	A CEGAR Algorithm for Generating Skolem Functions from Factored Formulas
V
Veith, Helmut	Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs
Vizel, Yakir	Template-based Synthesis of Instruction-Level Abstractions for SoC Verification
W
Wachter, Björn	Accelerating Invariant Generation
Weissenbacher, Georg	The FMCAD 2015 Graduate Student Forum
Y
Yahav, Eran	Pattern-based Synthesis of Synchronization for the C++ Memory Model
Z
Zhu, Yunyun	Verification of Cache Coherence Protocols wrt. Trace Filters
Zuleger, Florian	Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs

Disclaimer | Powered by EasyChair Smart Program