Publications
- 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), April 2014. ACM. Details BIB
- Programme auf Knopfdruck? Computer & Automation, ():32–35, August 2013. Details URL BIB
- Reconfigurable Industrial Process Monitoring using the CHROMOSOME Middleware In The Fifth International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013), April 2013. ACM. Details BIB
- 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 URL DOI BIB
- 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, April 2012. Details DOI BIB
- 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 URL DOI BIB
- 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 URL DOI BIB
- Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems In Tagungsband Embedded Software Engineering Kongress, pages 38–42, Sindelfingen, Germany, December 2011. Details URL BIB
- 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, April 2011. Details URL BIB
- Optimizations for Game-based Software Synthesis TR-2011-12, Verimag Research Report, 2011. Details BIB
- 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, October 2010. Association for Computer Machinery. Details URL DOI BIB
- EasyKit - Eine allgemeine Methodik für die Entwicklung von Steuerungskomponenten 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, 2010. Details BIB
- A Software Architecture for Model-Based Programming of Robot Systems In Advances in Robotics Research – Theory, Implementation, Application, pages 135–146, June 2009. Springer. Details DOI BIB
- Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLab In Proceedings of the 8th International Conference on Solid State Lighting: Applications, SPIE Optics and Photonics, Illumination Engineering, August 2008. Details DOI BIB
- 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 BIB