diff --git a/src/components/Publications/copypasta.tsx b/src/components/Publications/copypasta.tsx index 746b8dbf4..b4a83bb9c 100644 --- a/src/components/Publications/copypasta.tsx +++ b/src/components/Publications/copypasta.tsx @@ -20,6 +20,15 @@ export const copypastaPublications: ReactNode = ( ACM Transactions on Reconfigurable Technology and Systems (17)4, Nov. 7 2024.

+
  • +

    + MEMOCODE '24: Byeonggil Jun, Edward A. Lee, Marten Lohstroh, and Hokeun Kim. + " + Efficient Coordination for Distributed Discrete-Event Systems + ", + in Proceedings of the 22nd ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '24). October 2024, 114–118. +

    +
  • ESL '24: Francesco Paladino, Erling Jellum, Efsane Soyer, and Edward A. Lee. @@ -103,16 +112,16 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan.

  • - VSSTE '23: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens, " + VSSTE '23: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens." - Provable Determinism for Software in Cyber-Physical Systems," in - Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments, October 2023. + Provable Determinism for Software in Cyber-Physical Systems," + in Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments, October 2023.

  • MEMOCODE '23: Soroush Bateni, Marten Lohstroh, Hou Seng Wong, - Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee, " + Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee. " Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems