direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2009


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.

Link zur Publikation

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.

Link zur Publikation

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

Link zur Publikation

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.


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.

Link zur Publikation

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.

Link zur Publikation

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.

Link zur Publikation

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.

Link zur Publikation


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

Link zur Publikation

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.


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.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe