Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 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
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
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
Jürjens, Jan
Building Biometric Authentication Systems: Pitfalls and How to Avoid ThemAnnual Computer Security Applications Conference (ACSAC 2006). 2006
Jürjens, Jan
Foundations for Designing Secure ArchitecturesElectronic Notes in Theoretical Computer Science. Bd. 142. H. 3. Amsterdam: Elsevier 2006 S. 31 - 46
Jürjens, Jan
Model-Based Security Engineering for RealJayadev Misra; Tobias Nipkow; Emil Sekerinski (Hrsg). FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings. Berlin: Springer 2006 S. 600 - 606
Jürjens, Jan
Model-Based Security Engineering with UML: Introducing Security AspectsFrank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever (Hrsg). Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Berlin: Springer 2006 S. 64 - 87