Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Jürjens, Jan
Playing the Devil’s Advocate: Testing Real-Time Systems - Invited talkConference on Software Testing (ICSTEST-E 2004). Bilbao (Spain). 2004 S. 1 - 11
Obst, Oliver
Posters - Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments. A Response to a Technical ChallengeLecture notes in computer science. Bd. 3020. Berlin: Springer 2004 S. 518 - 525
Jürjens, Jan; Kuhn, Thomas A.
Practical Security Analysis of C Programs Using Automated Theorem Proving2004
Sofronie-Stokkermans, Viorica
Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of AlgebrasAli Sheikholeslami; P. Glenn Gulak (Hrsg). Proceedings of the 34th International Symposium on Multiple-Valued Logic ISMVL 2004; May 19 – 22, 2004; University of Toronto, Toronto, Canada. Los Alamitos, CA: IEEE Computer Society 2004 S. 32 - 37
Jürjens, Jan; Houmb, Siv Hilde
Risk-Driven Development of Security-Critical Systems Using UMLsecRicardo Reis (Hrsg). Information Technology: Selected Tutorials; IFIP 18th World Computer Congress Tutorials; 22–27 August 2004; Toulouse, France. Boston: Springer 2004 S. 21 - 53
Frey, Hannes
Scalable geographic routing algorithms for wireless ad-hoc networksIEEE Network. Bd. 18. H. 4. New York, NY: IEEE Computer Society 2004 S. 18 - 22