Technische Universität München Robotics and Embedded Systems
 

Markus Weißmann, M.Sc.

 

Research Assistant

E-Mail markus.weissmann@in.tum.de
Room MI 03.07.054
Phone  
Mobile +49.151.58402057
Fax +49.89.289.18107
Address Institut für Informatik VI
Technische Universität München
Boltzmannstraße 3
85748 Garching bei München
Germany
Homepage http://www.mweissmann.de/
Markus Weißmann, M.Sc.
 

Jobs and theses for students

Don't hesitate to contact me if you want to know more or have an idea you want to implement in OCaml.

Projects

Software

Videos

Publications

[1] Markus Weißmann, Stefan Bedenk, Christian Buckl, and Alois Knoll. Model checking industrial robot systems. In Proceedings of the 18th International Workshop on Model Checking of Software (SPIN 2011), LNCS, pages 161-176. Springer, 2011. [ DOI | .bib | .pdf ]

Patents