Creating a reference technology platform: Performing model-based safety analysis in a heterogeneous development environment O Kacimi, C Ellen, M Oertel, D Sojka 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 10 | 2014 |
Proving compliance of implementation models to safety specifications M Oertel, O Kacimi, E Böde International Conference on Computer Safety, Reliability, and Security, 97-107, 2014 | 8 | 2014 |
Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns W Herzner, S Sieverding, O Kacimi, E Böde, T Bauer, B Nielsen 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 6 | 2014 |
Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns SS Omar Kacimi, Eckard Böde, Brian Nielsen, Wolfgang Herzner ISSRE, 2014 | | 2014 |
Computer Safety, Reliability, and Security A Bondavalli, F Di Giandomenico Springer International Publishing, 2014 | | 2014 |