Timing Semantics

Timing Semantics is a formal system in Hardware Description Languages that specifies the temporal behavior of digital circuits by defining the precise time intervals at which signal transitions occur relative to a clock or other timing references.

446

Publications

20.6K

Citations

899

Authors

376

Institutions

Publications per year

2017–2026

Parents

Hardware Description Languages

Children

Causal OrderingClock Domain CrossingClock Gating SemanticsDelta-cycle SemanticsDiscrete Event SemanticsEvent OrderingGuarded TransitionsHold Time StudiesInertial DelayIntra-clock Timing Semantics

Publications

446

Model-checking for real-time systems

Rajeev Alur, Costas Courcoubetis, David L. Dill · 2002 · 894 citations

Computing, Computer Engineering, Computer Science +15

Safety analysis of timing properties in real-time systems

Farnam Jahanian, Aloysius K. Mok · IEEE Transactions on Software Engineering · 1986 · 631 citations

Engineering, Computer Engineering, Computer Systems +14

Robustness of temporal logic specifications for continuous-time signals

Georgios Fainekos, George J. Pappas · Theoretical Computer Science · 2009 · 600 citations

Computing, Computer Engineering, Computer Science +12

Programming real-time applications with SIGNAL

P. LeGuernic, Thierry Gautier, Michel Le Borgne et al. · Proceedings of the IEEE · 1991 · 538 citations · Full text

Computing, Computer Engineering, Computer Science +17

Supervisory control of timed discrete-event systems

B.A. Brandin, W.M. Wonham · IEEE Transactions on Automatic Control · 1994 · 396 citations

Engineering, Computer Science, Systems Engineering +17

1–5 of 446

Authors

899

EA
Edward A. Lee
University of California, Berkeley, United States
10 publications · 665 citations
10
h-index
FM
Frédéric Mallet
Institut national de recherche en sciences et technologies du numérique, France
10 publications · 261 citations
10
h-index
CA
Charles André
Universidade Federal do Rio de Janeiro, Brazil
8 publications · 301 citations
8
h-index
AK
Aloysius K. Mok
The University of Texas at Austin, United States
8 publications · 1.2K citations
8
h-index
ST
Stavros Tripakis
University of California, Berkeley, United States
7 publications · 347 citations
7
h-index

1–5 of 899

Institutions

376

1–8 of 376

Venues

IEEE Transactions on Software Engineering
TSE · 17 publications · 2.3K citations
16
h-index
Electronic Notes in Theoretical Computer Science
ENTCS · 19 publications · 554 citations
14
h-index
Theoretical Computer Science
7 publications · 952 citations
7
h-index
Science of Computer Programming
6 publications · 124 citations
6
h-index
ACM SIGPLAN Notices
5 publications · 190 citations
5
h-index

1–5