Track: Formal Methods and Distributed Systems
Track Chair
- Oliver Theel Carl von Ossietzky University of Oldenburg
- Sandeep Kulkarni Michigan State University
Track Program Committee
- Borzoo Bonakdarpour University of Waterloo
- Stephane Devismes University of Grenoble
- Ali Ebnenasir Michigan Technological University
- Vijay Garg University of Texas at Austin
- Bernd Hauck C1 WPS
- Oday Jubran Carl von Ossietzky University of Oldenburg
- Sven Koehler Tel Aviv University
- Sayan Mitra University of Illinois at Urbana Champain
- Achour Mostefaoui Universite Nantes (LINA)
- Scott A. Smolka Stony Brook Universtity
- Volker Turau Hamburg University of Technology
Validation, verification and reliability assessment are prerequisite for
developing highly dependable distributed systems. The Formal Methods track
of SSS will focus on formal or mathematical techniques related to these issues.
Topics include, but are not limited to:
- Validation and verification of distributed systems
- Dependability analysis
- Models for distributed systems
- Specification and programming languages
- Synthesis techniques
- Tools and case studies
- Runtime verification and monitoring