All Stories

  1. Zero-Delay Cycles in Distributed Discrete-Event Systems using Lingua Franca
  2. Deterministic Coordination across Multiple Timelines
  3. Efficient Parallel Reinforcement Learning Framework Using the Reactor Model
  4. Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
  5. Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
  6. Towards Building Verifiable CPS using Lingua Franca
  7. Consistency vs. Availability in Distributed Cyber-Physical Systems
  8. High-Performance Deterministic Concurrency using L ingua F ranca
  9. Reliable Event Detection Using Time-Synchronized IoT Platforms
  10. Logical Time for Reactive Software
  11. InterPRET: a Time-predictable Multicore Processor
  12. Polyglot Modal Models through Lingua Franca
  13. A Programming Language for More Reliable and Predictable Concurrent Software