Associated Events at the ISoLA Week:
- "International School on Tool-based Rigorous Engineering of Software Systems -STRESS 2014"
- Challenge on Rigorous Examination of Reactive Systems
- Doctoral Symposium with Poster Session and Postconference Proceedings in Springer's CCIS
- Tutorial: Automata Learning in Practice
- Industrial Day
Tracks
- Statistical Model Checking, Past Present and Future
- Formal Methods and Analysis in Software Product Line Engineering
- Risk-Based Testing
- Scientific Workflows
- Medical Cyber Physical Systems
- Evaluation and Reproducibility of Program Analysis
- Automata Learning
- Rigorous Engineering of Autonomic Ensembles
- Engineering Virtualized Services
- Security and Dependability for Resource Constrained Embedded Systems
- Semantic heterogeneity in the formal development of complex systems
- Evolving Critical Systems
- Model-based Code-Generators and Compilers
- Processes and data integration in the networked healthcare
Symposium Chair
Bernhard Steffen
(TU Dortmund, D)
steffen[at]cs.uni-dortmund.de
Program Chair
Tiziana Margaria
(Univ. Potsdam, D)
margaria[at]cs.uni-potsdam.de
Conference Program & Proceedings
Complete Program
Complete program (all days, all sessions, all time slots): ISoLA2014-program.pdf