Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Michael Geisinger

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/spin/ChengGB13
- ask others
Chih-Hong Cheng, Michael Geisinger, Christian Buckl: Synthesizing Controllers for Automation Tasks with Performance Guarantees. SPIN 2013: 154-159
2012
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/ChengGRBK12
- ask others
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois Knoll: MGSyn: Automatic Synthesis for Industrial Automation. CAV 2012: 658-664
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iccps/HuangCKGB12
- ask others
Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, Christian Buckl: Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems. ICCPS 2012: 224
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icra/ChengGRBK12
- ask others
Chih-Hong Cheng, Michael Geisinger, Harald Ruess, Christian Buckl, Alois Knoll: Game solving for industrial automation and control. ICRA 2012: 4367-4372
2010
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/emsoft/BucklGGKL10
- ask others
Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, Edward A. Lee: Model-based specification of timing requirements. EMSOFT 2010: 239-248

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?