Real-Time System Verification is the formal process of verifying that a concurrent system meets its temporal and functional correctness requirements, distinguished by its explicit consideration of timing constraints within system behavior and resource scheduling.
700
Publications
28.9K
Citations
1.6K
Authors
574
Institutions
Publications per year
2017–2026
88
Publications
700
Model-checking for real-time systems
Rajeev Alur, Costas Courcoubetis, David L. Dill · 2002 · 894 citations
1–5 of 700
Authors
1.6K
- KG
21
h-index
- PP
12
h-index
- OS
11
h-index
- RE
11
h-index
- IL
10
h-index
1–5 of 1.6K
Institutions
574
Aalborg University
Aalborg, Denmark
20 h-index
88 publications
5.1K citations
Centre National de la Recherche Scientifique
Paris, France
16 h-index
52 publications
1.2K citations
Verimag
Gières, France
15 h-index
32 publications
2K citations
Uppsala University
Uppsala, Sweden
15 h-index
50 publications
3.2K citations
University of Illinois Urbana-Champaign
Urbana, United States
14 h-index
56 publications
2.2K citations
Carnegie Mellon University
Pittsburgh, United States
13 h-index
37 publications
1.4K citations
University of Pennsylvania
Philadelphia, United States
12 h-index
44 publications
2.1K citations
Technische Universität Braunschweig
Braunschweig, Germany
12 h-index
35 publications
1.9K citations
1–8 of 574
Venues
- IEEE Transactions on Software Engineering
TSE · 26 publications · 3.3K citations
24
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 19 publications · 497 citations
13
h-index
- BRICS Report Series
13 publications · 568 citations
11
h-index
- ACM SIGSOFT Software Engineering Notes
SEN · 8 publications · 201 citations
8
h-index
- International Journal on Software Tools for Technology Transfer
8 publications · 759 citations
8
h-index
1–5