Jürjens, Jan
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers.ACSAC. 2005 S. 138 - 149
Jürjens, Jan; Yampolskiy, Mark
Code security analysis with assertionsDavid F. Redmiles;Tom Ellman;Andrea Zisman (Hrsg). Proceeding of the 20th IEEE/ACM International Conference on Automated Software Engineering ASE 2005: Long Beach, California, USA; November 7-11, 2005. New York, NY: ACM Association for Computing Machinery 2005 S. 392 - 395
Jürjens, Jan; Yampolskiy, Mark
Code security analysis with assertions.ASE. 2005 S. 392 - 395
Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and TestsFerhat Khendek;Rachida Dssouli (Hrsg). Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005. Proceedings. Berlin: Springer 2005 S. 40 - 55 (Lecture Notes in Computer Science)
Wagner, Stefan; Jürjens, Jan; Koller, Claudia et al.
Comparing Bug Finding Tools with Reviews and Tests.TestCom. 2005 S. 40 - 55
Jürjens, Jan; Wagner, Stefan
Component-Based Development of Dependable Systems with UMLColin Atkinson;Christian Bunse;Hans-Gerhard Gross;Christian Peper (Hrsg). Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends. Berlin: Springer 2005 S. 320 - 344
Jürjens, Jan; Wagner, Stefan
Component-Based Development of Dependable Systems with UML.Component-Based Software Development for Embedded Systems. 2005 S. 320 - 344
Houmb, Siv Hilde; Georg, Geri; France, Robert B. et al.
Cost-Benefit Trade-Off Analysis using BBN for Aspect- Oriented Risk-Driven DevelopmentCarlo Ghezzi;Yuxi Fu;Shaoying Liu;Jim Woodcock (Hrsg). Proceeding of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2005: 16-20 June 2005; Shanghai, China. Los Alamitos, CA: IEEE Computer Society 2005 S. 195 - 204
Hilde Houmb, Siv; Georg, Geri; B. France, Robert et al.
Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development.ICECCS. 2005 S. 195 - 204
Houmb, S. H.; Jürjens, Jan; France, R.
Critical Systems Development Using Modeling Languages2005 (TU München Technical Report)