Publikationen

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.

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.

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.

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

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

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.

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. 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.

Mosconi, M. (2008). Durchgängige Modularität in der modellgetriebenen Entwicklung domänenspezifischer Modellierungssprachen mit Hilfe aspektorientierter Programmierung. Modellierung 2008. Bonner Köllen Verlag, 233-236.

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.

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

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

Reiser, M.-O. (2008). Managing Complex variability in Automotive Software Product Lines with Supscoping and Configuration Links. TU Berlin

Buhr, K. (2008). Methodenorientierte Gestaltung von Entwicklungsprozessen am Beispiel eingebetteter Fahrzeugsoftware. TU Berlin