entracons  > Über uns > Publikationen

Publikationen

Vorträge 2010

  • Vortrag an der Hochschule Bremen im Rahmen einer Vorlesung des Internationalen Studiengang Global Management (ISGM) B.A. zum Thema "Entrepreneurship & Business Planning/Unternehmenssimulation"

Tagungsbeiträge 2009

  • 11. OMG Information Days- Anforderungen und Prozesse im Umbruch - Praxisvortrag zu den Disziplinen im Wandel der Zeit. Die Folien zum Vortrag finden Sie hier.

Fachartikel 2008

  • A Model-Based Development Method for Device Drivers. Autor: Ulrich Margull, Michael Kersten und Nikolaus Regnat (hier als pdf)

Dissertation 2006

  • A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models

Tagungsbeiträge 2005

  • OOCOSIM - Eine objekt-orientierte Co-Designmethode für eingebettete Hardware/ Softwaresysteme. Autor: Frank Oppenheimer, Michael Kersten, Wolfgang Nebel

Tagungsbeiträge 2004

  • On Detecting Deadlocks in Large UML Models. Autor: Michael Kersten, Wolfgang Nebel
  • On Detecting Deadlocks in Large UML Models - based on an Expressive Subset. Autor: Michael Kersten, Wolfgang Nebel
  • Verfahren zur Bestimmung von Verklemmungen in nebenläufigen Prozessen. Autor: Michael Kersten

Tagungsbeiträge 2003

  • Zuverlässige Software durch den Einsatz von UML, MDA und der Programmiersprache Ada. Autor: Jörg Matthes, Hubert B. Keller, Wolf-Dieter Heker, Michael Kersten, Christian Fouda
  • Erweiterung der UML um Zeitannotationen zur Analyse des Zeitverhaltens reaktiver Systeme. Autor: Michael Kersten, Ramon Biniasch, Wolfgang Nebel, Frank Oppenheimer

Fachartikel 2002

  • Customizing UML for the Development of Distributed Reactive Systems and Ada95 Code Generation Autor: Michael Kersten, Jörg Matthes, Christian Fouda, Stephan Zipser, Hubert
  • Customizing UML for the Development of Distributed Reactive Systems and Ada95 Code Generation Autor: Michael Kersten, Jörg Matthes, Christian Fouda, Stephan Zipser, Hubert B. Keller

Tagungsbeiträge 2001

  • Die Problematik der Abbildung von UML-Modellen auf Konstrukte der Programmiersprache Ada 95 Autor: Michael Kersten, Hubert B. Keller
  • INSPECT 2 Infrared and Video-based Optimization of Combustion Processes in Thermal Waste Treatment Autor: Hubert B. Keller, Stephan Zipser, Michael Kersten, Christian Fouda, Eugen Kugele, Jörg Matthes
entracons  > Über uns > Publikationen