Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Automated Security Verification for Crypto Protocol Implementations: Verifying the Jessie ProjectSeventh International Workshop on Automated Verification of Critical Systems (AVOCS 2007). Oxford. 2007
Sofronie-Stokkermans, Viorica
Automated theorem proving by resolution in non-classical logicsAnnals of Mathematics and Artificial Intelligence. Bd. 49. H. 1-4. Dordrecht: Springer 2007 S. 221 - 252
Höhfeld, Alexander; Frey, Hannes; Sturm, Peter
Beispielapplikationen für die Pervasive UniversityRainer Koschke; Otthein Herzog; Karl-Heinz Rödiger; Marc Ronthaler (Hrsg). INFORMATIK 2007 - Informatik trifft Logistik, Band 1: Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI); September 24. - 27., 2007; Bremen. Bonn: Gesellschaft für Informatik 2007 S. 492 - 496
Jürjens, Jan
Compliance-driven Secure Software Quality ManagementSoftware & Systems Quality Conference (SQC-UK 2007). London, 2./3. Oct. 2007
Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Constraint Solving for InterpolationByron Cook; Andreas Podelski (Hrsg). Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings. Berlin: Springer 2007 S. 346 - 362
Georg, Geri; Houmb, Siv Hilde; France, Robert B. et al.
Critical Systems Development Using Modeling Languages - CSDUML 2006 Workshop ReportThomas 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. 27 - 31
Jürjens, Jan
Developing Secure Embedded Systems: Pitfalls and How to Avoid ThemJohn Knight; Gregg Rothermel; Wolfgang Emmerich (Hrsg). Proceeding of the 29th International Conference on Software Engineering ICSE 2007 Companion Volume: 20-26 May 2007; Minneapolis, Minnesota. Los Alamitos, CA: IEEE Computer Society 2007 S. 182 - 183
Haberkamp, Guido; Zöbel, Dieter
Echtzeitfähigkeit von Satellitenkompassen in der BinnenschifffahrtPeter Holleczek; Birgit Vogel-Heuser (Hrsg). Mobilität und Echtzeit: Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007. Berlin: Springer 2007 S. 117 - 128
Hopfgartner, Frank; Jose, Joemon M.
Evaluating the Implicit Feedback Models for Adaptive Video RetrievalAlberto Del Bimbo; Jia Li; Nozha Boujemaa; James Z. Wang (Hrsg). Proceedings of the 9th ACM SIG Multimedia International Workshop on Multimedia Information Retrieval MIR 2007: Augsburg, Bavaria, Germany; September 24-29, 2007. New York, NY: ACM Association for Computing Machinery 2007 S. 323 - 331
Sofronie-Stokkermans, Viorica
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory ExtensionsBoris Konev; Frank Wolter (Hrsg). Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings. Berlin: Springer 2007 S. 47 - 71