Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Wimmel, Guido; Jürjens, Jan
Specification-based Test Generation for Security-Critical Systems Using MutationsChris George; Huaikou Miao (Hrsg). Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21. - 25., 2002 Proceedings. Berlin: Springer 2002 S. 471 - 482
Murray, J.; Castelfranchi, C.; Johnson, W. L.
Specifying Agents with UML in Robotic SoccerNew York: ACM 2002 S. 51 - 52
Murray, Jan; Obst, Oliver; Stolzenburg, Frieder
Team Descriptions - Simulation League - RoboLog Koblenz 2001Lecture notes in computer science. Bd. 2377. Berlin: Springer 2002 S. 526 - 530
Obst, Oliver
Technical Papers - Full Papers - Specifying Rational Agents with Statecharts and Utility FunctionsLecture notes in computer science. Bd. 2377. Berlin: Springer 2002 S. 173 - 182
Wimmel, Guido; Popp, Gerhard; Jürjens, Jan
Towards Using Security Patterns in Model-based System Development7th European Conference on Pattern Languages of Programs (EuroPLoP 2002). Kloster Irsee. 2002
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