Timing Verification

Timing Verification is a formal analysis method used in soft real-time systems to determine whether task execution and event response adhere to specified temporal constraints, distinguishing it from general correctness verification by focusing specifically on the satisfaction of time-bound performance requirements.

204

Publications

Citations

522

Authors

202

Institutions

Publications per year

2017–2026

Parents

Deadline AnalysisHardware-in-the-loop TestingMedication Order VerificationSoft Real-time SystemsTiming AnalysisTiming ModelingTiming SemanticsWorst-case Execution Time Analysis

Publications

204

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

A Switch-Level Timing Verifier for Digital MOS VLSI

John K. Ousterhout · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1985 · 247 citations

Engineering, Computer Engineering, Electrical Engineering +17

Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

James E. Coolahan, N. Roussopoulos · IEEE Transactions on Software Engineering · 1983 · 188 citations

Engineering, Computer Science, Systems Engineering +17

A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints

Joachim Wegener, Frank Mueller · Real-Time Systems · 2001 · 154 citations

Computing, Computer Engineering, Computer Science +17

Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing

Joachim Wegener, Matthias Grochtmann · Real-Time Systems · 1998 · 118 citations

Computing, Computer Science, Systems Engineering +13

1–5 of 204

Authors

522

RE
Rolf Ernst
Technische Universität Braunschweig, Germany
8 publications · 199 citations
8
h-index
JA
Jaume Abella
Universitat Politècnica de Catalunya, Spain
7 publications · 134 citations
7
h-index
FJ
Francisco J. Cazorla
Universitat Politècnica de Catalunya, Spain
6 publications · 120 citations
6
h-index
LK
Leonidas Kosmidis
Universitat Politècnica de Catalunya, Spain
5 publications · 107 citations
5
h-index
EQ
Eduardo Quiñones
Universitat Politècnica de Catalunya, Spain
5 publications · 100 citations
5
h-index

1–5 of 522

Institutions

202

1–8 of 202

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
10 publications · 456 citations
10
h-index
Design Automation Conference
Conference · 8 publications · 205 citations
8
h-index
IEEE Transactions on Software Engineering
TSE · 6 publications · 983 citations
6
h-index
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
4 publications · 120 citations
4
h-index
Information and Computation
3 publications · 217 citations
3
h-index

1–5