Inference-Based Overloading Resolution for ADA. - Franz-Josef Grosch; Gregor Snelting (PLILP, 1990)

Inference-Based Support for Programming in the Large. - Gregor Snelting; Franz-Josef Grosch; Ulrik Schroeder (ESEC, 1991)

Polymorphic components for monomorphic languages. - Franz-Josef Grosch; Gregor Snelting (IWSR, 1993)

Die inferenzbasierte Softwareentwicklungsumgebung NORA. - Gregor Snelting; Bernd Fischer 002; Franz-Josef Grosch; Matthias Kievernagel; Andreas Zeller (Inform. Forsch. Entwickl., 1994)

M - eine typisierte, funktionale Sprache für das Programmieren-im-Großen. - Franz-Josef Grosch (GI Jahrestagung, 1997)

Elevate embedded real-time programming with a synchronous language. - Franz-Josef Grosch (MEMOCODE, 2017)

Blech, Imperative Synchronous Programming! - Friedrich Gretz; Franz-Josef Grosch (FDL, 2018)

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

Extracting Mode Diagrams from Blech Code. - Daniel Lucas; Alexander Schulz-Rosengarten; Reinhard von Hanxleden; Friedrich Gretz; Franz-Josef Grosch (FDL, 2021)

Synchronized Shared Memory and Black-box Procedural Abstraction: Toward a Formal Semantics of Blech. - Friedrich Gretz; Franz-Josef Grosch; Michael Mendler; Stephan Scheele (ACM Trans. Embed. Comput. Syst., 2024)