International School on Tool-based Rigorous Engineering
of Software Systems - STRESS 2018
The International School on Tool-based Rigorous Engineering of Software Systems (STRESS) series aims to provide top-quality lectures and innovative pedagogical material that provide young researchers with:
- Instructions in existing and emerging formal methods and software engineering techniques that are tool-supported and process-oriented
- Insights into how software is developed in the real world, including emphasis on domains such as safety/mission-critical software and embedded systems where the development effort associated with tool-based formal methods promises greatest returns
- Case-studies and example domains in which formal methods have been successfully transitioned into actual development along with insights in how to bridge the gap between research tools and actual development processes
- Additional pedagogical resources and personal contacts that they can explore for the purpose of increasing the impact of their research.
For more information visit the STRESS 2018 website.
Challenge on Rigorous Examination of Reactive Systems 2018
The RERS Challenge 2018 is the 7th International Challenge on the Rigorous Examination of Reactive Systems and is co-located with ISoLA 2018. RERS is designed to encourage software developers and researchers to apply and combine their tools and approaches in a free style manner to answer evaluation questions for reachability and LTL formulas on specifically designed benchmarks. The goal of this challenge is to provide a basis for the comparison of verification techniques and available tools.
The main aims of RERS 2018 are to :
- Encourage the combination of usually different research fields for better software verification results
- Provide a comparison foundation based on differently tailored benchmarks that reveals the strengths and weaknesses of specific approaches
- Initiate a discussion for better benchmark generation reaching out across the usual community barriers to provide benchmarks useful for testing and comparing a wide variety of tools
For more information visit the RERS 2018 website.
Doctoral Symposium with Poster Session and Postconference Proceedings
ISoLA 2018 will host a Doctoral Symposium as a scientific and networking event specifically for young researchers. Master and PhD students are invited to participate and present their research ideas and projects, discuss them with the scientific community, and establish collaborations in their field of research.
The Doctoral Symposium will be held as combination of poster sessions and short presentations. Posters will be on display all along the ISoLA symposium, and generous coffee breaks will offer plenty of time for elaborate discussions of the posters. Additionally there will be a Doctoral Symposium session in the conference program, where all participants get the opportunity to give a 5-10 min flash presentation of their work.
Click here for more information on how to participate.
- The 18th International Conference on Runtime Verification
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.
Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.
Click here to view the RV 2018 website.
- Tutorial: To be announced
- Industrial Day