Skip to content

Add MEMOCODE'24 paper and fix minor formatting issues #301

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Dec 21, 2024
Merged

Add MEMOCODE'24 paper and fix minor formatting issues #301

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
0e6010b
Add MEMOCODE'24 paper and fix minor formatting issues
hokeun Dec 20, 2024
b6ee6e1
Merge branch 'main' into pub
hokeun Dec 20, 2024
b419143
Update src/components/Publications/copypasta.tsx
hokeun Dec 21, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 13 additions & 4 deletions src/components/Publications/copypasta.tsx
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,15 @@ export const copypastaPublications: ReactNode = (
ACM Transactions on Reconfigurable Technology and Systems (17)4, Nov. 7 2024.
</p>
</li>
<li>
<p>
<strong>MEMOCODE '24</strong>: Byeonggil Jun, Edward A. Lee, Marten Lohstroh, and Hokeun Kim.
"<Link href="https://doi.org/10.1109/MEMOCODE63347.2024.00019">
Efficient Coordination for Distributed Discrete-Event Systems
</Link>",
in <i>Proceedings of the 22nd ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '24)</i>. October 2024, 114–118.
</p>
</li>
<li>
<p>
<strong>ESL '24</strong>: Francesco Paladino, Erling Jellum, Efsane Soyer, and Edward A. Lee.
Expand Down Expand Up @@ -103,16 +112,16 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan.
</li>
<li>
<p>
<strong>VSSTE '23</strong>: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens, "
<strong>VSSTE '23</strong>: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens."
<Link href="https://cfaed.tu-dresden.de/files/Images/people/chair-cc/publications/2310_Rossel_VSSTE.pdf">
Provable Determinism for Software in Cyber-Physical Systems</Link>," in
<i>Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments</i>, October 2023.
Provable Determinism for Software in Cyber-Physical Systems</Link>,"
in <i>Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments</i>, October 2023.
</p>
</li>
<li>
<p>
<strong>MEMOCODE '23</strong>: 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. "
<Link href="https://doi.org/10.1145/3610579.3613219">
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
</Link>
Expand Down
Loading