System Analysis and Modeling

Hasso-Plattner-Institut

Prof. Dr. Holger Giese

schließen

Robust Multi-Agent RL for Self-Adaptive Systems

schließen

schließen

schließen

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-E.7

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
- Model Checking
- k-Induction: ICGT2020
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:
- Hybrid Systems: FORMATS2011
- Peer-to-Peer Algorithms: JTB2008

Scientific Activities

reviewer: icgt2021
reviewer: gcm2020
reviewer: sttt2019
reviewer: icgt2019
reviewer: icgt2017
reviewer: forte2013
reviewer: fac2013(25)
reviewer: fmoods12
reviewer: express2010
reviewer: popl2010
reviewer: concur10
reviewer: concur09
reviewer: coordination2009

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

07.07.2022 | IGCT 2022

15th International Conference on Graph Transformation > Zum Artikel

23.05.2022 | SEAMS 2022

17th Symposium on Software Engineering for Adaptive and Self-Managing Systems > Zum Artikel