Publications

2017

  • de la Vara, J.L., Génova, G., Álvarez-Rodríguez, J.M., Llorens, J.: An Analysis of Safety Evidence Management with the Structured Assurance Case Metamodel. Computer Standards & Interfaces 50: 179-198. DOI, Open access version
  • Gallina, B., Gomez-Martinez, E., Benac-Earle, C.: Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer. Computer Standards & Interfaces (accepted paper). DOI, Open access version
  • Mendieta, R., de la Vara, J.L., Llorens, J., Alvarez-Rodriguez, J.M.: Towards Effective SysML Model Reuse. 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017). DOI, Open access version

 2016

  • Alajarami, S., Romanovsky, A., Gallina, B.: Software Development in the Post-PC Era: Towards Software Development as a Service. 17th International Conference on Product-Focused Software Process Improvement (PROFES 2016), 662-671. DOI, Open access version
  • Bendík, J., Benes, N., Cerná, I., Barnat, J.: Tunable Online MUS/MSS Enumeration. 36th International Conference on Foundations of Software Technology and Theoretical Computer Science. DOI (open access)
  • de la Vara, J.L., Marín, B., Giachetti, G., Ayora, C.: Do Models Improve the Understanding of Safety Compliance Needs? Insights from a Pilot Experiment. 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2016), 32:1-32:6. DOI, Open access version
  • Gallina, B., Andrews, A.: Deriving Verification-related Means of Compliance for a Model-based Testing Process. 35th Digital Avionics Systems Conference (DASC-2016). DOI, Open access version
  • Gallina, B., Padira, K., Nyberg, M.: Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-assessment. 10th International Conference on the Quality of Information and Communications Technology (QUATIC 2016), 199-204. DOI, Open access version
  • Schoitsch, E.: Autonomous Vehicles and Automated Driving: Status, Perspectives and societal Impact. 24th Interdisciplinary Information Management Talks (IDIMT 2016), 405-425. Open access version
  • Ayala, I., Gallina, B.: Towards Tool-based Security-informed Safety Oriented Process Line Engineering. 1st International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA-2016), 38. DOI, Open access version
  • Gallina, B., Castellanos-Ardila, J.P., Nyberg, M.: Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation. 4th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS). Open access version
  • Mazzini, S., Favaro, J., Puri, S., Baracchi, L.: CHESS: an open source methodology and toolset for the development of critical systems. Third Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016). Open access version
  • Ruiz, A., Gallina, B., de la Vara, J.L., Mazzini, S., Espinoza, H.: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2016), 311-321. DOI, Open access version
  • Schmittner, C., Ma, Z., Puschner, P.: Limitation and Improvement of STPA-Sec for Safety and Security Co-analysis. ERCIM/EWICS/ARTEMIS Workshop on “Dependable Embedded and Cyber-physical Systems and Systems-of-Systems” (DECSoS 2016), 195-209. DOI, Open access version
  • Slijvo, I., Gallina, B.: Building Multiple-Viewpoint Assurance Cases Using Assumption/Guarantee Contracts. 1st International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA-2016), 39. DOI, Open access version
  • Sljivo, I., Gallina, B.,  Carlson, J., Hansson, H.: Configuration-aware Contracts. 4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2016), 43-54. DOI, Open access version