Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Frey, Hannes; Lehnert, Johannes K.; Sturm, Peter
UbiBay: An auction system for mobile multihop ad-hoc networks2002
Jürjens, Jan
UMLsec - Presenting the Profile: A Half-day tutorial6th Annual Workshop on Distributed Objects and Components Security (DOCsec 2002). Baltimore, Maryland. 2002
Jürjens, Jan
UMLsec: A Design Language for Security-critical Systems (Invited Talk)2002
Jürjens, Jan
UMLsec: Extending UML for Secure Systems DevelopmentJean-Marc Jézéquel; Heinrich Hussmann; Stephen Cook (Hrsg). ≪UML≫ 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings. Berlin: Springer 2002 S. 412 - 425
Jürjens, Jan
Using UMLsec and Goal-Trees for Secure Systems DevelopmentGary B. Lamont; Hisham Haddad; George Papadopoulos; Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1026 - 1030
Stolzenburg, Frieder; Obst, Oliver; Murray, Jan
Vision and Spatial Reasoning - Qualitative Velocity and Ball InterceptionLecture notes in computer science. Bd. 2479. Berlin: Springer 2002 S. 283 - 298
Cengarle, Maria Victoria; Fernandez, Eduardo B.; Jürjens, Jan et al.
Workshop on Critical Systems Development with UML: CSDUML 2002; September 30, 2002 DresdenMünchen: Technische Universität München, Institut für Informatik 2002 (TU München Technical Report TUM-I0208)
Jürjens, Jan
Abstracting from Failure ProbabilitiesAntti Valmari; Alex Yakovlev (Hrsg). Proceedings of the Second International Conference on Application of Concurrency to System Design ACSD 2001: 25 - 29 June 2001; Newcastle upon Tyne, UK. Los Alamitos, CA: IEEE Computer Society 2001 S. 53 - 64
Ebert, Jürgen; Lange, C.
Applying GUPRO to GEOS. A Case Study2001 S. 56
Ebert, Jürgen; Kullbach, B.
Command Line GReQL (CLG). Benutzerhandbuch. CLG-Version 1.02001 S. 14