Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Mail: sven.schneider(at)hpi.de

Academic Degree: Dr.-Ing.

Phone: +49 (0)331 5509-353

Room: A-E.7

DBLP:link

ORCID:link

Research Interests

  • Graph Logics
    • Metric Temporal Graph Logic over Symbolic Graphs FASE2019
    • Graph Logic over Symbolic Graphs: Automated Reasoning: Model Generation/Satisfiability/Refutability FASE2017STTT2018
    • Graph Repair / Consistency Restauration FASE2019
  • Graph Transformation
    • Model Checking
    • k-Induction
  • Controller Synthesis for Discrete Event Systems WODES2014WODES2014TR2014DEDS2016
    • Supervisory Control
    • Hierarchical Control
    • Concurrent and Distributed Control
    • Formal Verification (Isabelle/HOL)
    • thesis/dissertation
  • Process Calculi FORMATS2011
  • Peer-to-Peer Algorithms JTB2008

Scientific Activities