FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan
Logic for SecuritySpring School Logic in Computer Science. Venezia. 2004
Balcerak, Elisabeth; Schikora, Jacek; Wojke, Philipp et al.
Maneuver-based assistance for backing up articulated vehiclesDanwei Wang (Hrsg). Proceedings of the IEEE Conference on Robotics, Automation and Mechatronics RAM 2004: 1 - 3 December, 2004; Singapore; Volume 2. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2004 S. 1066 - 1071
Steinmetz, Ralf; Mauthe, Andreas
Message from the General Programme Chair: 30th EUROMICRO ConferenceRalf Steinmetz; Andreas Mauthe; Ivica Crnkovic; Magnus Larsson; Paul Müller; Jens Schmitt; Stefan Biffl; Paul Grünbacher (Hrsg). Proceedings of the 30th EUROMICRO Conference EUROMICRO 2004: Rennes, France; 31 August - 3 September 2004. Los Alamitos, CA: IEEE Computer Society 2004 S. xi
Hampe, J. Felix; Schneider, Frank; Schubert, Petra
Mobile Community Support: A Mobile Reservation System for the Leisure IndustryYao-Hua Tan (Hrsg). Proceedings of the 17th Bled eCommerce Conference 2004; eGlobal: June 21-23, 2004; Bled, Slovenia. Atlanta, GA: Association for Information Systems/AIS eLibrary 2004 S. 1-16
Jürjens, Jan
Model-based Security Engineering with UMLFOSAD 2004. Bertinoro. 2004
Jürjens, Jan
Model-based Security with UMLsec - Web-castUMLchina. 2004
Jürjens, Jan
Model-driven engineering of dependable critical systems with UML: A TutorialInternational Symposium on Software Reliability Engineering (ISSRE 2004). Saint-Malo, Bretagne. 2004
Jürjens, Jan
Modell-basierte Sicherheit: Sicheres Konfigurations- und Änderungsmanagement - Invited talkSystems 2004 (Software Development & Architecture Forum). München. 2004
Schmidt, Robert; Jürjens, Jan
Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches ZugangskontrollsystemWolfgang Hesse; Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 309 - 310
Jürjens, Jan
Modellierung 2004: KurzbeiträgeWolfgang Hesse;Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 279