All Stories

  1. Deterministic Coordination Across Multiple Timelines

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

    Marten Lohstroh, Edward Lee

  2. Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems

    Article • September 2023, ACM (Association for Computing Machinery)

    Edward Lee, Marten Lohstroh

  3. Towards Building Verifiable CPS using Lingua Franca

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

    Marten Lohstroh, Edward Lee

  4. Consistency vs. Availability in Distributed Cyber-Physical Systems

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

    Edward Lee, Marten Lohstroh

  5. High-Performance Deterministic Concurrency using L ingua F ranca

    Article • ACM Transactions on Architecture and Code Optimization, August 2023, ACM (Association for Computing Machinery)

    Marten Lohstroh, Edward Lee

  6. Reliable Event Detection Using Time-Synchronized IoT Platforms

    Article • May 2023, ACM (Association for Computing Machinery)

    Marten Lohstroh

  7. Logical Time for Reactive Software

    Article • May 2023, ACM (Association for Computing Machinery)

    Marten Lohstroh, Edward Lee

  8. InterPRET: a Time-predictable Multicore Processor

    Article • May 2023, ACM (Association for Computing Machinery)

    Marten Lohstroh, Edward Lee

  9. Polyglot Modal Models through Lingua Franca

    Article • May 2023, ACM (Association for Computing Machinery)

    Edward Lee, Marten Lohstroh

  10. A Programming Language for More Reliable and Predictable Concurrent Software

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

    Edward Lee, Marten Lohstroh