direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2010

Abele, A., Johansson, R., Lönn, H., Papadopoulos, Y., Reiser, O., Servat, D., Törngren, D. and Weber, M. (2010). The CVM Framework - A Prototype Tool for Compositional Variability Management. Proc. of the 4th International Workshop on Variability Modeling of Software-Intensive Systems (VAMOS 2010). Universität Duisburg-Essen, 101-105.


Bartels, B., Glesner, S. and Göthel, T. (2010). Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. International Colloquium on Graph and Model Transformation – on the occasion of the 65th birthday of Hartmut Ehrig


Bartels, B. and Glesner, S. (2010). Formal Modeling and Verification of Low-Level Software Programs. 10th International Conference on Qualtiy Software (QSIC 2010). IEEE Computer Society, pp. 200–207.


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


Bittner, M., Reiser, O. and M., W. (2010). A Case Study on Tool-Supported Multi-Level Requirements Management in Complex Product Families. Proc. of the 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2010). Springer, 173-187.


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


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


Kammüller, F., Rein, A. and Reiser, O. (2010). Feature Link Propagation Across Variability Representations with Isabelle/HOL. 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. 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. Proc. of the 8th International Conference on Formal Methods for Components and Objects (FMCO'09). Springer, 1-20.


Kleine, M. and Göthel, T. (2010). Specifying and Executing Business Process in CSP. 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. International Conference on Software Engineering Theory and Practice


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


Lindlar, F. and Windisch, A. (2010). A Search-Based Approach to Functional Hardware-in-the-Loop Testing. 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. Proc. of the 3rd International Conference on Software Testing, Verification and Validation Workshops. IEEE Computer Society, 163-172.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe