default search action
7. Haifa Verification Conference 2011: Haifa, Israel
- Kerstin Eder, João Lourenço
, Onn Shehory:
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7261, Springer 2012, ISBN 978-3-642-34187-8
Invited Talks
- Armin Biere:
Preprocessing and Inprocessing Techniques in SAT. 1 - Kathryn Kranen:
Pioneering the Future of Verification: A Spiral of Technological and Business Innovation. 2 - Ben Liblit
Automated Detection and Repair of Concurrency Bugs. 3 - Klaus-Dieter Schubert:
Verification Challenges of Workload Optimized Hardware Systems. 4
Synthesis
- Orna Kupferman, Dorsa Sadigh, Sanjit A. Seshia:
Synthesis with Clairvoyance. 5-19 - Matthias Schlaipfer
Generalized Reactivity(1) Synthesis without a Monolithic Strategy. 20-34
Formal Verification
- Lei Bu, Yang Yang, Xuandong Li:
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata. 35-49 - Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads. 50-65 - Zurab Khasidashvili, Alexander Nadel
Implicative Simultaneous Satisfiability and Applications. 66-79 - B. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain:
Liveness vs Safety - A Practical Viewpoint. 80-94 - Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta:
Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search. 95-114
Software Quality
- Qichang Chen, Liqiang Wang, Zijiang Yang:
SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs. 115-129 - Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Concurrent Small Progress Measures. 130-144 - Kenneth Johnson
Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. 145-159 - Ondrej Sery, Grigory Fedyukovich
Interpolation-Based Function Summaries in Bounded Model Checking. 160-175 - Thomas J. Ostrand, Elaine J. Weyuker:
Can File Level Characteristics Help Identify System Level Fault-Proneness? 176-189
Testing and Coverage
- Ariel J. Birnbaum, Laurent Fournier, Steven Mittermaier, Avi Ziv:
Reverse Coverage Analysis. 190-202 - Peter Collingbourne, Cristian Cadar
Symbolic Testing of OpenCL Code. 203-218 - Allon Adir, Ronen Levy, Tamer Salman:
Dynamic Test Data Generation for Data Intensive Applications. 219-233
Experience and Tools
- Merav Aharoni, Emanuel Gofman, Elena Guralnik, Anatoly Koyfman:
Injecting Floating-Point Testing Knowledge into Test Generators. 234-241 - Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song:
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. 242-246 - Marcela Simková, Ondrej Lengál
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. 247-253
Posters - Student Event
- Shlomi Dolev, Jonathan Goldfeld, Rami Puzis
On-Line Detection and Prediction of Temporal Patterns. 254-256 - Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
Function Summaries in Software Upgrade Checking. 257-258 - Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin Index of Parity Games - (Extended Abstract). 259-260 - Ron Zeira, Dmitry Korchemny, Ron Shamir:
Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing. 261-262
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 18:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: