Publications
Export list as BibTeX file
- April 2014CHROMOSOME: A Run-Time Environment for Plug&Play-Capable Embedded Real-Time SystemsChristian Buckl, Michael Geisinger, Dhiraj Gulati and Fran J. Ruiz-Bertol
In
Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014),
ACM.
DetailsBIB
- August 2013Programme auf Knopfdruck?Michael Geisinger and Chih-Hong ChengComputer & Automation,
():32–35,
August 2013.
DetailsURLBIB
- April 2013Reconfigurable Industrial Process Monitoring using the CHROMOSOME MiddlewareStephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer and Alois Knoll
In
The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013),
ACM.
DetailsBIB
- 2013Synthesizing Controllers for Automation Tasks with Performance GuaranteesChih-Hong Cheng, Michael Geisinger and Christian Buckl
In
Model Checking Software - 20th International Symposium, SPIN 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings,
pages 154–159,
DetailsURLDOIBIB
- April 2012Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded SystemsKai Huang, Gang Chen, Nadine Keddis, Michael Geisinger and Christian Buckl
In
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS),
pages 224,
DetailsDOIBIB
- 2012Game solving for industrial automation and controlChih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll
In
IEEE International Conference on Robotics and Automation, ICRA
2012, 14-18 May, 2012, St. Paul, Minnesota, USA,
pages 4367–4372,
DetailsURLDOIBIB
- 2012MGSyn: Automatic Synthesis for Industrial AutomationChih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll
In
Computer Aided Verification - 24th International Conference, CAV
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings,
pages 658–664,
DetailsURLDOIBIB
- December 2011Middleware-Architekturen zur Integration von Systemen in Systems-of-SystemsChristian Buckl and Michael Geisinger
In
Tagungsband Embedded Software Engineering Kongress,
pages 38–42,
Sindelfingen, Germany,
DetailsURLBIB
- April 2011Multifunk: Self-Organizing Sensor Networks for Industrial Process MonitoringGokul Balakrishnan, Michael Geisinger and Christian Buckl
In Jian-Jia Chen, editor,
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'11), Work-in-Progress Session,
pages 57–60,
DetailsURLBIB
- 2011Optimizations for Game-based Software SynthesisChih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll and Harald RueßTR-2011-12,
Verimag Research Report,
DetailsBIB
- October 2010Model-Based Specification of Timing RequirementsChristian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll and Edward A. Lee
In
Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010),
pages 239–248,
Scottsdale, Arizona, USA,
Association for Computer Machinery.
DetailsURLDOIBIB
- 2010EasyKit - Eine allgemeine Methodik für die Entwicklung von SteuerungskomponentenSimon Barner, Michael Geisinger, Jia Huang, Alois Knoll, Holger Bönicke, Christoph Ament, Jochen Mades, Reinhard Pittschellis and Gerd Bauer
In Jürgen Gausemeier, Franz Ramming, Wilhelm Schäfer and Ansgar Trächtler, editor,
Entwurf mechatronischer Systeme,
volume 272 of HNI-Verlagsschriftenreihe,pages 23–36,
Paderborn, Germany,
DetailsBIB
- June 2009A Software Architecture for Model-Based Programming of Robot SystemsMichael Geisinger, Simon Barner, Martin Wojtczyk and Alois Knoll
In
Advances in Robotics Research – Theory, Implementation, Application,
pages 135–146,
Springer.
DetailsDOIBIB
- August 2008Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLabMartin Wojtczyk, Simon Barner, Michael Geisinger and Alois Knoll
In
Proceedings of the 8th International Conference on Solid State Lighting: Applications, SPIE Optics and Photonics, Illumination Engineering,
DetailsDOIBIB
- 2008EasyLab: Model-Based Development of Software for Mechatronic SystemsSimon Barner, Michael Geisinger, Christian Buckl and Alois Knoll
In
IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications,
pages 540–545,
Beijing, China,
DetailsDOIBIB