Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Hasenbrink, Guido; Kolácná, Lucie; Ludwig, Jost et al.
Ring test assessment of the mKir2.1 growth based assay in Saccharomyces cerevisiae using parametric models and model-free fitsApplied Microbiology and Biotechnology. Bd. 73. H. 5. Berlin: Springer 2007 S. 1212 - 1221
Jürjens, Jan
Security Information Networks: A Two-day tutorial - With Enkryptix Security Consulting, Mumbai and New Delhi IndiaTwo-day tutorial, each in Mumbai and New Delhi. 2007
Hopfgartner, Frank; Urban, Jana; Villa, Robert et al.
Simulated Testing of an Adaptive Multimedia Information Retrieval SystemJenny Benois-Pineau (Hrsg). Proceedings of the Fifth International Workshop on Content-Based Multimedia Indexing CBMI 2007; Bordeaux, France; June 25 - 27, 2007. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2007 S. 328 - 335
Ratiu, Daniel; Jürjens, Jan
The Reality of LibrariesRené Krikhaar; Chris Verhoef; Giuseppe Antonia Di Lucca (Hrsg). Proceedings of the 11th European Conference on Software Maintenance and Reengineering CSMR 2007: Software Evolution in Complex Software Intensive Systems; 21-23 March 2007; Amsterdam, the Netherlands. Los Alamitos, CA: IEEE Computer Society 2007 S. 307 - 318
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