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
(1381)
Thomas A. Henzinger
26
David L. Dill
26
Moshe Vardi
25
Rajeev Alur
23
Edmund M. Clarke
22
Kenneth L. McMillan
20
Amir Pnueli
20
Robert Brayton
19
Orna Grumberg
18
Ahmed Bouajjani
17
Keywords
(1094)
Subscribe
Academic
Conferences
CAV - Computer Aided Verification
Computer Aided Verification,CAV,Software Engineering
CAV - Computer Aided Verification
Publications: 1,071
|
Citation Count: 32,738 (Self-Citation: 1,806)
Year Range: 1990-2012
Fields of study:
Software Engineering
Homepage
Cumulative
Annual
Sort by:
Publications
(1071)
Exercises in Nonstandard Static Analysis of Hybrid Systems
Ichiro Hasuo
,
Kohei Suenaga
Conference:
Computer Aided Verification - CAV
, 2012
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification
(
Citations: 1
)
Wei-Ngan Chin
,
Cristian Gherghina
,
Răzvan Voicu
,
Quang-Loc Le
,
Florin Craciun
,
Shengchao Qin
Conference:
Computer Aided Verification - CAV
, 2011
SLAyer : Memory Safety for Systems-Level Code
(
Citations: 1
)
Josh Berdine
,
Byron Cook
,
Samin Ishtiaq
Conference:
Computer Aided Verification - CAV
, 2011
it #956;Z- An Efficient Engine for Fixed Points with Constraints
Krystof Hoder
,
Nikolaj Bjørner
,
Leonardo Mendoncca de Moura
Conference:
Computer Aided Verification - CAV
, pp. 457-462, 2011
Achieving Distributed Control through Model Checking
(
Citations: 7
)
Susanne Graf
,
Doron Peled
,
Sophie Quinton
Conference:
Computer Aided Verification - CAV
, pp. 396-409, 2010