System Analysis and Modeling
Hasso-Plattner-Institut
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

schließen

schließen

schließen

schließen

schließen
  1. HOME
  2.  > People
  3.  > Dr. Sven Schneider

Dr. Sven Schneider

System Analysis and Modeling Group

Mail: Sven.Schneider(at)HPI.DE

Academic Degree: Dr.-Ing.

Phone: +49 (0)331 5509-353

Room: A-1.12

DBLP: link

ORCID: link

Research Interests

  • Graph Logics
    • Metric Temporal Graph Logic over Symbolic Graphs: FASE2019, ICGT2020
    • Graph Logic over Symbolic Graphs: Automated Reasoning: Model Generation/Satisfiability/Refutability: FASE2017, STTT2018
    • Graph Repair / Consistency Restoration: FASE2019
  • Graph Transformation
  • Controller Synthesis for Discrete Event Systems WODES2014, WODES2014, TR2014, DEDS2016
    • Supervisory Control
    • Hierarchical Control
    • Concurrent and Distributed Control
    • Formal Verification (Isabelle/HOL)
    • thesis/dissertation
  • Process Calculi:

Scientific Activities

Publications

Contact

Prof. Dr. Holger Giese

System Analysis and Modeling Group

Tel.: +49 (0)331 5509 -366
E-Mail: holger.giese(at)hpi.de

 

Office: Kerstin Miers

Tel.: +49 (0)331 5509 -314
E-Mail: office-giese(at)hpi.de

 

Hasso Plattner Institute for Digital Engineering

Campus I, Building A, 2nd floor
Prof.-Dr.-Helmert-Str. 2-3, 14482 Potsdam (Getting there)

Labs and Projects

upcoming scientific events

26.04.2025 | NSE 2025

1st International Workshop on Neuro-Symbolic Software Engineering co-located with ICSE 2025 Ottawa, Ontario, Canada > Zum Artikel

26.04.2025 | SEAMS 2025

20th International Conference on Software Engineering for Adaptive and Self-Managing Systems > Zum Artikel