List of Accepted Talks (Detailed Program TBA)

  • Hendrik Göttmann (TU Darmstadt): On Input/Output Conformance Testing of Live Timed Systems
  • Ayleen Schinko (Univ. Augsburg): Communication Mismatch, Quiescence and Divergence in Interface Automata
  • Johannes Gareis (Univ. Bamberg): Interface Automata for Shared Memory
  • Géza Kulcsár (TU Darmstadt): Equivalence and Independence in Concurrent Controlled Graph-Rewriting
  • Harsh Beohar (Univ. Duisburg-Essen): An Abstract Formalization of Bisimulation on Executions
  • Christina Mika-Michalski (Univ. Duisburg-Essen): Coalgebraic Games for Behavioural Distances
  • Dennis Nolte (Univ. Duisburg-Essen): Specifying Graph Languages with Type Graphs (Solving some Problems)
  • Sebastian Kenter (WWU Münster): Hyperedge replacement grammars for lock-sensitive analysis of parallel programs
  • Jens Gutsfeld (WWU Münster): A Branching Time Variant of CaRet
  • Thomas Noll (RWTH Aachen): Dynamic Fault Trees
  • Jürgen König (Univ. Paderborn): Model-Checking Software Transactional Memory
  • Philipp Meyer (TU München): Peregrine - A Verification Tool for Population Protocols
  • Görkem Kilinç (TU Darmstadt): Weak Observable Liveness and Infinite Games on Finite Graphs
  • Matthias Perner (TU Darmstadt): Relaxed Consistency Guarantees and Noninterference
  • Martin Steffen (Univ. Oslo): Operational Semantics of a Weak Memory Model with Channel Synchronization
  • Kirstin Peters (TU Berlin): TBA
  • N.N. (TU Berlin): TBA
  • Prakash Saivasan (TU Braunschweig): TBA
  • Elisabeth Neumann (TU Braunschweig): TBA
  • Sebastian Wolff (TU Braunschweig): TBA
Drucken | Impressum | Sitemap | Suche | Kontakt
Zum SeitenanfangZum Seitenanfang