Publications

2018

  1. Alajrami, S., Romanovsky, A., Gallina, B.: Cost-Aware Scheduling of Software Processes Execution in the Cloud. 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018). DOI, Open access version
  2. Alaña, E., Herrero. J.: Design and Safety assessment of on-board software applications using the AMASS platform. EUROSPACE - DASIA 2018. DOI, Open access version
  3. Bartocci, E., Ferrere, T., Manjunath, N., Nickovic, D.: Localizing Faults in Simulink/Stateflow Models with STL. 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018). DOI, Open access version
  4. Castellanos Ardila,  J. P., Gallina, B., Ul Muram, F.: Enabling Compliance Checking against Safety Standards from SPEM 2.0 Process Models. 44 Euromicro Conference on Software Engineering and Advanced Applications (SEAA). DOI, Open access version
  5. de la Vara, J.L., Ruiz, A., Espinoza, H.: Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems. 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018). DOI, Open access version
  6. de Oliveira, A. L., Paiva Bressan, L., Montecchi, L., Gallina, B.: A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. 14th European Dependable Computing Conference (EDCC 2018). DOI, Open access version
  7. Gallina B., Haider, Z., Carlsson, A., Mazzini, S., Puri, S.: Multi-concern Dependability-centered Assurance for Space Systems via ConcertoFLA. 23rd International Conference on Reliable Software Technologies (Ada-Europe 2018) (accepted paper). DOI, Open access version
  8. Gallina, B., Iyer, S.: Towards Quantitative Evaluation of Reuse within Safety-oriented Process Lines. 25th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroSPI&Asia2-2018). DOI, Open access version
  9. Gallina, B., Martinez, J.: Reuse in (re)certification of systems. 17th International Conference on Software Reuse (ICSR 2018) (accepted paper). DOI, Open access version
  10. Gannous, A., Andrews, A., Gallina, B.: Bridging the Gap between Testing and Safety. 39th Aerospace Conference (accepted paper). DOI, Open access version
  11. Grabowski, M.: Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts. Modellierung 2018. Link
  12. Javed, M. A., Gallina, B.: Safety-oriented Process Line Engineering via Seamless Integration between EPF Composer and BVR Tool. 22nd International Systems and Software Product Line Conference (SPLC 2018). DOI, Open access version
  13. Parra, E., de la Vara, J.L., Alonso, L.: Analysis of Requirements Quality Evolution. 40th International Conference on Software Engineering (ICSE 2018) (accepted paper). DOI, Open access version
  14. Sljivo, I., Gallina, B., Carlson, J., Hansson, H., Puri, S.: Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. 23rd International Conference on Reliable Software Technologies (Ada-Europe 2018) (accepted paper). DOI, Open access version
  15. Ul Muram, F., Gallina, B., Gomez Rodriguez, L.: Preventing Omission of Key Evidence Fallacy in Process-based Argumentations. 11th International Conference on the Quality of Information and Communications Technology (QUATIC). DOI, Open access version
  16. Gallina, B., Ul Muram, F., Castellanos Ardila, J. P.: Compliance of Agilized (Software) Development Processes with Safety Standards: a Vision. 4th International Workshop on Agile Development of Safety-Critical Software (ASCS 2018). DOI, Open access version

2017

  1. 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
  2. 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
  3. Gallina, B., Gomez-Martinez, E., Benac-Earle, C.: Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer. Computer Standards & Interfaces 54(3): 119-128. DOI, Open access version
  4. 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
  5. Bendik, J.: Consistency Checking in Requirements Analysis. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2017). DOI, Open access version
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. Juez, G., Amparan, E., Lattarulo, R., Perez, J., Ruiz, A., Espinoza, H.: Safety Assessment of Automated Vehicle Functions by Simulation-based Fault Injection. 2017 IEEE International Conference on Vehicular Electronics and Safety (ICVES 2017). DOI, Open access version
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. Castellanos-Ardila, J.P., Gallina, B.: Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262. 1st Workshop on Technologies for Regulatory Compliance (TeReCom 2017). Link
  18. 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
  19. 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
  20. 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
  21. 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

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. Schoitsch, E.: Autonomous Vehicles and Automated Driving: Status, Perspectives and societal Impact. 24th Interdisciplinary Information Management Talks (IDIMT 2016), 405-425. DOI, Open access version
  7. 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
  8. 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). Link
  9. 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). Link
  10. 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
  11. 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
  12. 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
  13. 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