Michael Geisinger

Publikationen

Liste als BibTeX-Datei exportieren

• April 2014CHROMOSOME: A Run-Time Environment for Plug&Play-Capable Embedded Real-Time SystemsChristian Buckl, Michael Geisinger, Dhiraj Gulati und Fran J. Ruiz-Bertol In Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014), ACM. DetailsBIB
• August 2013Programme auf Knopfdruck?Michael Geisinger und 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 und 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 und Christian Buckl In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, Seiten 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 und Christian Buckl In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), Seiten 224, DetailsDOIBIB
• 2012Game solving for industrial automation and controlChih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, Seiten 4367–4372, DetailsURLDOIBIB
• 2012MGSyn: Automatic Synthesis for Industrial AutomationChih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, Seiten 658–664, DetailsURLDOIBIB
• Dezember 2011Middleware-Architekturen zur Integration von Systemen in Systems-of-SystemsChristian Buckl und Michael Geisinger In Tagungsband Embedded Software Engineering Kongress, Seiten 38–42, Sindelfingen, Germany, DetailsURLBIB
• April 2011Multifunk: Self-Organizing Sensor Networks for Industrial Process MonitoringGokul Balakrishnan, Michael Geisinger und 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, Seiten 57–60, DetailsURLBIB
• 2011Optimizations for Game-based Software SynthesisChih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll und Harald RueßTR-2011-12, Verimag Research Report, DetailsBIB
• Oktober 2010Model-Based Specification of Timing RequirementsChristian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll und Edward A. Lee In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), Seiten 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 und Gerd Bauer In Jürgen Gausemeier, Franz Ramming, Wilhelm Schäfer und Ansgar Trächtler, Editor, Entwurf mechatronischer Systeme, Band 272 von HNI-Verlagsschriftenreihe,Seiten 23–36, Paderborn, Germany, DetailsBIB
• Juni 2009A Software Architecture for Model-Based Programming of Robot SystemsMichael Geisinger, Simon Barner, Martin Wojtczyk und Alois Knoll In Advances in Robotics Research – Theory, Implementation, Application, Seiten 135–146, Springer. DetailsDOIBIB
• August 2008Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLabMartin Wojtczyk, Simon Barner, Michael Geisinger und 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 und Alois Knoll In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Seiten 540–545, Beijing, China, DetailsDOIBIB