Year 2007
Proceedings |
AmICom - Middleware Support for Ambient Communication | |
[KoFl07] J. Koch, I. Fliege 2nd Workshop on Requirements and Solutions for Pervasive Software Infrastructures (RSPSI) at the 9th International Conference on Ubiquitous Computing (UbiComp) |
An Experimental Evaluation of Black Burst Transmissions | |
[KuIr07] T. Kuhn, J. Irigon de Irigon 5th ACM International Workshop on Mobility Management and Wireless Access (MobiWac'2008), Chania, Crete Island, Greece, 2007 |
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications | |
[FlGo07] I. Fliege, R. Gotzhein in: Emmanuel Gaudin, Elie Najm, Rick Reed (Eds.), SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, LNCS 4745, Springer, 2007, pp. 150-165 |
Formalization of Network Quality-of-Service Requirements | |
[WeGo07] 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 |
MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks | |
[BeGoKu07] P. Becker, R. Gotzhein, T. Kuhn Proceedings of 7th Conference on Hybrid Intelligent Systems (HIS), Kaiserslautern, Germany, 2007 |
Micro Protocol Based Design of Routing Protocols for Ad-hoc Networks | |
[FlGeGo07] I. Fliege, A. Geraldy, R. Gotzhein Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco, 2007, pp. 47-58 |
Model-driven by SDL - Improving the Quality of Networked Systems Development (Invited Paper) | |
[Go07] R. Gotzhein Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco, 2007, pp. 31-46 |
SDL Profiles - Formal Semantics and Tool Support | |
[GrGo07] R. Grammes, R. Gotzhein in: A. Lopes, M. Dwyer (Eds.), 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007),Braga, Portugal, LNCS 4422, Springer, 2007, pp. 200-214 |
Simulator Integration for Validation of Vehicular Networks and Applications | |
[LaVaKu07] P. Laborczi, L. Vajda, T. Kuhn 7th European Conference of Young Research and Science Workers in Transport and Telecommunications (Transcom), Budapest, Hungary, 2007 |
Specifying Input Port Bounds in SDL | |
[GoGrKu07] R. Gotzhein, R. Grammes, T. Kuhn in: E. Gaudin, E. Najm, R. Reed (Eds.), SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, LNCS 4745, Springer, 2007. pp. 101-116 |
Technical reports |
AmICom - Formally specified service platform for ambient intelligence networks | |
[FlKo07] I. Fliege, J. Koch Technical Report, D2.6.01, Fraunhofer IESE, June 12, 2007 |
Documentation of micro protocols | |
[Fl07] I. Fliege Technical Report 358/07, Department of Computer Science, University of Kaiserslautern, 2007 |
Energieoptimiertes Scheduling für Mikrocontroller mit SDL | |
[KrGe07] M. Krämer, A. Geraldy Fachgespräch Systemsoftware und Energiebewusste Systeme, GI/ITG KuVS, 2007, ISSN 1432-7864 |
Formalization of Network Quality-of-Service Requirements | |
[WeGoSc07a] C. Webel, R. Gotzhein, D. Schneider Technical Report 356/07, Department of Computer Sciences, University of Kaiserslautern, Germany, 2007 |
Mapping of formal Network Quality-of-Service Requirements | |
[WeGoSc07b] C. Webel, R. Gotzhein, D. Schneider Technical Report 357/07, Department of Computer Sciences, University of Kaiserslautern, Germany, 2007 |
NQSL - A Specification Language for Network Quality of Service | |
[We07] C. Webel Technical Report 368/07, Department of Computer Sciences, University of Kaiserslautern, Germany, 2007 |
Dissertation |
Syntactic and Semantic Modularisation of Modelling Languages | |
[Gr07] R. Grammes Dissertation, Fachbereich Informatik, Technische Universität Kaiserslautern, 2007 |
Project thesis |
Clustering in Mobile Ad Hoc Networks | |
[He07] C. Heidinger Projektarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 2007 |
Entwurf und Spezifikation eines Reservierungsprotokolls basierend auf MacZ | |
[Xi07] J. Xiao Projektarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 2007 |
Grafische Spezifikation von Qualitätsattributen | |
[Ni07] J. Nicolay Projektarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 2007 |
Integration des Imote2 in das SDL Environment Framework (SEnF) | |
[Sch07] T. Schmelzer Fächerübergreifende Projektarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 2007 |
Bachelor thesis |
An Evaluation of the Simulation Accuracy of ns-2 with respect to Black Burst Transmissions | |
[Ir07] J. Irigon de Irigon Bachelorarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 2007 |
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. |