All Stories

  1. Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach

    Article • July 2024, ACM (Association for Computing Machinery)

    Aloysius Mok

  2. Regular Composite Resource Partitioning and Reconfiguration in Open Systems

    Article • ACM Transactions on Embedded Computing Systems, July 2023, ACM (Association for Computing Machinery)

    Aloysius Mok

  3. Tradeoffs in Neuroevolutionary Learning-Based Real-Time Robotic Task Design in the Imprecise Computation Framework

    Article • ACM Transactions on Cyber-Physical Systems, March 2019, ACM (Association for Computing Machinery)

    Aloysius Mok

  4. Network Management of Multicluster RT-WiFi Networks

    Article • ACM Transactions on Sensor Networks, February 2019, ACM (Association for Computing Machinery)

    Aloysius Mok

  5. Schedule Adaptation for Ensuring Reliability in RT-WiFi-Based Networked Embedded Systems

    Article • ACM Transactions on Embedded Computing Systems, November 2018, ACM (Association for Computing Machinery)

    Aloysius Mok

  6. ColLoc

    Article • ACM Transactions on Embedded Computing Systems, July 2014, ACM (Association for Computing Machinery)

    Pei-Chi Huang, Aloysius Mok