| Arguing from hazard analysis in safety cases: a modular argument pattern M Gleirscher, C Carlan 2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017 | 25 | 2017 |
| A safety case pattern for systems with machine learning components E Wozniak, C Cârlan, E Acar-Celik, HJ Putzer Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020 | 19 | 2020 |
| Towards modular certification using integrated model-based safety cases S Voss, B Schätz, M Khalil, C Carlan proc. VeriSure: Verification and Assurance Workshop, 2013 | 16 | 2013 |
| On using results of code-level bounded model checking in assurance cases C Cârlan, D Ratiu, B Schätz Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE …, 2016 | 15 | 2016 |
| Roadblocks on the highway to secure cars: an exploratory survey on the current safety and security practice of the automotive industry M Huber, M Brunner, C Sauerwein, C Carlan, R Breu Computer Safety, Reliability, and Security: 37th International Conference …, 2018 | 14 | 2018 |
| ExplicitCase: integrated model-based development of system and safety cases C Cârlan, S Barner, A Diewald, A Tsalidis, S Voss Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE …, 2017 | 13 | 2017 |
| On computer-aided techniques for supporting safety and security co-engineering A Kondeva, V Nigam, H Ruess, C Carlan 2019 IEEE International Symposium on Software Reliability Engineering …, 2019 | 12 | 2019 |
| Integrated formal methods for constructing assurance cases C Cârlan, TA Beyene, H Ruess 2016 IEEE International Symposium on Software Reliability Engineering …, 2016 | 11 | 2016 |
| FASTEN: an extensible platform to experiment with rigorous modeling of safety-critical systems D Ratiu, A Nordmann, P Munk, C Carlan, M Voelter Domain-Specific Languages in Practice: with JetBrains MPS, 131-164, 2021 | 10 | 2021 |
| Explicitcase: tool-support for creating and maintaining assurance arguments integrated with system models C Cârlan, V Nigam, S Voss, A Tsalidis 2019 IEEE International Symposium on Software Reliability Engineering …, 2019 | 10 | 2019 |
| Arguing on software-level verification techniques appropriateness C Cârlan, B Gallina, S Kacianka, R Breu Computer Safety, Reliability, and Security: 36th International Conference …, 2017 | 10 | 2017 |
| Application of stpa for the elicitation of safety requirements for a machine learning-based perception component in automotive E Acar Celik, C Cârlan, A Abdulkhaleq, F Bauer, M Schels, HJ Putzer International Conference on Computer Safety, Reliability, and Security, 319-332, 2022 | 9 | 2022 |
| Automating Safety Argument Change Impact Analysis for Machine Learning Components C Cârlan, L Gauerhof, B Gallina, S Burton 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing …, 2022 | 8 | 2022 |
| Safety case maintenance: a systematic literature review C Cârlan, B Gallina, L Soima Computer Safety, Reliability, and Security: 40th International Conference …, 2021 | 8 | 2021 |
| Enhancing state-of-the-art safety case patterns to support change impact analysis C Carlan, B Gallina 30th European Safety and Reliability Conference, 2020 | 8 | 2020 |
| Checkable safety cases: Enabling automated consistency checks between safety work products C Cârlan, D PetriŞor, B Gallina, H Schoenhaar 2020 IEEE International Symposium on Software Reliability Engineering …, 2020 | 8 | 2020 |
| CyberGSN: a semi-formal language for specifying safety cases TA Beyene, C Carlan 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 7 | 2021 |
| FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases C Cârlan, D Ratiu Computer Safety, Reliability, and Security: 39th International Conference …, 2020 | 7 | 2020 |
| A step towards Modular Certification using integrated model-based Safety Cases S Voss, B Schätz, M Khalil, C Carlan VeriSure, 2013 | 6 | 2013 |
| A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis. YG Dantas, T Munaro, C Carlan, V Nigam, S Barner, S Fan, A Pretschner, ... MODELSWARD, 36-47, 2022 | 5 | 2022 |
Barbara GallinaAssociate Professor of Dependable Software Engineering, Mälardalen University (MDU)Verified email at mdu.se
