Publications
Number of publications matching the search criterion: 68 (showing 1 - 50)
Doctoral Thesis (2)
A Safety-centered Planning-time Framework for Automated Process Compliance Checking (Oct 2021) Julieth Patricia Castellanos Ardila
Assurance Aware Contract-Based Design for Safety-Critical Systems (Sep 2018) Irfan Sljivo
Licentiate Thesis (1)
Facilitating Automated Compliance Checking of Processes against Safety Standards Julieth Patricia Castellanos Ardila
Journal article (11)
Compliance Checking of Software Processes: A Systematic Literature Review (Mar 2022) Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram Journal of Software: Evolution and Process (JSEP)
Compliance-aware Engineering Process Plans: The case of Space Software Engineering Processes (Mar 2021) Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori Artificial Intelligence and Law (AIL)
Product-Line Assurance Cases from Contract-Based Design (Feb 2021) Damir Nesic , Mattias Nyberg , Barbara Gallina Journal of Systems and Software-2021 (JSS-2021)
Guiding assurance of architectural design patterns for critical applications (Mar 2020) Irfan Sljivo, Garazi Juez Uriagereka , Stefano Puri , Barbara Gallina Journal of Systems Architecture, 2021 (JSA)
Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems (Mar 2020) Robert Bramberger, Helmut Martin, Barbara Gallina, Christoph Schmittner ACM SIGAda-Ada-Letters-39-II (AdaLetters39-II)
Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems (Jan 2020) Robert Bramberger, Helmut Martin, Barbara Gallina, Christoph Schmittner Ada User Journal 40 (4) (AUJ-40 (4))
Quantitative Evaluation of Tailoring within SPICE-compliant Security-informed Safety-oriented Process Lines (Aug 2019) Barbara Gallina Journal of Software: Evolution and Process - EuroSPI Special Issue (JSEP-EuroSPI-SI)
Opportunities for Software Reuse in an Uncertain World: From Past to Emerging Trends (Aug 2019) Rafael Capilla , Barbara Gallina, Carlos Cetina , John Favaro JSEP-ICSR'18-Special Issue (JSEP-ICSR'18-SI)
ConcertoFLA-based Multi-concern Assurance for Space Systems (Mar 2019) Zulqarnain Haider, Barbara Gallina, Anna Carlsson , Silvia Mazzini , Stefano Puri Ada User Journal (AUJ-40 (1))
Enabling GSD Task Allocation via Cloud-based Software Processes (Oct 2017) Sami Alajrami , Barbara Gallina, Alexander Romanovsky International Journal of Networked and Distributed Computing 5(4)-2017 (IJNDC 5(4)-2017)
Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer (Dec 2016) Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle Computer Standards & Interfaces -SPICE-2016 Special Issue (CSI SPICE-2016)
Conference/Workshop Paper (44)
Making SafeConcert Security-informed to Enable Multi-concern Modelling (Nov 2020) Barbara Gallina, Zulqarnain Haider 30th European Safety and Reliability Conference (ESREL-2020)
A Personal Opinion Survey on Process-based Compliance Checking in the Safety Context (Sep 2020) Julieth Patricia Castellanos Ardila, Barbara Gallina 13th International Conference on the Quality of Information and Communications Technology- Track: Process Modeling, Improvement and Assessment (QUATIC-2020)
Process Compliance Re-Certification Efficiency Enabled by EPF-C ° BVR-T (Sep 2020) Barbara Gallina, Aleksandër Pulla, Antonela Bregu, Julieth Patricia Castellanos Ardila 13th International Conference on the Quality of Information and Communications Technology- Track: Process Modeling, Improvement and Assessment (QUATIC-2020)
The AMASS Tool Platform: An Innovative Solution for Assurance and Certification of Cyber-Physical Systems (Mar 2020) Jose Luis de la Vara , Eugenio Parra Corredor , Alejandra Ruiz Lopez , Barbara Gallina 26th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020)
AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems (Nov 2019) Jose Luis de la Vara , Eugenio Parra Corredor , Alejandra Ruiz Lopez , Barbara Gallina 20th International Conference on Product-Focused Software Process Improvement (PROFES-2019)
Co-engineering of security and safety life-cycles for engineering security-informed safety-critical automotive systems in compliance with SAE J3061 and ISO 26262 (Jun 2019) Barbara Gallina, Muhammad Atif Javed, Helmut Martin, Robert Bramberger 24th International Conference on Reliable Software Technologies (Ada-Europe-2019)
A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process (Jun 2019) Faiz Ul Muram, Barbara Gallina, Samina Kanwal 5rd International Conference Reliability, Safety and Security of Railway Systems (RSS-RAIL-2023)
Constructing Product-Line Safety Cases from Contract-Based Specifications (Apr 2019) Damir Nesic , Mattias Nyberg , Barbara Gallina The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
Towards Variant Management and Change Impact Analysis in Safety-oriented Process-Product Lines (Apr 2019) Muhammad Atif Javed, Barbara Gallina, Anna Carlsson The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19)
The AMASS Approach for Assurance and Certification of Critical Systems (Feb 2019) Jose Luis de la Vara , Alejandra Ruiz Lopez , Barbara Gallina, Gaël Blondelle , Elena Alaña , Javier Herrero , Fredrik Warg , Martin Skoglund, Robert Bramberger embedded world 2019 (ewC-2019)
Lessons Learned while Formalizing ISO 26262 for Compliance Checking (Feb 2019) Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori 2nd Workshop on TeReCom - Technologies for Regulatory Compliance (TeReCom-2018)
Preventing Omission of Key Evidence Fallacy in Process-based Argumentations (Dec 2018) -- Best Paper Award-- Faiz Ul Muram, Barbara Gallina, Laura Gomez Rodriguez 11th International Conference on the Quality of Information and Communications Technology (QUATIC-2018)
FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results (Nov 2018) Zulqarnain Haider, Barbara Gallina, Enrique Zornoza Moreno 3rd International Conference on System Reliability and Safety (ICSRS-2018)
Compliance of Agilized (Software) Development Processes with Safety Standards: a Vision (Oct 2018) Barbara Gallina, Faiz Ul Muram, Julieth Patricia Castellanos Ardila 4th international workshop on Agile Development of Safety-Critical Software (ASCS-2018)
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems (Oct 2018) Aiman Gannous , Anneliese Andrews , Barbara Gallina 8th IEEE International Workshop on Software Certification (WoSoCER-2018)
Transforming SPEM 2.0-compatible Process Models into Models Checkable for Compliance (Oct 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram 18th International SPICE Conference (SPICE-2018)
Safety-oriented Process Line Engineering via Seamless Integration between EPF Composer and BVR Tool (Sep 2018) Muhammad Atif Javed, Barbara Gallina 22nd International Systems and Software Product Line Conference (SPLC 2018)
A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence (Sep 2018) Lucas Paiva Bressan , André Luiz de Oliveira , Leonardo Montecchi , Barbara Gallina 14th European Dependable Computing Conference (EDCC-2018)
Towards Quantitative Evaluation of Reuse within Safety-oriented Process Lines (Sep 2018) Barbara Gallina, Shankar Iyer 25th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 '18)
Enabling Compliance Checking against Safety Standards from SPEM 2.0 Process Models (Aug 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz Ul Muram The Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018)
Bridging the Gap between Testing and Safety Certification (Jun 2018) Aiman Gannous , Anneliese Andrews , Barbara Gallina 39th Aerospace Conference (AC-2018)
Multi-concern Dependability-centered Assurance for Space Systems via ConcertoFLA (Jun 2018) Barbara Gallina, Zulqarnain Haider, Anna Carlsson , Silvia Mazzini , Stefano Puri 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation (Jun 2018) Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )
On-Demand Automated Traceability Maintenance and Evolution (May 2018) Muhammad Atif Javed, Faiz Ul Muram, Uwe Zdun 17th International Conference on Software Reuse (ICSR-2018)
Cost-Aware Scheduling of Software Processes Execution in the Cloud (Jan 2018) Sami Alajrami , Alexander Romanovsky , Barbara Gallina 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2018)
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262 (Jan 2018) Julieth Patricia Castellanos Ardila, Barbara Gallina 1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017) (TeReCom-2017)
Towards Generating ECSS-compliant Fault Tree Analysis Results via ConcertoFLA (Dec 2017) Barbara Gallina, Zulqarnain Haider, Anna Carlsson 2nd International Conference on Reliability Engineering (ICRE-2017)
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards (Oct 2017) Julieth Patricia Castellanos Ardila, Barbara Gallina The 7th IEEE International Workshop on Software Certification (WoSoCer 2017)
Pioneering the Creation of ISO 26262-compliant OSLC-based Safety Cases (Oct 2017) Barbara Gallina, Mattias Nyberg The 7th IEEE International Workshop on Software Certification (WoSoCer 2017)
Arguing on Software-level Verification Techniques Appropriateness (Sep 2017) Carmen Carlan , Barbara Gallina, Severin Kacianka , Ruth Breu 36th International Conference on Computer Safety, Reliability and Security (SAFECOMP-2017)
SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems (Sep 2017) Leonardo Montecchi , Barbara Gallina 5th International Symposium on Model-Based Safety and Assessment (IMBSA-2017)
Assuring Degradation Cascades of Car Platoons via Contracts (Sep 2017) Irfan Sljivo, Barbara Gallina, Bernhard Kaiser 6th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR-2017)
Towards Increased Efficiency and Confidence in Process Compliance (Sep 2017) Julieth Patricia Castellanos Ardila, Barbara Gallina 24th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 '17)
Towards Systematic Compliance Evaluation Using Safety-oriented Process Lines and Evidence Mapping (Sep 2017) Timo Varkoi , Timo Mäkinen , Barbara Gallina, Frank Cameron , Risto Nevalainen 24th European & Asian Systems, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 '17)
Evaluación de Requisitos de Seguridad con MBASafe conforme a la norma EN 50128 (Jul 2017) Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle XVII Jornadas de Programación y Lenguajes, part of SISTEDES 2017 (PROLE-2017)
Enabling GSD Task Allocation via Cloud-based Software Processes (Jun 2017) Sami Alajrami , Barbara Gallina, Alexander Romanovsky Software Engineering Research, Management and Applications (SERA-2017)
