direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments




Burmeister, R. (2008). Quality Assurance for Concurrent Software - An Actor-Based Approach. Autonomous Systems - Self Organization, Management, and Control. Springer Heidelberg, New York, 125-132.

Helke, S. (2008). Verification of Statecharts Using Structure- and Property-Preserving Data Abstraction. OPUS Technische Universität Berlin (also PhD dissertation 2007).

Link zur Publikation

Herrmann, S. (2008). Balancing Language Concerns: Who Decides?. Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies. ACM Press, NewYork.

Herrmann, S. (2008). Gradual Encapsulation. Journal of Object Technology. ETH Zürich.

Link zur Publikation

Jähnichen, S., Brieß, K. and Burmeister, R. (2008). Flying Sensors - Swarms in Space. Autonomous Systems - Self Organization, Management, and Control. Springer Heidelberg, New York, 71-77.

Jähnichen, S. and Schlingloff, H. (2008). ESPRESS - Ingenieurmäßige Entwicklung sicherheitsrelevanter eingebetteter Systeme (1995-1998). Informatikforschung in Deutschland. Springer Berlin Heidelberg New York, 226-236.

Kammüller, F. (2008). Formalizing Non-Interference for A Small Bytecode-Language in Coq. Formal Aspects of Computing. Springer, 259 275.

Kammüller, F. (2008). Interactive Theorem Proving in Software Engineering. VDM Mueller Saarbrücken.

Kammüller, F. and Preibusch, S. (2008). An Industrial Application of Symbolic Model: Checking The TWIN-Elevator Case Study. Informatik Forschung und Entwickliung. Springer, 95-108.

Kammüller, F. (2008). Compositionality of Aspect Weaving. Autonomous Systems – Self-Organisation, Management, and Control. Springer Heidelberg, New York, 87-96.

Kammüller, F. and Sudhof, H. (2008). Composing Safely –- A Type System for Aspects. Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. Springer Berlin Heiderlberg New York, 231-247.

Lindlar, F. and Zimmermann, A. (2008). A code generation tool for embedded automotive systems based on finite state machines. 6th IEEE International Conference on Industrial Informatics, 2008. IEEE INDIN 2008, proceedings. IEEE Daejeon, 1539-1544.

Schubert, R., Tangermann, M., Haufe, S. and al., e. (2008). Parieto-occipital alpha power indexes distraction during simulated car driving. Abstracts of the 14th World Congress of Psychophysiology - The Olympics of the Brain - of the International Organization of Psychophysiology (I.O.P) Associated with the United Nations. 69. St. Petersburg: Elsevier, 214.

Tomioka, R. and Haufe, S. (2008). Combined classification and channel/basis selection with L1-L2 regularization with application to P300 speller system. Proceedings of the 4th International Brain-Computer Interface Workshop and Training Course. Verlag der Technischen Universität Graz, 232-237.

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe