1
0
0
(1 - 39 von 67
)
AwardsEUROMICRO
www.euromicro.org
... Kai Höfig, Marc Zeller and Reiner Heilmann: ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures (Best Paper ...
Marc Zellerfortiss
www.fortiss.org
Publikationen. Liste als BibTeX-Datei exportieren Automated Failure Propagation using Inner Port Dependency Traces Kai Höfig, Marc Zeller und ...
Kai Höfig: search on Z-Libraryzlibrary-fr.se
te.zlibrary-fr.se
Marc Zeller, Kai Höfig. సంవత్సరం: భాష: english. ఫైల్: PDF, MB. మీ ట్యాగ్లు:
Kai Höfig - fortiss
www.fortiss.org
2015 Automated Failure Propagation using Inner Port Dependency Traces Kai Höfig, Marc Zeller und Konstantin Schorp In Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures - QoSA '15 , Details DOI BIB. Name. Zweck.
Kai HöfigOpen Library
openlibrary.org
by Marc Zeller and Kai Höfig First published in editions in 1 language. Not in Library. We need a photo of Kai Höfig ...
Composing Model-Based Analysis Toolsgoogle.co.uk
books.google.co.uk
... Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, and Arne Nordmann. “Model-based Reliability ...
Composing Model-Based Analysis Toolsgoogle.fi
books.google.fi
[Höf+18] Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, and Arne Nordmann.
Safety and Reliability. Theory and Applications - Google Books
books.google.de
... Dependability, University of Kaiserslautern, Germany Marc Zeller, Kai Höfig & Martin Rothfelder Siemens AG, Corporate Technology, Munich, Germany Peter ...
Incorporation of system and safety analysis models using a ...arXiv
arxiv.org
von M Zeller · · Zitiert von: 9 — Title:INSiDER: Incorporation of system and safety analysis models using a dedicated reference model. Authors:Marc Zeller, Kai Hoefig. View a ...
SQUADfps: Integrated Model-Based Machine Safety and ...arXiv
arxiv.org
von CH Koo · · Zitiert von: 4 — ... Kai Hoefig, Marc Zeller. View a PDF of the paper titled SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible ...
[ ] WAP: Digital Dependability IdentitiesarXiv
arxiv.org
von D Schneider · · Zitiert von: 49 — WAP: Digital Dependability Identities. Authors:Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Hoefig. von D Schneider · · Zitiert von: 49 — WAP: Digital Dependability Identities. Authors:Daniel Schneider, Mario Trapp, Yiannis Papadopoulos, Eric Armengaud, Marc Zeller, Kai Hoefig.
Software Engineering authors/titles Jun 2021arXiv
arxiv.org
Authors: Kai Hoefig, Marc Zeller, Reiner Heilmann. Journal-ref: st Euromicro Conference on Software Engineering and Advanced Applications.
Stefan RothbauerDBLP
dblp.org
— Kai Höfig, Cornel Klein, Stefan Rothbauer, Marc Zeller, Marian Vorderer, Chee Hung Koo: A Meta-model for Process Failure Mode and Effects — Kai Höfig, Cornel Klein, Stefan Rothbauer, Marc Zeller, Marian Vorderer, Chee Hung Koo: A Meta-model for Process Failure Mode and Effects ...
Tim Kelly - dblp
dblp.uni-trier.de
... Anita Finnegan, Marc Zeller, Kai Höfig, Yiannis Papadopoulos, Richard Hawkins, Tim Kelly: DEIS: Dependability Engineering Innovation for Industrial CPS. › pid › Ti...
Marc ZellerDBLP
dblp.org
Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann: Model-Based Reliability and ... Kai Höfig, Andreas Joanni, Marc Zeller, Francesco Montrone, Martin Rothfelder, Rakshith Amarnath, Peter Munk, Arne Nordmann: Model-Based Reliability and ...
Towards a Cross-Domain Software Safety Assurance ...SpringerLink
link.springer.com
von M Zeller · · Zitiert von: 7 — Kai Höfig & ... Authors and Affiliations. Corporate Technology, Siemens AG, Otto-Hahn-Ring 6Munich, Germany. Marc Zeller, Kai Höfig & Martin Rothfelder.
metaFMEA-A Framework for Reusable FMEAsSpringer
link.springer.com
von K Höfig · · Zitiert von: 8 — Kai Höfig & Marc Zeller. Institute of Software Technology, University of Stuttgart, Stuttgart, Germany. Lars Grunske. Authors. Kai ...
metaFMEA-A Framework for Reusable FMEAs | SpringerLink
link.springer.com
Authors. Kai Höfig · (17); Marc Zeller · (17); Lars Grunske · -stuttgart.de (18).
Model-based Reliability and Safety: Reducing the ...BibBase
bibbase.org
Kai Höfig, A. J., Marc Zeller, F. M., Martin Rothfelder, R. A., & Peter Munk, A. N. In Annual Reliability and Maintainability Symposium (RAMS), ...
WO A1 - Risques de développement dans un ...Google Patents
patents.google.com
Kai Höfig: Stefan Rothbauer: Sebastian SCHRÖCK: Marian Marcel Vorderer: Marc Zeller; Original Assignee: Siemens Aktiengesellschaft; Priority date (The priority ...
Committees | IMBSA 2020EasyConferences.eu
easyconferences.eu
General Chairs. Kai Höfig (Siemens / Rosenheim Technical University of Applied Sciences, DE). Marc Zeller (Siemens, DE). PC-Chairs. Leila Kloul (Universite de ...
Failure Mode Reasoning in model based safety analysisMacquarie University
researchers.mq.edu.au
von H Jahanian · · Zitiert von: 7 — Marc Zeller, Kai Höfig. Place of Publication, Cham, Switzerland. Publisher, Springer, Springer Nature. Pages, Number of pages, 16. ISBN (Electronic) ...
Fault Trees vs. Component Fault Trees: An Empirical StudyOUCI
ouci.dntb.gov.ua
Authors: Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier. List of references. Filax, M., Gonschorek, T., Ortmeier, F.: Building models we can rely on ...
metaFMEA-A Framework for Reusable FMEAsOUCI
ouci.dntb.gov.ua
Authors: Kai Höfig, Marc Zeller, Lars Grunske. List of references. Adler, R., Förster, M., Trapp, M.: Determining Configuration Probabilities of Safety ... Authors: Kai Höfig, Marc Zeller, Lars Grunske. List of references. Adler, R., Förster, M., Trapp, M.: Determining Configuration Probabilities of Safety ...
CEUR-WS.org/Vol Joint Proceedings of the Workshops at...
ceur-ws.org
· Birthe Böhm, Marc Zeller, Jan Vollmar, Stefanie Weiß, Kai Höfig, Vincent Mali, Stephan Unverdorben, Constantin Hildebrandt; A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems - Early Virtual Prototyping of Car-to-X System Specifications Joel Greenyer, Larissa Chazette, Daniel Gritzner, Eric Wete
Towards a Cross-Domain Software Safety Assurance Process for …
www.springerprofessional.de
WebAuthors: Marc Zeller, Kai Höfig, Martin Rothfelder. Published in: Computer Safety, Reliability, and Security Publisher: Springer International Publishing Login to get access. share. …
IMBSA'14 - Program
cse.cs.ovgu.de
Program. This is the final version of the program Kai Höfig, Marc Zeller and Lars Grunske; download presentation slides Session V ...
QoSA: Program
qosa.ipd.kit.edu
Kai Höfig (Siemens AG); Marc Zeller (Siemens AG); Konstantin Schorp (fortiss GmbH) Dieses Layout basiert auf © YAML | TYPO3 Template © von T3NET-Consulting ...
A Formal Approach for Automating Compositional Safety ...
opus4.kobv.de
von F Möhrle · · Zitiert von: 9 — Felix Möhrle, Kai Bizik, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer. Safety assurance is a major challenge in the design of modern ... › docId
Dissemination - DEIS project
deis-project.eu
Front Matter, Marc Zeller, Kai Höfig, Safety and Reliability – Theory and ... Kai Höfig, Marc Zeller, Annual Reliability and Maintainability Symposium ... › disseminati...
OPUS 4 | ArChes—Automatic generation of component fault trees from...
opus4.kobv.de
ArChes—Automatic generation of component fault trees from continuous function charts. Marc Zeller, Kai Höfig, Jean-Pascal Schwinn. The growing size and ...
OPUS 4 | DEIS: Dependability Engineering Innovation for Industrial CPS
opus4.kobv.de
... Riccardo Groppo, Federica Villa, Padraig O'Leary, Kevin Bambury, Finnegan Anita, Marc Zeller, Kai Höfig, Yiannis Papadopoulos, Richard Hawkins, Tim Kelly.
Program | IMBSA 2020
easyconferences.eu
Kai Höfig and Marc Zeller. 13: :00. IMBSA Keynote Talk (joint session with SafeComp 2020) "Why models really matter for safety assurance" Prof.
Fault Trees vs. Component Fault Trees: An Empirical Study ...www.springerprofessional.de › fau...
www.springerprofessional.de
Authors: Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier. Publisher: Springer International Publishing. Published in: Computer Safety, Reliability, and ...
Towards a Cross-Domain Software Safety Assurance Process ...
www.springerprofessional.de
Autoren: Marc Zeller, Kai Höfig, Martin Rothfelder. Erschienen in: Computer Safety, Reliability, and Security. Verlag: Springer International Publishing. › towards-a-cross-d...
Fault Trees vs. Component Fault Trees: An Empirical Study ...www.springerprofessional.de › fault-trees-vs-component-fault-trees-a...
www.springerprofessional.de
Autoren: Tim Gonschorek, Marc Zeller, Kai Höfig, Frank Ortmeier. Verlag: Springer International Publishing. Erschienen in: Computer Safety, Reliability, and ...
Towards a Cross-Domain Software Safety Assurance ...Researcher App
www.researcher-app.com
Marc Zeller, Kai Hoefig, Martin Rothfelder. In this work, we outline a cross-domain assurance process for safety-relevant software in embedded systems.
The 5th IEEE International Workshop on Software Certification
www.mobilab.unina.it
... Safety Analysis Using Component Fault Trees (Abstract, Slides), Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder and Peter Liggesmeyer. › wos...
ArChes -- Automatic generation of component fault trees ...x-mol.com
www.x-mol.com
— Marc Zeller, Kai Hoefig, Jean-Pascal Schwinn. The growing size and complexity of software in embedded systems poses new challenges to the — Kai Hoefig, Marc Zeller, Reiner Heilmann. Identifying drawbacks or insufficiencies in terms of safety is important also in early development ...
Alle Infos zum Namen "Kai Höfig"
sortiert nach Relevanz / Datum