Concepedia

Aloysius K. Mok

AK

Statistics

Publications

109

Citations

7.8K

H-Index

38

Active since

1979

Affiliations

The University of Texas at Austin(Current)

Emerson School District

University of Connecticut

Emerson (Sweden)

City University of Hong Kong

Aloysius K. Mok is an author at The University of Texas at Austin specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceReal-time SystemsComputer EngineeringFormal VerificationFormal MethodsParallel ComputingAutomationSystem Software

Publications per year

1979–2019

109

Publications

109

Preemptively scheduling hard-real-time sporadic tasks on one processor

Sanjoy Baruah, Aloysius K. Mok, Louis E. Rosier · 1990 · 698 citations

Engineering, Hard-real-time Sporadic Tasks, Computer Architecture +19

Safety analysis of timing properties in real-time systems

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

Engineering, Timing Analysis, Real-time System Design +12

Real Time Scheduling Theory: A Historical Perspective

Lui Sha, Tarek Abdelzaher, Karl-Erik Årzén et al. · Real-Time Systems · 2004 · 616 citations · Full text

Mathematical Programming, Historical Perspective, Engineering +8

Multiprocessor online scheduling of hard-real-time tasks

Michael L. Dertouzos, Aloysius K. Mok · IEEE Transactions on Software Engineering · 1989 · 429 citations

Engineering, Computer Architecture, Computational Complexity +22

Generalized Multiframe Tasks

Sanjoy Baruah, Deji Chen, Sergey Gorinsky et al. · Real-Time Systems · 1999 · 240 citations

1–5 of 109