Barbara Gallina
Orcid: 0000-0002-6952-1053
According to our database1,
Barbara Gallina
authored at least 100 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Assessing risk of AR and organizational changes factors in socio-technical robotic manufacturing.
Robotics Comput. Integr. Manuf., 2024
2023
A Knowledge Management Strategy for Seamless Compliance with the Machinery Regulation.
Proceedings of the Systems, Software and Services Process Improvement, 2023
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023
2022
Multiconcern, Dependability-Centered Assurance Via a Qualitative and Quantitative Coanalysis.
IEEE Softw., 2022
J. Softw. Evol. Process., 2022
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022
2021
Specification and automated verification of atomic concurrent real-time transactions.
Softw. Syst. Model., 2021
J. Syst. Archit., 2021
Fast Abstracts and Student Forum Proceedings, 17th European Dependable Computing Conference - EDCC 2021.
CoRR, 2021
Compliance-aware engineering process plans: the case of space software engineering processes.
Artif. Intell. Law, 2021
Proceedings of the Computer Safety, Reliability, and Security, 2021
Reusing (Safety-oriented) Compliance Artifacts while Recertifying.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021
Towards Qualitative and Quantitative Dependability Analyses for AR-Equipped Socio-Technical Systems.
Proceedings of the 5th International Conference on System Reliability and Safety, 2021
On-line Meetings for Educating the Minds of Future Safety Engineers during the COVID Pandemic: An Experience Report.
Proceedings of the 13th International Conference on Computer Supported Education, 2021
2020
Quantitative evaluation of tailoring within SPICE-compliant security-informed safety-oriented process lines.
J. Softw. Evol. Process., 2020
J. Syst. Archit., 2020
A Physiology-based Driver Readiness Estimation Model for Tuning ISO 26262 Controllability.
Proceedings of the 91st IEEE Vehicular Technology Conference, 2020
The AMASS Tool Platform: An Innovative Solution for Assurance and Certication of Cyber-Physical Systems.
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
Process Compliance Re-Certification Efficiency Enabled by EPF-C $\circ $ BVR-T: A Case Study.
Proceedings of the Quality of Information and Communications Technology, 2020
Proceedings of the Quality of Information and Communications Technology, 2020
Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), 2020
Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Proceedings of the Systems, Software and Services Process Improvement, 2020
Proceedings of the Systems, Software and Services Process Improvement, 2020
2019
Opportunities for software reuse in an uncertain world: From past to emerging trends.
J. Softw. Evol. Process., 2019
J. Ambient Intell. Humaniz. Comput., 2019
Computing, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Towards variant management and change impact analysis in safety-oriented process-product lines.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems.
Proceedings of the Product-Focused Software Process Improvement, 2019
Effect of Augmented Reality on Faults Leading to Human Failures in Socio-technical Systems<sup>*</sup>.
Proceedings of the 4th International Conference on System Reliability and Safety, 2019
Extending SafeConcert for Modelling Augmented Reality-equipped Socio-technical Systems<sup>*</sup>.
Proceedings of the 4th International Conference on System Reliability and Safety, 2019
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
2018
Compliance of agilized (software) development processes with safety standards: a vision.
Proceedings of the 19th International Conference on Agile Software Development, 2018
Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the 2nd Workshop on Technologies for Regulatory Compliance co-located with the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018), 2018
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018
Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the 3rd International Conference on System Reliability and Safety, 2018
Proceedings of the Systems, Software and Services Process Improvement, 2018
Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018
A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence.
Proceedings of the 14th European Dependable Computing Conference, 2018
Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018
2017
Special section on: Reliability and Safety Certification of Software-Intensive Systems.
Reliab. Eng. Syst. Saf., 2017
A method to generate reusable safety case argument-fragments from compositional safety analysis.
J. Syst. Softw., 2017
Int. J. Networked Distributed Comput., 2017
Comput. Stand. Interfaces, 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the Computer Safety, Reliability, and Security, 2017
Proceedings of the Computer Safety, Reliability, and Security, 2017
Proceedings of the Model and Data Engineering - 7th International Conference, 2017
Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262.
Proceedings of the 1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017), 2017
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Towards Efficiently Checking Compliance Against Automotive Security and Safety Standards.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Towards Systematic Compliance Evaluation Using Safety-Oriented Process Lines and Evidence Mapping.
Proceedings of the Systems, Software and Services Process Improvement, 2017
Proceedings of the Systems, Software and Services Process Improvement, 2017
Proceedings of the 8th International Conference on Ambient Systems, 2017
2016
Proceedings of the Software Process Improvement and Capability Determination, 2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016
Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-Assessment.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016
Proceedings of the Product-Focused Software Process Improvement, 2016
Proceedings of the MODELSWARD 2016, 2016
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016
Proceedings of the 2016 2nd International Workshop on Modelling, 2016
2015
Proceedings of the 1st International Workshop on Software Process Education, 2015
Ontology-Based Identification of Commonalities and Variabilities Among Safety Processes.
Proceedings of the Product-Focused Software Process Improvement, 2015
Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262.
Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015
A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis.
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015
Proceedings of the 5th IEEE/ACM International Workshop on Product Line Approaches in Software Engineering, 2015
2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Modeling a Safety- and Automotive-Oriented Process Line to Enable Reuse and Flexible Process Derivation.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
2013
S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-Oriented Processes.
Proceedings of the Software Engineering Research, 2013
Proceedings of the SAFECOMP 2013, 2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
2012
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
2011
Fuzzy-enabled failure behaviour analysis for dependability assessment of networked systems.
Proceedings of the IEEE International Workshop on Measurement and Networking, 2011
FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
2009
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009
2008
SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
2007
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007
Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.
Proceedings of the ISSRE 2007, 2007