Publications

2013

• Towards Practical Uniform Interpolation and Forgetting for~ALC TBoxesLudwig, M. & Konev, B., 2013, Proceedings of the 26th International Workshop on Description Logics (DL-2013). p. 377-389, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Predictive Self-optimization by Situation RecognitionGötz, S., Schöne, R., Wilke, C., Mendez, J. & Aßmann, U., 2013, 2nd Workshop EASED@BUIS 2013: Energy Aware Software-Engineering and Development. p. 11-12Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Predictive Self-optimization by Situation Recognition.Götz, S., Schöne, R., Wilke, C., Mendez, J. & Aßmann, U., 2013, In: Softwaretechnik-Trends. 33, 2, p. 8-9, 2 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Towards Systematic Model-based Testing of Self-adaptive SystemsPüschel, G., Wilke, C., Götz, S. & Aßmann, U., 2013Research output: Contribution to conferences > Paper
• Towards Transparent Hardening of Distributed SystemsBehrens, D., Fetzer, C., Junqueira, F. P. & Serafini, M., 2013, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Transactional Encoding for Tolerating Transient Hardware ErrorsWamhoff, J., Schwalbe, M., Faqeh, R., Fetzer, C. & Felber, P., 2013, Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium (SSS 2015). Vol. 8255. p. 1-16, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Translucent Tangibles on Tabletops: Exploring the Design SpaceDachselt, R., Kister, U., Büschel, W., Langner, R. & Frisch, M., 2013, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Turning x86 into a Hardware Simulator for Future ManycoresAsmussen, N., Härtig, H. & Völp, M., 2013Research output: Contribution to conferences > Paper
• Tutorial: Elastic and Fault Tolerant Event Stream Processing Using StreamMine3GMartin, A. & Quoc, D. L., 2013, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Understanding the Influence of Viewpoint and Image Geometry in Linear Perspective Paintings to Enhance Embodied InteractionHannß, F. & Groh, R., 2013Research output: Contribution to conferences > Paper
• Usability von ERP-Systemen – Aktueller Stand und PerspektivenFohrholz, C. & Lambeck, C., 2013Research output: Contribution to conferences > Paper
• Use both lanes: Multi-channel beaconing for message dissemination in vehicular networksKlingler, F., Dressler, F., Cao, J. & Sommer, C., 2013, 2013 10th Annual Conference on Wireless On-Demand Network Systems and Services, WONS 2013Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Verification of Golog Programs over Description Logic ActionsBaader, F. & Zarrieß, B., 2013, Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings. Springer, Berlin [u. a.], p. 181-196, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• VScaler:Autonomic Virtual Machine ScalingYazdanov, L. & Fetzer, C., 2013, p. 212-219, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Werkschau der GTV - Gesellschaft für Technische VisualistikFranke, I. S., 2013Research output: Contribution to conferences > Paper

2012

• Fair and adaptive data dissemination for Traffic Information SystemsSchwartz, R. S., Ohazulike, A. E., Sommer, C., Scholten, H., Dressler, F. & Havinga, P., Nov 2012, 4th IEEE Vehicular Networking Conference (VNC 2012)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• To crash or not to crash: Estimating its likelihood and potentials of beacon-based IVC systemsJoerer, S., Segata, M., Bloessl, B., Lo Cigno, R., Sommer, C. & Dressler, F., Nov 2012, 4th IEEE Vehicular Networking Conference (VNC 2012)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Toward reproducibility and comparability of IVC simulation studies: a literature surveyJoerer, S., Sommer, C. & Dressler, F., Oct 2012, In: IEEE communications magazineElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Static Partial Order Reduction for Probabilistic Concurrent SystemsFern'ndez-Díaz, Á., Baier, C., Benac-Earle, C. & Fredlund, L., 20 Sep 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems. IEEE, New York [u. a.], p. 104-113, 10 p., 6354638Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Leaf surface structures enable the endemic Namib desert grass Stipagrostis sabulicola to irrigate itself with fog water.Roth-Nebelsick, A., Ebner, M., Miranda, T., Gottschalk, V., Voigt, D., Gorb, S., Stegmaier, T. & 3 others, Aug 2012, In: Journal of the Royal Society InterfaceElectronic (full-text) versionResearch output: Contribution to journal > Research article
• Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation SemanticsDvořák, W. & Gaggl, S. A., 1 Jun 2012, Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Necessity of Accurate IEEE 802.11P Models for IVC Protocol SimulationEckhoff, D., Sommer, C. & Dressler, F., May 2012, 75th IEEE Vehicular Technology Conference (VTC 2012-Spring)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Spatially Aware Tangible Displays for the MassesSpindler, M., Büschel, W. & Dachselt, R., May 2012, Proceedings of the 2012 AVI Workshop on Designing Collaborative Interactive Spaces for e-Creativity, e-Science and e-Learning. 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Adaptive APC strategies for a PVD process: a case study.Dementjev, A., Hensel, B., Ribbecke, H. & Kabitzsch, K., 1 Apr 2012, Proceedings of the 12th Advanced Process Control and Manufacturing Conference (APCM 2012). Grenoble, France, p. 29-34, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A Multi-Channel IEEE 1609.4 and 802.11p EDCA Model for the Veins FrameworkEckhoff, D. & Sommer, C., 1 Mar 2012, 5th ACM/ICST International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2012), 5th ACM/ICST International Workshop on OMNeT++ (OMNeT++ 2012), Poster Session. Desenzano del Garda, Italy: ACM PressResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution