TU BRAUNSCHWEIG

Benjamin Mensing

M.Sc.

Mensing

Technische Universität Braunschweig
Institut für Programmierung und Reaktive Systeme
Mühlenpfordtstr. 23 (Raum 272)
38106 Braunschweig

Postfach 3329
38023 Braunschweig

Telefon: +49 531/391-3251
+49 531/391-7466 (Sekretariat)
Fax: +49 531/391-8111
E-Mail:

 

 

 

 

Lehre

Projekte

Veröffentlichungen

  • [BDG+10]    O. Brill, C. Deiters, U. Goltz, S. Lange, B. Mensing, A. Rausch, and K. Schneider. The ruleIT methodology. Technical report, NTH Focused Research School for IT Ecosystems, 2010. 
  • [Men12] B. Mensing. On Rule-Driven Compositional Verification of Component-Based Systems. Masterarbeit, TU Braunschweig.
  • [MGA+12]    B. Mensing, U. Goltz, A. Aniculăesei, S. Herold, A. Rausch, S. Gärtner, and K. Schneider. Towards integrated rule-driven software development for it ecosystems. In IEEE DEST-CEE 2012. IEEE, 2012.
  • [MSH+13] Benjamin Mensing, Carsten Stechert, Matthias Hagner, Jafet Sanchez Ruelas, Ursula Goltz, Thomas Vietor. Supporting design decisions in interdisciplinary product development. International Association of Societies of Design Research Conference 2013 (IASDR), Tokyo, Japan 2013

Offene studentische Arbeiten

Bachelor- und Masterarbeitsthemen können individuell mit mir abgesprochen werden.

Interessen

  • Java - Programmierung
  • Modellbasierte Software-/ Systementwicklung
  • Codegenerierung
  • Verifikation
  • Model-Checking
  • Laufzeit-Monitoring
  • Interdisziplinäre Entwicklung eingebetteter Systeme

  aktualisiert am 03.02.2015
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang