HASE 2011: Boca Raton, FL, USA

Session A: Software Testing and Validation

Session B: Modeling Checking and Verification I

Session C: Applications and Technologies

Session D: High Assurance Distributed Systems

Session E: Model Checking and Verification II

Session F: High Assurance Networked Systems and Services

Poster Presentations

Session G: Safety-Critical Systems

Session H: High Assurance Ocean Systems

Session I: Performance, Reliability and Availability Analysis

Session J: Monitoring

Session K: Bugs and Fault Localization

Session L: Security and Privacy

a service of Schloss Dagstuhl - Leibniz Center for Informatics