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. |