2005

185.
Gehring, Wolfgang
Leistungspunktesysteme: Eine erste Bilanz
Publisher: Universitätsverlag Ulm
January 2005
184.
Frühwirth, Thom
Specialization of Concurrent Guarded Multi-Set Transformation Rules
In Etalle, S., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'04)Volume3573fromLecture Notes in Computer Science, Page 133-148
In Etalle, S., Editor
Publisher: Springer-Verlag
2005

2004

183.
Ballhause, C.; Tavakoli Kolagari, Ramin
Hardware-unabhängige Spezifikation von Steuergeräte-Software
Softwaretechnik-Trends, 24 (4) :27-29
November 2004
182.
Buhr, K.; Tavakoli Kolagari, Ramin
Softwarebasierte Produktlinien: Szenarien für Automobilhersteller und Zulieferer
Softwaretechnik-Trends, 24 (4) :30-33
November 2004
181.
Jaufman, O.; Dold, A.; Häberlein, Tobias; Schlumpberger, C.; Stupperich, M.; Kleiner, Niko
Requirements for Flexible Software Development Processes within Large and Long Taking Projects
Proceedings of the 5th Meeting for Quality in Information and Communications Technology (QUATIC'04), Porto, Portugal
October 2004
180.
Schmid, M.; Kohlmeyer, Jens
Combining simulated biological components to achieve a powerful simulation environment
Proceedings of the European Simulation and Modelling Conference ESMc2004, Paris, France, Page 140-142
October 2004
179.
Sarstedt, Stefan; Raschke, Alexander; Kohlmeyer, Jens
Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren
In Dadam, P. and Reichert, M., Editor, Informatik 2004, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), UlmVolume2, Page 408-417
In Dadam, P. and Reichert, M., Editor
September 2004
178.

Poster Proceedings of the 27th Annual German Conference on Artificial Intelligence
In Biundo, S. and Frühwirth, T. and Palm, G., Editor from Ulmer Informatik-Berichte
Universität Ulm
September 2004
177.
Alexander, Ian; Tavakoli Kolagari, Ramin
Putting Scenarios into Practice
In Alexander, I. and Maiden, N., Editor, Scenarios, Stories, Use Cases
Chapter 22, Page 431-444
Publisher: John Wiley & Sons
August 2004
431-444
176.
Schrijvers, T.; Frühwirth, Thom
Implementing and Analysing Union-Find in CHR
Document Number: CW 389
Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2004
175.
Gehring, Wolfgang; Salamon, Peter; Whitney, Roger; Sibani, Paolo
Correlation structure of landscapes of NP-complete optimization problems at finite temperature
Open Systems and Information Dynamics, 11 (2) :177-184
June 2004
174.
Hammori, Markus; Herbst, Joachim; Kleiner, Niko
Interactive Workflow Mining
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
June 2004
173.
Kleiner, Niko
Supporting Usage-Centered Design of Emerging Workflows
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
June 2004
172.
Bistarelli, S.; Frühwirth, Thom; Marte, M.; Rossi, F.
Soft Constraint Propagation and Solving in Constraint Handling Rules
Computational Intelligence: Special Issue on Preferences in AI and CP, 20 (2) :287-307
May 2004
171.

