Primary tabs

2017
J. L. de la Vara, M. Borg, K. Wnuk and L. Moonen. Safety Evidence Change Impact Analysis in Practice In International Conference on Software Engineering, Buenos Aires, Argentina. ACM/IEEE, 2017.
J. L. de la Vara, M. Borg, K. Wnuk and L. Moonen. Safety Evidence Change Impact Analysis in Practice In International Conference on Software Engineering, Edited by S. Uchitel, A. Orso and M. P. Robillard. ACM/IEEE, 2017.
2014
J. L. de la Vara. Current and Necessary Insights Into SACM: an Analysis Based on Past Publications In IEEE 7th International Workshop on Requirements Engineering and Law (RELAW 2014), Edited by D. Amyot, A. Antón, T. Breaux, A. Massey and A. Siena. IEEE Computer Society, 2014.PDF icon RELAW2014.pdf (203.63 KB)
S. M. Sulaman, A. Orucevic-Alagic, M. Borg, K. Wnuk, M. Höst and J. L. de la Vara. Development of Safety-Critical Software Systems Using Open Source Software - a Systematic Map In 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2104), Edited by R. Rabiser, R. Torkar and D. Quaglia. IEEE, 2014.PDF icon SEAA2014.pdf (213.93 KB)
S. Nair, N. Walkinshaw, T. Kelly and J. L. de la Vara. An Evidential Reasoning Approach for Assessing Confidence in Safety Evidence. Simula Research Laboratory, 2014.PDF icon evicatechreport.pdf (3.58 MB)
S. Nair, J. L. de la Vara, M. Sabetzadeh and L. C. Briand. "An Extended Systematic Literature Review on Provision of Evidence for Safety Certification." Information and Software Technology 56 (2014): 689-717.PDF icon IST2014.pdf (2.18 MB)
A. Ruiz, T. Kelly and J. L. de la Vara. Introduction to SASSUR 2014 In SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR, Edited by A. Bondavalli, A. Ceccarelli and F. Ortmeier. Vol. LNCS 8696. Springer, 2014.
B. Marin, A. Salinas, J. Morande, G. Giachetti and J. L. de la Vara. Key Features for a Successful Model-Driven Development Tool In MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Edited by S. Hammoudi, J. Filipe and R. d. Neves. SciTePress, 2014.PDF icon MODELSWARD2014.pdf (275.43 KB)
S. Nair, J. L. de la Vara, A. Melzi, G. Tagliaferri, L. de-la-Beaujardiere and F. Belmonte. Safety Evidence Traceability: Problem Analysis and Model In 20th International Working Conference on Requirements Engineering: Foundations for Software Quality (REFSQ). Vol. 8396 of the series Lecture Notes in Computer Science. Springer, 2014.PDF icon REFSQ2014.pdf (379.49 KB)
J. L. de la Vara, M. Borg, K. Wnuk and L. Moonen. Survey on Safety Evidence Change Impact Analysis for Critical Systems: Summary of Results. Simula Research Laboratory, 2014.
J. L. de la Vara, M. Borg, K. Wnuk and L. Moonen. Survey on Safety Evidence Change Impact Analysis in Practice: Detailed Description and Analysis. Simula Research Laboratory, 2014.PDF icon iasurvey_techrep.pdf (1.94 MB)
2013
E. Verhulst, J. L. de la Vara, B. H. C. Sputh and V. de Florio. ARRL: a Criterion for Composable Safety and Systems Engineering In SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems), Edited by T. Kelly and J. L. de la Vara. HAL, 2013.PDF icon SASSUR2013.pdf (199.04 KB)
E. Verhulst, J. L. de la Vara, B. H. C. Sputh and V. de Florio. ARRL: a Criterion for Composable Safety and Systems Engineering In SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems), Edited by T. Kelly and J. L. de la Vara. HAL, 2013.PDF icon SASSUR2013.pdf (199.04 KB)
S. Nair, J. L. de la Vara, M. Sabetzadeh and L. Briand. Classification, Structuring, and Assessment of Evidence for Safety: a Systematic Literature Review In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Edited by B. Baudry, A. Orso and Y. Le Traon. IEEE, 2013.PDF icon Simula.simula.1656.pdf (819.79 KB)
J. L. de la Vara and H. Espinoza. Dealing With Software Model Quality in Practice: Experience in a Research Project In 13th International Conference on Quality Software (QSIC 2013), Edited by A. Gotlieb. Najing: IEEE, 2013.PDF icon QUAMES2013.pdf (904.32 KB)
S. Nair, J. L. de la Vara, M. Sabetzadeh and D. Falessi. An Extended Systematic Literature Review on Provision of Evidence for Safety Certification. Simula Research Laboratory, 2013.
E. Verhulst, J. L. de la Vara, B. H. C. Sputh and V. de Florio. From Safety Integrity Level to Assured Reliability and Resilience Level for Compositional Safety Critical Systems In 25th International Conference on Software & Systems Engineering and their Applications (ICSSEA'13), Edited by A. Canals, E. Najm and J. Rault. INCOSE, 2013.PDF icon ICSSEA2013.pdf (361.73 KB)
S. Nair, J. L. de la Vara, M. Sabetzadeh and D. Falessi. Management of Evidence for Compliance With Safety Standards: a Survey on the State of Practice. Simula Research Laboratory, 2013.PDF icon RESSJ2013.pdf (2.2 MB)
S. Sen, J. L. de la Vara, A. Sarkar and A. Gotlieb. Modelling Data Interaction Requirements: a Position Paper In 2013 International Workshop on Model-Driven Requirements Engineering (MoDRE 2013), Edited by A. Moreira, G. Mussbacher, J. Araujo, N. Bencomo and P. Sanchez. Rio de Janeiro : IEEE, 2013.PDF icon MODRE2013.pdf (584.2 KB)
S. Nair, J. L. de la Vara and S. Sen. A review of traceability research at the requirements engineering conference re@ 21. IEEE, 2013.
S. Nair, J. L. de la Vara and S. Sen. A Review of Traceability Research at the Requirements Engineering Conference In 21st IEEE International Requirements Engineering Conference, Edited by O. Gotel, J. d. P. Leite and A. Mavin. Rio de Janeiro : IEEE, 2013.PDF icon RE2013.pdf (341.98 KB)
J. L. de la Vara and R. K. Panesar-Walawege. SafetyMet: a Metamodel for Safety Standards In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Edited by A. Moreira, B. Schätz, J. Gray, A. Vallecillo and P. Clarke. Vol. 8107. Lecture Notes in Computer Science 8107. Berlin Heidelberg: Springer, 2013.PDF icon MODELS2013.pdf (594.09 KB)

Pages