Dr. rer. nat.
Michael Geisinger

Cyber Physical Systems Infrastructure · Staff Researcher
Telefon
+49 89 3603522 580

Michael Geisinger erhielt im Jahr 2015 seinen Doktortitel von der Technischen Universität München (TUM) für seine Arbeit zum Thema "Spielbasierte Synthese zur verteilten Steuerung von Industrieautomatisierungsanlagen". Nach seinem Studium an der TUM arbeitete er von 2007 bis 2009 als wissenschaftlicher Mitarbeiter am Lehrstuhl für Robotik und Eingebettete Systeme der TUM. Seit 2010 ist er am fortiss-Institut beschäftigt, wo er in mehreren Forschungsprojekten zu den Themen Prozessüberwachung, Middleware-Architekturen und Softwaresynthese für Industrieautomatisierung tätig war. Von 2011 bis 2015 war er außerdem für die Entwicklung der CHROMOSOME Middleware verantwortlich, einem Softwaresystem zur Vernetzung komplexer verteilter Systeme mit Echtzeitdatenaustausch und Plug & Play-Fähigkeit. Zurzeit beschäftigt er sich mit der Gründung eines Spin-Offs aus dem fortiss-Institut, welches die CHROMOSOME-Technologie als "CHROMOSOME Industrial" als Produkt auf den industriellen Markt bringt.

Projekte

Veröffentlichungen

Liste als BibTeX-Datei exportieren

2014

  • Christian Buckl, Michael Geisinger, Dhiraj Gulati und Fran J. Ruiz-Bertol. CHROMOSOME: A Run-Time Environment for Plug&Play-Capable Embedded Real-Time Systems. In Sixth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2014), 2014. ACM. Details BibTeX

2013

  • Michael Geisinger und Chih-Hong Cheng. Programme auf Knopfdruck?. Computer & Automation, ():32–35, 2013. Details BibTeX
  • Stephan Sommer, Michael Geisinger, Christian Buckl, Gerd Bauer und Alois Knoll. Reconfigurable Industrial Process Monitoring using the CHROMOSOME Middleware. In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013), 2013. ACM. Details BibTeX
  • Chih-Hong Cheng, Michael Geisinger und Christian Buckl. Synthesizing Controllers for Automation Tasks with Performance Guarantees. In Joaquim Filipe und José Cordeiro, editor, Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN) 2013, Stony Brook, NY, USA, 2013. Springer. Details BibTeX
  • Chih-Hong Cheng, Michael Geisinger und Christian Buckl. Synthesizing Controllers for Automation Tasks with Performance Guarantees. In Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, pages 154–159, 2013. Details DOI BibTeX

2012

  • Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll. MGSyn: Automatic Synthesis for Industrial Automation. In Proceedings of the International Conference on Computer Aided Verification (CAV), 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll. Game Solving for Industrial Automation and Control. In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA'12), 2012. Details DOI BibTeX
  • Kai Huang, Gang Chen, Nadine Keddis, Michael Geisinger und Christian Buckl. Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), pages 224, 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll. Game solving for industrial automation and control. In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 4367–4372, 2012. Details DOI BibTeX
  • Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und Alois Knoll. MGSyn: Automatic Synthesis for Industrial Automation. In Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pages 658–664, 2012. Details DOI BibTeX

2011

  • Christian Buckl und Michael Geisinger. Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems. In Tagungsband Embedded Software Engineering Kongress, pages 38–42, Sindelfingen, Germany, 2011. Details BibTeX
  • Gokul Balakrishnan, Michael Geisinger und Christian Buckl. Multifunk: Self-Organizing Sensor Networks for Industrial Process Monitoring. 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, 2011. Details BibTeX
  • Chih-Hong Cheng, Barbara Jobstmann, Michael Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll und Harald Rueß. Optimizations for Game-based Software Synthesis. TR-2011-12, Verimag Research Report, 2011. Details BibTeX

2010

  • Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll und Edward A. Lee. Model-Based Specification of Timing Requirements. In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239–248, Scottsdale, Arizona, USA, 2010. Association for Computer Machinery. Details DOI BibTeX
  • Simon Barner, Michael Geisinger, Jia Huang, Alois Knoll, Holger Bönicke, Christoph Ament, Jochen Mades, Reinhard Pittschellis und Gerd Bauer. EasyKit - Eine allgemeine Methodik für die Entwicklung von Steuerungskomponenten. In Jürgen Gausemeier, Franz Ramming, Wilhelm Schäfer und Ansgar Trächtler, editor, Entwurf mechatronischer Systeme, volume 272 of HNI-Verlagsschriftenreihe, pages 23–36, Paderborn, Germany, 2010. Details BibTeX

2009

  • Markus Rickert, Michael Geisinger, Simon Barner und Alois Knoll. Software Development Workflow in Robotics. In Proceedings of the Workshop on Open Source Software in Robotics, IEEE International Conference on Robotics and Automation, Kobe, Japan, 2009. Details BibTeX
  • Michael Geisinger, Simon Barner, Martin Wojtczyk und Alois Knoll. A Software Architecture for Model-Based Programming of Robot Systems. In Torsten Kröger und Friedrich M. Wahl, editor, Advances in Robotics Research – Theory, Implementation, Application, pages 135–146, Braunschweig, Germany, 2009. Springer-Verlag Berlin Heidelberg. Details DOI BibTeX

2008

  • Martin Wojtczyk, Simon Barner, Michael Geisinger und Alois Knoll. Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLab. In SPIE Optics and Photonics 2008, Illumination Engineering, Eighth International Conference on Solid State Lighting: Applications, San Diego, CA, USA, 2008. Details DOI BibTeX
  • Simon Barner, Michael Geisinger, Christian Buckl und Alois Knoll. EasyLab: Model-Based Development of Software for Mechatronic Systems. In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pages 540–545, Beijing, China, 2008. Details DOI BibTeX