FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Mauthe, Andreas; Steinmetz, Ralf; Klöckner, Konrad
Message from Track Chairs: Multimedia and Telecommunications TrackGerhard Chroust; Christian Hofer; Ivica Crnkovic; Ralf Steinmetz; Andreas Mauthe; Paul Gruenbacher; Stefan Biffl (Hrsg). Proceedings of the 29th EUROMICRO Conference 2003 - New Waves in System Architecture: 3-5 September 2003, Belek-Antalya, Turkey. Los Alamitos, CA: IEEE Computer Society 2003 S. 5 - 6
Jürjens, Jan
Methoden der Entwicklung sicherer Systeme - Half-day tutorialGI Teiltagung Sicherheit- Schutz und Zuverlässigkeit. Frankfurt. 2003
Fislake, Martin
Mobile RoboterUnterricht Arbeit + Technik. Bd. 4. H. 20. Seelze: Friedrich 2003
Hampe, Felix; Hampe, J. - F.; Schoenert, S.
Mobile Support for Communities of Interest in the Leisure Industry: A Concept and Prototype Development2003
Kuhn, Thomas A.; Jürjens, Jan
Mobile Web-based Applications with UML: Concepts and Tools: A Half-day tutorialInternational Conference WWW/Internet 2003. 2003
Zobel, Matthias; Denzler, Joachim; Heigl, Benno et al.
MOBSY: Integration of Vision and Dialogue in Service RobotsMachine Vision and Applications. Bd. 14. H. 1. Berlin: Springer 2003 S. 26 - 34
Baumgartner, Peter; Furbach, Ulrich; Thomas, Bernd
Model Based Deduction for Knowledge RepresentationBertram Fronhöfer; Steffen Hölldobler (Hrsg). 17. Workshop Logische Programmierung: Technische Universität Dresden, 11. - 13. Dezember 2002. Dresden: Technische Universität Dresden Fakultät Informatik 2003 S. 156 - 166
Jürjens, Jan
Model-based Security with UMLsec - Invited talkUML Forum Tokyo. 2003
Jürjens, Jan
Model-based Testing of Embedded Systems with UML: A Half-day tutorialConference on Software Testing (ICSTEST-E). Bilbao (Spain). 2003
Grünbauer, Johannes; Hollmann, Helia; Jürjens, Jan et al.
Modelling and Verification of Layered Security Protocols: A Bank ApplicationStuart Anderson; Massimo Felici; Bev Littlewood (Hrsg). Computer Safety, Reliability, and Security: 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003. Proceedings. Berlin: Springer 2003 S. 116 - 129