From 483a0a9423cc7b4f1e4611a5292ffd4a96af4e1d Mon Sep 17 00:00:00 2001 From: MVMendler <39401150+MVMendler@users.noreply.github.com> Date: Mon, 11 Sep 2023 12:22:59 +0200 Subject: [PATCH] Update _index.md add TECS 2022 reference --- website/content/en/research/_index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/content/en/research/_index.md b/website/content/en/research/_index.md index 572f52f..21aeccb 100644 --- a/website/content/en/research/_index.md +++ b/website/content/en/research/_index.md @@ -17,7 +17,7 @@ The development of Blech is accompanied by research activities. This research is - **Extracting Mode Diagrams from Blech Code**. Daniel Lucas and Alexander Schulz-Rosengarten and Reinhard von Hanxleden and Friedrich Gretz and Franz-Josef Grosch, *2021 Forum on Specification and Design Languages (FDL)*, Antibes, France. doi: [10.1109/FDL53530.2021.9568375](https://doi.org/10.1109/FDL53530.2021.9568375) -- **Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech**. Friedrich Gretz, Franz-Josef Grosch, Michael Mendler and Stephan Scheele, *2020 Forum on Specification and Design Languages (FDL)*, Kiel, Germany. doi: [10.1109/FDL50818.2020.9232942](https://doi.org/10.1109/FDL50818.2020.9232942) +- **Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech**. Friedrich Gretz, Franz-Josef Grosch, Michael Mendler and Stephan Scheele, *2020 Forum on Specification and Design Languages (FDL)*, Kiel, Germany. doi: [10.1109/FDL50818.2020.9232942](https://doi.org/10.1109/FDL50818.2020.9232942). Extended version appeard in ACM Transactions on Embedded Computing Systems, October 2022, pp.1-44, https://doi.org/10.1145/3571585. - **Blech, Imperative Synchronous Programming!**. Friedrich Gretz and Franz-Josef Grosch, *2018 Forum on Specification & Design Languages (FDL)*, Garching, Germany. doi: [10.1109/FDL.2018.8524036](https://doi.org/10.1109/FDL.2018.8524036).