Birgit Geppert 
Computer Networks Group 
Department of Computer Science, University of Kaiserslautern 
 
 
 
 
Proceedings / Reports
 

Proceedings:

R.L. Feldmann, B. Geppert, and F. Rößler
Continuous Improvement of Reuse-Driven SDL System Development
11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, 1999
B. Geppert, F. Rößler, and R. Gotzhein
Pattern Application vs. Inheritance in SDL, 
Proceedings of the 3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS '99, Florence, Italy, 1999
B. Geppert, F. Rößler, and  R.L. Feldmann
Systematic Evolution of Reusable SDL Patterns
Proceedings of the European Reuse Workshop, ERW'98, Madrid, Spain, 1998
B. Geppert, A. Kühlmeyer, F. Rößler, and M. Schneider, 
SDL-Pattern based Development of a Communication Subsystem for CAN
Proceedings of the IFIP Joint International Conference on Formal Description Techniques & Protocol Specification, Testing, and Verification, FORTE XI / PSTV XIII '98, Paris, France, 1998
B. Geppert, F. Rößler, R.L. Feldmann, and S. Vorwieger
Combining SDL Patterns with Continuous Quality Improvement: An Experience Base Tailored to SDL Patterns
in: Y. Lahav, A. Wolisz, J. Fischer, E. Holz (Eds.), Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, 1998
D. Cisowski, B. Geppert, F. Rößler, and M. Schwaiger, 
Tool Support for SDL Patterns
in: Y. Lahav, A. Wolisz, J. Fischer, E. Holz (Eds.), Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, 1998
R. Gotzhein, B. Geppert, F. Rößler, and P. Schaible
Towards a New Formal SDL Semantics
in: Y. Lahav, A. Wolisz, J. Fischer, E. Holz (Eds.), Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, 1998
B. Geppert, F. Rößler, and M. Schneider, 
Using SDL Patterns for the Design of a CAN-based Communication Subsystem
Proceedings of the 8th GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", FBT98,  Cottbus, 1998
F. Rößler, B. Geppert, and P. Schaible
Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns
Proceedings of the 5th International Conference on Software Reuse, ICSR5, Victoria, British Columbia, Canada, 1998
B. Geppert, F. Rößler
Generic Engineering of Communication Protocols - Current Experience and Future Issues
Proceedings of the 1st IEEE International Conference on Formal Engineering Methods, ICFEM'97, Hiroshima, Japan, 1997
F. Rößler, B. Geppert
Applying Quality of Service Architectures to the Field-Bus Domain
Proceedings of the 2nd IEEE International Workshop on Factory Communication Systems, WFCS'97, Barcelona, Spain, 1997
B. Geppert, R. Gotzhein, and F. Rößler
Configuring Communication Protocols Using SDL Patterns
in: A. Cavalli, A. Sarma (Eds.): SDL'97 - Time for Testing, Elsevier Science Publishers, Proceedings of the 8th SDL Forum, SDL '97, Paris/Evry, France, September 1997
B. Geppert, F. Rößler
Combining SDL and Pattern-based Design for the Customization of Communication Subsystems
in: A. Wolisz, I. Schieferdecker, A. Rennoch (Ed.): Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, 19.-20. Juni 1997, Berlin (GMD-Studien Nr. 315) ISBN 3-88457-315-2, pp. 201-210
 

Reports:

R.L. Feldmann, B. Geppert, and F. Rößler
A Repository-Based Improvement Cycle for Reuse-Driven SDL System Development, 
SFB 501 Report 11/98, University of Kaiserslautern, 1998
R.L. Feldmann, B. Geppert, and F. Rößler
Towards an Experimental Evaluation of SDL-Pattern based Protocol Design, 
SFB 501 Report 04/98, University of Kaiserslautern, 1998
E. Petersen, J. Münch, and B. Geppert
A Formal Process Model for the Software Development Method SOMT (in  German), 
SFB 501 Report 03/98, University of Kaiserslautern, 1998
B. Geppert, F. Rößler, and P. Schaible
Pattern-based Configuring of the Internet Stream Protocol ST2+ with SDL
SFB 501 Report 12/97, University of Kaiserslautern, 1997
B. Geppert, F. Rößler
Pattern-based Configuring of a Customized Resource Reservation Protocol with SDL
SFB 501 Report 19/96, University of Kaiserslautern, 1996 
F. Rößler, B. Geppert, R. Gotzhein
A Clock-independent Model for Real-Time
SFB 501 Report 18/96, University of Kaiserslautern, 1996
B. Geppert, F. Rößler
Automatic Configuration of Communication Subsystems - A Survey
SFB 501 Report 17/96, University of Kaiserslautern, 1996 
R. Gotzhein, B. Geppert, C. Peper, and F. Rößler
Generic Layout of Communication Subsystems - A Case Study
SFB 501 Report 14/96, University of Kaiserslautern, 1996

Dept. of Comp. Science Comp. Networks Group People & Adr. Birgit Geppert Publications
geppert@informatik.uni-kl.de