Publications

2009

• Data retention and anonymity services: Introducing a new class of realistic adversary modelsBerthold, S., Böhme, R. & Köpsell, S., 2009, The Future of Identity in the Information Society - 4th IFIP WG 9.2, 9.6/11.6, 11.7/ FIDIS International Summer School, Revised Selected Papers. Matyas, V., Svenda, P., Fischer-Hubner, S. & Cvrcek, D. (eds.). Springer Verlag, New York, p. 92-106, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Description LogicsBaader, F., 2009, Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School. Springer, Berlin [u. a.], p. 1-39, 39 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Development of a Universal Model for Description of Intelligent Field Devices through the Life-cycle.Gnauck, K., Gössling, A., Frenzel, R., Wollschlaeger, M. & Schulz, D., 2009, p. 1-8, 8 p.Research output: Contribution to conferences > Paper
• DURCH VOLKES HAND – EIN FREIES LAND: Die Ereignisse und Parolen der Friedlichen Revolution der Jahre 1989 und 1990 interaktiv erlebenFranke, I. S. & Kammer, D., 2009Research output: Contribution to conferences > Paper
• Einsatz von Wiki in der LehreMiao, M. & Weber, G., 2009, GeNeMe 2009 - Gemeinschaften in Neuen Medien. p. 425-426Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Field bus abstraction as a means to enable network-independent applications.Theurich, S., Hahn, C., Frenzel, R. & Wollschlaeger, M., 2009, p. 131-138, 8 p.Research output: Contribution to conferences > Paper
• 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