Michael Kersten

According to our database, Michael Kersten authored at least 8 papers between 2003 and 2018.

Collaborative distances:

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

2018

CobWeb - a toolbox for automatic tomographic image analysis based on machine learning techniques: application and examples.

Swarup Chauhan, Kathleen Sell, Frieder Enzmann, Wolfram Rühaak, Thorsten Wille, Ingo Sass, Michael Kersten

CoRR, 2018

2016

Processing of rock core microtomography images: Using seven different machine learning algorithms.

Swarup Chauhan, Wolfram Rühaak, Faisal Khan, Frieder Enzmann, Philipp Mielke, Michael Kersten, Ingo Sass

Comput. Geosci., 2016

2013

Simultaneous segmentation and beam-hardening correction in computed microtomography of rock cores.

Zoran Jovanovic, Faisal Khan, Frieder Enzmann, Michael Kersten

Comput. Geosci., 2013

2008

A Model-Based Development Method for Device Drivers.

Ulrich Margull, Michael Kersten, Nikolaus Regnat

Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2006

A multi-phase deadlock detection method for reactive systems based on UML-models.

Michael Kersten

PhD thesis, 2006

2005

OOCOSIM - Eine objekt-orientierte Co-Designmethode für eingebettete Systeme.

Frank Oppenheimer, Michael Kersten, Wolfgang Nebel

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2004

On Detecting Deadlocks in Large UML Models.

Michael Kersten, Wolfgang Nebel

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

2003

Erweiterung der UML um Zeitannotationen zur Analyse des Zeitverhaltens reaktiver Systeme.

Michael Kersten, Ramon Biniasch, Wolfgang Nebel, Frank Oppenheimer

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003