The SHiNE project is organized into 9 Project Parts (PP):
PP 2 TH |
![]() |
Thomas A. Henzinger | New Concurrency Paradigms |
PP 3 HV, GW, FZ |
![]() ![]() ![]() |
Helmut Veith G. Weissenbacher Florian Zuleger |
Tools for Concurrent and Distributed Systems |
PP 5 US, EB |
![]() ![]() |
Ulrich Schmid Ezio Bartocci |
Reconciling Distributed and Real-Time Computing |
PP 6 RB |
![]() |
Roderick Bloem | Synthesis |
PP 7 KC |
![]() |
Krishnendu Chatterjee | Game Theory |
PP 8 AB, MS |
![]() ![]() |
Armin Biere Martina Seidl |
Bit-Precise Reasoning |
PP 9 UE, LK |
![]() ![]() |
Uwe Egly Laura Kovács |
Quantified Boolean Formulas |
PP 11 CK, AS |
![]() ![]() |
Christoph Kirsch Ana Sokolova |
Relaxed and Probabilistic Systems |
PP 12 RG |
![]() |
Radu Grosu | Probabilistic Analysis of Distributed Systems |
We intensively collaborate on our projects. The collaboration structure is reflected in the map below:
PP 2 (TH): New Concurrency Paradigms
- TH1: Testing Coverage Guided Abstraction Refinement for Concurrent Programs
- TH2: Synthesis of Embedded Programs from Mixed Data and Control Flow Models
- TH3: Relaxed Semantics for Concurrent Programs
PP 7 (KC): Game Theory
- KC1: Partial-Observation and Stochastic Games
- KC2: Algorithmic Study of Infinite-State Games for Performance Analysis
- KC3: Game Theoretic Notions of Non- Functional Modeling
PP 3 (HV): Tools for Concurrent and Distributed Systems
- HV1: Fault Model Assessment for Distributed Systems GW
- HV2: Concurrency Bug Explanation FZ
- HV3: Automated Bound Analysis for Concurrent Programs
PP 8 (AB): Bit-Precise Reasoning
- AB1: Parallel SAT Solving
- AB2: Beyond Bit-Blasting MS
- AB3 : Rigorous Solver Engineering
PP 5 (US): Reconciling Distributed and Real-Time Computing
- US1: Modelling and Analysis of Distributed Systems with Non-Zero Time Computations EB
- US2 : Modelling and Analysis of Parametric, Parameterized & Probabilistic Timed Systems
PP 9 (UE): Quantified Boolean Formulas LK
- UE1 : Incremental Reasoning
- UE2: Parallel QBF Solving
PP 6 (RB): Synthesis
- RB1: Synthesis of Concurrency Constructs
- RB2: Parameterized and Symmetric Synthesis
- RB3: Synthesis of Robust Distributed Systems
PP 11 (CK): Relaxed and Probabilistic Systems
- CK1: Relaxed Systems Engineering AS
- CK2 : Trace Semantics for Probabilistic Systems
PP 12 (RG): Probabilistic Analysis of Distributed Systems
- RG1: Probabilistic Analysis of Distributed Systems