Publications

2009

• Formal Verification for Components and ConnectorsBaier, C., Blechmann, T., Klein, J. & Klüppelholz, S., 2009, Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey. Boer, F. S., Bonsangue, M. M. & Madelaine, E. (eds.). Springer Berlin / Heidelberg, p. 82-101, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Jenseits der Suchmaschinen - Konzeption einer iterativen Informationssuche in BlogsFranke, I. S., Taranko, S. & Wessel, H., 2009Research output: Contribution to conferences > Paper
• Logik und Logikprogrammierung. Band 1: Grundlagen.Hölldobler, S., 2009, Synchron Wissenschaftsverlag der AutorenResearch output: Book/Report/Anthology > Monograph
• Minimizing Latency in Fault-Tolerant Distributed Stream Processing SystemsBrito, A., Fetzer, C. & Felber, P., 2009, p. 173-182, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Model and Object Verification by Using Dresden OCLDemuth, B., 2009Research output: Contribution to conferences > Paper
• Multithreading-Enabled Active Replication for Event Stream Processing OperatorsBrito, A., Fetzer, C. & Felber, P., 2009, p. 22-31, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Multitouch haptic interactionSchmidt, M. & Weber, G., 2009, Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II. Stephanidis, C. (ed.).p. 574–582Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Parallelize the Runtime Checks -- Not the ApplicationSüßkraut, M., Weigert, S., Nowack, M., Becker de Brum, D. & Fetzer, C., 2009, 4 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Parallelizing Software-Implemented Error DetectionSchiffel, U., Schmitt, A., Süßkraut, M., Weigert, S. & Fetzer, C., 2009, p. 215-226, 12 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Pattern Matching and I/O Replay for POSIX I/O in Parallel ProgramsKluge, M., Knüpfer, A., Müller, M. & Nagel, W. E., 2009, Euro-Par 2009 Parallel Processing. Sips, H., Epema, D. & Lin, H. (eds.). Berlin, Heidelberg: Springer, Berlin [u. a.], p. 45-56, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Requirements Analysis for an Integrated OCL Development EnvironmentChimiak-Opoka, J., Demuth, B., Silingas, D. & Rouquette, N., 2009Research output: Contribution to conferences > Paper
• Semantische Integration im Lebenszyklus der AutomationWollschlaeger, M., Braune, A., Runde, S., Topp, U., Mühlhause, M., Drumm, O., Thomalla, C. & 2 others, 2009, AUTOMATION 2009 - Der Automatisierungskongress in Deutschland. 2067 ed., VDI Verlag, Düsseldorf, p. 167-170, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Speculation for Parallelizing Runtime ChecksSüßkraut, M., Weigert, S., Schiffel, U., Knauth, T., Nowack, M., Becker de Brum, D. & Fetzer, C., 2009, p. 698-710, 13 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Tactile paper prototyping with blind subjectsMiao, M., Köhlmann, W., Schiewe, M. & Weber, G., 2009, Haptic and Audio Interaction Design: 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings. Springer, Berlin, Heidelberg, p. 81–90Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TopDNS: Experiences Building Internet-based Topologies with GNPPfeifer, G. & Fetzer, C., 2009, p. 1106-1111, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards an automated generation of device firmware components for intelligent field devices.Hahn, C., Gössling, A., Frenzel, R. & Wollschlaeger, M., 2009, p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards Development of Web Applications based on User Interface Services - A Requirement AnalysisLiebing, C., Braun, I., Pietschmann, S. & Schill, A., 2009, p. 341-342Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Towards Improved Overlay Simulation Using Realistic TopologiesPfeifer, G., Spring, R. & Fetzer, C., 2009, p. 52-59, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Trace-Based Analysis and Optimization for the Semtex CFD Application - Hidden Remote Memory Accesses and I/O PerformanceMickler, H., Knuepfer, A., Kluge, M., Mueller, M. S. & Nagel, W. E., 2009, Euro-Par 2008 Workshops - Parallel Processing . Cesar, E., Alexander, M., Streit, A., Traff, J., Cerin, C., Knupfer, A., Kranzlmuller, D. & Jha, S. (eds.). Springer, Berlin [u. a.], p. 295-304, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TrackNDrums - Ein virtuelles Schlagzeug auf der Basis eines 3D-Tracking-Systems unter Verwendung zweier WiimotesGroh, R. & Zavesky, M., 2009Research output: Contribution to conferences > Paper
• Unification in the Description Logic ELBaader, F. & Morawska, B., 2009, Rewriting Techniques and Applications : 20th International Conference, RTA 2009. Springer, Berlin [u. a.], p. 350-364Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Universal access to multimedia documentsPetrie, H., Weber, G. & Völkel, T., 2009Research output: Book/Report/Anthology > Monograph
• Virtual Machines Jailed: Virtualization in Systems with Small Trusted Computing BasesPeter, M., Schild, H., Lackorzynski, A. & Warg, A., 2009, VDTS '09: Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems. Nuremberg, Germany: ACM Press, p. 18-23, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Was heißt hier Rechnernetze?Spalteholz, W., 2009, Zukunft braucht Herkunft 25 Jahre »INFOS – Informatik und Schule«: INFOS 2009 13. GI-Fachtagung »Informatik und Schule«, 21. bis 24. September 2009 an der Freien Universität Berlin. Gesellschaft für Informatik e.V., p. 193-204, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Web Based Software Modeling Exercises in Large-Scale Software Engineering CoursesDemuth, B. & Weigel, D., 2009Research output: Contribution to conferences > Paper