Publikationen

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

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

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

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

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

Jähnichen, S., Brieß, K. and Burmeister, R. (2008). Flying Sensors - Swarms in Space [23]. 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) [24]. Informatikforschung in Deutschland. Springer Berlin Heidelberg New York, 226-236.

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

Kammüller, F. (2008). Compositionality of Aspect Weaving [26]. 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 [27]. Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. Springer Berlin Heiderlberg New York, 231-247.

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

Lindlar, F. and Zimmermann, A. (2008). A code generation tool for embedded automotive systems based on finite state machines [29]. 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 [30]. Modellierung 2008. Bonner Köllen Verlag, 233-236.

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

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

Schubert, R., Tangermann, M., Haufe, S. and al., e. (2008). Parieto-occipital alpha power indexes distraction during simulated car driving [34]. 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 [35]. Proceedings of the 4th International Brain-Computer Interface Workshop and Training Course. Verlag der Technischen Universität Graz, 232-237.