Current Publications

2018

407.
Getir, Sinem; Grunske, Lars; van Hoorn, André; Kehrer, Timo; Noller, Yannic; Tichy, Matthias
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models
Journal of Systems and Software
April 2018
DOI:10.1016/j.jss.2018.04.001
File:https://www.journals.elsevier.com/journal-of-systems-and-software/
406.
Börger, Egon; Raschke, Alexander
Modeling Companion for Software Practitioners
Publisher: Springer-Verlag Berlin Heidelberg
April 2018
DOI:10.1007/978-3-662-56641-1
File:https://www.springer.com/de/book/9783662566398
405.
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Quality Indicators for Automotive Test Case Specifications
1st Workshop on Software Engineering for Applied Embedded Real-Time Systems (SEERTS 2018), Ulm, Germany
March 2018
File:http://ceur-ws.org/Vol-2066/seerts2018paper02.pdf
404.
Frühwirth, Thom
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
In Fabio Fioravanti and John P. Gallagher, Editor, Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)Volume10855
LOPSTR 2017
Namur, Belgium
In Fabio Fioravanti and John P. Gallagher, Editor
Publisher: Springer
2018
File:http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-justifications-lopstr-lncs-0.pdf
403.
Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom
Using Rules for the Visualization of Tableaux Proof Techniques for Propositional Logic
Proceedings of the 22nd International Conference Information Visualisation (iV2018)
22nd International Conference Information Visualisation (iV2018)
Salerno, Italy
July 2018
2018

Institute of Software Engineering and Programming Languages

Research

Our research topics cover aspects of software engineering and compiler construction. In particular, we focus on requirements engineering methods, formalisms, and tools as well as model-driven software engineering, experimntal software engineering, and development of innovative software tools.

Overview of our research topics

Teaching

In addition to lectures for Bachelor and Master students, we also offer seminars and projects.

Current courses

Available thesis topics (Ba/Ma)

Contact

Institute of Software Engineering and Programming Languages

Ulm University
James-Franck-Ring
D-89069 Ulm
Building O27, Level 4
Phone: +49 (0)731 / 50 - 2416

Directions