Marwan Mostafa

M.Sc.
Wissenschaftlicher Mitarbeiter

Kontakt

Marwan Mostafa, M.Sc.
E-6 Elektrische Energietechnik
  • Elektrische Energietechnik
Sprechzeiten
nach Vereinbarung/ by appointment
Harburger Schloßstraße 36,
21079 Hamburg
Gebäude HS36, Raum C3 0.013
Tel: +49 40 42878 4097
Logo

Forschungsprojekt

iNeP
Integrierte Netzplanung der Sektoren Strom, Gas und Wärme

iNeP

Integrierte Netzplanung der Sektoren Strom, Gas und Wärme

Bundesministerium für Wirtschaft und Klimaschutz (BMWK); Laufzeit: 2021 bis 2026

Publikationen

TUHH Open Research (TORE)

2023

2022

2021

Lehrveranstaltungen

Stud.IP
zur Veranstaltung in Stud.IP Studip_icon
Software Verification
Untertitel:
Module: Software Verification
Semester:
WiSe 22/23
Veranstaltungstyp:
Vorlesung (Lehre)
Veranstaltungsnummer:
lv629_w22
DozentIn:
Prof. Dr. Sibylle Renate Schupp, Lars Beckers
Beschreibung:
    • Model checking (bounded model checking, CTL, LTL)

    • Real-time model checking (TCTL, timed automata)
    • Deductive verification (Hoare logic)
    • Tool support
    • Recent developments of verification techniques and applications

Voraussetzungen:
<ul><li>Automata theory and formal languages</li><li>Computational logic</li><li>Object-oriented programming, algorithms, and data structures</li><li>Functional programming or procedural programming</li><li>Concurrency<br /></li></ul>
Leistungsnachweis:
Written exam
ECTS-Kreditpunkte:
3
Weitere Informationen aus Stud.IP zu dieser Veranstaltung
Heimatinstitut: Institut für Softwaresysteme (E-16)
In Stud.IP angemeldete Teilnehmer: 56
Anzahl der Postings im Stud.IP-Forum: 36
Anzahl der Dokumente im Stud.IP-Downloadbereich: 346

Betreute Abschlussarbeiten

laufende
beendete

2022

  • Barthelme, J. (2022). Technisch-ökonomische Systemmodellierung und -anlayse eines urbanen Quatiers hinsichtlich des Einsatz von Wasserstoff als primärer Energieträger.