direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments


2014 [1] • 2013 [2] • 2012 [3] • 2011 [4] • 2010 [5] • 2009 [6] • 2008 [7] • 2007 [8] • 2006 [9] • 2005 [10] • 2004 [11] •


vor >> [14]

Windisch, A. (2010). Search-based Test Data Generation from Stateflow Statecharts [18]. Proc. of the 12th annual conference on Genetic and evolutionary computation. ACM, 1349-1356.

Wilmes, B. and Windisch, A. (2010). Considering Signal Constraints in Search-Based Testing of Continuous Systems [19]. Proceedings of the 3rd International Conference on Software Testing, Verification, and Validation Workshops. IEEE Computer Society, 202-211.

Marrero Pérez, A. and Kaiser, S. (2010). Bottom-up reuse for multi-level testing [20]. Journal of Systems and Software. Elsevier, 2392-2415.

Marrero Pérez, A. and Kaiser, S. (2010). Multi-Level Test Models for Embedded Systems [21]. Software Engineering 2010, Fachtagung des GI-Fachbereichs Softwaretechnik. GI, 213-224.

Lindlar, F. and Windisch, A. (2010). A Search-Based Approach to Functional Hardware-in-the-Loop Testing [22]. Proc. of the 2nd International Symposium on Search Based Software Engineering. IEEE Computer Society, 111-119.

Lindlar, F., Windisch, A. and Wegener, J. (2010). Integrating Model-Based Testing with Evolutionary Functional Testing [23]. Proc. of the 3rd International Conference on Software Testing, Verification and Validation Workshops. IEEE Computer Society, 163-172.

Kleine, M. and Göthel, T. (2010). Specifying and Executing Business Process in CSP [24]. Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engeneering

Kleine, M. and Bartels, B. (2010). On Using CSP for the Construction of Concurrent Programs [25]. International Conference on Software Engineering Theory and Practice

Kleine, M. and Sanders, J. (2010). Simulating Truly Concurrent CSP. [26]. UNU/IIST Technical Report. United Nations University, International Institute for Software Technology.

Kammüller, F., Rein, A. and Reiser, O. (2010). Feature Link Propagation Across Variability Representations with Isabelle/HOL [27]. Proc. of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering (PLEASE '10). ACM Press, 48-53.

Kammüller, F. and Fleck, A. (2010). Implementing Privacy with Erlang Active Objects [28]. Proc. of Fifth International Conference on Internet Monitoring and Protection. IEEE Computer Society, 141-146.

Kammüller, F., Ludovic, H. and Khan, U. (2010). A Framework for Reasoning on Component Composition [29]. Proc. of the 8th International Conference on Formal Methods for Components and Objects (FMCO'09). Springer, 1-20.

Helke, S. and Kammüller, F. (2010). Formalizing Statecharts using Hierarchical Automata [30]. Archive of Formal Proofs.

Glesner, S., Bartels, B., Göthel, T. and Kleine, M. (2010). The VATES-Diamond as a Verifier's Best Friend [31]. Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer, pp. 81–101.

Bittner, M., Reiser, M., Glathe, H. and Weber, M. (2010). Manufacturer-Supplier Requirements Synchronization Using Exchange Containers and Multi-Level Systems [32]. Proc. of the 18th IEEE International Requirements Engineering Conference (RE 2010). IEEE Computer Society, 325-330.

vor >> [34]
------ Links: ------

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008