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
Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas
Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods
Proceedings of the 9th IFAC Symposium Control in Transportation Systems, Braunschweig
2000
default
Rupprecht, C.; Fünffinger, M.; Knublauch, Holger; Rose, T.
Capture and Dissemination of Experience about the Construction of Engineering Processes
Twelfth Conference on Advanced Information Systems Engineering (CAISE), Stockholm, Sweden
2000
default
Schellhorn, Gerhard; Reif, Wolfgang; Schairer, A.; Karger, P.; Austel, V.; Toll, D.
Verification of a Formal Security Model for Multiapplicative Smart Cards
Proceedings of the 6th European Symposium on Research in Computer Security, Toulouse, France Volume 1895 of Lecture Notes in Computer Science
Publisher: Springer-Verlag,
2000
default
Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas
Fehlersuche in formalen Spezifikationen
Document number: 2000-06
Universität Ulm,
2000
default
Schellhorn, Gerhard; Reif, Wolfgang
FM-Tools 2000: The 4th Workshop on Tools for System Design and Verification
Document number: 2000-07
Universität Ulm,
2000
default
Stärk, R.; Schmid, Joachim
The problem of Bytecode Verification in Current Implementations of the JVM
ETH Zürich,
2000