Michael Golm

13 papers A 2Unranked 9
YearRankTypeTitle / Venue / Authors
2017 — conf
Formal Verification of Train Control with Air Pressure Brakes.
RSSRail
Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer
2011 — conf
A Demonstration-based Approach to Support Live Transformations in a Model Editor.
ICMT@TOOLS
Yu Sun, Jeff Gray, Christoph Wienands, Michael Golm, Jules White
2010 — ch.
Architecture and Design Recovery.
Encyclopedia of Software Engineering
Michael Golm
2009 A conf
Anatomy of a Visual Domain-Specific Language Project in an Industrial Context.
MoDELS
Christoph Wienands, Michael Golm
2003 — conf
The Security Architecture of the Java Operating System JX - A Security Architecture for Distributed Parallel Computing.
APPT
Christian Wawersich, Meik Felser, Michael Golm, Jürgen Kleinöder
2002 — conf
Execution time limitation of interrupt handlers in a Java operating system.
ACM SIGOPS European Workshop
Meik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder
2002 — conf
The JX Operating System.
USENIX ATC, General Track
Michael Golm, Meik Felser, Christian Wawersich, Jürgen Kleinöder
2002 — —
The structure of a type safe operating system.
Michael Golm
2002 — conf
Understanding the performance of the Java operating system JX using visualization techniques.
Java Grande
Michael Golm, Christian Wawersich, Meik Felser, Jürgen Kleinöder
2001 A conf
Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System.
HotOS
Michael Golm, Jürgen Kleinöder, Frank Bellosa
1999 — conf
Jumping to the Meta Level: Behavioral Reflection Can Be Fast and Flexible.
Reflection
Michael Golm, Jürgen Kleinöder
1997 — conf
Implementing Real-Time Actors with MetaJava.
ECOOP Workshops
Michael Golm, Jürgen Kleinöder
1997 — conf
MetaJava - A Platform for Adaptable Operating-System Mechanisms.
ECOOP Workshops
Jürgen Kleinöder, Michael Golm