Publications
2019
- 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)
- 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)
- 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)
- 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
- 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
- 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
- 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
- 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)
- 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
- 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
- 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)
- 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
- Á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
- 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
- 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
- Alaña, E., Herrero. J.: Design and Safety assessment of on-board software applications using the AMASS platform. EUROSPACE - DASIA 2018. Open access version
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Gallina, B., Martinez, J.: Reuse in (re)certification of systems. 17th International Conference on Software Reuse (ICSR 2018). Open access version
- Gannous, A., Andrews, A., Gallina, B.: Bridging the Gap between Testing and Safety Certification. 39th Aerospace Conference. DOI, Open access version
- Grabowski, M.: Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts. Modellierung 2018. Link
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Skogby. S.: Samarbete för att stärka europeisk elektronikindustri. Elektronik Tidningen October 2018. Link
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 54(3): 119-128. 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, 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
- 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
- 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
- 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
- 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. DOI, 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). Link
- 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
- 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