Franz-Josef Grosch

According to our database, Franz-Josef Grosch authored at least 10 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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., September, 2024

2021

Extracting Mode Diagrams from Blech Code.

Daniel Lucas, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Friedrich Gretz, Franz-Josef Grosch

Proceedings of the 24th Forum on specification & Design Languages, 2021

2020

Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech.

Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele

Proceedings of the Forum for Specification and Design Languages, 2020

2018

Blech, Imperative Synchronous Programming!

Friedrich Gretz, Franz-Josef Grosch

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017

Elevate embedded real-time programming with a synchronous language.

Franz-Josef Grosch

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

1997

M - eine typisierte, funktionale Sprache für das Programmieren-im-Großen.

Franz-Josef Grosch

Proceedings of the Informatik '97, 1997

1994

Die inferenzbasierte Softwareentwicklungsumgebung NORA.

Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller

Inform. Forsch. Entwickl., 1994

1993

Polymorphic components for monomorphic languages.

Franz-Josef Grosch, Gregor Snelting

Proceedings of the Proceedings Advances in Software Reuse, 1993

1991

Inference-Based Support for Programming in the Large.

Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder

Proceedings of the ESEC '91, 1991

1990

Inference-Based Overloading Resolution for ADA.

Franz-Josef Grosch, Gregor Snelting

Proceedings of the Programming Language Implementation and Logic Programming, 1990