Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Mail: sven.schneider(at)hpi.de

Academic Degree: Dipl.-Inform.

Phone: +49 (0)331 5509-353

Room: A-E.7

Research Interests

  • Graph Logics

    • Metric Temporal Graph Logic over Symbolic Graphs FASE2019
    • Graph Logic over Symbolic Graphs: Automated Reasoning: Model Generation/Satisfiability/Refutability FASE2017 STTT2018
    • Graph Repair / Consistency Restauration FASE2019

  • Graph Transformation

    • Model Checking
    • k-Induction

  • Controller Synthesis for Discrete Event Systems WODES2014 WODES2014 TR2014 DEDS2016

    • Supervisory Control
    • Hierarchical Control
    • Concurrent and Distributed Control
    • Formal Verification (Isabelle/HOL)

  • Process Calculi FORMATS2011