Model-Checking In Dense Real-Time

·1993·DOI
Health Data Science
Data Science and Technologies
Algorithms and Logical Systems
Scheduling Algorithms in Real Time

Role in the Field

Neutralin Health Data Science
Neutralin Data Science and Technologies
Neutralin Algorithms and Logical Systems
Neutralin Scheduling Algorithms in Real Time

Abstract

Citations

565

Year

1993

PageRank

4.1 / 10

Relative influence (log-scaled)

Related Papers

11 of 11 papers

Real-time Status: How Often Should One Update?
·2012·1,568 citations
PRISM 4.0: Verification Of Probabilistic Real-Time Systems
·2011·1,337 citations
Delay Scheduling
·2010·915 citations
Event-Triggered Real-Time Scheduling Of Stabilizing Control Tasks
·2007·3,701 citations
RTP: A Transport Protocol For Real-Time Applications
·2003·977 citations
Fine-grained Network Time Synchronization Using Reference Broadcasts
·2002·1,043 citations
Wait-free Synchronization
·1991·1,205 citations
Modeling And Verification Of Time Dependent Systems Using Time Petri Nets
·1991·791 citations
Automatic Verification Of Finite-State Concurrent Systems Using Temporal Logic Specifications
·1986·2,262 citations
Finding Response Times In A Real-Time System
·1986·758 citations
Scheduling Algorithms For Multiprogramming In A Hard-Real-Time Environment
·1973·6,410 citations