Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Yu, Yijun; Jürjens, Jan; Schreck, Jörg
Tools for Traceability in Secure Software DevelopmentPaola Inverardi; Andrew Ireland; Willem Visser (Hrsg). Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering ASE 2008: 15-19 September, 2008; L’Aquila , Italy. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2008 S. 503 - 504
Jürjens, Jan; Yu, Yijun; Bauer, Andreas
Tools for Traceable Security VerificationSamson Abramsky; Erol Gelenbe; Vladimiro Sassone (Hrsg). Visions of Computer Science - BCS Research Conference: Proceedings of Visions of Computer Science BCS Research Conference; Imperial College, London, UK; 22–24 September 2008. Swindon: British Computer Society 2008 S. 367 - 378
Ratiu, Daniel; Feilkas, Martin; Deissenböck, Florian et al.
Towards a Repository of Common Programming Technologies KnowledgeInternational Workshop on Semantic Technologies in System Maintenance (STSM 2008). 2008 S. 1 - 24
Jürjens, Jan
Towards Verified Crypto-Protocol Implementations: The Java Secure Sockets ExtensionABZ 2008 VSRnet Workshop. 2008 S. 1 - 31
Yu, Yijun; Jürjens, Jan; Mylopoulos, John
Traceability for the Maintenance of Secure SoftwareFuqing Yang; Scott Tilley; Hong Mei; Kenny Wong (Hrsg). Proceedings of the 2008 IEEE International Conference on Software Maintenance ICSM 2008: September 28 - October 4, 2008 Beijing, China. Los Alamitos, CA: IEEE Computer Society 2008 S. 297 - 306
Vallet, David; Hopfgartner, Frank; Jose, Joemon M.
Use of Implicit Graph for Recommending Relevant Videos: A Simulated EvaluationMohand Boughanem;Catherine Berrut;Josiane Mothe;Chantal Soule-Dupuy (Hrsg). Advances in Information Retrieval: 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009, Proceedings. Berlin: Springer 2008 S. 199 - 210
Jürjens, Jan
Using Interface Specifications for Verifying Crypto- protocol ImplementationsFoundations of Interface Technologies 2008 (FIT‘08 @ ETAPS 2008). 2008
Favre, Jean-Marie; Gaševic, Dragan; Lämmel, Ralf et al.
3rd International Workshop on Metamodels, Schemas, Grammars and OntologiesThomas Kühne (Hrsg). Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers. Berlin: Springer 2007 S. 52 - 55
Hopfgartner, Frank; Jose, Joemon M.
A News Video Retrieval Framework for the Study of Implicit Relevance FeedbackPhivos Mylonas;Manolis Wallace;Marios Angelides (Hrsg). Proceeding of the 2nd International Workshop on Semantic Media Adaptation and Personalization SMAP 2007: London, United Kingdom; 17-18 December, 2007. Los Alamitos, CA: IEEE Computer Society 2007 S. 233 - 236
Urban, Jana; Hopfgartner, Frank; Villa, Robert et al.
Abstract Booklet of the Second Summer School on Multimedia Semantics (SSMS’07); 15-20 July 2007 at the University of Glasgow, Scotland, UKGlasgow: University of Glasgow 2007