Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. Haifa Verification Conference 2009: Haifa, Israel
- Kedar S. Namjoshi, Andreas Zeller
, Avi Ziv:
Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6405, Springer 2011, ISBN 978-3-642-19236-4
Keynote and Invited Talks
- David Harel:
Can We Verify an Elephant? 1 - Harry Foster:
Pain, Possibilities, and Prescriptions Industry Trends in Advanced Functional Verification. 2 - Mark Harman:
The SBSE Approach to Automated Optimization of Verification and Testing. 3 - Koushik Sen:
DART: Directed Automated Random Testing. 4
Research Papers
- Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy:
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. 5-20 - Christophe Morvan, Sophie Pinchinat:
Diagnosability of Pushdown Systems. 21-33 - Anna Moss, Boris Gutkovich:
Functional Test Generation with Distribution Constraints. 34-51 - Aaron Rich, Giora Alexandron, Reuven Naveh:
An Explanation-Based Constraint Debugger. 52-56 - Yoram Adler, Shmuel Ur, Dale Blue:
Evaluating Workloads Using Multi-comparative Functional Coverage. 57-70 - Dana Fisman, Orna Kupferman:
Reasoning about Finite-State Switched Systems. 71-86 - Yevgenia Alperin-Tsimerman, Shmuel Katz:
Dataflow Analysis for Properties of Aspect Systems. 87-101 - Jeroen Keiren, Tim A. C. Willemse:
Bisimulation Minimisations for Boolean Equation Systems. 102-116 - Gal Katz, Doron A. Peled:
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. 117-132 - Xin Li, Mizuhito Ogawa:
Stacking-Based Context-Sensitive Points-to Analysis for Java. 133-149 - Daniel Kroening, Georg Weissenbacher:
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. 150-168
a service of 
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-04-25 04:56 CEST 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:
