Weiter zum Inhalt Weiter zur Fußzeile

RailCabs and Birds in Julia: Context-Role Ensemble Engineering in Practice

Aßmann, U. & Gutsche, C., 27 Okt. 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. (Hrsg.). Springer Nature, S. 191–207 17 S. (Lecture Notes in Computer Science, Band 15220).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Context-Oriented Programming and Modeling in Julia with Context Petri Nets

Gutsche, C., Prokopets, V., Wang, Z., Götz, S. & Aßmann, U., 2024, 2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, S. 1-9

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Work in Progress: Towards a Single Underlying Model for the Digital Twin of Future Road Infrastructures

Prokopets, V., Götz, S., Aßmann, U., Gutsche, C., Anantheswar, A., Wollny, I. & Thiessat, J. & 3 weitere, Hildebrandt, J., Kaliske, M. & Lehner, W., 31 Aug. 2023, 2023 IEEE Smart World Congress (SWC). IEEE, S. 1-4 4 S. 10449106

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

PNRG – A Library for Modeling Variable Structure Energy Gridsin Modelica using Energetic Petri Nets

Gutsche, C., Wang, Z., Götz, S., Prokopets, V. & Aßmann, U., 2023, Proceedings of the 15th International Modelica Conference 2023, Aachen, October 9-11. Linköping, Univ., S. 727 - 736 10 S. (Linköping electronic Conference Proceedings, Band 204).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Machine Learning for Real-Time Processing of ATLAS Liquid Argon Calorimeter Signals with FPGAs

Gutsche, C., 2 Mai 2022.

Publikation: Beitrag zu KonferenzenWissenschaftliche VortragsfolienEingeladenBegutachtung