Al Mok
#115,159
Most Influential Person Now
American computer scientist
Al Mok's AcademicInfluence.com Rankings
Al Mokcomputer-science Degrees
Computer Science
#6532
World Rank
#6885
Historical Rank
Machine Learning
#2166
World Rank
#2194
Historical Rank
Artificial Intelligence
#2428
World Rank
#2469
Historical Rank
Database
#3629
World Rank
#3780
Historical Rank

Download Badge
Computer Science
Al Mok's Degrees
- PhD Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Al Mok Influential?
(Suggest an Edit or Addition)According to Wikipedia, Aloysius "Al" Mok is an American computer scientist, currently the Quincy Lee Centennial Professor at University of Texas at Austin, and also a published author.
Al Mok's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Fundamental design problems of distributed systems for the hard-real-time environment (1983) (1050)
- Safety analysis of timing properties in real-time systems (1986) (772)
- Preemptively scheduling hard-real-time sporadic tasks on one processor (1990) (738)
- Real Time Scheduling Theory: A Historical Perspective (2004) (657)
- WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control (2008) (646)
- Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks (1989) (423)
- A multiframe model for real-time tasks (1996) (332)
- Generalized Multiframe Tasks (1999) (253)
- Resource partition for real-time systems (2001) (252)
- Modechart: A Specification Language for Real-Time Systems (1994) (243)
- A model of hierarchical real-time virtual resources (2002) (242)
- Load adjustment in adaptive real-time systems (1991) (221)
- Quantitative temporal reasoning (1990) (208)
- Opportunities and Obligations for Physical Computing Systems (2005) (207)
- WirelessHART™: Real-Time Mesh Network for Industrial Automation (2010) (205)
- Reliable and Real-Time Communication in Industrial Wireless Mesh Networks (2011) (194)
- A Graph-Theoretic Approach for Timing Analysis and its Implementation (1987) (170)
- The pinwheel: a real-time scheduling problem (1989) (167)
- Evaluating tight execution time bounds of programs by annotations (1989) (150)
- Improvement in feasibility testing for real-time tasks (1996) (134)
- RT-WiFi: Real-Time High-Speed Communication Protocol for Wireless Cyber-Physical Control Applications (2013) (130)
- SSP: A semantics-based protocol for real-time data access (1993) (127)
- Composite events for network event correlation (1999) (126)
- Efficient Run-time Monitoring Of Timing Constraints (1997) (119)
- Semantics of Modechart in real time logic (1988) (93)
- Allergy Attack Against Automatic Signature Generation (2006) (85)
- Application semantics and concurrency control of real-time data-intensive applications (1992) (80)
- Towards compositionality in real-time resource partitioning based on regularity bounds (2001) (67)
- Similarity-based load adjustment for real-time data-intensive applications (1997) (63)
- Early detection of timing constraint violation at runtime (1997) (55)
- Improving PID Control with Unreliable Communications (2006) (55)
- Distributed Broadcast Channel Access (1979) (54)
- The MSP.RTL real-time scheduler synthesis tool (1996) (52)
- Incremental Reconfiguration and Load Adjustment in Adaptive Real-Time Systems (1997) (51)
- An integrated approach for applying dynamic voltage scaling to hard real-time systems (2003) (50)
- Timed RTOS modeling for embedded system design (2005) (50)
- Window-constrained real-time periodic task scheduling (2001) (49)
- Task Management Techniques for Enforcing ED Scheduling on Periodic Task Set (1988) (49)
- Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network (2009) (47)
- Advanced Allergy Attacks: Does a Corpus Really Help? (2007) (47)
- Utilization bound revisited (2003) (47)
- MBStar: A Real-time Communication Protocol for Wireless Body Area Networks (2011) (46)
- A unified approach for specifying timing constraints and composite events in active real-time database systems (1998) (46)
- Real-Time and Reliable Industrial Control Over Wireless LANs: Algorithms, Protocols, and Future Directions (2019) (46)
- Coding-Aware Multi-path Routing in Multi-Hop Wireless Networks (2008) (42)
- Control over WirelessHART network (2010) (39)
- Static-priority scheduling of multiframe tasks (1999) (38)
- Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella (1993) (37)
- Distributed real-time system specification and verification in APTL (1993) (37)
- Symbolic model checking for event-driven real-time systems (1993) (37)
- WirelessHART and IEEE 802.15.4e (2014) (35)
- Towards Mechanization of Real-Time System Design (1991) (35)
- Simulation-Verification: Biting at the State Explosion Problem (2001) (35)
- Real-Time Data Semantics and Similarity-Based Concurrency Control (2000) (35)
- Jitter concerns in periodic task systems (1997) (34)
- Specifying timing constraints and composite events: an application in the design of electronic brokerages (2004) (34)
- Improving Control Performance by Minimizing Jitter in RT-WiFi Networks (2014) (33)
- Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems (2008) (29)
- Monitoring of Timing Constraints with Confidence Threshold Requirements (2007) (28)
- Modeling and Scheduling of Dataflow Real-Time Systems (1985) (28)
- A complete wirelessHART network (2008) (27)
- Non-preemptive robustness under reduced system load (2005) (26)
- Design of a network-based mobile gait rehabilitation system (2012) (26)
- On Co-Scheduling of Update and Control Transactions in Real-Time Sensing and Control Systems: Algorithms, Analysis, and Performance (2013) (26)
- MRL: a real-time rule-based production system (1990) (26)
- The monitoring of timing constraints on time intervals (2002) (26)
- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems (2002) (26)
- Measuring WirelessHART against wired fieldbus for control (2012) (25)
- A new approach to modularity in rule-based programming (1994) (25)
- Formal Specification of Real-time Systems (1988) (24)
- Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness (2014) (24)
- Synthesis of a Real-Time Message Processing System with Data-Driven Timing Constraints (1987) (24)
- Architecture of a cyberphysical avatar (2013) (23)
- A Graph-Theoretic Approach for Timing Analysis in Real Time Logic (1986) (22)
- Hardware challenges and their resolution in advancing WirelessHART (2011) (22)
- Online Mode Switch Algorithms for Maintaining Data Freshness in Dynamic Cyber-Physical Systems (2016) (22)
- Adaptive co-scheduling for periodic application and update transactions in real-time database systems (2012) (22)
- Engineering CASE tools to support formal methods for real-time software development (1992) (21)
- Symbolic Model Checking for Distributed Real-Time Systems (1993) (21)
- A General Model for Real-Time Tasks (1996) (21)
- Improvement in Feasibility Testing for Real-Time Tasks 1 (1996) (20)
- Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity (2007) (20)
- Real-time database — similarity and resource scheduling (1996) (20)
- Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems (2009) (20)
- Grasping novel objects with a dexterous robotic hand through neuroevolution (2014) (20)
- Formal analysis of real-time equational rule-based systems (1989) (19)
- Stability and Performance Analysis of Time-Delayed Actuator Control Systems (2016) (19)
- ControlIt! - A Software Framework for Whole-Body Operational Space Control (2015) (18)
- Maintaining data temporal consistency in distributed real-time systems (2012) (18)
- Position Paper for Workshop on Future Directions in Cyber-physical Systems Security (2009) (18)
- A practical approach to deploy large scale wireless sensor networks (2005) (18)
- On Modeling Real-Time Task Systems (1996) (18)
- MULTIPROCESSOR SCHEDULING IN A HARD REAL-TIME ENVIRONMENT. (2017) (17)
- Pre-Scheduling (2005) (17)
- Meeting control performance over a wireless mesh network (2008) (16)
- Particle filtering on GPU architectures for manufacturing applications (2015) (16)
- Design and Development Methodology for Resilient Cyber-Physical Systems (2008) (16)
- A Double Disturbance Observer Design for Compensation of Unknown Time Delay in a Wireless Motion Control System (2018) (16)
- RT-WiFi: real-time high speed communication protocol for wireless control systems (2013) (15)
- RTL and Refutation by Positive Cycles (1994) (14)
- Response-time bounds of rule-based programs under rule priority structure (1994) (14)
- On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem (2011) (14)
- Implementation of JEM-a Java composite event package (1999) (14)
- Design of a Reliable Communication System for Grid-Style Traffic Light Networks (2010) (14)
- An effective fixed priority co-scheduling algorithm for periodic update and application transactions (2013) (14)
- Compiling Modechart specifications (1995) (13)
- A Schedulability Analysis of Deferrable Scheduling Using Patterns (2008) (13)
- TINMAN: A Resource Bound Security Checking System for Mobile Code (2002) (13)
- Formal methods for real-time systems (1996) (13)
- Design of real-time virtual resource architecture for large-scale embedded systems (2004) (13)
- RoamingHART: A Collaborative Localization System on WirelessHART (2012) (12)
- Real-time task scheduling anomaly: observations and prevention (2005) (12)
- Swarm Attacks against Network-Level Emulation/Analysis (2008) (12)
- Utilization bound re-visited (1999) (12)
- The integration of control and dataflow structures in distributed hard real-time systems (1994) (12)
- A Location-Determination Application in WirelessHART (2009) (12)
- Over the air provisioning of industrial wireless devices using elliptic curve cryptography (2011) (12)
- Applying formal methods to an embedded real-time avionics system (1993) (12)
- Modularity and Rule-Based Programming (1995) (11)
- Wireless Process Control Products from ISA 2004 (2005) (11)
- Formal Specification Of Asynchronous Distributed Real-time Systems By APTL (1992) (11)
- Building wireless embedded internet for industrial automation (2013) (11)
- Middleware for Wireless Process Control Systems (2004) (11)
- Tracking Real-Time Systems Requirements (2000) (11)
- Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks (2006) (11)
- Detecting Unknown Massive Mailing Viruses Using Proactive Methods (2004) (11)
- Regularity-Based Partitioning of Uniform Resources in Real-Time Systems (2012) (11)
- Scheduling distributed real-time tasks in the DGMF model (2000) (10)
- Coping with Implementation Dependencies in Real-Time System Verification (1991) (10)
- Real-time support in COM (1999) (10)
- Estella; a facility for specifying behavioral constraint assertions in real-time rule-based systems (1991) (10)
- A Completely Integrated Approach to Developing, Implementing, Evaluating Distributed Active Database Management and its OS Support (1999) (10)
- Simulation vs. verification: getting the best of both worlds (1996) (9)
- A Graph-Based Computation Model for Real-Time Systems (1985) (9)
- Using data similarity to achieve synchronization for free (1994) (9)
- A Performance Estimation Tool for Video Applications (2006) (9)
- Integrated design tools for hard real-time systems (1998) (9)
- MinMax: A Sampling Interval Control Algorithm for Process Control Systems (2012) (9)
- SRDE-application of data similarity to process control (1999) (8)
- A Generic Framework for Monitoring Timing Constraints over Uncertain Events (2006) (8)
- Data collection with battery and buffer consideration in a large scale sensor network (2005) (8)
- Annotating Ada for Real-Time Program Synthesis (1987) (8)
- Firm real-time systems (1996) (8)
- A Case Study of Cyber-Physical System Design: Autonomous Pick-and-Place Robot (2018) (8)
- Scheduling Similarity-Constrained Real-Time Tasks (2004) (8)
- Bounded-time fault-tolerant rule-based systems (1990) (8)
- Robust time delay compensation in a wireless motion control system with double disturbance observers (2015) (8)
- An anomaly prevention approach for real-time task scheduling (2009) (7)
- ColLoc: A collaborative location and tracking system on WirelessHART (2014) (7)
- Collaborative Intrusion Prevention (2007) (7)
- HartFi: an energy-efficient localization system (2011) (7)
- Monitoring of timing constraints with confidence threshold requirements (2003) (7)
- Automatic Laser Control System for Selective Laser Sintering (2019) (7)
- Online reconfiguration of regularity-based resource partitions in cyber-physical systems (2019) (7)
- Implementation and performance evaluation of a real-time e-brokerage system (2000) (7)
- An Event Service Framework for Distributed Real-Time Systems (1997) (7)
- Schedule Adaptation for Ensuring Reliability in RT-WiFi-Based Networked Embedded Systems (2018) (6)
- Time delay compensation in a wireless tracking control system with previewed reference (2014) (6)
- Specification and Analysis of Real-Time Systems: Modechart Language and Toolset (1995) (6)
- Network Management of Multicluster RT-WiFi Networks (2019) (6)
- Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task Design in the Imprecise Computation Framework (2018) (6)
- A Skill-Based Programming System for Robotic Furniture Assembly (2018) (6)
- Execution environment for real-time rule-based decision systems (1997) (6)
- Pre-Scheduling: Integrating Offline and Online Scheduling Techniques (2003) (6)
- A new generation modechart verifier (1995) (6)
- An Operational Semantics and a Compiler for Modechart Specificiations (1996) (5)
- CENTRALIZED CONTROL OF WIRELESS SENSOR NETWORKS FOR REAL-TIME APPLICATIONS (2007) (5)
- Monitoring of timing constraints and streaming events with temporal uncertainties (2005) (5)
- Probabilistic Timing Join over Uncertain Event Streams (2006) (5)
- Similarity-based traffic reduction to increase battery life in a wireless process control network (2005) (5)
- Regular Composite Resource Partition in Open Systems (2017) (5)
- Active and real-time functionalities for electronic brokerage design (1999) (5)
- Enforcing resource bound safety for mobile SNMP agents (2002) (5)
- On Random-Inspection-Based Intrusion Detection (2005) (5)
- Implementation of a particle filter on a GPU for nonlinear estimation in a manufacturing remelting process (2014) (5)
- Demo Abstract: A Complete WirelessHART Network (2011) (4)
- Process control adopts wireless (2005) (4)
- WI-HTest: testing suite for diagnosing wirelesshart devices and networks (2008) (4)
- Compiling Modechart Speciications (1995) (4)
- Event-Based Real-Time Monitoring (2003) (4)
- A framework to transmit process control data over commercial wireless networks (2004) (4)
- The design and implementation of a Real-Time Object Management Interface (1995) (4)
- Future of Wireless and the WirelessHART Standard (2010) (4)
- Synchronization Considerations for Real-Time Wireless Sensor and Actuator Networks (2016) (4)
- An event service architecture in distributed real-time systems (1999) (4)
- Providing real-time support through component object model (1999) (4)
- The TableSat Platform and its Verifiable Control Software (2009) (4)
- A Hybrid Proactive Approach for Integrating Off-line and On-line Real-Time Schedulers (2003) (3)
- On Co-scheduling of Periodic Update and Application Transactions with Fixed Priority Assignment for Real-Time Monitoring (2012) (3)
- Timing analysis of MRL: A real-time rule-based system (1993) (3)
- Pre-scheduling on the domain of integers (2004) (3)
- Tradeoffs in Real-Time Robotic Task Design with Neuroevolution Learning for Imprecise Computation (2015) (3)
- Automated analysis of bounded response time for two NASA expert systems (1991) (3)
- On the Composition of Real-Time Schedulers (2003) (3)
- Design of a Real-Time SQL Engine in the Distributed Environment (1997) (3)
- LASSO: Location Assistant for Seeking and Searching Objects (2019) (3)
- Wireless and Real-Time Industrial Process Control (2010) (3)
- An Operational Semantics and Compiler for Real-Time Specifications (1998) (2)
- Online Timing Correlation of Streaming Data with Uncertain Timestamps (2009) (2)
- Optimizing Distributed Foundation Fieldbus Process Control with MSP.RTL Tool (2007) (2)
- On Least Idle Slot First Co-scheduling of Update and Control Tasks in Real-Time Sensing and Control Systems (2011) (2)
- Web Based Teleoperation of a Humanoid Robot (2016) (2)
- Necessary and Sufficient Conditions for Non-preemptive Robustness (2010) (2)
- A class-based approach to the composition of real-time software components (2005) (2)
- Generalized pre-scheduler (2004) (2)
- Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture (2012) (2)
- Utilizing parallelization and embedded multicore architectures for scheduling large-scale wireless mesh networks (2012) (2)
- Formal Specification and Verification of Resource Bound Security Using PVS (2003) (2)
- A hybrid framework for resource verification in executable model-based embedded system development (2008) (2)
- Real-time tasks with data output (2004) (2)
- Similarity Semantics and Concurrency Control (1997) (1)
- Adaptive Co-Scheduling for Periodic Update and User Transactions in Real-Time Database Systems (2011) (1)
- Discovering Gated Recurrent Neural Network Architectures (2018) (1)
- The Von Neumann straitjacket: the process construct (1986) (1)
- An automation-based design methodology for distributed, hard real-time systems (1998) (1)
- IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018, 11-13 April 2018, Porto, Portugal (2018) (1)
- The LAIDS/LIDS framework for systematic IPS design (2006) (1)
- Deriving Response-Time Bounds for Equational Rule-Based Programs (1992) (1)
- Wi-HTest : Compliance Test Tool for Real-Time WirelessHART TM Mesh Network Devices (2007) (1)
- Enhancing Reliability in RT-WiFi Network (2016) (1)
- 5 – WirelessHART™ sensor networks (2016) (1)
- A Methodology and Support Tools for Analysis of Real-Time Specifications (1996) (1)
- Scheduling similarity-constrtained real-time tasks (2004) (1)
- Fast cosimulation of transformative systems with OS support on SMP computer (2004) (1)
- A verifier for distributed real-time systems with bounded integer variables (1993) (1)
- Physics and Cyber-Enabled Manufacturing Process Control (2008) (1)
- An RTL semantics for LabVIEW (1998) (1)
- Fast Co-Simulation of Transformative Systems with OS Support (2004) (1)
- An effective fixed priority co-scheduling algorithm for periodic update and application transactions (2012) (0)
- A Restricted Class of 1-register Machines Presburger Arithmetic with Divisibility Veriication Example: Timing-based Mutual Exclusion Symbolic Computation Computing Consistent Parameter Valuations 3.1 a Decidability Result (1993) (0)
- Realizing EQL programs for bounded-time excution (1996) (0)
- Formal Design Methodology for Hard-Real-Time Systems. (1994) (0)
- Schedulability and Performance Analysis of the Similarity Stack Protocol (2003) (0)
- Interconnect-centric design issues in nanometer ic technology (2004) (0)
- Cad algorithms for vlsi design and manufacturing (2003) (0)
- OpportunitiesObligations for Physical Computing (2005) (0)
- Demo Abstract: Open RT-WiFi Platform on Software-Defined Radio (2022) (0)
- Introduction (2017) (0)
- Discourses in General (2010) (0)
- Network Layer and Transport Layer (2010) (0)
- Distributed Execution and Monotone Response Time Derivation of Rule-Based Programs (1996) (0)
- Building a Similarity-based Real-time Database Engine (2007) (0)
- Supercomputers/parallel algorithms (1987) (0)
- SQGS: Sensing-based Quality-aware Robot Programming Guidance System for Non-experts (2021) (0)
- A Fast Approach to Equip a HART Device with WirelessHART Capability (2010) (0)
- Call for papers (2016) (0)
- Discourses on the Mesh Network (2010) (0)
- Monitoring uncertain data for sensor-based real-time systems (2008) (0)
- SQRP: Sensing Quality-aware Robot Programming System for Non-expert Programmers (2021) (0)
- Achieving evenly distributed sensor lifetime in large scale wireless sensor networks (2014) (0)
- Wi-HTest: compliance test suite for diagnosing devices in real-time WirelessHART™ mesh networks (2015) (0)
- Applying DVS to Real-Time Systems with Discrete Speeds and Speed-transition Overhead Constraints (0)
- Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel) (1995) (0)
- Research in Real-Time Wireless Mesh Networks (2010) (0)
- Panel Session: Predictability in Active Real-Time/Temporal Databases (1997) (0)
- A Virtual Network Approach for Testing Wireless Mesh in Industrial Process Control (2010) (0)
- Data Link Layer (2010) (0)
- Monotone response-time derivation for distributed execution of rule-based programs (1996) (0)
- RT-WiFi on Software-Defined Radio: Design and Implementation (2022) (0)
- Attribute and Field Values (2010) (0)
- ColLoc (2014) (0)
- Real-Time Task with Data Output (2004) (0)
- Integration of hard real-time schedulers (2004) (0)
- Real-time software design-from theory to practice (1990) (0)
- Welcome message from the WCPS2008 co-chairs (2008) (0)
- Maintaining data temporal consistency in distributed real-time systems (2012) (0)
- Position Paper for National Transportation CPS Workshop (2008) (0)
- Online Scheduling Switch Based on Validity Constraint (2008) (0)
- TsTxAckDelay TsCCA TsRsTx TsCCSOffset TsMaxPacket TsRxAckDelay TsAckWait TsCCSOffset Source Destination TsRxOffset TsError TsRxWait TsAck Figure 2 (2009) (0)
- The Pinwheel (2004) (0)
- Wi-HTest: compliance test suite for diagnosing devices in real-time WirelessHART™ mesh networks (2015) (0)
- Semantics of fault-tolerant actions in modechart (1997) (0)
- What really is rapid prototyping for real-time system? (abstract) (1994) (0)
- Table of Contents. (2016) (0)
- Test and Diagnostic Tools (2010) (0)
- Networking Infrastructure of Wireless Embedded Internet (2010) (0)
- Discourses on the Stack (2010) (0)
- Apparatus and method for inserting wireless data into an existing process control system (2007) (0)
- DLP UT ELR PL Derive Look Parameters Perform Look Update Targets Evaluate Look Results External Modules Process Signals Submodule (2007) (0)
This paper list is powered by the following services:
Other Resources About Al Mok
What Schools Are Affiliated With Al Mok?
Al Mok is affiliated with the following schools: