2006

213.
Tavakoli Kolagari, Ramin; Porta, N. F.
Project-oriented Reuse Approaches: Copy-and-Paste or Software Product Line Engineering?
In Schneider, K., Editor, Proceedings of the International Workshop on Learning Software Organizations and Requirements Engineering, Seite 81-97
In Schneider, K., Editor
Herausgeber: Universität Hannover
2006
212.
Frühwirth, Thom; Abdennadher, Slim
Principles of constraint systems and constraint solvers
Archives of Control Sciences: Special Issue on Constraint Programming, 16 (2)
2006
211.
Guttmann, Walter; Maucher, M.
Variations on an Ordering Theme with Constraints
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor, Fourth IFIP International Conference on Theoretical Computer Science: TCS 2006Band209ausIFIP International Federation for Information Processing, Seite 77-90
In Navarro, G. and Bertossi, L. and Kohayakawa, Y., Editor
Herausgeber: Springer-Verlag
2006
DOI:10.1007/978-0-387-34735-6_10
210.
Guttmann, Walter
Non-termination in Unifying Theories of Programming
In MacCaull, W. and Winter, M. and Düntsch, I., Editor, Relational Methods in Computer Science 2005Band3929ausLecture Notes in Computer Science, Seite 108-120
In MacCaull, W. and Winter, M. and Düntsch, I., Editor
Herausgeber: Springer-Verlag
2006
DOI:10.1007/11734673_9
209.
Hammori, Markus; Herbst, Joachim; Kleiner, Niko
Interactive Workflow Mining
Data and Knowledge Engineering Journal: Special Issue on Business Process Management, 56 (1) :41-63
Januar 2006
208.
Djelloul, Khalil; Dao, T.-B.-H.
Extension of First-Order Theories into Trees
In Calmet, J. and Ida, T. and Wang, D., Editor, Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006Band4120ausLecture Notes in Computer Science, Seite 53-67
In Calmet, J. and Ida, T. and Wang, D., Editor
Herausgeber: Springer-Verlag
2006
DOI:10.1007/11856290_7
207.
Frühwirth, Thom; Michel, L.; Schulte, C.
Constraints in Procedural and Concurrent Languages
In Rossi, F. and Beek, P. van and Walsh, T., Editor, Handbook of Constraint Programming
Kapitel 13
Herausgeber: Elsevier
2006
206.
Frühwirth, Thom
Constraint Handling Rules: The Story So Far
In Maher, M., Editor, Proceedings of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Seite 13-14
In Maher, M., Editor
Herausgeber: ACM Press
2006
DOI:10.1145/1140335.1140337
205.
Schrijvers, T.; Demoen, B.; Duck, G.; Stuckey, P.; Frühwirth, Thom
Automatic implication checking for CHR constraints
In Cirstea, H. and Martí-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005Band147ausElectronic Notes in Theoretical Computer Science, Seite 93-111
In Cirstea, H. and Martí-Oliet, N., Editor
Januar 2006
204.
Frühwirth, Thom
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints, CSCLP 2005Band3978ausLecture Notes in Computer Science, Seite 14-28
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor
Herausgeber: Springer-Verlag
2006
DOI:10.1007/11754602_2
203.
Guttmann, Walter; Möller, Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, Unifying Theories of ProgrammingBand4010ausLecture Notes in Computer Science, Seite 236-256
In Dunne, S. and Stoddart, W., Editor
Herausgeber: Springer-Verlag
2006
DOI:10.1007/11768173_14

2005

202.
Guttmann, Walter; Maucher, M.
Constrained Ordering
Dokument Nummer: UIB-2005-03
Universität Ulm
Dezember 2005
201.
Kleiner, Niko
Delta Analysis with Workflow Logs: Aligning Business Process Prescriptions and their Reality
Requirements Engineering Journal: Special Issue on Coordinated Development of Business Processes and their Support Systems, 10 (3) :212-222
November 2005
200.
Frühwirth, Thom
Parallelizing Union-Find in Constraint Handling Rules Using Confluence
In Gabbrielli, M. and Gupta G., Editor, Logic Programming: 21st International Conference, ICLP 2005Band3668ausLecture Notes in Computer Science, Seite 113-127
In Gabbrielli, M. and Gupta G., Editor
Herausgeber: Springer-Verlag
Oktober 2005
199.
Sarstedt, Stefan
Overcoming The Limitations of Signal Handling when Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor, Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05), Seite 61-65
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
Oktober 2005
198.
Betz, Hariolf; Frühwirth, Thom
A Linear-Logic Semantics for Constraint Handling Rules
In van Beek, P., Editor, 11th Conference on Principles and Practice of Constraint Programming CP 2005Band3709ausLecture Notes in Computer Science, Seite 137-151
In van Beek, P., Editor
Herausgeber: Springer-Verlag
Oktober 2005
DOI:10.1007/11564751_13
197.
Sarstedt, Stefan; Gessenharter, Dominik; Kohlmeyer, Jens; Raschke, Alexander; Schneiderhan, Matthias
ActiveChartsIDE: An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor, Proceedings of the 2005 European Simulation and Modelling Conference (ESM'05), Seite 66-73
In Feliz-Teixeira, J. M. and Carvalho Brito, A. E., Editor
Oktober 2005
196.
Guttmann, Walter; Möller, Bernhard
Modal Design Algebra
Dokument Nummer: 2005-15
Institut für Informatik, Universität Augsburg
September 2005
195.

Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor aus Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
September 2005
194.
Frühwirth, Thom
Logical Rules for a Lexicographic Order Constraint Solver
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2005, Second Workshop on Constraint Handling RulesausTechnical Report, Seite 79-91
Departement Computerwetenschappen, Katholieke Universiteit Leuven
In Schrijvers, T. and Frühwirth, T., Editor
September 2005
193.
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander; Schneiderhan, Matthias
A New Approach to Combine Models and Code in Model Driven Development
In Arabnia, H. R. and Reza, H., Editor, Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05)Band1, Seite 396-400
In Arabnia, H. R. and Reza, H., Editor
Juni 2005
192.
Sarstedt, Stefan; Kohlmeyer, Jens; Raschke, Alexander; Schneiderhan, Matthias
Targeting System Evolution by Explicit Modeling of Control Flows using UML2 Activity Charts
In Arabnia, H. R., Editor, Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05), Seite 237-246
In Arabnia, H. R., Editor
Juni 2005
191.
Schrijvers, T.; Demoen, B.; Duck, G.; Stuckey, P.; Frühwirth, Thom
Automatic implication checking for CHR constraints
6th International Workshop on Rule-Based Programming
April 2005
190.

19th Workshop on (Constraint) Logic Programming W(C)LP 2005
In Wolf, A. and Frühwirth, T. and Meister, M., Editor aus Ulmer Informatik-Berichte
Universität Ulm
Februar 2005
189.
Schrijvers, T.; Frühwirth, Thom
Analysing the CHR Implementation of Union-Find
In Wolf, A. and Frühwirth, T. and Meister, M., Editor, 19th Workshop on (Constraint) Logic Programming W(C)LP 2005ausUlmer Informatik-Berichte, Seite 135-146
Universität Ulm
In Wolf, A. and Frühwirth, T. and Meister, M., Editor
Februar 2005
188.
Guttmann, Walter
Non-Termination in Unifying Theories of Programming
In Düntsch, I. and Winter, M., Editor, 8th International Conference on Relational Methods in Computer Science (RelMiCS 8), Seite 87-94
In Düntsch, I. and Winter, M., Editor
Herausgeber: Computer Science Department, Brock University, St. Catharines, Ontario, Canada
Februar 2005
187.
Gehring, Wolfgang
Leistungspunktesysteme: Eine erste Bilanz
Herausgeber: Universitätsverlag Ulm
Januar 2005
186.
Frühwirth, Thom
Specialization of Concurrent Guarded Multi-Set Transformation Rules
In Etalle, S., Editor, Logic-based Program Synthesis and Transformation (LOPSTR'04)Band3573ausLecture Notes in Computer Science, Seite 133-148
In Etalle, S., Editor
Herausgeber: Springer-Verlag
2005
185.
Abdennadher, Slim; Frühwirth, Thom; Holzbaur, Christian
Editors, Special Issue on Constraint Handling Rules
Theory and Practice of Logic Programming, 5 (4-5)
2005
184.
Schrijvers, T.; Demoen, B.; Duck, G. J.; Stuckey, P. J.; Frühwirth, Thom
Automatic implication checking for CHR constraint solvers
Dokument Nummer: CW 402
Departement Computerwetenschappen, Katholieke Universiteit Leuven
Januar 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
Oktober 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, Seite 140-142
Oktober 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), UlmBand2, Seite 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 aus 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
Kapitel 22, Seite 431-444
Herausgeber: John Wiley & Sons
August 2004
431-444
176.
Schrijvers, T.; Frühwirth, Thom
Implementing and Analysing Union-Find in CHR
Dokument Nummer: CW 389
Departement Computerwetenschappen, Katholieke Universiteit Leuven
Juli 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
Juni 2004
174.
Hammori, Markus; Herbst, Joachim; Kleiner, Niko
Interactive Workflow Mining
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
Juni 2004
173.
Kleiner, Niko
Supporting Usage-Centered Design of Emerging Workflows
Proceedings of the 2nd International Conference on Business Process Management (BPM '04), Potsdam
Juni 2004
172.

First Workshop on Constraint Handling Rules: Selected Contributions
In Frühwirth, T. and Meister, M., Editor aus Ulmer Informatik-Berichte
Universität Ulm
Mai 2004
171.
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
Mai 2004
170.
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
Mai 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
Mai 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, Seite 151-157
März 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
Februar 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, Seite 13-16
In Glinz, M., Editor
Herausgeber: 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.
Puschnig, A.; Tavakoli Kolagari, Ramin
Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems
12th IEEE International Conference on Requirements Engineering, Seite 328-333
Herausgeber: IEEE Computer Society
2004
163.
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)Band3018ausLecture Notes in Computer Science, Seite 198-213
In Bruynooghe, M., Editor
Herausgeber: Springer-Verlag
2004
162.
Tavakoli Kolagari, Ramin; Puschnig, A.
Entwicklung innovativer eingebetteter Systeme mit Experteneinbindung
Konferenzband des 9. Kongress Software-Qualitätsmanagement (SQM)
2004
161.
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)Band1: E-Learning: Modelle, Instrumente und Erfahrungen, Software-Produktlinien, Communities in E-Business, Seite 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
Herausgeber: Akademische Verlagsgesellschaft Aka GmbH
2004
160.

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, Band 3238 aus Lecture Notes in Artificial Intelligence
Herausgeber: Springer-Verlag
2004

2003

159.
Gehring, Wolfgang
Current Issues in Higher Education in Germany
, Achte Internationale Akademische Konferenz am Rivne Institute of Economics and Humanities, UkraineBand2, Seite 219-220
Oktober 2003
158.
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, Seite 328-332
Oktober 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
Herausgeber: SCS Europe Publications
Juni 2003
156.
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
Mai 2003
155.
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, Seite 54-56
Mai 2003
154.
Herbst, Joachim; Kleiner, Niko
Workflow Mining: A Case Study from Automotive Industry
Proceedings of the 10th European Concurrent Engineering Conference, Plymouth, UK
Herausgeber: 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
März 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
Seite 91-97
Herausgeber: Deutscher Akademischer Austauschdienst DAAD
März 2003
91-97
151.
Frühwirth, Thom; Abdennadher, Slim
Essentials of Constraint Programming
Herausgeber: Springer-Verlag
Februar 2003
150.
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, Seite 229-239
2003
149.
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, ItalyBand2585ausLecture Notes in Computer Science, Seite 186-197
In Giunchiglia, F. and Odell, J. and Weiß, G., Editor
Herausgeber: Springer-Verlag
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), Seite 386-397
In Buccafurri, F., Editor
2003
147.
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, Seite 111-120
In Siedersleben, J. and Weber-Wulff, D., Editor
2003
146.
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
145.
Schneider, Kurt; von Hunnius, Jan-Peter
Effective Experience Repositories in Software-Engineering
25th International Conference on Software Engineering (ICSE), Portland
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
Dezember 2002
143.
Guttmann, Walter
Deriving an Applicative Heapsort Algorithm
Dokument Nummer: UIB-2002-02
Universität Ulm
Dezember 2002
142.
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'01Band59ausElectronic Notes in Theoretical Computer Science, Seite 185-206
In Di Pierro, A. and Wiklicky, H., Editor
November 2002
141.
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 2002Band76ausElectronic Notes in Theoretical Computer Science, Seite 115-130
In Comini, M. and Falaschi, M., 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, Seite 15-20
In Haneberg, D. and Schellhorn, G. and Reif, W., Editor
Herausgeber: Institut für Informatik, Universität Augsburg
Juni 2002
139.
Gehring, Wolfgang
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Herausgeber: 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 DevelopmentausTechnical Report No. IAI-TR-2002-1, Seite 59-64
Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik 3
Februar 2002
137.
Schneider, Kurt; Schwinn, Thilo
Maturing Experience Base Concepts at DaimlerChrysler
Software Process Improvement and Practice, 6 (2) :85-96
2002
136.
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
135.
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
134.
Rose, T.; Fünffinger, M.; Knublauch, Holger; Rupprecht, C.
Prozessorientiertes Wissensmanagement
Künstliche Intelligenz, 16 (1) :19-24
2002
133.
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, IranBand2510ausLecture Notes in Computer Science, Seite 806-815
In Shafazand, H. and Min Tjoa, A., Editor
Herausgeber: Springer-Verlag
2002
132.
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, Seite 97-106
2002
131.
Gantner, Thomas; Häberlein, Tobias
GARP - The Evolution of a Software Acquisition Process Model
, 7th European Conference on Software Quality 2002, Helsinki, FinlandBand2349ausLecture Notes in Computer Science, Seite 186-196
Herausgeber: Springer-Verlag
2002
130.
Knublauch, Holger
Extreme Programming of Multi-Agent Systems
First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy
2002
129.
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
128.
Schneider, Kurt; von Hunnius, Jan-Peter; Basili, V. R.
Experience in Implementing a Learning Software Organization
IEEE Software, 19 (3)
2002
127.
Kleiner, Niko; Herbst, Joachim
Engineering a DMU-Resultmanagement System
Proceedings of the 9th European Concurrent Engineering Conference (ECEC'02), Modena, Italy
Herausgeber: SCS Europe Publications
2002
126.
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
125.
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
124.
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

2001

123.
von Hunnius, Jan-Peter
Experience Bases at DaimlerChrysler
Presentation at the SEC Consortium meeting in Everett, Washington
April 2001
122.
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
121.
Stärk, R.; Schmid, Joachim; Börger, Egon
Java and the Java Virtual Machine: Definition, Validation, Verification
Herausgeber: Springer-Verlag
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
Dokument Nummer: 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.
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
116.
Schmid, Joachim
Introduction to AsmGofer
2001
115.
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
114.
Schmid, Joachim
Compiling Abstract State Machines to C++
Journal of Universal Computer Science, 7 (11)
2001
113.
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
112.
Kleiner, Niko; Sarstedt, Stefan
Einsatz von Standardprozessen bei der Gestaltung von Lehrveranstaltungen
Software Engineering im Unterricht der Hochschulen (SEUH 2001), Zürich, Schweiz
Herausgeber: dpunkt.verlag
2001
111.
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

2000

110.
Guttmann, Walter
An Introduction to Ultra
Universität Ulm
Dezember 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, Seite 93-99
Juni 2000
107.
Gehring, Wolfgang
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen
Dokument Nummer: 2000-04
Universität Ulm
März 2000
106.
Gehring, Wolfgang
Modularisierung und Leistungspunktesysteme: Ein Überblick
Workshop Modularisierung, Jena
März 2000
105.
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à, SwitzerlandBand1912ausLecture Notes in Computer Science, Seite 151-176
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Herausgeber: Springer-Verlag
2000
104.
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, FranceBand1895ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
2000
103.
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 VerificationBand11ausSoftwaretechnik
In Cengarle, V., Editor
Herausgeber: Uni-Druck
2000
102.
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
101.
Stärk, R.; Schmid, Joachim
The problem of Bytecode Verification in Current Implementations of the JVM
ETH Zürich
2000
100.
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
99.
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, Seite 239-247
2000
98.
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à, SwitzerlandBand1912ausLecture Notes in Computer Science, Seite 361-366
In Gurevich, Y. and Kutter, P. W. and Odersky, M. and Thiele, L., Editor
Herausgeber: Springer-Verlag
2000
97.
Balser, Michael; Duelli, C.; Reif, Wolfgang; Schellhorn, Gerhard
Verifying Concurrent Systems with Symbolic Execution
Proceedings of the International Conference on Temporal Logic (ICTL2000)
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)Band1783ausLecture Notes in Computer Science
In Maibaum, T., Editor
Herausgeber: Springer-Verlag
2000
95.
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
94.
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
93.
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
92.
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
91.
Rose, R.; Knublauch, Holger; Peinel, G.
Agenten in der pro-aktiven Prozessunterstützung
Industrie-Management 4 :40-53
2000
90.
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)Band1862ausLecture Notes in Computer Science, Seite 41-60
In Clote, P. G. and Schwichtenberg, H., Editor
Herausgeber: Springer-Verlag
2000
89.
Knublauch, Holger; Sedlmayr, M.; Rose, T.
Design Patterns for the Implementation of Constraints on JavaBeans
NetObjectDays2000, Erfurt
2000
88.
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, USABand1954ausLecture Notes in Computer Science
In Hunt Jr., W. A. and Johnson, S. D., Editor
Herausgeber: Springer-Verlag
2000
87.
Reif, Wolfgang; Schellhorn, Gerhard; Thums, Andreas
Fehlersuche in formalen Spezifikationen
Dokument Nummer: 2000-06
Universität Ulm
2000
86.
Schellhorn, Gerhard; Reif, Wolfgang
FM-Tools 2000: The 4th Workshop on Tools for System Design and Verification
Dokument Nummer: 2000-07
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, Seite 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), BoppardBand1641ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
1999
83.
Sedlmayr, M.; Knublauch, Holger; Rose, T.
Towards an Anaesthesiology Information System
Combined ESCTAIC / SCATA Meeting, Glasgow, UK
1999
82.
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
81.
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
80.
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
79.
Hähnle, R.; Menzel, W.; Reif, Wolfgang; Schmitt, P.
Special Issue on Integration of Deduction Systems
Journal of Universal Computer Science, 5 (3)
1999
78.
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
77.
Meyer, C.-H.; Knublauch, Holger
Parallel Iterative Proportional Fitting
Symposium in Operations Research (SOR99), Magdeburg
1999
76.
Schwarz, Michael
Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA)
In Sinz, E. J., Editor, Modellierung betrieblicher Informationssysteme, Proceedings der MobIS-Fachtagung (MobIS'99), Bamberg, Seite 210-226
In Sinz, E. J., Editor
1999
75.
Börger, Egon; Schulte, Wolfram
Modular Design for the Java Virtual Machine Architecture
Architecture Design and Validation Methods
Herausgeber: Springer-Verlag
1999
74.
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
Herausgeber: Springer-Verlag
1999
73.
Knublauch, Holger; Sedlmayr, M.; Rose, T.
Knowledge-based Decision Support in an Anaesthesia Information System
Combined ESCTAIC / SCATA Meeting, Glasgow, UK
1999
72.
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
71.
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 Band 1523 aus Lecture Notes in Computer Science
Seite 353-404
Herausgeber: Springer-Verlag
1999
353-404
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, Seite 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), BoppardBand1641ausLecture Notes in Computer Science
Herausgeber: Springer-Verlag
1999

1998

66.
Reif, Wolfgang
Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
Künstliche Intelligenz, 12 (4) :42-48
Dezember 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)
März 1998
63.
Partsch, Helmuth
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Herausgeber: Springer-Verlag
1998
62.
Schwarz, Michael
Theorie und Praxis erfahrbar machen - der Wurf ins kalte Wasser: Praxisnahes Arbeiten im Grundstudium
Handbuch Hochschullehre
Herausgeber: Raabe-Verlag
1998
61.
Schellhorn, Gerhard; Reif, Wolfgang
Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers
Dokument Nummer: 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 Band 3: Applications
Kapitel 2
Herausgeber: 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 Band 3: Applications
Kapitel 3: Automated Theorem Proving in Software Engineering
Herausgeber: 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
Herausgeber: Kluwer Academic Publishers
1998
57.
Houdek, Frank; Ernst, Dietmar; Schwinn, Thilo
Prüfen von C-Code und Statemate/Matlab-Spezifikationen: Ein Experiment
Dokument Nummer: 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.
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 Band 2: Systems and Implementation Techniques
Kapitel 1: Interactive Theorem Proving
Herausgeber: Kluwer Academic Publishers
1998
54.
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
53.
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 RepublicBand1450ausLecture Notes in Computer Science
In Brim, L. and Gruska, J. and Zlatuska, J., Editor
Herausgeber: Springer-Verlag
1998
52.
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
51.
Nipkow, T.; Reif, Wolfgang
An Introduction to Interactive Theorem Proving
In Bibel, W. and Schmitt, P., Editor, Automated Deduction - A Basis for Applications
Herausgeber: Kluwer Academic Publishers
1998
50.
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
49.
Schellhorn, Gerhard
Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
Dokument Nummer: 98-12
Universität Ulm
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, RostockBand48ausBerichte des German Chapter of the ACM, Seite 94-104
Herausgeber: B. G. Teubner
1997
47.
Reif, Wolfgang; Schellhorn, Gerhard
Theorem Proving in Large Theories
Dokument Nummer: 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
Dokument Nummer: 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
Herausgeber: Oldenbourg-Verlag
1997
43.
Reif, Wolfgang
Risikofaktor Software
In Jantke, K. and Grieger, G. and Wittig, W., Editor, Impulse für Informatik-Innovationen
Herausgeber: 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.
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
Proving System Correctness with KIV 3.0
, Proceedings of the 14th International Conference on Automated Deduction, Townsville, AustraliaBand1249ausLecture Notes in Computer Science
Herausgeber: 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
Herausgeber: 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, FranceBand1214ausLecture Notes in Computer Science
In Bidoit, M. and Dauchet, M., Editor
Herausgeber: Springer-Verlag
1997
38.
Schellhorn, Gerhard; Reif, Wolfgang
Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
Dokument Nummer: 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
Herausgeber: 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
Dokument Nummer: 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.
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, UKBand1212ausLecture Notes in Computer Science
In Bowen, J. P. and Hinchey, M. G. and Till, D., Editor
Herausgeber: Springer-Verlag
1997

