Michael Golm

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Formal Verification of Train Control with Air Pressure Brakes.
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.
Proceedings of the Theory and Practice of Model Transformations, 2011

2010
Architecture and Design Recovery.
Proceedings of the Encyclopedia of Software Engineering, 2010

2009
Anatomy of a Visual Domain-Specific Language Project in an Industrial Context.
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.
Proceedings of the Advanced Parallel Programming Technologies, 5th International Workshop, 2003

2002
The structure of a type safe operating system.
PhD thesis, 2002

The JX Operating System.
Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Execution time limitation of interrupt handlers in a Java operating system.
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.
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.
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.
Proceedings of the Meta-Level Architectures and Reflection, 1999

1997
MetaJava - A Platform for Adaptable Operating-System Mechanisms.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Implementing Real-Time Actors with MetaJava.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997


  Loading...