Publications

2014

• Predicting Energy Consumption with StreamMine3GMartin, A., Marinho, R., Brito, A. & Fetzer, C., 2014, p. 270-275, 6 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Probabilistic Model Checking and Non-standard Multi-objective ReasoningBaier, C., Dubslaff, C., Klüppelholz, S., Daum, M., Klein, J., Märcker, S. & Wunderlich, S., 2014, Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Gnesi, S. & Rensink, A. (eds.). Springer, Berlin [u. a.], p. 1-16, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Model Checking for Energy Analysis in Software Product LinesDubslaff, C., Klüppelholz, S. & Baier, C., 2014, MODULARITY '14: Proceedings of the 13th international conference on Modularity. Association for Computing Machinery (ACM), New York, p. 169-180, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Probabilistic Model Checking for Energy-Utility AnalysisBaier, C., Dubslaff, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Cham, p. 96-123, 28 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014.Förster, A., Sommer, C., Steinbach, T. & Wählisch, M., 2014, (CoRR)Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness: PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014Lukasiewicz, T., Peñaloza, R. & Turhan, A., 2014Electronic (full-text) versionResearch output: Book/Report/Anthology > Conference proceeding
• Rapid fault-space exploration by evolutionary pruningSchirmeier, H., Borchert, C. & Spinczyk, O., 2014, Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Proceedings. Springer-Verlag, p. 17-32, 16 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean FormulasDiller, M., Wallner, J. P. & Woltran, S., 2014, Proceedings of the 5th International Conference on Computational Models of Argument. IOS Press, Amsterdam [u. a.], p. 241-252, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• (Re-) Evaluating User Interface Aspects in ERP Systems - An Empirical User StudyLambeck, C., Fohrholz, C., Leyh, C. & Müller, R., 2014, p. 396-405, 10 p.Research output: Contribution to conferences > Paper
• Report on the Aachen OCL MeetingBrucker, A. D., Chiorean, D., Clark, T., Demuth, B., Gogolla, M., Plotnikov, D., Rumpe, B. & 2 others, 2014, Proceedings of the MODELS 2013 OCL Workshop: co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013). p. 103-111, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Revisiting Graspable User InterfacesKeck, M., Lapczyna, E. & Groh, R., 2014, Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience. Vol. 8517. p. 130-141, 12 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Runtime Verification Using the Temporal Description Logic ALC-LTL RevisitedBaader, F. & Lippmann, M., 2014, In: Journal of Applied Logic. 12, 4, p. 584-613, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Saccade Detection and Processing for Enhancing 3D Visualizations in Real-TimeFranke, I. S., Günther, T. & Groh, R., 2014, HCI International 2014-Posters’ Extended Abstracts. p. 317-322, 6 p.Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Salespoint: A Java framework for teaching object-oriented software developmentZschaler, S., Demuth, B. & Schmitz, L., 2014, In: Science of computer programming : methods of software design: techniques and applications. 79, p. 189-203, 10 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Scalable and Elastic Realtime Click Stream Analysis Using StreamMine3G (Industry Article)Martin, A., Brito, A. & Fetzer, C., 2014, p. 198-205, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Schema-Agnostic Query Rewriting in SPARQL 1.1Bischof, S., Krötzsch, M., Polleres, A. & Rudolph, S., 2014, The Semantic Web – ISWC 2014: 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I. Mika, P., Tudorache, T., Bernstein, A., Welty, C., Knoblock, C., Vrandečić, D., Groth, P., Noy, N., Janowicz, K. & Goble, C. (eds.). Springer, Cham, p. 584-600, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Selective Runtime Monitoring: Non-intrusive Elimination of High-frequency FunctionsWagner, M., Doleschal, J., Knuepfer, A. & Nagel, W. E., 2014, 2014 International Conference on High Performance Computing & Simulation (HPCS). Smari, W. (ed.). Wiley-IEEE Press, p. 295-302, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Similarity-based Relaxed Instance Queries in EL⁺⁺Ecke, A., 2014, PRUV 2014 Logics for Reasoning about Preferences, Uncertainty, and Vagueness: Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness. Lukasiewicz, T., Peñaloza, R. & Turhan, A. (eds.). CEUR-WS.org, p. 101-113, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Situativ - Innovativ - VisuativFranke, I. S., 2014Research output: Contribution to conferences > Paper
• SleeD: Using a Sleeve Display to Interact with Touch-Sensitive Display Wallsvon Zadow, U., Büschel, W., Langner, R. & Dachselt, R., 2014, Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 129-138, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Sloth: SDN-enabled Activity-based Virtual Machine Deployment (Poster)Knauth, T., Kiruvale, P., Hiltunen, M. & Fetzer, C., 2014, p. 205-206, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Studienvorbereitung per Mausklick: Ein Erfahrungsbericht aus SachsenRiebeck, S., Stark, A. & Oertel, D., 2014, p. 229-240, 12 p.Research output: Contribution to conferences > Paper
• Summary of the 9th Workshop on Models@run.timeGötz, S., Bencomo, N. & France, R., 2014Research output: Contribution to conferences > Paper
• Synthesis of Reo Connectors for Strategies and ControllersBaier, C., Klein, J. & Klüppelholz, S., 2014, In: Fundamenta Informaticae. 130, 1, p. 1-20, 20 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• T4 - Transparent and Translucent Tangibles on TabletopsBüschel, W., Kister, U., Frisch, M. & Dachselt, R., 2014, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces. New York, NY, USA: Association for Computing Machinery (ACM), New York, p. 81–88Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution