Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Fault Trees vs. Component Fault Trees: An Empirical Study.

T. Gonschorek, M. Zeller, K. Höfig, and F. Ortmeier. SAFECOMP Workshops, volume 11094 of Lecture Notes in Computer Science, page 239-251. Springer, (2018)

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.

Juhan Frank

Dr. rer. nat. Bettina Frank University of Stuttgart

Lukas Frank University of Stuttgart

Daniel Frank University of Stuttgart

Frank Scheiner University of Stuttgart

Other publications of authors with the same name

Dependability in Pervasive Computing: Challenges and Chances.F. Ortmeier. JITR, 5 (1): 1-17 (2012)Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development.M. Lipaczewski, S. Struck, and F. Ortmeier. HASE, page 159-166. IEEE Computer Society, (2012)Integrated formal methods for safety analysis of train systems.W. Reif, F. Ortmeier, A. Thums, and G. Schellhorn. IFIP Congress Topical Sessions, volume 156 of IFIP, page 637-642. Kluwer/Springer, (2004)Trajectory Description Conception for Industrial Robots.S. Alatartsev, M. Güdemann, and F. Ortmeier. ROBOTIK, VDE-Verlag, (2012)Formal Modeling and Verification of Systems with Self-x Properties.M. Güdemann, F. Ortmeier, and W. Reif. ATC, volume 4158 of Lecture Notes in Computer Science, page 38-47. Springer, (2006)Interactive Verification of Statecharts.A. Thums, G. Schellhorn, F. Ortmeier, and W. Reif. SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 355-373. Springer, (2004)Robotic Task Sequencing Problem: A Survey.S. Alatartsev, S. Stellmacher, and F. Ortmeier. J. Intell. Robotic Syst., 80 (2): 279-298 (2015)Using model-based analysis in certification of critical software-intensive systems.F. Ortmeier, S. Struck, and M. Lipaczewski. Software Engineering (Workshops), volume P-199 of LNI, page 155-162. GI, (2012)Programmers do not favor lambda expressions for concurrent object-oriented code.S. Nielebock, R. Heumüller, and F. Ortmeier. Empirical Software Engineering, 24 (1): 103-138 (2019)Handlungsadaptive Produktionsassistenz.M. Lipaczewski, and F. Ortmeier. GI-Jahrestagung, volume P-208 of LNI, page 585-596. GI, (2012)