Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Brust, Matthias R.; Frey, Hannes; Rothkugel, Steffen
Adaptive multi-hop clustering in mobile networksPeter H. J. Chong; Adrian David Cheok (Hrsg). Proceedings of the 4th International Conference on Mobile Technology, Applications and Systems Mobility 2007 Incorporating The 1st International Symposium on Computer Human Interaction in Mobile Technology IS-CHI 2007: 10 – 12 September, 2007; Singapore Polytechnic, Singapore. New York, NY: ACM Association for Computing Machinery 2007 S. 132 - 138