FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan
Code Security Analysis of a Biometric Authentication System Using Automated Theorem ProversDan Thomsen; Christoph Schuba; Charles Payne (Hrsg). Proceedings of the 21st Annual Computer Security Applications Conference ACSAC 2005: 5-9 December 2005; Tucson, Arizona. Los Alamitos, CA: IEEE Computer Society 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
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
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
Schmidt, Clemens; Tavernier, Ludwig; Dickscheid, Timo et al.
Computer Analysis of OrnamentsVito Cappellini; James Hemsley (Hrsg). EVA 2005 Florence: Conference, Workshops, Meetings, Training & Exhibition, 14 - 18 March 2005. Bologna: Pitagora Editrice 2005 S. 129 - 134
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
Houmb, S. H.; Jürjens, Jan; France, R.
Critical Systems Development Using Modeling Languages2005 (TU München Technical Report)
Jürjens, Jan; Fernández, Eduardo B.; France, Robert B. et al.
Critical Systems Development Using Modeling Languages (CSDUML’04): Current Development and Future Challenges (Report on the Third International Workshop)Nuno Jardim Nunes; Bran Selic; Alberto Rodrigues da Silva; Toval Ambrosio (Hrsg). UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Berlin: Springer 2005 S. 76 - 84
Fislake, Martin
Das Museum richtig heizen. Ein Planspiel als Informations- und EntscheidungstrainingUnterricht Arbeit + Technik. Bd. 6. H. 25. Seelze: Friedrich 2005 S. 22 - 46
Fislake, Martin; Bogdol, Blandyna
Das Robonauten-CampArmin B. Cremers; Rainer Manthey; Peter Martini; Volker Steinhage (Hrsg). INFORMATIK 2005 - Informatik LIVE!, Band 1: Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI); September 19. - 22., 2005; Bonn. Bonn: Gesellschaft für Informatik 2005 S. 183 - 187