Research on Blech

The development of Blech is accompanied by research activities. This research is carried out in cooperation with different universities.

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
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
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 .

Blech, Imperative Synchronous Programming!. Friedrich Gretz, Franz-Josef Grosch. (2020) Published in: Languages, Design Methods, and Tools for Electronic System Design .

Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics for Blech. Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele. (2020) Technical Report .