Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret et al.
Living Book - Deduction, Slicing, and InteractionJournal of Automated Reasoning. Bd. 32. H. 3. Dordrecht: Springer 2004 S. 259 - 286
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
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
Grünbauer, Johannes; Jürjens, Jan; Wimmel, Guido
Modelling Secure IT Systems - A SurveyWolfgang Hesse; Bernhard Rumpe (Hrsg). Modellierung 2004: Proceedings zur Tagung; 23-26.03.2004 in Marburg, Germany. Bonn: Gesellschaft für Informatik 2004 S. 307 - 308
Ganzinger, Harald; Sofronie-Stokkermans, Viorica; Waldmann, Uwe
Modular Proof Systems for Partial Functions with Weak EqualityDavid Basin; Michaël Rusinowitch (Hrsg). Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings. Berlin: Springer 2004 S. 168 - 182