Buhr, K. (2008). Methodenorientierte Gestaltung von Entwicklungsprozessen am Beispiel eingebetteter Fahrzeugsoftware. TU Berlin

Kammüller, F. and Kammüller, R. (2009). Security Analysis of Private Data Enquiries in Erlang. International Journal on Advances in Security. IARIA, 242-255.

Kammüller, F., Henrio, L. and Rivera, M. (2009). An Asynchronous Distributed Component Model and its Semantics. Formal Methods for Components and Objects Formal Methods for Components and Objects. Springer Verlag, 159-179.

Kleine, M., Bartels, B., Göthel, T. and Glesner, S. (2009). Verifying the Implementation of an Operating System Scheduler. 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society Press,, 285-286.

Kleine, M. and Helke, S. (2009). Low-Level Code Verification Based on CSP Models. Formal Methods: Foundations and Applications. Springer Verlag, 266-281.

Lindlar, F. and Marrero Pérez, A. (2009). Using evolutionary algorithms to select parameters from equivalence classes. Evolutionary Test Generation. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 1-2.

Marrero Pérez, A. and Kaiser, S. (2009). Reusing Component Test Cases for Integration Testing of Retarding Embedded System Components. First International Conference on Advances in System Testing and Validation Lifecycle VALID 2009. IEEE Computer Society Conference Publishing Services (CPS), 1-6.

Marrero Pérez, A. and Kaiser, S. (2009). Integrating Test Levels for Embedded Systems. Testing: Academic & Industrial Conference – Practice and Research Techniques (TAIC PART 2009). IEEE Computer Society Conference Publishing Services (CPS), 184-193.

Reiser, M.-O. (2008). Managing Complex variability in Automotive Software Product Lines with Supscoping and Configuration Links. TU Berlin

Reiser, M.-O., Tavakoli Kolagari, R. and Weber, M. (2009). Compositional Variability - Concepts and Patterns. ystem Sciences, 2009. HICSS '09, 42nd Hawaii International Conference on. IEEE Computer Society, 1-10.

Windisch, A. (2009). Ideas on Signal Generation for Evolutionary Testing of Continuous Systems. Evolutionary Test Generation. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.

Windisch, A. (2009). Search-Based Testing of Complex Simulink Models Containing Stateflow Diagrams. Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on. IEEE Computer Society, 395-398.

Windisch, A. and Al Moubayed, N. (2009). Temporal White-Box Testing Using Evolutionary Algorithms. IEEE International Conference on Software Testing, Verification, and Validation Workshops. IEEE Computer Society, 150-151.

Windisch, A. and Al Moubayed, N. (2009). Signal Generation for Search-Based Testing of Continuous Systems. IEEE International Conference on Software Testing, Verification, and Validation Workshops. IEEE Computer Society, 121-130.

Windisch, A., Lindlar, F., Topuz, S. and Wappler, S. (2009). Evolutionary functional testing of continuous control systems. GECCO '09: Proceedings of the 11th Annual conference on Genetic and evolutionary computation. ACM, 1943-1944.