Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(170)
Edmund M. Clarke
20
Cadence Berkeley Labs
13
Jerry R. Burch
10
Alberto L. Sangi...
10
David L. Dill
8
Conferences
(25)
CAV
20
DAC
15
TACAS
6
LICS
5
ICCAD
4
Journals
(20)
FMSD
6
TCAD
4
IANDC
2
SIGPLAN
2
PIEEE
2
Keywords
(211)
Embed
Subscribe
Academic
Authors
Kenneth L. McMillan
Edit
Kenneth L. McMillan
Microsoft
Publications: 136
|
Citations: 11472
|
G-Index: 107
|
H-Index: 42
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Hardware & Architecture
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
170 co-authors
from 1977 to 2010
; Cited by
6326 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(136)
BibTeX
|
RIS
|
RefWorks
Download
Lazy Annotation for Program Testing and Verification
(
Citations: 2
)
Kenneth L. McMillan
,
Cadence Berkeley Labs
Conference:
Computer Aided Verification - CAV
, pp. 104-118, 2010
Generalizing DPLL to Richer Logics
(
Citations: 5
)
Kenneth L. Mcmillan
,
Andreas Kuehlmann
,
Mooly Sagiv
Conference:
Computer Aided Verification - CAV
, pp. 462-476, 2009
Abstract Counterexamples for Non-disjunctive Abstractions
Kenneth L. Mcmillan
,
Lenore D. Zuck
Published in 2009.
What's in Common between Test, Model Checking, and Decision Procedures?
Kenneth L. Mcmillan
Conference:
Formal Methods for Industrial Critical Systems - FMICS
, pp. 35-36, 2009
Quantified Invariant Generation Using an Interpolating Saturation Prover
(
Citations: 26
)
Kenneth L. Mcmillan
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 413-427, 2008
Order by:
Citations
(11472 times by 6848 publications)
A parametric segmentation functor for fully automatic and scalable array content analysis
(
Citations: 3
)
Patrick Cousot
,
Radhia Cousot
,
Francesco Logozzo
Published in 2011.
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic
(
Citations: 2
)
Angelo Brillout
,
Daniel Kroening
,
Philipp Rümmer
,
Thomas Wahl
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 88-102, 2011
Automatic Pipelining From Transactional Datapath Specifications
(
Citations: 2
)
Eriko Nurvitadhi
,
James C. Hoe
,
Timothy Kam
,
Shih-Lien L. Lu
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems - TCAD
, vol. 30, no. 3, pp. 441-454, 2011
Verifying Deadlock-Freedom of Communication Fabrics
(
Citations: 1
)
Alexander Gotmanov
,
Satrajit Chatterjee
,
Michael Kishinevsky
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 214-231, 2011
A LTL Fragment for GR (1)Synthesis
(
Citations: 1
)
Andreas Morgenstern
,
Klaus Schneider
Journal:
Electronic Proceedings in Theoretical Computer Science
, vol. 50, pp. 33-45, 2011
Comments