![[logo of the networked systems group]](/en/images/vs.gif)
Year 1997
| Proceedings |
 | A Generic Approach to the Formal Specification of Requirements |
|
[PeGoKr97b] C. Peper, R. Gotzhein, M. Kronenburg Proceedings of the 1st IEEE International Conference on Formal Engineering Methods (ICFEM'97), Hiroshima, Japan, 1997, pp. 252-261 |
| | Applying Quality of Service Architectures to the Field-Bus Domain |
|
[RoGe97a] F. Rößler, B. Geppert Proceedings of the 2nd IEEE International Workshop on Factory Communication Systems, WFCS'97, Barcelona, Spain, 1997 |
| | Combining SDL and Pattern-based Design for the Customization of Communication Subsystems |
|
[GeRo97a] B. Geppert, F. Rößler 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 |
| | Configuring Communication Protocols Using SDL Patterns |
|
[GeGoRo97] B. Geppert, R. Gotzhein, F. Rößler in: A. Cavalli, A. Sarma (Eds.): SDL'97 - Time for Testing, Elsevier Science Publishers, Proceedings of the 8th SDL-Forum, Evry, France, 1997 |
| | Generation of Efficient Protocol Implementations - an Experimental Code Generator for Estelle and its Application to XTP |
|
[ThGo97d] J. Thees, R. Gotzhein Proceedings of the 6th Open Workshop on High Speed Networks, Stuttgart, Germany, 1997 |
| | Generic Engineering of Communication Protocols - Current Experience and Future Issues |
|
[GeRo97b] B. Geppert, F. Rößler Proceedings of the 1st IEEE International Conference on Formal Engineering Methods, ICFEM'97, Hiroshima, Japan, 1997 |
| | Implementing Real-Time Communication on a Token-Ring Network |
|
[RoKu97] F. Rößler, A. Kühlmeyer 6th Open Workshop on High Speed Networks, HSN'97, Stuttgart, Germany, 1997 |
| | Leistungsbewertung automatisch generierter Protokollimplementierungen |
|
[ThGo97b] J. Thees, R. Gotzhein in: K. Irmscher, Ch. Mittasch, K. Richter (Hrsg.): Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, Kurzbeiträge und Toolbeschreibungen zur 9. ITG/GI-Fachtagung MMB'97, Informatik in Freiberg, Band 4, TU Bergakademie Freiberg, 1997 |
| | Open Estelle - A Formal Description Technique for Open Distributed Systems |
|
[ThGo97e] J. Thees, R. Gotzhein International Workshop on Dynamic Modeling of Information Systems, Yamagata, Japan, November 1997 |
| Technical reports |
| | A Formal Syntax and a Formal Semantics for Open Estelle |
|
[ThGo97c] J. Thees, R. Gotzhein Technical Report No. 292/97, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997 |
| | Formal Specification of Real-Time Requirements for Building Automation Systems |
|
[PeGoKr97a] C. Peper, R. Gotzhein, M. Kronenburg SFB 501 Report 01/1997, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997 |
| | Jahresbericht 1997 |
|
[AgRn97] AG Rechnernetze Universität Kaiserslautern, 1997 |
| | Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle - eine Bestandsaufnahme |
|
[ThGo97a] J. Thees, R. Gotzhein Interner Bericht 290/97, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997 |
| | Pattern-based Configuring of the Internet Stream Protocol ST2+ with SDL |
|
[GeRoSc97] B. Geppert, F. Rößler, P. Schaible SFB 501 Report 12/1997 |
| Dissertation |
| | Communication Systems Design with Estelle - On Style, Efficiency, and Analysis |
|
[Br97a] J. Bredereke, J. PhD thesis, Shaker Verlag, Aachen, Germany, (Aug. 1997) |
| Diploma thesis |
| | Pattern-basierte Konfigurierung des Reservierungsprotokolls ST2+ und Erstellung eines SDL-Frameworks für Ressourcenreservierungsprotokolle |
|
[Sc97] P. Schaible Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Sept. 1997 |
| Project thesis |
| | Musterbasierte Konfigurierung des Internet-Protokolls IPv6 mit SDL |
|
[Schw97] M. Schwaiger Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Dez. 1997 |
| | Spezifikation zusätzlicher Leistungsmerkmale für ein Telefonvermittlungssystem |
|
[Mic97] T. Michels Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juli 1997 |
| | Spezifikationsvarianten des Alternating-Bit Protokolls in SDL/SDT |
|
[La97] M. Lang Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Jan. 1997 |
| | Variantenbildung in SDL-92 |
|
[Kue97] A. Kühlmeyer Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1997 |
| | Verteilung einer Simulation für das Inverse Pendel |
|
[Gro97] T. Groß Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juni 1997 |
| Exhibit |
| | Advanced Software Reuse through Formal Methods |
|
[GoGeRo97] R. Gotzhein, B. Geppert, F. Rößler Technologietransferkongress "IKT-Anwendungen auf Netzen" im Rahmen des III. Mannheimer Unternehmerforums, 6./7. Oktober 1997 |
| | Superordinated page: Publications |
| | Feedback |
| Go to the contact details of the person in charge of this page |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |