Michael Geisinger

According to our database, Michael Geisinger authored at least 8 papers between 2010 and 2015.

Collaborative distances:

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

2015

Game-based Synthesis for Distributed Control of Industrial Assembly Lines.

Michael Geisinger

PhD thesis, 2015

2014

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

2013

Reconfigurable industrial process monitoring using the CHROMOSOME middleware.

Stephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer, Alois C. Knoll

SIGBED Rev., 2013

Synthesizing Controllers for Automation Tasks with Performance Guarantees.

Chih-Hong Cheng, Michael Geisinger, Christian Buckl

Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012

Game solving for industrial automation and control.

Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems.

Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, Christian Buckl

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

MGSyn: Automatic Synthesis for Industrial Automation.

Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois C. Knoll

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010

Model-based specification of timing requirements.

Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee

Proceedings of the 10th International conference on Embedded software, 2010