Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / OPCT 2019 (series) / OPCT 2019 /

Hybrid Systems Reachability Analysis

OPCT 2019
Tue 15 Jan 2019 11:15 - 11:40 at Sala VII - Cyberphysical Systems, Hybrid Systems Chair(s): Philippa Gardner

  • 2013-today: Full professor, RWTH Aachen University, Germany. Head of the research group Theory of Hybrid Systems. Research topics: SMT solving, formal methods for probabilistic and hybrid systems.

  • 2008-2013: Junior professor, RWTH Aachen University, Germany. Head of the junior research group Theory of Hybrid Systems. Research topics: SMT solving, formal methods for probabilistic and hybrid systems.

  • 2007-2008: Postdoctoral researcher, Jülich Research Centre, Germany. Research topics: parallel and high-performance computing, performance analysis.

  • 2005-2007: Postdoctoral researcher, Albert-Ludwigs-University Freiburg, Germany. Research topics: Verification of hybrid systems, bounded model checking, SAT and SMT solving.

  • 1999-2005: Ph.D. student, Christian-Albrechts-University Kiel, Germany. Research topics: Deductive proof systems for multithreaded object-oriented languages.

Tue 15 Jan

Displayed time zone: Belfast change

11:15 - 12:30
Cyberphysical Systems, Hybrid SystemsOPCT at Sala VII
Chair(s): Philippa Gardner Imperial College London
11:15
25m
Talk
Hybrid Systems Reachability Analysis
OPCT
Erika Abraham RWTH Aachen University
11:40
25m
Talk
Attribute Based Communication for Collective Adaptive Systems
OPCT
Rocco De Nicola
12:05
25m
Talk
Designing Resilient Large Scaled CPS: Models, Languages and Tools
OPCT
Michele Loreti University of Camerino
Erika Abraham

Erika Abraham

RWTH Aachen University