1996

32.
Reif, Wolfgang
Software Verifikation: Stand und Perspektiven
Dokument Nummer: 96-06
Universität Ulm
1996
31.
Schellhorn, Gerhard; Ahrendt, W.
Verification of a Prolog Compiler - First Steps with KIV
Dokument Nummer: 96-05
Universität Ulm
1996
30.
Biechele, B.; Ernst, Dietmar; Houdek, Frank; Schmid, Joachim; Schulte, Wolfram
Untersuchung verschiedener SA/RT-Ansätze für die Modellierung eingebetteter Systeme
Dokument Nummer: 96-09
Universität Ulm
1996
29.
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, DeutschlandBand1101ausLecture Notes in Computer Science, Seite 621-624
In Wirsing, M. and Nivat, M., Editor
Herausgeber: Springer-Verlag
1996
28.
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
27.
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, RussiaBand1181ausLecture Notes in Computer Science, Seite 398-408
In Bjørner, D. and Broy, M. and Pottosin, I., Editor
Herausgeber: Springer-Verlag
1996
26.
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
Dokument Nummer: A/06/96
Fachbereich Informatik, Universität Saarbrücken
1996
25.
Reif, Wolfgang; Stenzel, Kurt
Reuse of Proofs in Software Verification
SADHANA: Academy Proceedings in Engineering Sciences, 21 (2)
1996
24.
Stenzel, Kurt
Pilotanwendungen mit KIV
Dokument Nummer: FI96/06
Fakultät für Informatik, Technische Universität Dresden
1996
23.
Achatz, Klaus; Schulte, Wolfram
Massive Parallelization of Divide-and-Conquer-Algorithms over Powerlists
Science of Computer Programming, 26 (1-3) :59-78
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
Dokument Nummer: 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
Dokument Nummer: 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 ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: 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 ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: 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
Dokument Nummer: 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 PLILP95Band982ausLecture Notes in Computer Science
In Hermenegildo, M. and Swierstra, S. D., Editor
Herausgeber: 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)
Herausgeber: IEEE press
1995
10.
Achatz, Klaus; Schulte, Wolfram
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Dokument Nummer: 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 ConstructionBand947ausLecture Notes in Computer Science
In Möller, B., Editor
Herausgeber: 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 ReportBand1009ausLecture Notes in Computer Science
In Broy, M. and Jähnichen, S., Editor
Herausgeber: 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
Dokument Nummer: 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 Band 755 aus Lecture Notes in Computer Science
Seite 183-224
Herausgeber: 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, Band 755 aus Lecture Notes in Computer Science
Herausgeber: 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
Herausgeber: Kluwer Academic Publishers
1993