Publications

2024

• RailCabs and Birds in Julia: Context-Role Ensemble Engineering in PracticeAßmann, U. & Gutsche, C., 27 Oct 2024, Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Proceedings: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer Nature, p. 191–207, 17 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Methodology for the development of hydrogen storage systems made of FRP for aviation under consideration of a variety of cross-domain load scenariosSchlegel, D., Vater, M., Spitzer, S., Birke, M., Hurtado, A. & Gude, M., 1 Oct 2024Research output: Contribution to conferences > Presentation slides
• Conception, design and manufacture of type IV hydrogen pressure vessels for general aviationSchmidt, F., Richter, J., König, R., Birke, M., Schlegel, D., Spitzer, S. & Gude, M., 20 Sep 2024, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Multi-scale systematization of damage and failure modes of composite cryogenic hydrogen vessels according to the Fault Tree methodSchlegel, D., Hurtado, A. & Gude, M., 5 Jul 2024, In: IOP Conference Series: Materials Science and Engineering. 1301, 1, 11 p., 012071Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• The dynamic facility location problem with mobile production units: A waste recycling applicationAlarcon-Gerbier, E. & Buscher, U., Jun 2024, In: Computers & operations research. 166, 106609Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Experimental Investigation of a Pulsation Reactor via Optical MethodsZhang, C., Dostál, J., Heidinger, S., Günther, S. & Odenbach, S., 15 Feb 2024, In: Processes : open access journal. 12 (2024), 2, 23 p., 385Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Context-Oriented Programming and Modeling in Julia with Context Petri NetsGutsche, C., Prokopets, V., Wang, Z., Götz, S. & Aßmann, U., 2024, Proceedings - 2024 50th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2024. Institute of Electrical and Electronics Engineers (IEEE), p. 1-9, 9 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Marktausblick zu erwarteten Wasserstoffpreisen und-mengen in Deutschland: Eine Literaturauswertung zu MarkthochlaufszenarienBühler, L., Scharf, H. & Möst, D., 2024, Schriften des Lehrstuhls für Energiewirtschaft, TU Dresden. Technische Universität DresdenElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Non-monotonic Extensions to Formal Concept Analysis via Object PreferencesCarr, L., Leisegang, N., Meyer, T. & Rudolph, S., 2024, In: CCIS. 2326, p. 476textendash492Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Proposal for A Context-oriented Modelica Contributing to Variable Structure SystemsWang, Z. & Krombholz, M., 2024, 10 p.Research output: Contribution to conferences > Paper