Publications

2009

• AN-Encoding Compiler: Building Safety-Critical Systems with Commodity HardwareSchiffel, U., Süßkraut, M. & Fetzer, C., 2009, p. 283-296, 14 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Aspekte des Engineering eines netwerkzentrierten Plant Asset Management SystemsHahn, C., Bens, S., Theurich, S., Frenzel, R. & Wollschlaeger, M., 2009, p. 61-64, 4 p.Research output: Contribution to conferences > Paper
• Aspekte des Engineerings eines netzwerkzentrierten Plant Asset Management SystemsHahn, C., Bens, S., Theurich, S., Frenzel, R. & Wollschlaeger, M., 2009, AUTOMATION 2009 - Der Automatisierungskongress in Deutschland. 2067 ed., VDI Verlag, Düsseldorf, p. 61-64, 4 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Assertion-Driven Development: Assessing the Quality of Contracts using Meta-MutationsKnauth, T., Fetzer, C. & Felber, P., 2009, p. 182-191, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• A tunable real-world multi-funnel benchmark problem for evolutionary optimization: And why parallel island models might remedy the failure of CMA-ES on itMüller, C. L. & Sbalzarini, I. F., 2009, IJCCI 2009 - International Joint Conference on Computational Intelligence, Proceedings. Dourado, A., Rosa , A. & Madani, K. (eds.). SCITEPRESS - Science and Technology Publications, p. 248-253, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A uniform framework for modeling and verifying components and connectorsBaier, C., Blechmann, T., Klein, J. & Klüppelholz, S., 2009, Coordination Models and Languages - 11th International Conference, COORDINATION 2009, Proceedings. p. 247-267, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Braindump – Konzept eines visuellen Systems für das Wissensmanagement am Beispiel der Verwaltung von InternetquellenGroh, R., Brade, M. & Lamack, F., 2009Research output: Contribution to conferences > Paper
• Challenges in software product line compositionSchirmeier, H. & Spinczyk, O., 2009, Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS. 4755817Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Comparing Cache Architectures and Coherency Protocols on x86-64 Multicore SMP SystemsHackenberg, D., Molka, D. & Nagel, W. E., 2009, 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO). ACM Press, p. 413-422, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Constraints Modeling in Agricultural DatabasesPinet, F., Duboisset, M., Demuth, B., Schneider, M., Soulignac, V. & Barnabé, F., 2009Research output: Contribution to conferences > Paper
• 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
• 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. 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
• 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