Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(231)
Dana Fisman
5
Avi Ziv
5
Shmuel Ur
5
Mika Katara
4
Eitan Farchi
4
Daniel Kroening
3
Klaus Schneider
3
Ofer Strichman
3
Amiram Yehudai
3
Ur Shmuel
3
Keywords
(317)
Subscribe
Academic
Conferences
HVC - Haifa Verification Conference
Haifa Verification Conference,HVC,Software Engineering
HVC - Haifa Verification Conference
Publications: 109
|
Citation Count: 341 (Self-Citation: 17)
Year Range: 2005-2010
Fields of study:
Software Engineering
Cumulative
Annual
Sort by:
Publications
(109)
Reaching Coverage Closure in Post-silicon Validation
(
Citations: 3
)
Allon Adir
,
Amir Nahir
,
Avi Ziv
,
Charles Meissner
,
John Schumann
Conference:
Haifa Verification Conference - HVC
, pp. 60-75, 2010
An Introduction to Test Specification in FQL
(
Citations: 1
)
Andreas Holzer
,
Michael Tautschnig
,
Christian Schallhart
,
Helmut Veith
Conference:
Haifa Verification Conference - HVC
, pp. 9-22, 2010
Debugging Unrealizable Specifications with Model-Based Diagnosis
(
Citations: 1
)
Robert Könighofer
,
Georg Hofferek
,
Roderick Bloem
Conference:
Haifa Verification Conference - HVC
, pp. 29-45, 2010
Variants of LTL Query Checking
(
Citations: 1
)
Hana Chockler
,
Arie Gurfinkel
,
Ofer Strichman
Conference:
Haifa Verification Conference - HVC
, pp. 76-92, 2010
Revisiting Synthesis of GR(1) Specifications
(
Citations: 1
)
Uri Klein
,
Amir Pnueli
Conference:
Haifa Verification Conference - HVC
, pp. 161-181, 2010