Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Frey, Hannes; Ingelrest, François; Simplot-Ryl, David
Localized Minimum Spanning Tree Based Multicast Routing with Energy-Efficient Guaranteed Delivery in Ad Hoc and Sensor NetworksRamesh Jain; Mohan Kumar (Hrsg). IEEE International Symposium on World of Wireless, Mobile and Multimedia Networks WoWMoM 2008; 23.-26. June, 2008; Newport Beach, CA, USA. Piscataway, NJ: IEEE Computer Society 2008 S. 1 - 8
Li, Xu; Frey, Hannes; Santoro, Nicola et al.
Localized Sensor Self-Deployment with Coverage GuaranteeACM SIGMOBILE Mobile Computing and Communications Review. Bd. 12. H. 2. New York, NY: ACM Association for Computing Machinery 2008 S. 50 - 52
Frey, Hannes; Simplot-Ryl, David
Localized Topology Control Algorithms for Ad Hoc and Sensor NetworksAmiya Nayak; Ivan Stojmenovic (Hrsg). Handbook of Applied Algorithms: Solving Scientific, Engineering, and Practical Problems. Hoboken, NJ: Wiley-Interscience 2008 S. 439 - 464
Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann et al.
LogAnswer - A Deduction-Based Question Answering System (System Description)Alessandro Armando; Peter Baumgartner; Gilles Dowek (Hrsg). Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceeding. Berlin: Springer 2008 S. 139 - 146
Frey, Hannes; Ingelrest, Francois
MFACE: A Multicast Backbone-Assisted Face Traversal Algorithm for Arbitrary Planar Ad Hoc and Sensor Network TopologiesKami S. Makki; Xiang-Yang Li; Niki Pissinou; Shamila Makki; Masoumeh Karimi; Kia Makki (Hrsg). Sensor and Ad Hoc Networks: Theoretical and Algorithmic Aspects. Boston, MA: Springer 2008 S. 161 - 180
Jürjens, Jan; Reiß, Daniel; Trachtenherz, David
Model-based Quality Assurance of Automotive SoftwareKrzysztof Czarnecki; Ileana Ober; Jean-Michel Bruel; Axel Uhl; Markus Völter (Hrsg). Model Driven Engineering Languages and Systems: 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Berlin: Springer 2008 S. 858 - 873
Jürjens, Jan
Model-based Run-time Checking of Security Permissions using Guarded ObjectsMartin Leucker (Hrsg). Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Berlin: Springer 2008 S. 36 - 50
Jürjens, Jan; Schreck, Jörg; Bartmann, Peter
Model-based Security Analysis for Mobile CommunicationsWilhelm Schäfer; Matthew B. Dwyer; Volker Gruhn (Hrsg). Proceeding of the 30th International Conference on Software Engineering ICSE 2008: May 10-18, 2008; Leipzig, Germany. New York, NY: ACM Association for Computing Machinery 2008 S. 683 - 692
Jürjens, Jan; Rumm, R.
Model-based Security Analysis of the German Health Card ArchitectureMethods of Information in Medicine. Bd. 47. H. 5. Stuttgart: Thieme 2008 S. 409 - 416
Jürjens, Jan
Model-based Security Testing Using UMLsec: A Case StudyElectronic Notes in Theoretical Computer Science. Bd. 220. H. 1. Amsterdam: Elsevier 2008 S. 93 - 104