|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19541 occurrences of 5230 keywords
|
|
|
Results
Found 53773 publication records. Showing 53773 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Valeria Bertacco, Axel Legay (eds.) |
Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-319-03076-0 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Armin Biere, Amir Nahir, Tanja E. J. Vos (eds.) |
Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-642-39610-6 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Emmanuel Sifakis, Laurent Mounier |
Predictive Taint Analysis for Extended Testing of Parallel Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 129-144, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Anand Yeolekar, Divyesh Unadkat |
Assertion Checking Using Dynamic Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 199-213, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Shoham Ben-David, Hana Chockler, Orna Kupferman |
Attention-Based Coverage Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 230-245, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Sven Apel, Dirk Beyer 0001, Karlheinz Friedberger, Franco Raimondi, Alexander von Rhein |
Domain Types: Abstract-Domain Selection Based on Variable Usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 262-278, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Tao Su, John Lyle, Andrea S. Atzeni, Shamal Faily, Habib Virji, Christos Ntanos, Christos Botsikas |
Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 145-150, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, Amir Nahir, Vitali Sokhin |
Improving Post-silicon Validation Efficiency by Using Pre-generated Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 166-181, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Gal Katz, Doron A. Peled |
Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 246-261, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Tuomas Kuismin, Keijo Heljanko |
Increasing Confidence in Liveness Model Checking Results with Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 32-43, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
Online Testing of LTL Properties for Java Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 95-111, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Michael Codish, Yoav Fekete, Amit Metodi |
Backbones for Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 1-14, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto |
Modbat: A Model-Based API Tester for Event-Driven Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 112-128, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Hana Chockler, Dmitry Pidan, Sitvanit Ruah |
Improving Representative Computation in ExpliSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 359-364, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Guodong Li, Indradeep Ghosh |
Lazy Symbolic Execution through Abstraction and Sub-space Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 295-310, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Oleg Travkin, Annika Mütze, Heike Wehrheim |
SPIN as a Linearizability Checker under Weak Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 311-326, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Sabrina von Styp, Liyong Yu |
Symbolic Model-Based Testing for Industrial Automation Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 78-94, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Marco Bozzano, Alessandro Cimatti, Cristian Mattarei |
Efficient Analysis of Reliability Architectures via Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 279-294, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf |
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 344-358, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif |
Formal Specification of an Erase Block Management Layer for Flash Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 214-229, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, Richard D. Peterson |
SLAM: SLice And Merge - Effective Test Generation for Large Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 151-165, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Sunha Ahn, Sharad Malik |
Modeling Firmware as Service Functions and Its Application to Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 61-77, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Guodong Li, Indradeep Ghosh |
PASS: String Solving with Parameterized Array and Interval Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, pp. 15-31, 2013, Springer, 978-3-319-03076-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Kerstin Eder, João Lourenço, Onn Shehory (eds.) |
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-642-34187-8 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Hana Chockler, Alexander Ivrii, Arie Matsliah |
Computing Interpolants without Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 72-85, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Young Joo Kim, Moonzoo Kim, Tai-Hyo Kim |
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 162-177, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Dima Elenbogen, Shmuel Katz, Ofer Strichman |
Proving Mutual Termination of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 24-39, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Magdalena Widl |
Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 278-279, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne |
Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 193-208, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Kristin Yvonne Rozier, Moshe Y. Vardi |
Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 243-259, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | John Paul, Elena Guralnik, Anatoly Koyfman, Amir Nahir, Subrat Panda |
Leveraging Accelerated Simulation for Floating-Point Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 118-131, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik |
Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 132-147, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | António Morgado 0001, Mark H. Liffiton, João Marques-Silva 0001 |
MaxSAT-Based MCS Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 86-101, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf |
Knowledge Based Transactional Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 40-55, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow |
FoREnSiC- An Automatic Debugging Environment for C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 260-265, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Robert Könighofer, Roderick Bloem |
Repair with On-The-Fly Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 56-71, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Guillermo Rodríguez-Navas, Patrick J. Graydon, Iain Bate |
From Fault Injection to Mutant Injection: The Next Step for Safety Analysis? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 276-277, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Edward A. Lee |
Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 2, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Vijay Ganesh, Mia Minnes, Armando Solar-Lezama, Martin C. Rinard |
Word Equations with Length Constraints: What's Decidable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 209-226, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Norbert Manthey, Marijn Heule, Armin Biere |
Automated Reencoding of Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 102-117, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | David Harel |
On Behavioral Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 1, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Ricardo J. Dias, Vasco Pessanha, João Lourenço |
Precise Detection of Atomicity Violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 8-23, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Jamil Mazzawi, Ziyad Hanna |
Formal Analysis of Security Data Paths in RTL Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 7, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Ryan Kastner |
Circuit Primitives for Monitoring Information Flow and Enabling Redundancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 6, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Orna Raz |
Reducing Costs While Increasing Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 4, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Marcela Simková, Ondrej Lengál |
Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 266-273, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Orna Kupferman, Sigal Weiner |
Environment-Friendly Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, pp. 227-242, 2012, Springer, 978-3-642-39610-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Kedar S. Namjoshi, Andreas Zeller, Avi Ziv (eds.) |
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-642-19236-4 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz (eds.) |
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-642-19582-2 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | John Harrison 0001 |
Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 103-157, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane |
Model-Based Verification and Analysis for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 231-259, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Michael Huth 0001, Jim Huan-Pu Kuo, Nir Piterman |
Concurrent Small Progress Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 130-144, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | B. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain |
Liveness vs Safety - A Practical Viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 80-94, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Arnab Sinha, Sharad Malik, Chao Wang 0001, Aarti Gupta |
Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 95-114, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
Interpolation-Based Function Summaries in Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 160-175, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly |
Symbolic Testing of OpenCL Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 203-218, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Orna Kupferman, Dorsa Sadigh, Sanjit A. Seshia |
Synthesis with Clairvoyance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 5-19, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Kenneth Johnson, Simon Reed, Radu Calinescu |
Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 145-159, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Allon Adir, Ronen Levy, Tamer Salman |
Dynamic Test Data Generation for Data Intensive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 219-233, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ron Zeira, Dmitry Korchemny, Ron Shamir |
Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 261-262, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Matthias Schlaipfer, Georg Hofferek, Roderick Bloem |
Generalized Reactivity(1) Synthesis without a Monolithic Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 20-34, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Lei Bu, Yang Yang, Xuandong Li |
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 35-49, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Merav Aharoni, Emanuel Gofman, Elena Guralnik, Anatoly Koyfman |
Injecting Floating-Point Testing Knowledge into Test Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 234-241, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Zurab Khasidashvili, Alexander Nadel |
Implicative Simultaneous Satisfiability and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 66-79, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ben Liblit |
Automated Detection and Repair of Concurrency Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 3, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song |
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 242-246, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Marijn Heule, Oliver Kullmann, Siert Wieringa, Armin Biere |
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 50-65, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ariel J. Birnbaum, Laurent Fournier, Steven Mittermaier, Avi Ziv |
Reverse Coverage Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 190-202, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Armin Biere |
Preprocessing and Inprocessing Techniques in SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 1, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Thomas J. Ostrand, Elaine J. Weyuker |
Can File Level Characteristics Help Identify System Level Fault-Proneness? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 176-189, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Michael Huth 0001, Jim Huan-Pu Kuo, Nir Piterman |
The Rabin Index of Parity Games - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 259-260, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Qichang Chen, Liqiang Wang, Zijiang Yang 0006 |
SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 115-129, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina |
Function Summaries in Software Upgrade Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 257-258, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Shlomi Dolev, Jonathan Goldfeld, Rami Puzis |
On-Line Detection and Prediction of Temporal Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, pp. 254-256, 2011, Springer, 978-3-642-34187-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Anthony C. J. Fox, Michael J. C. Gordon, Magnus O. Myreen |
Specification and Verification of ARM Hardware and Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Verification of Microprocessor Systems for High-Assurance Applications ![In: Design and Verification of Microprocessor Systems for High-Assurance Applications., pp. 221-247, 2010, Springer, 978-1-4419-1538-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Warren A. Hunt Jr., Sol Swords, Jared Davis, Anna Slobodová |
Use of Formal Verification at Centaur Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Verification of Microprocessor Systems for High-Assurance Applications ![In: Design and Verification of Microprocessor Systems for High-Assurance Applications., pp. 65-88, 2010, Springer, 978-1-4419-1538-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Matthew Wilding, David A. Greve, Raymond J. Richards, David S. Hardin |
Formal Verification of Partition Management for the AAMP7G Microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Verification of Microprocessor Systems for High-Assurance Applications ![In: Design and Verification of Microprocessor Systems for High-Assurance Applications., pp. 175-191, 2010, Springer, 978-1-4419-1538-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Gerwin Klein, Thomas Sewell, Simon Winwood |
Refinement in the Formal Verification of the seL4 Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Verification of Microprocessor Systems for High-Assurance Applications ![In: Design and Verification of Microprocessor Systems for High-Assurance Applications., pp. 323-339, 2010, Springer, 978-1-4419-1538-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Matt Kaufmann, J Strother Moore |
ACL2 and Its Applications to Digital System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Verification of Microprocessor Systems for High-Assurance Applications ![In: Design and Verification of Microprocessor Systems for High-Assurance Applications., pp. 1-21, 2010, Springer, 978-1-4419-1538-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams |
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems ![In: Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz |
10252 Executive Summary - Game Semantics and Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Game Semantics and Program Verification ![In: Game Semantics and Program Verification, 20.06. - 25.06.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Bernd Becker 0001, Luca Cardelli, Holger Hermanns, Sofiène Tahar |
10271 Abstracts Collection - Verification over discrete-continuous boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification over discrete-continuous boundaries ![In: Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams |
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems ![In: Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Florian Schupfer, Christoph Grimm 0001 |
Towards more Dependable Verification of Mixed-Signal Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification over discrete-continuous boundaries ![In: Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Paul-André Melliès, Andrzej S. Murawski, Andrea Schalk, Igor Walukiewicz |
10252 Abstracts Collection - Game Semantics and Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Game Semantics and Program Verification ![In: Game Semantics and Program Verification, 20.06. - 25.06.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | João Lourenço |
Understanding Transactional Memory (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 1-2, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Simone Rollini, Roberto Bruttomesso, Natasha Sharygina |
An Efficient and Flexible Approach to Resolution Proof Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 182-196, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli |
The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 3, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Shmuel Ur |
Testing Concurrent Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 4, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Eugene Goldberg, Panagiotis Manolios |
SAT-Solving Based on Boundary Point Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 93-111, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Uri Klein, Amir Pnueli |
Revisiting Synthesis of GR(1) Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 161-181, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann |
Reaching Coverage Closure in Post-silicon Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 60-75, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Robert Könighofer, Georg Hofferek, Roderick Bloem |
Debugging Unrealizable Specifications with Model-Based Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 29-45, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad |
Special Session on Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 24-28, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Joseph Gil |
Reflections on Spartan Programming and the No-Debugger Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 5-8, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Ariel Cohen 0002, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova |
Parallelizing a Symbolic Compositional Model-Checking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 46-59, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Charalambos Ioannides, Geoff Barrett, Kerstin Eder |
Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 112-128, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir |
Advances in Simultaneous Multithreading Testcase Generation Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 146-160, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith |
An Introduction to Test Specification in FQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 9-22, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Hana Chockler, Arie Gurfinkel, Ofer Strichman |
Variants of LTL Query Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, pp. 76-92, 2010, Springer, 978-3-642-19582-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 53773 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|