Publications of Martin Lang

All Publications

[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 ]