SHiNE Organization and Subprojects

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