Implementing Real-Time Actors with MetaJava. - Michael Golm; Jürgen Kleinöder (ECOOP Workshops, 1997)

MetaJava - A Platform for Adaptable Operating-System Mechanisms. - Jürgen Kleinöder; Michael Golm (ECOOP Workshops, 1997)

Jumping to the Meta Level: Behavioral Reflection Can Be Fast and Flexible. - Michael Golm; Jürgen Kleinöder (Reflection, 1999)

Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System. - Michael Golm; Jürgen Kleinöder; Frank Bellosa (HotOS, 2001)

Understanding the performance of the Java operating system JX using visualization techniques. - Michael Golm; Christian Wawersich; Meik Felser; Jürgen Kleinöder (Java Grande, 2002)

Execution time limitation of interrupt handlers in a Java operating system. - Meik Felser; Michael Golm; Christian Wawersich; Jürgen Kleinöder (ACM SIGOPS European Workshop, 2002)

The JX Operating System. - Michael Golm; Meik Felser; Christian Wawersich; Jürgen Kleinöder (USENIX ATC, General Track, 2002)

The structure of a type safe operating system. - Michael Golm (2002)

The Security Architecture of the Java Operating System JX - A Security Architecture for Distributed Parallel Computing. - Christian Wawersich; Meik Felser; Michael Golm; Jürgen Kleinöder (APPT, 2003)

Anatomy of a Visual Domain-Specific Language Project in an Industrial Context. - Christoph Wienands; Michael Golm (MoDELS, 2009)

Architecture and Design Recovery. - Michael Golm (Encyclopedia of Software Engineering, 2010)

A Demonstration-based Approach to Support Live Transformations in a Model Editor. - Yu Sun 002; Jeff Gray 001; Christoph Wienands; Michael Golm; Jules White (ICMT@TOOLS, 2011)

Formal Verification of Train Control with Air Pressure Brakes. - Stefan Mitsch; Marco Gario; Christof J. Budnik; Michael Golm; André Platzer (RSSRail, 2017)