Publikationen

2009

• AN-Encoding Compiler: Building Safety-Critical Systems with Commodity HardwareSchiffel, U., Süßkraut, M. & Fetzer, C., 2009, S. 283-296, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Aspekte des Engineering eines netwerkzentrierten Plant Asset Management SystemsHahn, C., Bens, S., Theurich, S., Frenzel, R. & Wollschlaeger, M., 2009, S. 61-64, 4 S.Publikation: Beitrag zu Konferenzen > 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 Aufl., VDI Verlag, Düsseldorf, S. 61-64, 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Assertion-Driven Development: Assessing the Quality of Contracts using Meta-MutationsKnauth, T., Fetzer, C. & Felber, P., 2009, S. 182-191, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. (Hrsg.). SCITEPRESS - Science and Technology Publications, S. 248-253, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. S. 247-267, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Braindump – Konzept eines visuellen Systems für das Wissensmanagement am Beispiel der Verwaltung von InternetquellenGroh, R., Brade, M. & Lamack, F., 2009Publikation: Beitrag zu Konferenzen > Paper
• Challenges in software product line compositionSchirmeier, H. & Spinczyk, O., 2009, Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS. 4755817Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 413-422, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Constraints Modeling in Agricultural DatabasesPinet, F., Duboisset, M., Demuth, B., Schneider, M., Soulignac, V. & Barnabé, F., 2009Publikation: Beitrag zu Konferenzen > 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. (Hrsg.). Springer Verlag, New York, S. 92-106, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Description LogicsBaader, F., 2009, Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School. Springer, Berlin [u. a.], S. 1-39, 39 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 1-8, 8 S.Publikation: Beitrag zu Konferenzen > 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., 2009Publikation: Beitrag zu Konferenzen > Paper
• Field bus abstraction as a means to enable network-independent applications.Theurich, S., Hahn, C., Frenzel, R. & Wollschlaeger, M., 2009, S. 131-138, 8 S.Publikation: Beitrag zu Konferenzen > 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. S. 82-101, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Jenseits der Suchmaschinen - Konzeption einer iterativen Informationssuche in BlogsFranke, I. S., Taranko, S. & Wessel, H., 2009Publikation: Beitrag zu Konferenzen > Paper
• Logik und Logikprogrammierung. Band 1: Grundlagen.Hölldobler, S., 2009, Synchron Wissenschaftsverlag der AutorenPublikation: Buch/Gutachten/Sammelbände > Monographie
• Minimizing Latency in Fault-Tolerant Distributed Stream Processing SystemsBrito, A., Fetzer, C. & Felber, P., 2009, S. 173-182, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Model and Object Verification by Using Dresden OCLDemuth, B., 2009Publikation: Beitrag zu Konferenzen > Paper
• Multithreading-Enabled Active Replication for Event Stream Processing OperatorsBrito, A., Fetzer, C. & Felber, P., 2009, S. 22-31, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Parallelize the Runtime Checks -- Not the ApplicationSüßkraut, M., Weigert, S., Nowack, M., Becker de Brum, D. & Fetzer, C., 2009, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Parallelizing Software-Implemented Error DetectionSchiffel, U., Schmitt, A., Süßkraut, M., Weigert, S. & Fetzer, C., 2009, S. 215-226, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > 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. (Hrsg.). Berlin, Heidelberg: Springer, Berlin [u. a.], S. 45-56, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Requirements Analysis for an Integrated OCL Development EnvironmentChimiak-Opoka, J., Demuth, B., Silingas, D. & Rouquette, N., 2009Publikation: Beitrag zu Konferenzen > Paper