Interface Timing Analysis
Interface Timing Analysis is a formal method within interface protocol implementation that characterizes the temporal behavior of signal transitions and synchronization mechanisms to ensure compliance with protocol-specific timing constraints.
23
Publications
1.1K
Citations
48
Authors
24
Institutions
Publications per year
2017–2026
0
23
Algorithms for interface timing verification
Kenneth L. McMillan, David L. Dill · 2003 · 109 citations
1–5 of 23
48
3
h-index
3
h-index
2
h-index
2
h-index
2
h-index
1–5 of 48
24
Columbia University
New York, United States
3 h-index
6 publications
616 citations
Carnegie Mellon University
Pittsburgh, United States
3 h-index
3 publications
279 citations
University of Illinois Urbana-Champaign
Urbana, United States
2 h-index
6 publications
66 citations
Technische Universität Braunschweig
Braunschweig, Germany
2 h-index
4 publications
506 citations
Ericsson (Sweden)
Kista, Sweden
2 h-index
2 publications
107 citations
University of Washington
Seattle, United States
2 h-index
3 publications
87 citations

Linköping University
Linköping, Sweden
2 h-index
5 publications
278 citations
Princeton University
Princeton, United States
2 h-index
6 publications
114 citations
1–8 of 24
Conference · 2 publications · 163 citations
2
h-index
Conference · 1 publications · 14 citations
1
h-index
1 publications · 13 citations
1
h-index
1 publications · 55 citations
1
h-index
Conference · 1 publications · 52 citations
1
h-index
1–5