Aloysius K. Mok
Orcid: 0000-0003-1309-8425Affiliations:
- University of Texas at Austin, USA
- Massachusetts Institute of Technology, Cambridge, MA, USA (former)
According to our database1,
Aloysius K. Mok
authored at least 184 papers
between 1979 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024
2023
ACM Trans. Embed. Comput. Syst., September, 2023
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach.
CoRR, 2023
2022
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022
Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022
2021
Online reconfiguration of regularity-based resource partitions in cyber-physical systems.
Real Time Syst., 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
2019
IEEE Trans. Ind. Informatics, 2019
Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task Design in the Imprecise Computation Framework.
ACM Trans. Cyber Phys. Syst., 2019
Real-Time and Reliable Industrial Control Over Wireless LANs: Algorithms, Protocols, and Future Directions.
Proc. IEEE, 2019
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019
2018
Schedule Adaptation for Ensuring Reliability in RT-WiFi-Based Networked Embedded Systems.
ACM Trans. Embed. Comput. Syst., 2018
A Double Disturbance Observer Design for Compensation of Unknown Time Delay in a Wireless Motion Control System.
IEEE Trans. Control. Syst. Technol., 2018
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018
2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
2016
Online Mode Switch Algorithms for Maintaining Data Freshness in Dynamic Cyber-Physical Systems.
IEEE Trans. Knowl. Data Eng., 2016
Int. J. Humanoid Robotics, 2016
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
2015
Wi-HTest: compliance test suite for diagnosing devices in real-time WirelessHART™ mesh networks.
Wirel. Networks, 2015
Comput. Ind., 2015
Tradeoffs in Real-Time Robotic Task Design with Neuroevolution Learning for Imprecise Computation.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Robust time delay compensation in a wireless motion control system with double disturbance observers.
Proceedings of the American Control Conference, 2015
2014
ACM Trans. Embed. Comput. Syst., 2014
Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness.
IEEE Trans. Computers, 2014
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Control and Automation, 2014
Time delay compensation in a wireless tracking control system with previewed reference.
Proceedings of the American Control Conference, 2014
Implementation of a particle filter on a GPU for nonlinear estimation in a manufacturing remelting process.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2014
2013
On Co-Scheduling of Update and Control Transactions in Real-Time Sensing and Control Systems: Algorithms, Analysis, and Performance.
IEEE Trans. Knowl. Data Eng., 2013
SIGBED Rev., 2013
An effective fixed priority co-scheduling algorithm for periodic update and application transactions.
Computing, 2013
RT-WiFi: Real-Time High-Speed Communication Protocol for Wireless Cyber-Physical Control Applications.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013
Proceedings of the IECON 2013, 2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
2012
Real Time Syst., 2012
Adaptive co-scheduling for periodic application and update transactions in real-time database systems.
J. Syst. Softw., 2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
Proceedings of the 2012 IEEE International Conference on Robotics and Biomimetics, 2012
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
Utilizing parallelization and embedded multicore architectures for scheduling large-scale wireless mesh networks.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012
Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture.
Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012
On Co-scheduling of Periodic Update and Application Transactions with Fixed Priority Assignment for Real-Time Monitoring.
Proceedings of the IEEE 26th International Conference on Advanced Information Networking and Applications, 2012
2011
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011
On Least Idle Slot First Co-scheduling of Update and Control Tasks in Real-Time Sensing and Control Systems.
Proceedings of the 17th IEEE International Conference on Parallel and Distributed Systems, 2011
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011
2010
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010
2009
IEICE Trans. Inf. Syst., 2009
Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009
Wi-HTest: Compliance Test Suite for Diagnosing Devices in Real-Time WirelessHART Network.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
2008
A hybrid framework for resource verification in executable model-based embedded system development.
SIGBED Rev., 2008
Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008
Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Proceedings of the Recent Advances in Intrusion Detection, 11th International Symposium, 2008
Proceedings of the 2008 IEEE International Performance, 2008
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008
2007
IEEE Trans. Computers, 2007
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
Proceedings of the Recent Advances in Intrusion Detection, 10th International Symposium, 2007
2006
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Using Real-Time Logic Synthesis Tool to Achieve Process Control over Wireless Sensor Networks.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006
Proceedings of the Recent Advances in Intrusion Detection, 9th International Symposium, 2006
Proceedings of the 4th IEEE International Workshop on Information Assurance (IWIA 2006), 2006
Resource Bound Safety in Grid Computing.
Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006
2005
J. Embed. Comput., 2005
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005
Data Collection with Battery and Buffer Consideration in a Large Scale Sensor Network.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005
Proceedings of the Recent Advances in Intrusion Detection, 8th International Symposium, 2005
Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005
2004
Proceedings of the Handbook of Scheduling - Algorithms, Models, and Performance Analysis., 2004
Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages.
IEEE Trans. Software Eng., 2004
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004
Proceedings of the Recent Advances in Intrusion Detection: 7th International Symposium, 2004
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004
Scheduling Similarity-Constrained Real-Time Tasks.
Proceedings of the International Conference on Embedded Systems and Applications, 2004
Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2004
2003
IEEE Trans. Computers, 2003
Proceedings of the Third Workshop on Run-time Verification, 2003
Proceedings of the Real-Time and Embedded Computing Systems and Applications, 2003
An Integrated Approach for Applying Dynamic Voltage Scaling to Hard Real-Time Systems.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003
Proceedings of the Software Security, 2003
Proceedings of the Embedded Software, Third International Conference, 2003
2002
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002
Proceedings of the Computer Security, 2002
Proceedings of the Embedded Software, Second International Conference, 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002
2001
IEEE Trans. Software Eng., 2001
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001
Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds.
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001
Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001
2000
IEEE Trans. Computers, 2000
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000
Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000
1999
Microprocess. Microsystems, 1999
Proceedings of the First International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems, 1999
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999
Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999
Proceedings of the 1999 IEEE/IFIP International Symposium on Integrated Network Management, 1999
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999
Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999
1998
Integr. Comput. Aided Eng., 1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems.
Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium, 1998
1997
ACM Trans. Program. Lang. Syst., 1997
IEEE Trans. Computers, 1997
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997
Proceedings of the Active, 1997
Proceedings of the Active, 1997
1996
Int. J. Softw. Eng. Knowl. Eng., 1996
Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996
1995
IEEE Trans. Software Eng., 1995
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995
Proceedings of the 1st IEEE Real-Time Technology and Applications Symposium, 1995
Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms (Panel).
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995
1994
IEEE Trans. Software Eng., 1994
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994
1993
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.
IEEE Trans. Software Eng., 1993
ACM Trans. Softw. Eng. Methodol., 1993
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993
1992
Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications.
Proceedings of the Real-Time Systems Symposium, 1992
Proceedings of the 14th International Conference on Software Engineering, 1992
1991
Proceedings of the conference on Software for citical systems, 1991
Proceedings of the Real-Time Systems Symposium, 1991
Proceedings of the Real-Time: Theory in Practice, 1991
1990
Proceedings of the Real-Time Systems Symposium, 1990
Proceedings of the Real-Time Systems Symposium, 1990
1989
IEEE Trans. Software Eng., 1989
Proceedings of the Real-Time Systems Symposium, 1989
1987
IEEE Trans. Computers, 1987
Synthesis of a Real-Time Message Processing System with Data-Driven Timing Constraints.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987
Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987
1986
IEEE Trans. Software Eng., 1986
A Graph-Theoretic Approach for Timing Analysis in Real Time Logic.
Proceedings of the 7th IEEE Real-Time Systems Symposium (RTSS '86), 1986
1985
Modeling and Scheduling of Dataflow Real-Time Systems.
Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985
Proceedings of an International Workshop on the Software Process and Software Environments, 1985
A Graph-Based Computation Model for Real-Time Systems.
Proceedings of the International Conference on Parallel Processing, 1985
1983
Fundamental design problems of distributed systems for the hard-real-time environment.
PhD thesis, 1983
1979