Markus Bajohr

According to our database, Markus Bajohr authored at least 4 papers between 2005 and 2008.

Collaborative distances:

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

2008

High Service Availability in MaTRICS for the OCS.

Markus Bajohr, Tiziana Margaria

Proceedings of the Leveraging Applications of Formal Methods, 2008

2006

MaTRICS: A service-based management tool for remote intelligent configuration of systems.

Markus Bajohr, Tiziana Margaria

Innov. Syst. Softw. Eng., 2006

Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach.

Markus Bajohr, Tiziana Margaria, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems.

Markus Bajohr, Tiziana Margaria

Proceedings of the International Conference on Pervasive Services 2005, 2005