Publikationen

2014

• 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, S. 169-180, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Springer, Cham, S. 96-123, 28 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Proceedings of the 1st OMNeT++ Community Summit, Hamburg, Germany, September 2, 2014.Förster, A., Sommer, C., Steinbach, T. & Wählisch, M., 2014, (CoRR)Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 30, 2014.Götz, S., Bencomo, N. & France, R. B., 2014Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• 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., 2014Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Proceedings of the SMART Rockets Project: Development of a Sounding Rocket and the Corresponding Ground Support EquipmentBach, C., Sieder, J., Grasselt-Gille, S., Przybilski, O. & Tajmar, M., 2014, Proceedings of the 63rd German Aerospace Congress (DGLR). Augsburg, Sept. 16-18, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Proceedings of the SMART Rockets Project: Design Development and First Measurement Results of a 500 N LOX/Ethanol Combustion ChamberSieder-Katzmann, J., Bach, C., Nürmberger, M., Voigt, N., Przybilski, O. & Tajmar, M., 2014, Proceedings of the 63rd German Aerospace Congress, DLRK. 9 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Process-Adapted Control to Maximize Dynamics of Speed- and Displacement-Variable PumpsWillkomm, J., Wahler, M. & Weber, J., 2014Publikation: Beitrag zu Konferenzen > Paper
• Process-Efficient Real-Time Simulation to Test the Functionality of Drive and Control Systems - 17. ITI-SymposiumKoch, O., Richter, S., Weber, J. & Eichler, A., 2014Publikation: Beitrag zu Konferenzen > Paper
• Process for the design, optimization and production of lightweight structuresStelzer, R., Sembdner, P. & Schöne, C., 2014, in: Konstruktion. 66, 7-8, S. 61-62Publikation: Beitrag in Fachzeitschrift > Forschungsartikel