posted by user: mpstew || 3549 views || tracked by 17 users: [display]

SSV 2009 : 4th International Workshop on Systems Software Verification


Conference Series : Systems Software Verification
When Jun 22, 2009 - Jun 24, 2009
Where Aachen, Germany
Submission Deadline Feb 15, 2009
Notification Due Apr 6, 2009
Final Version Due May 6, 2009
Categories    compilers   embedded systems   software   automation

Call For Papers

Industrial-strength software analysis and verification has advanced in
recent years through the introduction of model checking, automated and
interactive theorem proving, and static analysis techniques as well as
correctness by design, correctness by contract, and model-driven
development. However, many techniques are working under restrictive
assumptions which are invalidated by complex (embedded) system
software such as operating system kernels, low-level device drivers or
microcontroller code.

The aim of this workshop is to bring together researchers and
developers from both academia and industry, who are facing real
software and real problems to find real, applicable solutions. By
"real" we mean problems such as time-to-market or reliability that the
industry is facing and is trying to fix in software that is deployed
in the market place. A real solution is one that is applicable to the
problem in industry and not one that only applies to an abstract,
academic toy version of it. This forum will discuss software
analysis/development techniques and tools; it will also serve as a
platform to discuss open problems and future challenges in dealing
with existing and upcoming systems level code.

Related Resources

icaase 2018   International Conference on Advanced Aspects of Software Engineering
IJESA 2018   International Journal of Embedded Systems and Applications
IEEE DSA 2018   Fifith IEEE International Conference on Dependable Systems and Their Applications
ESWEEK 2018   Embedded Systems Week
ESSCA 2018   European Symposium on Serverless Computing and Applications
ICMV--SPIE, Scopus, Ei Compendex 2018   SPIE--2018 The 11th International Conference on Machine Vision (ICMV 2018)--Scopus, Ei Compendex
ISCMI--IEEE, EI and Scopus 2018   2018 IEEE 5th Intl. Conference on Soft Computing & Machine Intelligence (ISCMI 2018)--EI Compendex and Scopus
DASC 2018   16th IEEE International Conference on Dependable, Autonomic and Secure Computing
ICICM--IEEE, EI and Scopus 2018   IEEE--2018 The 3rd International Conference on Integrated Circuits and Microsystems (ICICM 2018)--Ei Compendex and Scopus
ICCT 2018   International Conference on Computing and Technology