Michael Golm

According to our database, Michael Golm authored at least 13 papers between 1997 and 2017.

Collaborative distances:

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

2017

Formal Verification of Train Control with Air Pressure Brakes.

Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

2011

A Demonstration-based Approach to Support Live Transformations in a Model Editor.

Yu Sun, Jeff Gray, Christoph Wienands, Michael Golm, Jules White

Proceedings of the Theory and Practice of Model Transformations, 2011

2010

Architecture and Design Recovery.

Michael Golm

Proceedings of the Encyclopedia of Software Engineering, 2010

2009

Anatomy of a Visual Domain-Specific Language Project in an Industrial Context.

Christoph Wienands, Michael Golm

Proceedings of the Model Driven Engineering Languages and Systems, 2009

2003

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

Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

2002

The structure of a type safe operating system.

Michael Golm

PhD thesis, 2002

The JX Operating System.

Michael Golm, Meik Felser, Christian Wawersich, Jürgen Kleinöder

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Execution time limitation of interrupt handlers in a Java operating system.

Meik Felser, Michael Golm, Christian Wawersich, Jürgen Kleinöder

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Understanding the performance of the Java operating system JX using visualization techniques.

Michael Golm, Christian Wawersich, Meik Felser, Jürgen Kleinöder

Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

2001

Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System.

Michael Golm, Jürgen Kleinöder, Frank Bellosa

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

1999

Jumping to the Meta Level: Behavioral Reflection Can Be Fast and Flexible.

Michael Golm, Jürgen Kleinöder

Proceedings of the Meta-Level Architectures and Reflection, 1999

1997

MetaJava - A Platform for Adaptable Operating-System Mechanisms.

Jürgen Kleinöder, Michael Golm

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Implementing Real-Time Actors with MetaJava.

Michael Golm, Jürgen Kleinöder

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997