Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Houmb, Siv Hilde; Georg, Geri; Jürjens, Jan et al.
An Integrated Security Verification and Security Solution Design Trade-off Analysis ApproachHaralambos Mouratidis;Paolo Giorgini (Hrsg). Integrating Security and Software Engineering: Advances and Future Visions. Hershey, PA: IGI Global 2007 S. 190 - 219
Jacobs, Swen; Sofronie-Stokkermans, Viorica
Applications of Hierarchical Reasoning in the Verification of Complex Systems 3Electronic Notes in Theoretical Computer Science. Bd. 174. H. 8. Amsterdam: Elsevier 2007 S. 39 - 54
Zöbel, Dieter; Weyand, Christian
Augmenting sensitivity analysis for embedded applications by program level derivation of process parametersLuis Gomes; Eric Dekneuvel; João Paulo Barros (Hrsg). 2007 Symposium on Industrial Embedded Systems Proceedings: Hotel Costa da Caparica, Lisbon, Portugal; 4-6 July 2007. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2007 S. 17 - 24
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered StructuresJournal of Multiple-Valued Logic and Soft Computing. Bd. 13. H. 4-6. Philadelphia, PA: Old City Publishing 2007 S. 397 - 414
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Automated Reasoning in Some Local Extensions of Ordered StructuresYngvar Berg; Omid Mirmotahari (Hrsg). Proceedings of the 37th International Symposium on Multiple-Valued Logic ISMVL 2007; May 13 – 26, 2007; Oslo, Norway. Los Alamitos, CA: IEEE Computer Society 2007 S. 1