Michael Geisinger

Publications

Export list as BibTeX file

• April 2014 CHROMOSOME: A Run-Time Environment for Plug&Play-Capable Embedded Real-Time Systems Christian Buckl, Michael Geisinger, Dhiraj Gulati and Fran J. Ruiz-Bertol In Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014), ACM. Details BIB
• August 2013 Programme auf Knopfdruck? Michael Geisinger and Chih-Hong Cheng Computer & Automation, ():32–35, August 2013. Details URL BIB
• April 2013 Reconfigurable Industrial Process Monitoring using the CHROMOSOME Middleware Stephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer and Alois Knoll In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013), ACM. Details BIB
• 2013 Synthesizing Controllers for Automation Tasks with Performance Guarantees Chih-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, Details URL DOI BIB
• April 2012 Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger and Christian Buckl In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pages 224, Details DOI BIB
• 2012 Game solving for industrial automation and control Chih-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, Details URL DOI BIB
• 2012 MGSyn: Automatic Synthesis for Industrial Automation Chih-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, Details URL DOI BIB
• December 2011 Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems Christian Buckl and Michael Geisinger In Tagungsband Embedded Software Engineering Kongress, pages 38–42, Sindelfingen, Germany, Details URL BIB
• April 2011 Multifunk: Self-Organizing Sensor Networks for Industrial Process Monitoring Gokul 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, Details URL BIB
• 2011 Optimizations for Game-based Software Synthesis Chih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll and Harald Rueß TR-2011-12, Verimag Research Report, Details BIB
• October 2010 Model-Based Specification of Timing Requirements Christian 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. Details URL DOI BIB
• 2010 EasyKit - Eine allgemeine Methodik für die Entwicklung von Steuerungskomponenten Simon 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, Details BIB
• June 2009 A Software Architecture for Model-Based Programming of Robot Systems Michael Geisinger, Simon Barner, Martin Wojtczyk and Alois Knoll In Advances in Robotics Research – Theory, Implementation, Application, pages 135–146, Springer. Details DOI BIB
• August 2008 Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLab Martin 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, Details DOI BIB
• 2008 EasyLab: Model-Based Development of Software for Mechatronic Systems Simon 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, Details DOI BIB