First Workshop on Constraint Handling Rules: Selected Contributions
In Frühwirth, T. and Meister, M., Editor from Ulmer Informatik-Berichte
Universität Ulm
May 2004
170.
Gehring, Wolfgang
Germany's System of Higher Education in Transition on its Way to Bologna
4th International Academic Conference, Andrzej Frycz Modrzewski Cracow College, Krakau, Poland
May 2004
169.
Kleiner, Niko
Can Business Process Changes be Cheaper Implemented with Workflow Management Systems
Proceedings of the 2004 Information Resources Management Association Conference (IRMA '04), New Orleans, USA
May 2004
168.
Gehring, Wolfgang
Leistungspunkte und Module: Erstellung eines Modulkatalogs
Leistungspunkte und Modul-Management: Konzepte und Erfahrungen bei Bewertung, Anerkennung und Austausch von Modulen, Leipzig, Page 151-157
March 2004
167.
Tavakoli Kolagari, Ramin; Raschke, Alexander
Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergerätes
Softwaretechnik-Trends, 24 (1) :17-18
February 2004
166.
Tavakoli Kolagari, Ramin
Towards a Framework for Requirements Engineering for Automotive Software System Product Lines in an OEM and Supplier Setting
In Glinz, M., Editor, Proceedings of the Doctoral Consortium of the 12th IEEE International Conference on Requirements Engineering, Page 13-16
In Glinz, M., Editor
Publisher: IEEE Computer Society
2004
165.
Häberlein, Tobias
Common Structures in System Dynamics Models of Software Acquisition Projects
Software Process Improvement and Practice, 9 (3) :67-80
2004
164.
Birla, S.; Tavakoli Kolagari, Ramin
A Requirements Modeling Framework for High Integrity Software-Intensive Automotive Product Lines
In Rombach, H. D. and Eicker, S. and Pohl, K. and Adelsberger, H. H. and Wulf, V. and Krcmar, H. and Pawlowski, J. M., Editor, Multikonferenz Wirtschaftsinformatik (MKWI)Volume1: E-Learning: Modelle, Instrumente und Erfahrungen, Software-Produktlinien, Communities in E-Business, Page 169-183
In Rombach, H. D. and Eicker, S. and Pohl, K. and Adelsberger, H. H. and Wulf, V. and Krcmar, H. and Pawlowski, J. M., Editor
Publisher: Akademische Verlagsgesellschaft Aka GmbH
2004
163.
Puschnig, A.; Tavakoli Kolagari, Ramin
Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems
12th IEEE International Conference on Requirements Engineering, Page 328-333
Publisher: IEEE Computer Society
2004
162.

KI 2004: Advances in Artificial Intelligence, Proccedings of the 27th Annual German Conference on Artificial Intelligence
In Biundo, S. and Frühwirth, T. and Palm, G., Editor, Volume 3238 from Lecture Notes in Artificial Intelligence
Publisher: Springer-Verlag
2004
161.
Abdennadher, Slim; Frühwirth, Thom
Integration and Optimization of Rule-based Constraint Solvers
In Bruynooghe, M., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'03)Volume3018fromLecture Notes in Computer Science, Page 198-213
In Bruynooghe, M., Editor
Publisher: Springer-Verlag
2004
160.
Tavakoli Kolagari, Ramin; Puschnig, A.
Entwicklung innovativer eingebetteter Systeme mit Experteneinbindung
Konferenzband des 9. Kongress Software-Qualitätsmanagement (SQM)
2004

2003

159.
Kohlmeyer, Jens; Sarstedt, Stefan; Mader, W.
Modelling and Simulation of a Biological Process (Neural Action Potential) with Hybrid Tools used in Computer Science
Proceedings of The 2003 European Simulation and Modelling Conference ESM2003, Page 328-332
October 2003
158.
Gehring, Wolfgang
Current Issues in Higher Education in Germany
, Achte Internationale Akademische Konferenz am Rivne Institute of Economics and Humanities, UkraineVolume2, Page 219-220
October 2003
157.
Kleiner, Niko
The Focus of Requirements Engineering in Workflow Application Development
15th Conference on Advanced Information Systems Engineering (CAiSE '03), Klagenfurt/Velden, Austria, Workshops Proceedings, Information Systems for a Connected Society, Workshop Requirements Engineering for Business Process Support
RWTH Aachen
Publisher: SCS Europe Publications
June 2003
156.
Gehring, Wolfgang
Workloaderfassung: Ein Henne-Ei-Problem (?)
Die Berufsqualifikation und die Arbeitsbelastung der Studierenden: Die qualitativen und quantitativen Gestaltungsgrundlagen für Leistungspunkte in der Hochschulbildung, Weimar, Page 54-56
May 2003
155.
Häberlein, Tobias
A Framework for System Dynamic Models of Software Acquisition Projects
International Workshop on Software Process Simulation and Modeling (ProSim'03), Portland, co-located with the International Conference on Software Engineering ICSE'03
May 2003
154.
Herbst, Joachim; Kleiner, Niko
Workflow Mining: A Case Study from Automotive Industry
Proceedings of the 10th European Concurrent Engineering Conference, Plymouth, UK
Publisher: SCS Europe Publications
April 2003
153.
Guttmann, Walter; Partsch, Helmuth; Schulte, Wolfram; Vullinghs, Ton
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
Journal of Universal Computer Science, 9 (2) :173-188
March 2003
DOI:10.3217/jucs-009-02-0173
152.
Gehring, Wolfgang
ECTS und Kreditakkumulation: Das Ulmer Modell
Das Sokrates/Erasmus-Programm der EU 1997-2002: Erfahrungen und Erwartungen
Page 91-97
Publisher: Deutscher Akademischer Austauschdienst DAAD
March 2003
91-97
151.
Frühwirth, Thom; Abdennadher, Slim
Essentials of Constraint Programming
Publisher: Springer-Verlag
February 2003
150.
Abdennadher, Slim; Frühwirth, Thom
Integration and Optimization of Rule-based Constraint Solvers
International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03)
2003
149.
Schlumpberger, C.; Ernst, Dietmar
Räumlich verteilte Software-Entwicklung unter experimenteller Betrachtung verteilter Inspektionen - Ein Erfahrungsbericht
In Siedersleben, J. and Weber-Wulff, D., Editor, Software-Engineering im Unterricht der Hochschulen, SEUH 8, Berlin, Page 111-120
In Siedersleben, J. and Weber-Wulff, D., Editor
2003
148.
Frühwirth, Thom; Holzbaur, Christian
Source-to-Source Transformation for a Class of Expressive Rules
In Buccafurri, F., Editor, Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003), Page 386-397
In Buccafurri, F., Editor
2003
147.
Schneider, Kurt; von Hunnius, Jan-Peter
Effective Experience Repositories in Software-Engineering
25th International Conference on Software Engineering (ICSE), Portland
2003
146.
Knublauch, Holger; Rose, T.
Tool-Supported Process Analysis and Design for the Development of Multi-Agent Systems
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor, Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, ItalyVolume2585fromLecture Notes in Computer Science, Page 186-197
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor
Publisher: Springer-Verlag
2003
145.
Omasreiter, H.; Tavakoli Kolagari, Ramin
Ziel- und kundenorientierte Anforderungserstellung mit Abstraktionsebenen als zentraler Erfolgsfaktor bei der Entwicklung von Kfz-Software
Konferenzband der Konferenzen CONQUEST, Automation Days und EUROMOTIVE, Page 229-239
2003

2002

144.
Houdek, Frank; Schwinn, Thilo; Ernst, Dietmar
Defect Detection for Executable Specifications: An Experiment
International Journal of Software Engineering and Knowledge Engineering, 12 (6) :637-655
December 2002
143.
Guttmann, Walter
Deriving an Applicative Heapsort Algorithm
Document Number: UIB-2002-02
Universität Ulm
December 2002
142.
Frühwirth, Thom; Di Pierro, A.; Wiklicky, H.
Probabilistic Constraint Handling Rules
In Comini, M. and Falaschi, M., Editor, 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002Volume76fromElectronic Notes in Theoretical Computer Science, Page 115-130
In Comini, M. and Falaschi, M., Editor
November 2002
141.
Frühwirth, Thom
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs
In Di Pierro, A. and Wiklicky, H., Editor, Quantitative Aspects of Programming Laguages, QAPL'01Volume59fromElectronic Notes in Theoretical Computer Science, Page 185-206
In Di Pierro, A. and Wiklicky, H., Editor
November 2002
140.
Guttmann, Walter; Partsch, Helmuth; Schulte, Wolfram; Vullinghs, Ton
Tool Support for the Interactive Derivation of Formally Correct Functional Programs (Extended Abstract)
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor, FM-TOOLS 2002: The Fifth Workshop on Tools for System Design and Verification, Page 15-20
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor
Publisher: Institut für Informatik, Universität Augsburg
June 2002
139.
Gehring, Wolfgang
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Publisher: Universitätsverlag Ulm
zweite, überarbeitete und erweiterte Edition
April 2002
138.
Schonger, S.; Pulvermüller, E.; Sarstedt, Stefan
Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees
Proceedings of the 2nd German GI Workshop on Aspect-Oriented Software DevelopmentfromTechnical Report No. IAI-TR-2002-1, Page 59-64
Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik 3
February 2002
137.
Laitenberger, O.; Beil, T.; Schwinn, Thilo
An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications
Proceedings of Eighth IEEE Symposium on SOftware Metrics, Page 97-106
2002
136.
Laitenberger, O.; Beil, T.; Schwinn, Thilo
An Industrial Case Study to examine a non-traditional Inspection Implementation for Requirements Specifications
Empirical Software Engineering, 7 :345-374
2002
135.
Kleiner, Niko; Herbst, Joachim
A Model for Business Process Supporting Web Applications
Proceedings of the International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet (SSGRR2002s), L'Aquila, Italy
Scuola Superiore Guglielmo Reiss Romoli (SSGRR), L'Aquila
2002
134.
Alexander, Ian; Kiedaisch, Friedemann
Towards Recyclable System Requirements
Proceedings of the 9th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'02), Lund, Sweden
2002
133.
Knublauch, Holger; Koeth, H.; Rose, T.
Agile Development of a Clinical Multi-Agent System: An Extreme Programming Case Study
Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), Alghero, Sardinia, Italy
2002
132.
von Knethen, A.; Paech, B.; Kiedaisch, Friedemann; Houdek, Frank
Systematic Requirements Recycling through Abstraction and Traceability
Proceedings of the IEEE Joint International Requirements Engineering Conference (RE'02), Essen
2002
131.
Häberlein, Tobias; Gantner, Thomas
Process-Oriented Interactive Simulation of Software Acquisition Projects
In Shafazand, H. and Min Tjoa, A., Editor, EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, IranVolume2510fromLecture Notes in Computer Science, Page 806-815
In Shafazand, H. and Min Tjoa, A., Editor
Publisher: Springer-Verlag
2002
130.
Rose, T.; Fünffinger, M.; Knublauch, Holger; Rupprecht, C.
Prozessorientiertes Wissensmanagement
Künstliche Intelligenz, 16 (1) :19-24
2002
129.
Schneider, Kurt; Schwinn, Thilo
Maturing Experience Base Concepts at DaimlerChrysler
Software Process Improvement and Practice, 6 (2) :85-96
2002
128.
Gantner, Thomas; Häberlein, Tobias
GARP - The Evolution of a Software Acquisition Process Model
, 7th European Conference on Software Quality 2002, Helsinki, FinlandVolume2349fromLecture Notes in Computer Science, Page 186-196
Publisher: Springer-Verlag
2002
127.
Knublauch, Holger
Extreme Programming of Multi-Agent Systems
First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy
2002
126.
Knublauch, Holger
Extreme Programming of Knowledge-Based Systems
Third International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), Alghero, Sardinia, Italy
2002
125.
Schneider, Kurt; von Hunnius, Jan-Peter; Basili, V. R.
Experience in Implementing a Learning Software Organization
IEEE Software, 19 (3)
2002
124.
Kleiner, Niko; Herbst, Joachim
Engineering a DMU-Resultmanagement System
Proceedings of the 9th European Concurrent Engineering Conference (ECEC'02), Modena, Italy
Publisher: SCS Europe Publications
2002

2001

123.
von Hunnius, Jan-Peter
Experience Bases at DaimlerChrysler
Presentation at the SEC Consortium meeting in Everett, Washington
April 2001
122.
Stärk, R.; Schmid, Joachim; Börger, Egon
Java and the Java Virtual Machine: Definition, Validation, Verification
Publisher: Springer-Verlag
2001
121.
Knublauch, Holger; Rose, T.
Werkzeugunterstützte Prozessanalyse zur Identifikation von Anwendungsszenarien für Agenten
Verbundtagung Verteilte Informationssysteme auf der Grundlage von Objekten, Komponenten und Agenten (vertIS 2001), Bamberg
2001
120.
Kiedaisch, Friedemann; Pohl, M.; Weisbrod, J.; Bauer, S.; Ortmann, S.
Requirements Archaeology: From Unstructured Information to High Quality Specifications
Proceedings of the 5th International Symposium on Requirements Engineering (RE'01), Toronto, Canada
2001
119.
Knublauch, Holger
KBeans Specification: Semantic Transparency for Components and Domain Models
Document Number: FAW-TR-01001
FAW Ulm
2001
118.
Stärk, R.; Schmid, Joachim
Java bytecode verification is not possible
Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria
2001
117.
Schwinn, Thilo
How to make your Software Inspections Profitable - An Approach Based on Sampling and Return on Investment Calculation
Proceedings of the 14th ICSSEA, Paris
2001
116.
Schmid, Joachim
Compiling Abstract State Machines to C++
Formal Methods and Tools for Computer Science, Eurocast 2001, Universidad de Las Palmas de Gran Canaria
2001
115.
Schmid, Joachim
Introduction to AsmGofer
2001
114.
Kiedaisch, Friedemann; Pohl, M.; Weisbrod, J.; Bauer, S.; Ortmann, S.
Experiences on Outsourcing Requirements Specifications
Proceedings of the European Software Process Improvement Conference (EuroSPI'2001), Limerick, Ireland
2001
113.
Kleiner, Niko; Sarstedt, Stefan
Einsatz von Standardprozessen bei der Gestaltung von Lehrveranstaltungen
Software Engineering im Unterricht der Hochschulen (SEUH 2001), Zürich, Schweiz
Publisher: dpunkt.verlag
2001
112.
Houdek, Frank; Schwinn, Thilo; Ernst, Dietmar
Defect Detection for Executable Specifications - An Experiment
Thirteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'01), Buenos Aires, Argentinien
2001
111.
Schmid, Joachim
Compiling Abstract State Machines to C++
Journal of Universal Computer Science, 7 (11)
2001

2000

110.
Guttmann, Walter
An Introduction to Ultra
Universität Ulm
December 2000
109.
Breymann, U.; Köhler, D.; Gehring, Wolfgang
Einführung eines Leistungspunktesystems im Studiengang Medieninformatik
Hochschule Bremen
November 2000
108.
von Hunnius, Jan-Peter
WESPI - WEb Supported Software Process Improvement
Proceedings of the 2nd Workshop on Learning Software Organizations, Oulu, Finland, Page 93-99
June 2000
107.
Gehring, Wolfgang
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Document Number: 2000-04
Universität Ulm
March 2000
106.
Gehring, Wolfgang
Modularisierung und Leistungspunktesysteme: Ein Überblick
Workshop Modularisierung, Jena
March 2000
105.
Partsch, Helmuth; Schulte, Wolfram; Vullinghs, Ton
Ultra: A Learn System for the Interactive Manipulation of Functional Programs
In Cengarle, V., Editor, Requirements, Design, Correct Construction and VerificationVolume11fromSoftwaretechnik
In Cengarle, V., Editor
Publisher: Uni-Druck
2000
104.
Stärk, R.; Schmid, Joachim
The problem of Bytecode Verification in Current Implementations of the JVM
ETH Zürich
2000
103.
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
102.
Knublauch, Holger; Rose, T.
Round-Trip Engineering of Ontologies for Knowledge-based Systems
Twelfth International Conference on Software Engineering and Knowledge Engineering (SEKE), Chicago, IL, Page 239-247
2000
101.
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, FranceVolume1895fromLecture Notes in Computer Science
Publisher: Springer-Verlag
2000
100.
Balser, Michael; Duelli, C.; Reif, Wolfgang; Schellhorn, Gerhard
Verifying Concurrent Systems with Symbolic Execution
Proceedings of the International Conference on Temporal Logic (ICTL2000)
2000
99.
Börger, Egon; Päppinghaus, P.; Schmid, Joachim
Report on a Practical Application of ASMs in Software Design
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, SwitzerlandVolume1912fromLecture Notes in Computer Science, Page 361-366
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Publisher: Springer-Verlag
2000
98.
Gurevich, Y.; Schulte, Wolfram; Wallace, C.
Investigating Java Concurrency Using Abstract State Machines
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor, Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, SwitzerlandVolume1912fromLecture Notes in Computer Science, Page 151-176
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Publisher: Springer-Verlag
2000
97.
Knublauch, Holger; Rose, T.; Sedlmayr, M.
Towards a Multi-Agent System for Pro-active Information Management in Anesthesia
Fourth International Conference on Autonomous Agents (Agents 2000), Workshop on Autonomous Agents in Health Care, Barcelona, Spain
2000
96.
Balser, Michael; Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt; Thums, Andreas
Formal System Development with KIV
In Maibaum, T., Editor, Proceedings of the 3rd International Conference on Fundamental Approaches to Software Engineering (FASE2000)Volume1783fromLecture Notes in Computer Science
In Maibaum, T., Editor
Publisher: Springer-Verlag
2000
95.
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
94.
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
93.
Rose, R.; Knublauch, Holger; Peinel, G.
Agenten in der pro-aktiven Prozessunterstützung
Industrie-Management 4 :40-53
2000
92.
Knublauch, Holger; Rose, T.
Application Scenarios of Agent-Based Information Logistics in Clinical and Engineering Domains
European Conference on Artificial Intelligence (ECAI), Workshop on Agent Technologies and Their Application Scenarios in Logistics, Berlin
2000
91.
Börger, Egon; Schulte, Wolfram
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study
IEEE Transactions on Software Engineering, 26 (9) :872-887
2000
90.
Börger, Egon; Riccobene, E.; Schmid, Joachim
Capturing Requirements by Abstract State Machines: The Light Control Case Study
Journal of Universal Computer Science, 6 (7)
2000
89.
Börger, Egon; Schmid, Joachim
Composition and Submachine Concepts for Sequential ASMs
In Clote, P. G. and Schwichtenberg, H., Editor, Computer Science Logics (CSL 2000)Volume1862fromLecture Notes in Computer Science, Page 41-60
In Clote, P. G. and Schwichtenberg, H., Editor
Publisher: Springer-Verlag
2000
88.
Knublauch, Holger; Sedlmayr, M.; Rose, T.
Design Patterns for the Implementation of Constraints on JavaBeans
NetObjectDays2000, Erfurt
2000
87.
Reif, Wolfgang; Ruf, Jürgen; Schellhorn, Gerhard; Vollmer, Tobias
Do You Trust Your Model Checker?
In Hunt Jr., W. A. and Johnson, S. D., Editor, Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design (FMCAD2000), Austin, Texas, USAVolume1954fromLecture Notes in Computer Science
In Hunt Jr., W. A. and Johnson, S. D., Editor
Publisher: Springer-Verlag
2000
86.
Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas
Fehlersuche in formalen Spezifikationen
Document Number: 2000-06
Universität Ulm
2000

1999

85.
Schwinn, Thilo; Landes, D.; Beil, T.; Kempter, H.
Making Know How Transfer Work in a Purchaser-Supplier Setting by Deploying Software Inspection
Proceedings of 6th European Conference on Software Quality, Vienna, Page 418-428
April 1999
84.
Hutter, D.; Mantel, H.; Rock, G.; Stephan, W.; Wolpers, A.; Balser, Michael; Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
VSE: Controlling the Complexity in Formal Software Developments
, Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), BoppardVolume1641fromLecture Notes in Computer Science
Publisher: Springer-Verlag
1999
83.
Sedlmayr, M.; Knublauch, Holger; Rose, T.
Towards an Anaesthesiology Information System
Combined ESCTAIC / SCATA Meeting, Glasgow, UK
1999
82.
Vullinghs, Ton; Schulte, Wolfram; Partsch, Helmuth
System Support for the Interactive Transformation of Functional Programs
Proceedings of the Software Transformation Systems 1999 (STS'99) Workshop, Los Angeles
1999
81.
Rock, G.; Stephan, W.; Wolpers, A.; Balser, Michael; Reif, Wolfgang; Scheer, S.
Structured Formal Development in VSE II: The Robertino Case Study
In Saglietti, F. and Goerigk, W., Editor, Sicherheit und Zuverlässigkeit software-basierter Systeme, ITSec
In Saglietti, F. and Goerigk, W., Editor
1999
80.
Hähnle, R.; Menzel, W.; Reif, Wolfgang; Schmitt, P.
Special Issue on Integration of Deduction Systems
Journal of Universal Computer Science, 5 (3)
1999
79.
Knublauch, Holger; Rose, T.
Reflection-enabled Rapid Prototyping of Knowledge-based Systems
OOPSLA'99 Workshop on Object Oriented Reflection and Software Engineering, Denver, CO, USA
1999
78.
Meyer, C.-H.; Knublauch, Holger
Parallel Iterative Proportional Fitting
Symposium in Operations Research (SOR99), Magdeburg
1999
77.
Börger, Egon; Schulte, Wolfram
Modular Design for the Java Virtual Machine Architecture
Architecture Design and Validation Methods
Publisher: Springer-Verlag
1999
76.
Knublauch, Holger
Three Patterns for the Implementation of Ontologies in Java
OOPSLA'99 Metadata and Active Object-Model Pattern Mining Workshop, Denver, CO, USA
1999
75.
Schwarz, Michael
Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA)
In Sinz, E. J., Editor, Modellierung betrieblicher Informationssysteme, Proceedings der MobIS-Fachtagung (MobIS'99), Bamberg, Page 210-226
In Sinz, E. J., Editor
1999
74.
Börger, Egon; Schulte, Wolfram
A Programmer Friendly Modular Definition of the Semantics of Java.
In Alves-Foss, J., Editor, Formal Syntax and Semantics of Java Volume 1523 from Lecture Notes in Computer Science
Page 353-404
Publisher: Springer-Verlag
1999
353-404
73.
Houdek, Frank; Ernst, Dietmar; Schwinn, Thilo
Comparing Structured and Object-Oriented Methods for Embedded Systems: A Controlled Experiment
Proceedings of the ICSE Workshop Empirical Studies on Software Development, Los Angeles, California, USA
1999
72.
Berghammer, R.; Lakhnech, Y.; Reif, Wolfgang
Formal Methods and Tools: Introduction and Overview
In Berghammer, R. and Lakhnech, Y., Editor, Tool Support for System Specification, Development and Verification
Publisher: Springer-Verlag
1999
71.
Knublauch, Holger; Sedlmayr, M.; Rose, T.
Knowledge-based Decision Support in an Anaesthesia Information System
Combined ESCTAIC / SCATA Meeting, Glasgow, UK
1999
70.
Reif, Wolfgang
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz
Informatik: Forschung und Entwicklung, 14 (3)
1999
69.
Börger, Egon; Schulte, Wolfram
Initialization Problems for Java
Software - Concepts and Tools, 20 (4)
1999
68.
Sarstedt, Stefan; Sauter, G.; Sellentin, J.; Mitschang, B.
Integrationskonzepte für heterogene Anwendungssysteme bei DaimlerChrysler auf Basis internationaler Standards
Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft (BTW1999), Freiburg, Page 317-327
1999
67.
Balser, Michael; Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
KIV 3.0 for Provably Correct Systems
, Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends 98), BoppardVolume1641fromLecture Notes in Computer Science
Publisher: Springer-Verlag
1999

1998

66.
Reif, Wolfgang
Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
Künstliche Intelligenz, 12 (4) :42-48
December 1998
65.
Reif, Wolfgang
Software-Sicherheit mit formalen Methoden
Softwaretechnik-Trends, 18 (3)
August 1998
64.
Salamon, Peter; Sibani, Paolo; Gehring, Wolfgang; Whitney, R.; Frost, R.
Toward a taxonomy of NP-hard combinatorial optimization problems
Bulletin of the American Physical Society, 43 (1)
March 1998
63.
Partsch, Helmuth
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Publisher: Springer-Verlag
1998
62.
Schwarz, Michael
Theorie und Praxis erfahrbar machen - der Wurf ins kalte Wasser: Praxisnahes Arbeiten im Grundstudium
Handbuch Hochschullehre
Publisher: Raabe-Verlag
1998
61.
Schellhorn, Gerhard; Reif, Wolfgang
Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers
Document Number: 98-13
Universität Ulm
1998
60.
Reif, Wolfgang; Schellhorn, Gerhard
Theorem Proving in Large Theories
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Volume 3: Applications
Chapter 2
Publisher: Kluwer Academic Publishers
1998
59.
Schellhorn, Gerhard; Ahrendt, W.
The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Volume 3: Applications
Chapter 3: Automated Theorem Proving in Software Engineering
Publisher: Kluwer Academic Publishers
1998
58.
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt; Balser, Michael
Structured specifications and interactive proofs with KIV
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Publisher: Kluwer Academic Publishers
1998
57.
Houdek, Frank; Ernst, Dietmar; Schwinn, Thilo
Prüfen von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment
Document Number: 98-11
Universität Ulm
1998
56.
Greiner, C.; Knublauch, Holger; Sedlmayr, M.; Rose, T.
Representing and Processing Various Knowledge Types in an Anaesthesia Information System
Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care (ESCTAIC), Villach, Austria
1998
55.
Schellhorn, Gerhard
Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
Document Number: 98-12
Universität Ulm
1998
54.
Ahrendt, W.; Beckert, B.; Hähnle, R.; Menzel, W.; Reif, Wolfgang; Schellhorn, Gerhard; Schmitt, P.
Integrating Automated and Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications Volume 2: Systems and Implementation Techniques
Chapter 1: Interactive Theorem Proving
Publisher: Kluwer Academic Publishers
1998
53.
Fensel, D.; von Hamelen, F.; Reif, Wolfgang; ten Teije, A.
Formal Support for the Development of Knowledge-based Systems
Information Technology Management, 2 (4)
1998
52.
Börger, Egon; Schulte, Wolfram
Defining the Java Virtual Machine as Platform for Provably correct Java Compilation
In Brim, L. and Gruska, J. and Zlatuska, J., Editor, Proceedings of the 23rd International Symposium on Mathematical Foundation of Computer Science (MFCS´98), Brno, Czech RepublicVolume1450fromLecture Notes in Computer Science
In Brim, L. and Gruska, J. and Zlatuska, J., Editor
Publisher: Springer-Verlag
1998
51.
Ernst, Dietmar; Houdek, Frank
Applying Metrics to Cross-Technical Evaluations
In Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., Editor, The European Software Measurement Conference Fesma 98, Antwerp, Belgium
In Coombes, H. and Hooft van Huysduynen, M. and Peeters, B., Editor
1998
50.
Nipkow, T.; Reif, Wolfgang
An Introduction to Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Publisher: Kluwer Academic Publishers
1998
49.
Ernst, Dietmar; Houdek, Frank; Schwinn, Thilo
An Experimental Comparison of Static and Dynamic Defect Detection Techniques
Conference Proceedings of the Eleventh International Software Quality Week (QW 98), San Francisco, California
1998

1997

48.
Schwarz, Michael; Schulte, Wolfram
Realistische Aufgabenstellungen für das Softwaregrundpraktikum
, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik, Software Engineering im Unterricht der Hochschulen SEUH'97, RostockVolume48fromBerichte des German Chapter of the ACM, Page 94-104
Publisher: B. G. Teubner
1997
47.
Reif, Wolfgang; Schellhorn, Gerhard
Theorem Proving in Large Theories
Document Number: 97-14
Universität Ulm
1997
46.
Braxmeier, H.; Ernst, Dietmar; Mößle, Andrea; Vogler, H.
The Project NoName: A functional programming language with ist development environment
Document Number: 97-08
Universität Ulm
1997
45.
Claessen, K.; Vullinghs, Ton; Meijer, E.
Structuring graphical paradigms in TkGofer
In Peyton Jones, S., Editor, Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICP'97), Amsterdam
In Peyton Jones, S., Editor
1997
44.
Reif, Wolfgang
Software-Verifikation und ihre Anwendungen
it+ti Themenheft Formale Entwurfsmethoden - Software Correctness
Publisher: Oldenbourg-Verlag
1997
43.
Reif, Wolfgang
Risikofaktor Software
In Jantke, K. and Grieger, G. and Wittig, W., Editor, Impulse für Informatik-Innovationen
Publisher: Infix-Verlag
1997
42.
Schellhorn, Gerhard; Ahrendt, W.
Reasoning about Abstract State Machines: The WAM Case Study
Journal of Universal Computer Science, 3 (4) :377-413
1997
41.
Achatz, Klaus; Schulte, Wolfram
A Formal OO Method Inspired by Fusion and Object-Z
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor, ZUM'97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UKVolume1212fromLecture Notes in Computer Science
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor
Publisher: Springer-Verlag
1997
40.
Schulte, Wolfram; Schwarz, Michael
Realistische Aufgabenstellungen für das Softwaregrundpraktikum
In Forbig, P. and Riedewald, G., Editor, Software Engineering im Unterricht der Hochschulen (SEUH'97)
In Forbig, P. and Riedewald, G., Editor
Publisher: Teubner-Verlag
1997
39.
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Proving System Correctness with KIV
In Bidoit, M. and Dauchet, M., Editor, Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), Lille, FranceVolume1214fromLecture Notes in Computer Science
In Bidoit, M. and Dauchet, M., Editor
Publisher: Springer-Verlag
1997
38.
Schellhorn, Gerhard; Reif, Wolfgang
Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
Document Number: 97-12
Universität Ulm
1997
37.
Achatz, Klaus; Schulte, Wolfram
Functional Object-oriented Programming with Object-Gofer
Informatik '97: Informatik als Innovationsmotor, Informatik aktuell
Publisher: Springer-Verlag
1997
36.
Achatz, Klaus; Schulte, Wolfram
Formale objektorientierte Softwareentwicklung mit FOX
Informatik: Forschung und Entwicklung, 12 (4) :174-185
1997
35.
Ernst, Dietmar; Houdek, Frank; Schwinn, Thilo; Schulte, Wolfram
Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme
Document Number: 97-13
Universität Ulm
1997
34.
Achatz, Klaus; Partsch, Helmuth
A Powerful Transformation Rule, its Applications and Variants
Proceedings of the 50th meeting of the IFIP Working Conference on Algorithmic Language and Calculi and IFIP Working Group 2.1, Le Bischenberg, France
1997
33.
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Proving System Correctness with KIV 3.0
, Proceedings of the 14th International Conference on Automated Deduction, Townsville, AustraliaVolume1249fromLecture Notes in Computer Science
Publisher: Springer-Verlag
1997

1996

32.
Reif, Wolfgang; Stenzel, Kurt
Reuse of Proofs in Software Verification
SADHANA: Academy Proceedings in Engineering Sciences, 21 (2)
1996
31.
Schellhorn, Gerhard; Ahrendt, W.
Verification of a Prolog Compiler - First Steps with KIV
Document Number: 96-05
Universität Ulm
1996
30.
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
TkGofer: A Functional GUI Library
In Wirsing, M. and Nivat, M., Editor, Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST'96), München, DeutschlandVolume1101fromLecture Notes in Computer Science, Page 621-624
In Wirsing, M. and Nivat, M., Editor
Publisher: Springer-Verlag
1996
29.
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
The Implementation of a Functional GUI Library
Proceedings of the 2nd Italian Workshop on Functional Programming (FUN'96), Pisa, Italy
1996
28.
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
The Design of a Functional GUI Library Using Constructor Classes
In Bjørner, D. and Broy, M. and Pottosin, I., Editor, Proceedings of the 2nd International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, RussiaVolume1181fromLecture Notes in Computer Science, Page 398-408
In Bjørner, D. and Broy, M. and Pottosin, I., Editor
Publisher: Springer-Verlag
1996
27.
Reif, Wolfgang
Software Verifikation: Stand und Perspektiven
Document Number: 96-06
Universität Ulm
1996
26.
Biechele, B.; Ernst, Dietmar; Houdek, Frank; Schmid, Joachim; Schulte, Wolfram
Untersuchung verschiedener SA/RT-Ansätze für die Modellierung eingebetteter Systeme
Document Number: 96-09
Universität Ulm
1996
25.
Stenzel, Kurt
Pilotanwendungen mit KIV
Document Number: FI96/06
Fakultät für Informatik, Technische Universität Dresden
1996
24.
Achatz, Klaus; Schulte, Wolfram
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Science of Computer Programming, 26 (1-3) :59-78
1996
23.
Heckler, A.; Hettler, R.; Hußmann, H.; Loeckx, J.; Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
LEX: a case study in development and validation of formal specifications
Document Number: A/06/96
Fachbereich Informatik, Universität Saarbrücken
1996
22.
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
KIV 3.0: Concepts and applications
Fachbereich Informatik, Universität Bremen
1996
21.
Achatz, Klaus; Partsch, Helmuth
From Descriptive Specifications to Operational ones: A Powerful Transformation Rule, its Applications and Variants
Document Number: 96-13
Universität Ulm
1996
20.
Achatz, Klaus; Schulte, Wolfram
Formale objektorientierte Softwareentwicklung
Softwaretechnik-Trends, 16 (3)
1996
19.
Vullinghs, Ton; Schulte, Wolfram; Schwinn, Thilo
An Introduction into TkGofer
Document Number: 96-03
Universität Ulm
1996

1995

18.
Fuchß, T.; Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Three Selected Case Studies in Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: Springer-Verlag
1995
17.
Hutter, D.; Langenstein, B.; Koob, F.; Reif, Wolfgang; Sengler, C.; Stephan, W.; Ullmann, M.; Wittmann, M.; Wolpers, A.
The VSE Development Method - A Way to Engineer High-Assurance Software Systems
In Gotzheim, B., Editor, GI/ITG Tagung Formale Beschreibungstechniken für verteilte Systeme
Universität Kaiserslautern
In Gotzheim, B., Editor
1995
16.
Reif, Wolfgang
The KIV-approach to Software Verification
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: Springer-Verlag
1995
15.
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Tactics in KIV
Journal on Information Processing and Cybernetics, 30
1995
14.
Reif, Wolfgang; Stenzel, Kurt
Reuse of Proofs in Software Verification
In Köhler, J., Editor, Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (Montreal, Quebec)
In Köhler, J., Editor
1995
13.
Achatz, Klaus; Schulte, Wolfram
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Document Number: 95-12
Universität Ulm
1995
12.
Vullinghs, Ton; Tuijnman, Daniël; Schulte, Wolfram
Lightweight GUIs for functional programming
In Hermenegildo, M. and Swierstra, S. D., Editor, Proceedings of the 7th International Symposium PLILP95Volume982fromLecture Notes in Computer Science
In Hermenegildo, M. and Swierstra, S. D., Editor
Publisher: Springer-Verlag
1995
11.
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Interactive Correctness Proofs for Software Modules Using KIV
COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA)
Publisher: IEEE press
1995
10.
Achatz, Klaus; Schulte, Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Document Number: 95-05
Universität Ulm
1995
9.
Achatz, Klaus; Schulte, Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
In Möller, B., Editor, Mathematics of Program ConstructionVolume947fromLecture Notes in Computer Science
In Möller, B., Editor
Publisher: Springer-Verlag
1995
8.
Pepper, Peter; Wirsing, M.; Betschko, R.; Broy, Manfred; Dick, S.; Didrich, K.; Faulhaber, J.; Grieskamp, W.; Hußmann, H.; Mehlich, M.; Reif, Wolfgang
A Method for the Development of Correct Software
In Broy, M. and Jähnichen, S., Editor, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final ReportVolume1009fromLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Publisher: Springer-Verlag
1995

1994

7.
Achatz, Klaus; Schulte, Wolfram
Eine Einführung in die transformationelle Entwicklung von SIMD Programmen
39. internationales wissenschaftliches Kolloquium, Technische Universität Ilmenau
1994
6.
Schulte, Wolfram; Vullinghs, Ton
Linking Reactive Software to the X-Window System
Document Number: 94-14
Universität Ulm
1994
5.
Vullinghs, Ton
Transformational Program Development Using CIPS
In Buth, B. and Berghammer, R., Editor, Systems for Computer-Aided Specification, Development and Verification
Christian-Albrechts-Universität Kiel
In Buth, B. and Berghammer, R., Editor
1994

1993

4.
Boiten, E. A.; Geerling, A. M.; Partsch, H. A.
Transformational derivation of (parallel) programs using skeletons
Proceedings of the ERCIM Workshop on Development and Transformation of Programs, INRIA, Nancy
November 1993
3.
Partsch, Helmuth
Formal Problem Specification on an Algebraic Basis
In Möller, B. and Partsch, H. and Schuman, S., Editor, Formal Program Development: IFIP TC2 State-of-the-Art Report Volume 755 from Lecture Notes in Computer Science
Page 183-224
Publisher: Springer-Verlag
1993
183-224
2.

Formal Program Development: IFIP TC2 State-of-the-Art Report
In Möller, B. and Partsch, H. and Schuman, S., Editor, Volume 755 from Lecture Notes in Computer Science
Publisher: Springer-Verlag
1993
1.
Partsch, Helmuth
Some Experiments in Transformaing Towards Parallel Executability
In Paige, R. and Reif, J. and Wachters, R., Editor, Parallel Algorithm Derviation and Program Transformation
Publisher: Kluwer Academic Publishers
1993
BibTeX download