Publikationen
Liste als BibTeX-Datei exportieren
- autoCode4: Structural Controller Synthesis In Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS, Seiten 398–404, 2017. Details DOI BIB
- Model-Based Specification of Timing Requirements In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), Seiten 239–248, Scottsdale, Arizona, USA, Oktober 2010. Association for Computer Machinery. Details URL DOI BIB
- Toward the Design of Robotic Software with Verifiable Safety In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, Seiten 622–623, 2009. Details URL DOI BIB