Publications

2009


 [We09] A Formal Approach to the Development of Network Quality-of-Service
C. Webel,
Dissertation

2008


 [WeGoNi08] NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements
C. Webel, R. Gotzhein, J. Nicolay,
Proceedings of the 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2008), Tokyo, Japan, Lecture Notes in Computer Science (LNCS) 5048, 2008

2007


 [WeGo07] Formalization of Network Quality-of-Service Requirements
C. Webel, R. Gotzhein,
in: J. Derrick, J. Vain (Eds.), Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, LNCS 4574, Springer, 2007, pp. 309-324

 [We07] NQSL - A Specification Language for Network Quality of Service
C. Webel,
Technical Report 368/07, Department of Computer Sciences, University of Kaiserslautern, Germany, 2007

 [WeGoSc07a] Formalization of Network Quality-of-Service Requirements
C. Webel, R. Gotzhein, D. Schneider,
Technical Report 356/07, Department of Computer Sciences, University of Kaiserslautern, Germany, 2007

 [WeGoSc07b] Mapping of formal Network Quality-of-Service Requirements
C. Webel, R. Gotzhein, D. Schneider,
Technical Report 357/07, Department of Computer Sciences, University of Kaiserslautern, Germany, 2007

2006


 [FlGeGoJaKuWe06] An Ambient Intelligence System to Assist Team Training and Competition in Cycling
I. Fliege, A. Geraldy, R. Gotzhein, T. Jaitner, T. Kuhn, C. Webel,
in: E. F. Moritz, S. Haake, (Eds.), The Engineering of Sport 6, Vol. I: Developements in Sports, Springer Science and Business Media, New York, 2006, pp. 103-108

 [KuGoWe06] Model-driven Development with SDL - Process, Tools, and Experiences
T. Kuhn, R. Gotzhein, C. Webel,
9th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2006), Genua, Italy, 2006

 [WeFlGeGoKrKu06] Cross-Layer Integration in Ad-hoc Networks with Enhanced Best-effort Quality-of-Service Guarantees
C. Webel, I. Fliege, A. Geraldy, R. Gotzhein, M. Krämer, T. Kuhn,
Proceedings of the World Telecommunications Congress, Budapest, Hungary, 2006.

 [ScWe06] Assisted Video Telephony and Emergency Call Service - Requirements and Refinements
D. Schneider, C. Webel,
BelAmI Report No. 002.06/E and IESE-Report No. 026.06/E, February 2006.

 [ScBeWe06] QoS Specification Technique Requirements in the Context of AmI Systems
D. Schneider, M. Becker, C. Webel,
BelAmI Report No. 003.06/E and IESE-Report No. 069.06/E, June 2006.

 [ScAnBaBeWe06] QoS Specification in Ambient Intelligence Systems
D. Schneider, M. Anastasopoulos, J. Bayer, M. Becker, C. Webel,
to be published in:
Proceedings of ICPS06/SEPS Workshop, Lyon, France, 2006

2005


 [FlGeGoKuWe05b] Developing Safety-Critical Real-Time Systems with SDL Design Patterns and Components
I. Fliege, A. Geraldy, R. Gotzhein, T. Kuhn, C. Webel,
Computer Networks (Elsevier), Vol. 49, No. 5, Dec 2005, pp. 689-706

 [FlGe+05] Konzept und Struktur des SDL Environment Frameworks (SEnF)
I. Fliege, A. Geraldy, S. Jung, T. Kuhn, C. Webel, C. Weber,
Technischer Bericht 341/05, Fachbereich Informatik, TU Kaiserslautern, 2005

 [FlGeGoKuWe05] Model-Driven Engineering of Ambient Intelligence Systems with SDL: Design, Implementation, and Performance Simulation
I. Fliege, A. Geraldy, R. Gotzhein, T. Kuhn, C. Webel,
Technical Report 342/05, Department of Computer Sciences, University of Kaiserslautern, Germany, 2005

2004


 [We04] Entwicklung und Integration von QoS-Mikroprotokollen zur Steuerung eines Fluggerätes über WLAN
C. Webel,
Diplomarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 2004

 [WeFlGe04] Ein maßgeschneidertes Kommunikationssystem für eine mobile Applikation mit Dienstgüteunterstützung
C. Webel, I. Fliege, A. Geraldy,
Technischer Bericht 336/04, Fachbereich Informatik, TU Kaiserslautern, Kaiserslautern, 2004

 [WeFlGeGo04] Developing Reliable Systems with SDL Design Patterns and Design Components
C. Webel, I. Fliege, A. Geraldy, R. Gotzhein,
Workshop on Integrated Reliability with Telecommunications and UML Languages, (Witul 2004), Rennes, France, 2004

 [WeFl04] SDL Design Patterns and Components - Watchdog and Heartbeat
C. Webel, I. Fliege,
Technical Report 335/04, Department of Computer Science, University of Kaiserslautern, Kaiserslautern, 2004




 Superordinated page: Dr. Christian Webel

 Feedback
Go to the contact details of the person in charge of this page

 Deutsch
This page in german. Diese Seite auf deutsch.