Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Tools and Techniques for Model-based Testing with UML12th Software & Systems Quality Conferences. Congress Center Düsseldorf, Germany. 2007 S. 1 - 43
Jürjens, Jan; Yu, Yijun
Tools for Model-based Security Engineering: Models vs. CodeKurt Stirewalt; Alexander Egyed; Bernd Fischer (Hrsg). Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering ASE 2007: November 5 - 9, 2007; Atlanta, Georgia, USA. New York, NY: ACM Association for Computing Machinery 2007 S. 545 - 546
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