Wissenschaftliche Mitarbeiter

M. Sc. Thorsten Ropertz

Telefon: 0631 205-2627
Raum: 48-354
Mail: ropertzinformatik.uni-klde

Vita

Thorsten Ropertz wurde am 31.12.1986 in Waldbröl geboren. Er studierte von 2007 bis 2012 Informatik an der Technischen Universität Kaiserslautern. Studienschwerpunkt waren die Robotik und Eingebettete Systeme. Seine Bachelorarbeit beschäftigt sich mit der Portierung und Ausführung synchroner Programme auf Grafikprozessoren mit Hilfe von NVIDIAs CUDA. Sein Studium beendete er mit seiner Masterarbeit über die grafische Unterstützung der Verifikation von verhaltensbasierten Steuerungssystemen. Sein Forschungsschwerpunkt liegt in der formalen Analyse und Verifikation von verhaltensbasierten Systemen.

Veröffentlichungen

2015

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Soft Robot Control with a Behaviour-Based Architecture
Soft Robotics - Transferring Theory to Application, Springer-Verlag, pp. 81--91, 2015

2014

Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Verification of Behavior-Based Networks - Using Satisfiability Modulo Theories
Proceedings for the joint conference of ISR 2014 and ROBOTIK 2014, VDE VERLAG GMBH, pp. 669--674, 2014

2013

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Quantitative Aspects of Behaviour Network Verification
Proceedings of the 26th Canadian Conference on Artificial Intelligence, Springer, vol. 7884, 2013, May 28-31, Regina, Saskatchewan, Canada
Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Tool-Assisted Verification of Behaviour Networks
Proceedings of the 2013 IEEE International Conference on Robotics and Automation (ICRA 2013), pp. 1813--1820, 2013, May 6-10, Karlsruhe, Germany

2012

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
BibTex read as PDF search
Verification of Behaviour Networks Using Finite-State Automata
KI 2012: Advances in Artificial Intelligence, Springer, 2012, September 24-27, Saarbrücken, Germany, http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-0798-5
Thorsten Ropertz
BibTex search
Graphical Support for the Verification of Behaviour Networks
Master's thesis, Robotics Research Lab, Department of Computer Science, University of Kaiserslautern, 2012, Kaiserslautern, Germany, unpublished; supervised by Christopher Armbrust and Lisa Kiekbusch

2011

Thorsten Ropertz
BibTex search
Modelling of Behaviour-Based Systems
thesis of Master's project, 2011, Kaiserslautern, Germany, unpublished; supervised by Christopher Armbrust