Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Buda, Lidiya; Grünbauer, Johannes; Jürjens, Jan et al.
(Un)-Sicherheit bremst WebservicesInformation week : das Praxismagazin für CIOs und IT-Manager. Bd. 4. H. 5-6. Poing: CMP-WEKA 2004 S. keine Angaben
Jürjens, Jan; Fernandez, Eduardo B.; France, Robert et al.
3rd International Workshop on Critical Systems Development with UML: CSDUML 2004; 12. October; Lisbon, Portugal; ProceedingMünchen: Technische Universität München, Institut für Informatik 2004
Jürjens, Jan; Shabalin, Pasha
A Foundation for Tool-Supported Critical Systems Development with UMLVaclav Dvorak; Miroslav Sveda (Hrsg). Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based System ECBS 2004: 24-27 May 2004; Brno, Czech Republic. Los Alamitos, CA: IEEE Computer Society 2004 S. 398 - 405
Frey, Hannes; Lehnert, Johannes K.; Görgen, Daniel et al.
A generic background dissemination service for mobile ad-hoc networksUniversität Trier, Mathematik/Informatik, Forschungsbericht. Trier: Universität Trier, Fachbereich IV Mathematik, Informatik 2004 S. 9
Frey, Hannes; Görgen, Daniel; Lehnert, Johannes K. et al.
A Java-Based Uniform Workbench for Simulating and Executing Distributed Mobile ApplicationsNicolas Guelfi; Egidio Astesiano; Gianna Reggio (Hrsg). Scientific Engineering of Distributed Java Applications: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers. Berlin: Springer 2004 S. 116 - 127
Lehnert, Johannes K.; Görgen, Daniel; Frey, Hannes et al.
A Scalable Workbench for Implementing and Evaluating Distributed Applications in Mobile Ad hoc Networks2004 S. 1 - 7
Frey, Hannes; Görgen, Daniel; Lehnert, Johannes K. et al.
Auctions in mobile multihop ad-hoc networks following the marketplace communication patternQusay H. Mahmoud; Hans Weghorn (Hrsg). Proceedings of the 3rd International Workshop on Wireless Information Systems WIS in conjunction with the the Sixth International Conference on Enterprise Information Systems ICEIS 2004; April 14-17, 2004; Porto, Portugal. Setúbal: SciTePress 2004 S. 161 - 169
Jürjens, Jan; Kuhn, Thomas A.
Automated Theorem Proving for Cryptographic Protocols with Automatic Attack GenerationMünchen: Technische Universität München, Institut für Informatik 2004
Jürjens, Jan; Shabalin, Pasha
Automated Verification of UMLsec Models for Security RequirementsThomas Baar; Alfred Strohmeier; Ana Moreira; Stephen J. Mellor (Hrsg). «UML» 2004 - The Unified Modeling Language. Modeling Languages and Applications: 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Berlin: Springer 2004 S. 365 - 379
Jürjens, Jan; Buda, Lidiya
Berechtigungsvergabe in SAP Systemen und ihre automatische ÜberprüfungDatenschutz und Datensicherheit. Bd. 28. H. 8. Wiesbaden: Vieweg 2004 S. 476 - 479