Publications

2017

  • Alajrami, S., Gallina, B., Romanovsky, A.: Enabling GSD Task Allocation via Cloud-based Software Processes. International Journal of Networked and Distributed Computing 5(4): 221-232. DOI, Open access version
  • 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
  • Alajrami, S., Gallina, B., Romanovsky, A.: Enabling GSD Task Allocation via Cloud-based Software Processes. 15th International Conference on Software Engineering Research, Management and Applications (SERA 2017). DOI, Open access version
  • Bendik, J.: Consistency Checking in Requirements Analysis. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017). DOI, Open access version
  • Carlan, C., Gallina, B., Kacianka, S., Breu, R.: Arguing on Software-level Verification Techniques Appropriateness. 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017). DOI, Open access version
  • Castellanos, J., Gallina, B.: Towards Increased Efficiency and Confidence in Process Compliance. 24th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroSPI&Asia2 2017). DOI, Open access version
  • de la Vara, J.L., Marín, B., Ayora, C., Giachetti, G.: An Experimental Evaluation of the Understanding of Safety Compliance Needs with Models. 36th International Conference on Conceptual Modeling (ER 2017). DOI, Open access version
  • Gallina, B., Haider, Z., Carlsson, A.: Towards Generating ECSS-compliant Fault Tree Analysis’Results via ConcertoFLA. 2nd International Conference on Reliability Engineering (ICRE 2017). DOI, Open access version
  • Juez, G., Amparan, E., Lattarulo, R., Ruiz, A., Perez, J., Espinoza, H.: Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework. 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017). DOI, Open access version
  • Juez Uriagereka, G., Lattarulo, R., Pérez Rastelli, J., Amparan Calonge, E., Ruiz Lopez, A., Espinoza, H.: Fault Injection method for Safety and Controllability Evaluation of Automated Driving. 2017 IEEE Intelligent Vehicles Symposium (IV 2017). 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
  • Montecchi, L., Gallina, B.: SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems. 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017). DOI, Open access version
  • Varkoi, T., Mäkinen, T., Gallina, B., Cameron, F., Nevalainen, R.: Towards Systematic Compliance Evaluation Using Safety-oriented Process Lines and Evidence Mapping. 24th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroSPI&Asia2 2017). DOI, Open access version
  • Castellanos-Ardila, J.P., Gallina, B.: Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards. 7th IEEE International Workshop on Software Certification (WoSoCer 2017). DOI, Open access version
  • de la Vara, J.L., Gómez, A., Gallego, E., Génova, G., Fraga, A.: Representation of Safety Standards with Semantic Technologies Used in Industrial Environments. 6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2017). DOI, Open access version
  • Gallina, B., Nyberg, M.: Pioneering the Creation of ISO 26262-compliant OSLC-based Safety Cases. 7th IEEE International Workshop on Software Certification (WoSoCer 2017). DOI, Open access version
  • Martin, H., Bramberger, R., Schmittner, C., Ma, Z., Gruber, T., Ruiz, A., Macher, G.: Safety and Security Co-engineering and Argumentation Framework. 6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2017). DOI, Open access version
  • Sljivo, I., Gallina, B., Kaiser, B.: Assuring Degradation Cascades of Car Platoons via Contracts. 6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 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