Publications

2019

  1. Capilla, R., Gallina, B., Cetina, C., Favaro, J.: Opportunities for Software Reuse in an Uncertain World: From Past to Emerging Trends. Journal of Software: Evolution and Process (accepted paper; to be published)
  2. Gallina, B.: Quantitative Evaluation of Tailoring within SPICE-compliant Security-informed Safety-oriented Process Lines. Journal of Software: Evolution and Process, (accepted paper; to be published)
  3. Haider, Z., Gallina, B., Carlsson, A., Mazzini, S., Puri, S.: ConcertoFLA-based Multi-concern Assurance for Space Systems. Ada User Journal (accepted paper; to be published)
  4. Adedjouma, M., Yakymets, N.: A Framework for Model-based Dependability Analysis of Cyber-Physical Systems. 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019). DOI
  5. Bendík, J., Černá, I.: Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-22). DOI
  6. de la Vara, J.L., Jimenez, G., Mendieta, R., Parra, E.: Assessment of the Quality of Safety Cases: A Research Preview. 25th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019). DOI, Open access version
  7. de la Vara, J.L., Ruiz, A., Gallina, B., Blondelle, G., Alaña, E., Herrero, J., Warg, F., Skoglung, M., Bramberger, R.: The AMASS Approach for Assurance and Certification of Critical Systems. embedded world Conference 2019. Open acess version
  8. Gallina, B., Javed, M.A., Martin, H., Bramberger, R.: Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262. 24th International Conference on Reliable Software Technologies (Ada-Europe 2019) (accepted paper; to be published)
  9. Javed, M. A., Gallina, B.: Towards Variant Management and Change Impact Analysis in Safety-oriented Process-Product Lines. 34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019). DOI, Open Access Version
  10. Nešic D., Nyberg, M., Gallina, B.: Constructing Product-Line Safety Cases from Contract-Based Specifications. 34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019). DOI, Open Access Version
  11. Sljivo, I., Juez, G., Puri, S., Gallina, B.: Guiding Assurance of Architectural Design Patterns for Critical Applications. 24th International Conference on Reliable Software Technologies (Ada-Europe 2019) (accepted paper; to be published)
  12. Ul Muram, F., Gallina, B., Kanwal, S.: A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process. 3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSS-Rail 2019). DOI, Open Access Version

2018

  1. Álvarez-Rodríguez, J.M., Mendieta, R., de la Vara, J.L., Fraga, A., Llorens, J.: Enabling system artefact exchange and selection through a Linked Data layer. Journal of Universal Computer Science 24(11): 1536-1560. DOI
  2. Adedjouma, M., Pedroza, G., Smaoui, A., Kien Dang, T.: Facilitating the Adoption of Standards through Model-based Representation. 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018). DOI, Open access version
  3. 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
  4. Alaña, E., Herrero. J.: Design and Safety assessment of on-board software applications using the AMASS platform. EUROSPACE - DASIA 2018. Open access version
  5. Alaña, E., Herrero, J., Urueña, S., Macioszek, K., Silveira, D.: A Reference Architecture for Space Systems. 12th European Conference on Software Architecture (ECSA 2018). DOI, Open access version
  6. 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
  7. Bendík, J., Beneš, N., Černá, I.: Finding Regressions in Projects under Version Control Systems. 13th International Conference on Software Technologies (ICSOFT 2018). DOI, Open access version
  8. Bendík, J., Ghassabani, E., Whalen, M.W., Černá, I.: Online Enumeration of All Minimal Inductive Validity Cores. 16th International Conference Software Engineering and Formal Methods (SEFM 2018). DOI, Open access version
  9. Bendík, J., Černá, I., Beneš, N.: Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. 16th International Symposium Automated Technology for Verification and Analysis (ATVA 2018). DOI, Open access version
  10. 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
  11. Castellanos Ardila, J.P., Gallina, B., Ul Muram, F.: Transforming SPEM 2.0-compatible Process Models into Models Checkable for Compliance. 18th International SPICE Conference (SPICE 2018). DOI, Open access version
  12. Castellanos Ardila, J.P.: Enabling Automated Compliance Checking of Processes against Safety Standards. 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018). Open access version
  13. 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
  14. 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
  15. 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). Open access version
  16. 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
  17. Gallina, B., Martinez, J.: Reuse in (re)certification of systems. 17th International Conference on Software Reuse (ICSR 2018). Open access version
  18. Gannous, A., Andrews, A., Gallina, B.: Bridging the Gap between Testing and Safety Certification. 39th Aerospace Conference. DOI, Open access version
  19. Grabowski, M.: Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts. Modellierung 2018. Link
  20. Griggio, A., Roveri, M., Tonetta, S.: Certifying Proofs for LTL Model Checking. 18th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2018). DOI, Open access version
  21. Haider, Z., Gallina, B., Zornoza Moreno, E.: FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results. 3rd International Conference on System Reliability and Safety (ICSRS 2018). Open access version
  22. 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
  23. Javed, M. A., Ul Muram, F., Zdun, U.: On-Demand Automated Traceability Maintenance and Evolution. 17th International Conference on Software Reuse (ICSR 2018). DOI, Open access version
  24. Kaiser, B., Schneider, D., Adler, R., Domis, D., Möhrle, F., Berres, A., Zeller, M., Höfig, K., Rothfelder, M.: Advances in Component Fault Trees. 28th European Safety and Reliability Conference (ESREL 2018). Link
  25. Parra, E., de la Vara, J.L., Alonso, L.: Analysis of Requirements Quality Evolution. 40th International Conference on Software Engineering (ICSE 2018). DOI, Open access version
  26. 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). DOI, Open access version
  27. 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
  28. Adedjouma, M., Smaoui, A.: Model-Based Computer-Aided Monitoring for ISO26262 Compliant Systems. 8th IEEE International Workshop on Software Certification (WoSoCer 2018). DOI, Open access version
  29. Castellanos Ardila, J.P., Gallina, B., Governatori, G.: Lessons Learned while Formalizing ISO 26262 for Compliance Checking. 2nd Workshop on Technologies for Regulatory Compliance (TeReCom 2018). Open access version
  30. 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
  31. Gannous, A., Andrews, A., Gallina, B.: Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems. 8th IEEE International Workshop on Software Certification (WoSoCer 2018). DOI, Open access version
  32. Gonzalez, L., Marti E., Calvo, I., Ruiz, A., Perez, J.: Towards Risk Estimation in Automated Vehicles using a Fuzzy System. 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018). DOI, Open access version
  33. Skoglund, M., Warg, F., Sangchoolie, B.: In Search of Synergies in a Multi-Concern Development Lifecycle: Safety and Cybersecurity. 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018). DOI, Open access version
  34. Verma, S., Gruber, T., Puschner, P., Schmittner, C., Schoitsch, E.: A Quantitative Approach for the Likelihood of Exploits of System Vulnerabilities. 13th International ERCIM/EWICS /ARTEMIS Workshop on “Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018). DOI, Open access version
  35. Espinoza, H., de la Vara, J.L., Juez, G., Martinez, C., Gallina, B., Puri, S., Mazzini, S., Blondelle, G.: Meet the new Eclipse-based tools for Assurance and Certification of Cyber-Physical Systems. Eclipse Newsletter July 2018. Link
  36. Skogby. S.: Samarbete för att stärka europeisk elektronikindustri. Elektronik Tidningen October 2018. Link

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