Publications

Type: Date:
Scope:
Author:

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
3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSS-Rail-2019)

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)

Items per page: