|
|
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 | Hana Chockler, Alan J. Hu (eds.) |
Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-642-01701-8 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Stephen A. Edwards |
Languages for Design and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Embedded Systems Design and Verification ![In: Embedded Systems Design and Verification - Volume 1 of the Embedded Systems Handbook, pp. 5, 2009, CRC Press, 978-1-4398-0755-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn |
09301 Executive Summary - Typing, Analysis, and Verification of Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Typing, Analysis and Verification of Heap-Manipulating Programs ![In: Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Mooly Sagiv, Arnd Poetzsch-Heffter, Peter W. O'Hearn |
09301 Abstracts Collection - Typing, Analysis, and Verification of Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Typing, Analysis and Verification of Heap-Manipulating Programs ![In: Typing, Analysis and Verification of Heap-Manipulating Programs, 19.07. - 24.07.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Aaron Rich, Giora Alexandron, Reuven Naveh |
An Explanation-Based Constraint Debugger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 52-56, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | David Harel |
Can We Verify an Elephant? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 1, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Anna Moss, Boris Gutkovich |
Functional Test Generation with Distribution Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 34-51, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Bastian Schlich, Thomas Noll 0001, Jörg Brauer, Lucas Brutschy |
Reduction of Interrupt Handler Executions for Model Checking Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 5-20, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Gal Katz, Doron A. Peled |
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 117-132, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Kroening, Georg Weissenbacher |
An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 150-168, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Dana Fisman, Orna Kupferman |
Reasoning about Finite-State Switched Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 71-86, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Christophe Morvan, Sophie Pinchinat |
Diagnosability of Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 21-33, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Koushik Sen |
DART: Directed Automated Random Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 4, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Yoram Adler, Shmuel Ur, Dale Blue |
Evaluating Workloads Using Multi-comparative Functional Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 57-70, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Jeroen Keiren, Tim A. C. Willemse |
Bisimulation Minimisations for Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 102-116, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Xin Li 0010, Mizuhito Ogawa |
Stacking-Based Context-Sensitive Points-to Analysis for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 133-149, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Yevgenia Alperin-Tsimerman, Shmuel Katz |
Dataflow Analysis for Properties of Aspect Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 87-101, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Karen Yorav (eds.) |
Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-540-77964-3 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu |
08171 Abstracts Collection - Beyond the Finite: New Challenges in Verification and Semistructured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Beyond the Finite: New Challenges in Verification and Semistructured Data ![In: Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Stephen F. Siegel |
Verification of MPI-based Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Verification and Grid Computing ![In: Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Anca Muscholl, Ramaswamy Ramanujam, Michaël Rusinowitch, Thomas Schwentick, Victor Vianu |
08171 Summary - Beyond the Finite: New Challenges in Verification and Semistructured Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Beyond the Finite: New Challenges in Verification and Semistructured Data ![In: Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Jaco van de Pol |
A Typical Verification Challenge for the GRID. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Verification and Grid Computing ![In: Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Henri E. Bal, Lubos Brim, Martin Leucker |
08332 Abstracts Collection - Distributed Verification and Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Verification and Grid Computing ![In: Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Henri E. Bal, Lubos Brim, Martin Leucker |
08332 Executive Summary - Distributed Verification and Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Verification and Grid Computing ![In: Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen |
Synthesizing Test Models from Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 179-193, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Cyrille Artho |
Iterative Delta Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 99-113, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Moran Shochat, Orna Raz, Eitan Farchi |
SeeCode - A Code Review Plug-in for Eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 205-209, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur |
Evaluating Workloads Using Comparative Functional Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 84-98, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Carl Pixley |
Practical Considerations Concerning HL-to -RT Equivalence Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 6, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001 |
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 38-52, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Malay K. Ganai, Weihong Li |
d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 194-199, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum |
Significant Diagnostic Counterexamples in Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 129-148, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Cindy Eisner, Dana Fisman |
Structural Contradictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 164-178, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Thomas J. Ostrand, Elaine J. Weyuker |
Progress in Automated Software Defect Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 200-204, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
negative binomial model, automated tool, software fault prediction |
24 | Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi |
A Framework for Inherent Vacuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings, pp. 7-22, 2008, Springer, 978-3-642-01701-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Eyal Bin, Avi Ziv, Shmuel Ur (eds.) |
Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 978-3-540-70888-9 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Michael Backes 0001, Matteo Maffei, Dominique Unruh |
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Protocol Verification Applied ![In: Formal Protocol Verification Applied, 14.10. - 19.10.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
07011 Abstracts Collection -- Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification ![In: Runtime Verification, 02.01. - 06.01.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan |
07421 Abstracts Collection -- Formal Protocol Verification Applied. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Protocol Verification Applied ![In: Formal Protocol Verification Applied, 14.10. - 19.10.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
07011 Executive Summary -- Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification ![In: Runtime Verification, 02.01. - 06.01.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan |
07421 Executive Summary -- Formal Protocol Verification Applied. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Protocol Verification Applied ![In: Formal Protocol Verification Applied, 14.10. - 19.10.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee 0001 |
Runtime Verification for Wireless Sensor Network Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification ![In: Runtime Verification, 02.01. - 06.01.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai |
Locating Regression Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 218-234, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Dana Fisman |
On the Characterization of Until as a Fixed Point Under Clocked Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 19-33, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Zeller |
Where Do Bugs Come from? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 16, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai |
GenUTest: A Unit Test and Mock Aspect Generation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 252-266, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Harald Raffelt, Bernhard Steffen, Tiziana Margaria |
Dynamic Testing Via Automata Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 136-152, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov |
The Advantages of Post-Link Code Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 235-251, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Gérard Basler, Daniel Kroening, Georg Weissenbacher |
A Complete Bounded Model Checking Algorithm for Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 202-217, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Laurent Fournier, Avi Ziv |
Using Virtual Coverage to Hit Hard-To-Reach Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 104-119, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Corina S. Pasareanu, Willem Visser |
Symbolic Execution and Model Checking for Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 17-18, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Anna Moss |
Constraint Patterns and Search Procedures for CP-Based Random Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 86-103, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.) |
Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![Springer, 3-540-32604-9 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher |
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulation and Verification of Dynamic Systems ![In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm |
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher |
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulation and Verification of Dynamic Systems ![In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher |
06161 Executive Summary -- Simulation and Verification of Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulation and Verification of Dynamic Systems ![In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm |
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Koushik Sen, Gul Agha |
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 166-182, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Tuerk, Klaus Schneider 0001, Mike Gordon |
Model Checking PSL Using HOL and SMV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 1-15, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler |
Automatic Fault Localization for Property Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 50-64, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Bernhard Steffen, Tiziana Margaria, Ralf Nagel 0001, Sven Jörges, Christian Kubczak |
Model-Driven Development with the jABC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 92-108, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Michael Jackson 0001 |
Testing the Machine in the World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 198-203, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Onur Guzey, Charles H.-P. Wen, Li-C. Wang, Tao Feng 0012, Hillel Miller, Magdy S. Abadir |
Extracting a Simplified View of Design Functionality Based on Vector Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 34-49, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Amir Nahir, Yossi Shiloach, Avi Ziv |
Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 16-33, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Alan Hartman, Mika Katara, Sergey Olvovsky |
Choosing a Test Modeling Language: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 204-218, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Yaniv Eytani, Timo Latvala |
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 183-197, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Concurrent debugging, scheduling noise, Java, testing |
24 | Stella Levin, Amiram Yehudai |
Evolutionary Testing: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 155-165, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, Software testing, automatic test generation |
24 | Mika Katara, Antti Kervinen |
Making Model-Based Testing More Agile: A Use Case Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 219-234, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Saddek Bensalem, Klaus Havelund |
Dynamic Deadlock Analysis of Multi-threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 208-223, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Steve MacDonald, Jun Chen 0018, Diego Novillo |
Choosing Among Alternative Futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 247-264, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc |
An Extensible Open-Source Compiler Infrastructure for Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 116-133, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna |
Simultaneous SAT-Based Model Checking of Safety Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 56-75, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Eitan Farchi, Bradley R. Harrington |
Assisting the Code Review Process Using Simple Pattern Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 103-115, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Roberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade, Taisy Silva Weber |
A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 177-190, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon |
Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 149-157, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe |
Benchmarking and Testing OSD for Correctness and Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 158-176, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Mark Last, Shay Eyal, Abraham Kandel |
Effective Black-Box Testing with Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 134-148, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Genetic algorithms, Fuzzy logic, Computational intelligence, Black-box testing, Test prioritization |
24 | Rahul Agarwal, Liqiang Wang, Scott D. Stoller |
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 191-207, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jani Pesonen, Mika Katara, Tommi Mikkonen |
Production-Testing of Embedded Systems with Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 90-102, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Stefan Borovac, Gerhard Heindl |
Result Verification for Computational Problems in Geodesy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Software with Result Verification ![In: Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, pp. 226-242, 2003, Springer, 3-540-21260-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Teruya Minamoto |
Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symbolic Algebraic Methods and Verification Methods ![In: Symbolic Algebraic Methods and Verification Methods, pp. 173-181, 2001, Springer, 3-211-83593-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto |
Introduction: Symbolic Algebraic Methods and Verification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symbolic Algebraic Methods and Verification Methods ![In: Symbolic Algebraic Methods and Verification Methods, pp. 1-2, 2001, Springer, 3-211-83593-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Siegfried M. Rump |
Fast Verification Algorithms in MATLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symbolic Algebraic Methods and Verification Methods ![In: Symbolic Algebraic Methods and Verification Methods, pp. 209-226, 2001, Springer, 3-211-83593-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe |
Abstract Interpretation based Verification of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification of Logic Programs@ICLP ![In: Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 22-38, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Sandro Etalle, Jan-Georg Smaus |
Preface - Workshop on Verification of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification of Logic Programs@ICLP ![In: Workshop on Verification of Logic Programs 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999, pp. 125, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke |
Towards Light-Weight Verification and Heavy-Weight Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 189-200, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe |
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 174-188, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Bettina Buth |
PAMELA+PVS Verification of Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 62-76, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Peter Baumgartner 0001, Dorothea Schäfer |
Model Elimination with Simplification and its Application to Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 18-32, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Kay Fuhrmann, Jan Hiemer |
Formal Verification of Statemate-Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 92-107, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann |
Correct Programs without Proof? On Checker-Based Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 108-122, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Martin Lange, Martin Leucker, Thomas Noll 0001, Stephan Tobies |
Truth - A verification platform for concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![In: Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998, pp. 150-159, 1998, Springer, 978-3-211-83282-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Mandayam K. Srivas, Harald Rueß, David Cyrluk |
Hardware Verification Using PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Hardware Verification ![In: Formal Hardware Verification - Methods and Systems in Comparison, pp. 156-205, 1997, Springer, 3-540-63475-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou 0001 |
Verification with Abstract State Machines Using MDGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Hardware Verification ![In: Formal Hardware Verification - Methods and Systems in Comparison, pp. 79-113, 1997, Springer, 3-540-63475-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Jørgen Staunstrup |
Design Verification Using Synchronized Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Hardware Verification ![In: Formal Hardware Verification - Methods and Systems in Comparison, pp. 114-155, 1997, Springer, 3-540-63475-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Ugo Montanari, Marco Pistore |
History dependent verification for partial order systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Partial Order Methods in Verification ![In: Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996, pp. 259-272, 1996, DIMACS/AMS, 978-0-8218-0579-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Elie Najm, Frank Olsen |
Protocol verification with reactive Promela/Rspin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 111-131, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales |
Dynamic analysis of SA/RT models using Spin and modular verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 165-183, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Pedro Merino 0001, José María Troya Linero |
Modelling and verification of the MCS layer with Spin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Spin Verification System ![In: The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996, pp. 101-110, 1996, DIMACS/AMS, 978-0-8218-0680-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 53773 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|