Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Gorgen, Daniel; Frey, Hannes; Hiedels, Christian
JANE - The Java Ad Hoc Network Development EnvironmentSilvia Ceballos (Hrsg). Proceedings of the 40th Annual Simulation Symposium ANSS 2007; Norfolk, Virginia; 26-28 March 2007. Los Alamitos, CA: IEEE Computer Society 2007 S. 163 - 176
Sofronie-Stokkermans, Viorica; Ihlemann, Carsten; Jacobs, Swen
Local Theory Extensions, Hierarchical Reasoning and Applications to VerificationFranz Baader; Byron Cook; Jürgen Giesl; Robert Nieuwenhuis (Hrsg). Deduction and Decision Procedures - Dagstuhl Seminar 07401: 30.09. - 05.10.2007; Schloß Dagstuhl. Wadern: Schloss Dagstuhl, Leibniz-Zentrum für Informatik 2007 S. 1 - 22
Li, Xu; Frey, Hannes; Santoro, Nicola et al.
Localized Self-Deployment of Mobile Sensors for Optimal Focused-Coverage Formation: (Technical Report)2007
Jürjens, Jan
Model-based Security Engineering for Compliance with Regulatory and Business RequirementsHeinz-Gerd Hegering;Helmut Reiser;Michael Schiffers;T. Nebe (Hrsg). Proceedings of the 14th Annual Workshop of HP Software University Association, Hosted by the Leibniz Computing Center and the Munich Network Management Team, July 8-11, 2007. Stuttgart: Infonomics-Consulting 2007 S. 219 - 226