Welcome

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.

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 - 24161
Fax:      +49 (0)731 / 50 - 24162

Current Publications


default
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
accepted
pdf
Frühwirth, Thom
Security Policies in Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
July 2018
pdf
Frühwirth, Thom
A Rule-Based Tool for Analysis and Generation of Graphs Applied to Mason's Marks
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
July 2018
pdf
Gall, Daniel
Confluence Analysis of Cognitive Models with Constraint Handling Rules
Proceedings of the Workshop on Logic and Practice of Programming (LPoP 2018)
July 2018
default
Gutbrod, Matthias; Münch, Jürgen; Tichy, Matthias
The Business Experiments Navigator (BEN) - An Approach for Validating Business Models with Experimentation
24th ICE/IEEE International Technology Management Conference (ICE 2018), Stuttgart, Germany
June 2018
accepted
default
Meißner, Dominik; Erb, Benjamin; Kargl, Frank; Tichy, Matthias
retro-λ: An Event-sourced Platform for Serverless Applications with Retroactive Computing Support
12th ACM International Conference on Distributed and Event-based Systems (DEBS 2018), Hamilton, New Zealand
June 2018
accepted