E-LIB Suche - Ergebnisse für: Carlan, Carmen

1

A Toolchain for Synthesizing and Validating Safety Architec..:

Gil Dantas, Yuri ; Munaro, Tiziano ; Carlan, Carmen...
SN Computer Science. 4 (2023) 4 - p. , 2023

Link: https://doi.org/10.1007/..

2

Application of STPA for the Elicitation of Safety Requireme..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Acar Celik, Esra ; Cârlan, Carmen ; Abdulkhaleq, Asim... - p. 319-332 , 2022

Link: https://doi.org/10.1007/..

3

Automating Safety Argument Change Impact Analysis for Machi..:

, In: 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC),

Carlan, Carmen ; Gauerhof, Lydia ; Gallina, Barbara. - p. 43-53 , 2022

Link: https://doi.org/10.1109/..

4

FASTEN: An Extensible Platform to Experiment with Rigorous ..:

, In: Domain-Specific Languages in Practice,

Ratiu, Daniel ; Nordmann, Arne ; Munk, Peter.. - p. 131-164 , 2021

Link: https://doi.org/10.1007/..

5

Safety Case Maintenance: A Systematic Literature Review:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Cârlan, Carmen ; Gallina, Barbara ; Soima, Liana - p. 115-129 , 2021

Link: https://doi.org/10.1007/..

6

FASTEN.Safe: A Model-Driven Engineering Tool to Experiment ..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Cârlan, Carmen ; Ratiu, Daniel - p. 298-306 , 2020

Link: https://doi.org/10.1007/..

7

Architectures for Flexible Collaborative Systems:

, In: Model-Based Engineering of Collaborative Embedded Systems,

Böhm, Birthe ; Cârlan, Carmen ; Sohr, Annelie.. - p. 49-70 , 2020

Link: https://doi.org/10.1007/..

8

A Safety Case Pattern for Systems with Machine Learning Com..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops; Lecture Notes in Computer Science,

Wozniak, Ernest ; Cârlan, Carmen ; Acar-Celik, Esra. - p. 370-382 , 2020

Link: https://doi.org/10.1007/..

9

Checkable Safety Cases: Enabling Automated Consistency Chec..:

, In: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Carlan, Carmen ; PetriSor, Daniel ; Gallina, Barbara. - p. 295-302 , 2020

Link: https://doi.org/10.1109/..

10

ExplicitCase: Tool-Support for Creating and Maintaining Ass..:

, In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Carlan, Carmen ; Nigam, Vivek ; Voss, Sebastian. - p. 330-337 , 2019

Link: https://doi.org/10.1109/..

11

On Computer-Aided Techniques for Supporting Safety and Secu..:

, In: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Kondeva, Antoaneta ; Nigam, Vivek ; Ruess, Harald. - p. 346-353 , 2019

Link: https://doi.org/10.1109/..

12

Roadblocks on the Highway to Secure Cars: An Exploratory Su..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,

Huber, Michael ; Brunner, Michael ; Sauerwein, Clemens.. - p. 157-171 , 2018

Link: https://doi.org/10.1007/..

13

Integrated Formal Methods for Constructing Assurance Cases:

, In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),

Carlan, Carmen ; Beyene, Tewodros A. ; Ruess, Harald - p. 221-228 , 2016

Link: https://doi.org/10.1109/..

14

Arguing from Hazard Analysis in Safety Cases: A Modular Arg..:

Gleirscher, Mario ; Carlan, Carmen
http://arxiv.org/abs/1704.03672. , 2017

Link: http://arxiv.org/abs/170..

15

FP236DIAGNOSTIC ACCURACY OF RAPID DIPSTICK TESTS AND URINAL..:

Caldararu, Carmen Denise ; Dogaru, Grigore ; Gliga, Mirela...
Nephrology Dialysis Transplantation. 30 (2015) suppl_3 - p. iii146-iii146 , 2015

Link: https://doi.org/10.1093/..