Publikationen von Martin Lang
Alle Publikationen
| [LL13] |
Martin Lang and Christof Löding.
Modeling and verification of infinite systems with resources.
Logical Methods in Computer Science, 9(4), 2013. [ pdf | Abstract ] |
| [WGLW12] |
E. Weingaertner, R. Glebke, M. Lang, and K. Wehrle.
Building a modular bittorrent model for ns-3.
In Proceedings of the 2012 workshop on ns-3 (WNS3 2012), 3
2012. [ Abstract ] |
| [Lan11] |
M. Lang.
Resource-bounded Reachability on Pushdown Systems.
Master thesis, RWTH Aachen, 2011. [ pdf | Abstract ] |
| [SLW+10] |
André Stollenwerk, Martin Lang, Marian Walter, Jutta Arens, Rüdger
Kopp, and Stefan Kowalewski.
Sicherheitskonzept für eine intensivmedizinische Anwendung
am Beispiel der ECMO.
In Entwurf komplexer Automatisierungssysteme (EKA 2010),
volume 11, pages 65-74, May 2010. |
| [Lan09] |
M. Lang.
Entwicklung eines dezentral implementierten
Sicherheitskonzeptes für intensivmedizinische Anwendungen.
Bachelor Thesis, RWTH Aachen, 2009. [ pdf | Abstract ] |