| 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 | 15 | 2013 |
| 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 | 14 | 2017 |
| On using results of code-level bounded model checking in assurance cases C Cârlan, D Ratiu, B Schätz International Conference on Computer Safety, Reliability, and Security, 30-42, 2016 | 11 | 2016 |
| Arguing on software-level verification techniques appropriateness C Cârlan, B Gallina, S Kacianka, R Breu International Conference on Computer Safety, Reliability, and Security, 39-54, 2017 | 8 | 2017 |
| ExplicitCase: integrated model-based development of system and safety cases C Cârlan, S Barner, A Diewald, A Tsalidis, S Voss International Conference on Computer Safety, Reliability, and Security, 52-63, 2017 | 6 | 2017 |
| A step towards Modular Certification using integrated model-based Safety Cases S Voss, B Schätz, M Khalil, C Carlan VeriSure, 2013 | 6 | 2013 |
| 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 | 5 | 2019 |
| Integrated formal methods for constructing assurance cases C Cârlan, TA Beyene, H Ruess 2016 IEEE International Symposium on Software Reliability Engineering …, 2016 | 5 | 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 International Conference on Computer Safety, Reliability, and Security, 157-171, 2018 | 4 | 2018 |
| 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 | 2 | 2019 |
| Safety case driven model-based systems construction S Voss, C Cârlan, B Schätz, T Kelly 2nd International Workshop on Emerging Ideas and Trends in Engineering of …, 2013 | 2 | 2013 |
| FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases C Cârlan, D Ratiu International Conference on Computer Safety, Reliability, and Security, 298-306, 2020 | 1 | 2020 |
| Enhancing state-of-the-art safety case patterns to support change impact analysis C Carlan, B Gallina 30th European Safety and Reliability Conference ESREL-2020, 21 Jun 2020 …, 2020 | 1 | 2020 |
| AI-Blueprint for Deep Neural Networks E Wozniak, H Putzer, C Cârlan | | 2021 |
| Architectures for Flexible Collaborative Systems B Böhm, C Cârlan, A Sohr, S Unverdorben, J Vollmar Model-Based Engineering of Collaborative Embedded Systems, 49-70, 2021 | | 2021 |
| 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 | | 2020 |
| A Safety Case Pattern for Systems with Machine Learning Components E Wozniak, C Cârlan, E Acar-Celik, HJ Putzer International Conference on Computer Safety, Reliability, and Security, 370-382, 2020 | | 2020 |
| Living Safety Arguments for Open Systems C Cârlan 2017 IEEE International Symposium on Software Reliability Engineering …, 2017 | | 2017 |
| Implementation of different concepts of redundancy for the automatic generation of logical architectures supporting a safer mixed-critical system behaviour in the CASE-Tool … C Carlan | | 2012 |
Bernhard SchätzHead of Department, fortiss GmbH; Lecturerer, Technische Universität MünchenVerified email at fortiss.org
