Model-based specification of timing requirements. - Christian Buckl; Irina Gaponova; Michael Geisinger; Alois C. Knoll; Edward A. Lee (EMSOFT, 2010)

MGSyn: Automatic Synthesis for Industrial Automation. - Chih-Hong Cheng; Michael Geisinger; Harald Ruess; Christian Buckl; Alois C. Knoll (CAV, 2012)

Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems. - Kai Huang 001; Gang Chen 023; Nadine Keddis; Michael Geisinger; Christian Buckl (ICCPS, 2012)

Game solving for industrial automation and control. - Chih-Hong Cheng; Michael Geisinger; Harald Ruess; Christian Buckl; Alois C. Knoll (ICRA, 2012)

Synthesizing Controllers for Automation Tasks with Performance Guarantees. - Chih-Hong Cheng; Michael Geisinger; Christian Buckl (SPIN, 2013)

Reconfigurable industrial process monitoring using the CHROMOSOME middleware. - Stephan Sommer; Michael Geisinger; Christian Buckl; Gerd Bauer; Alois C. Knoll (SIGBED Rev., 2013)

CHROMOSOME: a run-time environment for plug & play-capable embedded real-time systems. - Christian Buckl; Michael Geisinger; Dhiraj Gulati; Fran J. Ruiz-Bertol; Alois C. Knoll (SIGBED Rev., 2014)

Game-based Synthesis for Distributed Control of Industrial Assembly Lines. - Michael Geisinger (2015)