Our research is mainly concerned with various aspects of software engineering and compiler construction. In particular we concentrate on methods, tools and formalisms for requirements engineering, constraint programming, model driven development, experimental software engineering, formal methods for software development and the design of innovative software tools.


Institute of Software Engineering and Programming Languages

Ulm University
D-89069 Ulm

Building O27, Level 4

Phone: +49 (0)731 / 50 - 24161
Fax:      +49 (0)731 / 50 - 24162

Current Publications

Pietron, Jakob; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias; Rukzio, Enrico
Study Design Template for Identifying Usability Issues in Graphical Modeling Tools
2nd Workshop on Tools for Model Driven Engineering (MDETools'18) at MODELS'18, Copenhagen
October 2018
Wagner, Stefan; Tichy, Matthias; Felderer, Michael; Leue, Stefan
Verlässliche Software im 21. Jahrhundert
Informatik Spektrum,
September 2018
Frühwirth, Thom; Gall, Daniel
Exploring Parallel Execution Strategies for Constraint Handling Rules
26th International Workshop on Functional and Logic Programming, Frankfurt am Main, Germany,
September 2018
Frühwirth, Thom
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Designs
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
September 2018
Nogatz, Falco; Frühwirth, Thom; Seipel, Dietmar
CHR.js: A CHR Implementation in JavaScript
Proceedings of the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 2018
September 2018
Juhnke, Katharina; Tichy, Matthias; Houdek, Frank
Challenges Concerning Test Case Specifications in Automotive Software Testing
44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), Prague, Czech Republic
August 2018