Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan; Shabalin, Pasha
Tools for Secure Systems Development with UMLInternational Journal on Software Tools for Technology Transfer. Bd. 9. H. 5-6. Berlin: Springer 2007 S. 527 - 544
Hopfgartner, Frank
Understanding Video Retrieval: Approaches to Bridge the Semantic Gap, Evaluation Strategies and State-of-the-Art SystemsSaarbrücken: VDM 2007
Fernandez, Eduardo B.; Yoshioka, Nobukazu; Washizaki, Hironori et al.
Using security patterns to build secure systems1st International Workshop on Software Patterns and Quality (SPAQu’07). 2007
Faber, Johannes; Jacobs, Swen; Sofronie-Stokkermans, Viorica
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing ParametersJim Davies; Jeremy Gibbons (Hrsg). Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings. Berlin: Springer 2007 S. 233 - 252
Gollmann, Dieter; Jürjens, Jan
6th IFIP WG 1.7 Workshop on Issues in the Theory of Security WITS‘06 part of ETAPS 2006: March 25-26, 2006; Vienna, AustriaWien: Vienna University of Technology 2006
Fox, Jorge; Jürjens, Jan
A Framework for Analyzing Composition of Security AspectsEd Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel Wieringa (Hrsg). Methods for Modelling Software Systems MMOSS - Dagstuhl Seminar Proceedings 06351: 27.08. - 01.09.2006; Schloß Dagstuhl. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2006 S. 1 - 25
Hopfgartner, Frank; Villa, Robert; Urban, Jana
Adaptive Video RetrievalHideo Joho;Jana Urban;Robert Villa;Joemon M. Jose;C.J. van Rijsbergen (Hrsg). Abstract Booklet - First International Workshop on Adaptive Information Retrieval AIR 2006: University of Glasgow; Scotland, UK; 14th October 2006. Glasgow: University of Glasgow 2006 S. 28 - 29
Rateitschak, Katja; Kschischo, Maik
Bifurcation threshold in the MAPK cascade is independent of the Hill coefficientThorsten Pöschel; Horst Malchow; Lutz Schimansky-Geier (Hrsg). Irreversible Prozesse und Selbstorganisation. Berlin: Logos 2006 S. 167 - 179
Jürjens, Jan
Building Biometric Authentication Systems: Pitfalls and How to Avoid ThemAnnual Computer Security Applications Conference (ACSAC 2006). 2006
Cordy, James R.; Lämmel, Ralf; Winter, Andreas
Dagstuhl Seminar “Transformation techniques in software engineering” (TrafoDagstuhl 2005) - Executive summaryJames R. Cordy; Ralf Lämmel; Andreas Winter (Hrsg). Transformation Techniques in Software Engineering - Dagstuhl Seminar Proceedings 05161: 17.04. - 22.04.2005; Schloß Dagstuhl. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2006 S. 1 - 24