![[Logo der AG Vernetzte Systeme]](/images/vs.gif)
Jahr 2007
| Konferenzbeiträge |
 | 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 |
| Technische Berichte |
| | 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 |
| Projektarbeiten |
| | 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 |
| Bachelorarbeiten |
| | 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 |
| | Übergeordnete Seite: Publikationen |
| | Feedback |
| Zu den Kontaktdetails des Verantwortlichen dieser Seite |
| | English  |
| This page in english. Diese Seite auf englisch. |