direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2011

Wilmes, B., Lindlar, F. and A., W. (2011). Suchbasierter Test für den industriellen Einsatz. Tagungsband des 4. Symposiums, Testen im System- und Software Life-Cycle. Technische Akademie Esslingen.


Smith, G. and Helke, S. (2011). Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism. Proc. International Conference on Theoretical Aspects of Software Engineering (TASE 2011). IEEE Computer Society, 35-41.


Pepper, P., Mehlhase, A., Höger, C. and Scholz, L. (2011). A Compositional Semantics for Modelica-style Variable-structureModeling. Proc. of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Linköping University Electronic Press, 45-54.


Mehlhase, A. (2011). Varying the level of detail during simulation. 21.Symposium Simulationstechnik (ASIM 2011). ASIM.


Kleine, M., Bartels, B., T., G., Helke, S. and D., P. (2011). LLVM2CSP : Extracting CSP Models from Concurrent Programs. Proc. Nasa Formal Methods Symposium (NFM 2011). Springer, 500-505.


Kleine, M. (2011). CSP as a Coordination Language. 13th International Conference on Coordination Models and Languages (COORDINATION'11). Springer, 65-79.


Klauske, L. and Dziobek, C. (2011). Effizientes Erstellen von Simulink Modellen mit Hilfe eines spezifisch angepassten Layoutalgorithmus. Dagstuhl-Workshop: Modellbasierte Entwicklung eingebetteter Systeme VII (MBEES). fortiss GmbH, München, 115-126.


Jähnichen, S. (2012). Formen Agilen Programmierens. DGRI Jahrbuch 2011, 119-125.


Chabarek, F. and Golas, U. (2011). Interaktive Vervollständigung der Szenariobasierten Spezifikation eines Parkassistenzsystems. Proceedings of GI-ASE 2011. GI.


Bartels, B. (2011). Verification of Low-Level Real-Time Programs using Timed CSP. Formal Methods 2011 Doctoral Symposium


Bartels, B. and Glesner, S. (2011). Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementation Using Timed CSP. Proc. of the 18th Asia Pacific Software Engineering Conference (APSEC 2011). IEEE Computer Society, 195-202.


Bartels, B. and Kleine, M. (2011). A CSP-based framework for the specification, verification, and implementation of adaptive systems. Proc. of the 6th international symposium on Software engineering for adaptive and self-managing systems (SEAMS'11). ACM, 158-167.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe