ISoLA 2016: Corfu, Greece

Refine list

showing all ?? records

Statistical Model Checking

Evaluation and Reproducibility of Program Analysis and Verification

ModSyn-PP: Modular Synthesis of Programs and Processes

Semantic Heterogeneity in the Formal Development of Complex Systems

Static and Runtime Verification: Competitors or Friends?

Rigorous Engineering of Collective Adaptive Systems

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?

Privacy and Security Issues in Information Systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics