( en | de | ru )

 

Disambiguation of "Cârlan, Carmen"

Author of the publication

copydeleteadd this publication to your clipboard
ExplicitCase: Integrated Model-Based Development of System and Safety Cases.

, , , , and . SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 52-63. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Carlan Wolf

Carmen Sauter

Aluminiumverstärktes Zirkoniumdioxid als orales Implantatmaterial: eine kaumaschinelle Untersuchung. Uni Freiburg, (2010)

Carmen Hertz

Carmen Weihe

Carmen Ruano

 

Other publications of authors with the same name

A Toolchain for Synthesizing and Validating Safety Architectures., , , , , , , , and . SN Comput. Sci., 4 (4): 335 (July 2023)FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems., , , , and . Domain-Specific Languages in Practice, Springer, (2021)CyberGSN: A Semi-formal Language for Specifying Safety Cases., and . DSN Workshops, page 63-66. IEEE, (2021)ExplicitCase: Integrated Model-Based Development of System and Safety Cases., , , , and . SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 52-63. Springer, (2017)A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis., , , , , , , , and . MODELSWARD, page 36-47. SCITEPRESS, (2022)Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products., , , and . ISSRE Workshops, page 295-302. IEEE, (2020)Arguing on Software-Level Verification Techniques Appropriateness., , , and . SAFECOMP, volume 10488 of Lecture Notes in Computer Science, page 39-54. Springer, (2017)Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive., , , , , and . SAFECOMP, volume 13414 of Lecture Notes in Computer Science, page 319-332. Springer, (2022)Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern., and . HASE, page 53-60. IEEE Computer Society, (2017)AI-Blueprint for Deep Neural Networks., , and . SafeAI@AAAI, volume 2808 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)