Kai Höfig und Software - Info zur Person

(1 - 35 von 38

)

Liste der Publikationen zum Thema: safety-critical-systemFraunhofer-Bookshop

www.bookshop.fraunhofer.de

Kai Höfig Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis · PhD Theses in Experimental Software ... Kai Höfig Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis · PhD Theses in Experimental Software ...

Meet the Speakers

www.automotive-iq.com

· Meet the Speakers. Speakers. Dr. Patrick Müller Product Manager PLM & Team Leader of Engineering Transformation CONTACT Software Kai Höfig Senior Key Expert for Model-based Safety and Reliability Siemens AG. Jayant Bansal Engineering Group Manager - …

KI-Net

www.digitalregion.at

Kai Höfig. Technische Hochschule Rosenheim. Stefan Huber. Fachhochschule Salzburg. Software Competence Center Hagenberg. › Events › KI-Net-Einladung

Neues grenzüberschreitendes Projekt erleichtert KMU Einsatz ...softwarepark-hagenberg.com

www.softwarepark-hagenberg.com

— ... (Universität Innsbruck), Kai Höfig (TH Rosenheim), Jorge Martinez-Gil (SCCH), Dirk Jacob (HS Kempten), Stefan Huber (FH Salzburg) © SCCH.

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.

The club organising committeethe club

the26262club.com

Kai Höfig studied Computer Science at RWTH Aachen, Germany and holds a PhD from the Fraunhofer Institute for Experimental Software Engineering (IESE) where ...

Staff - Software Engineering - TU Kaiserslautern

seda.informatik.uni-kl.de

Dr. Kai Höfig, Failure-Dependent Timing Analysis: A New Methodology for Probabilistic Worst-Case Execution Time Analysis, › s...

Software Technologies: Applications and Foundations: STAF

books.google.de

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies:...

Composing Model-Based Analysis Tools - Google Books

books.google.de

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of...

Software Technologies: Applications and Foundations: STAF ...

books.google.de

... Nadine Knopper, Stephen Jones, Mario Oswald and Gerhard Griessnig (AVL List GmbH, Austria) – Martin Rothfelder, Kai Höfig and Marc Zeller (Siemens AG, ...

Failure-Dependent Timing Analysis - A New Methodology… von Kai ...www.lehmanns.ch › ... › Software Entwicklung › Qualität / Testen

www.lehmanns.ch

Kai Höfig (Autor). Dieter Rombach, Peter Liggesmeyer, Frank Bomarius (Herausgeber). Buch | Softcover Seiten Fraunhofer Verlag

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.

Software and Systems Traceability for Safety-Critical Projects

drops.dagstuhl.de

von J Cleland-Huang · · Zitiert von: 1 — Model-based Reliability and Safety Engineering. Kai Hoefig Kai Hoefig (Siemens – München, DE). License. Creative Commons BY 3.0 Unported license. › opus › volltexte › pdf

Sichere und zuverlässige SoftwaresystemeHumboldt-Universität zu Berlin

www.informatik.hu-berlin.de

Gastvorlesung: „Sotif/ML“ Kai Höfig, Siemens AG, CT, MünchenV, Gastvorlesung: „Model-based Safety Engineering“ Peter Munk, Bosch, Safety, Security ... Gastvorlesung: „Sotif/ML“ Kai Höfig, Siemens AG, CT, MünchenV, Gastvorlesung: „Model-based Safety Engineering“ Peter Munk, Bosch, Safety, Security ...

dblp: Software Engineering (Workshops)

dblp.uni-trier.de

Kai Höfig: Timing Overhead Analysis for Fault Tolerance Mechanisms view. electronic edition @ emis.de; export record as. BibTeX; XML; dblp key: conf/se

Towards a Cross-Domain Software Safety Assurance ...Springer

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. 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 ... 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 ...

Konsortium - KI – NETki-net.eu

ki-net.eu

Kai Höfig. . kontakt. Dr. Volkmar Wieser. Softwarepark 32a, A Hagenberg; + ; . Das Projekt ... Kai Höfig. . kontakt. Dr. Volkmar Wieser. Softwarepark 32a, A Hagenberg; + ; . Das Projekt ...

PubPeer - Search publications and join the conversation.PubPeer

www.pubpeer.com

Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems. Marc Zeller, Kai Hoefig, Martin Rothfelder. arXiv (2021) 0 comments. You have ... Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems. Marc Zeller, Kai Hoefig, Martin Rothfelder. arXiv (2021) 0 comments. You have ...

Software and Systems Traceability for Safety-Critical Projectsdagstuhl.de

drops.dagstuhl.de

von J Cleland-Huang · · Zitiert von: 5 — Kai Hoefig Kai Hoefig (Siemens – München, DE). License. Creative Commons BY 3.0 Unported license. © Kai Hoefig. Main reference K. Höfig, M. Zeller, L. von J Cleland-Huang · · Zitiert von: 5 — Kai Hoefig Kai Hoefig (Siemens – München, DE). License. Creative Commons BY 3.0 Unported license. © Kai Hoefig. Main reference K. Höfig, M. Zeller, L.

Download Optical Networks: Third Generation Transport Systems by...

sites.google.com

PDF MCITP: Windows Server Enterprise Administrator in Experimental Software Engineering) by Kai Hoefig ( ) Online.

MTMT2: Kai Höfig. ALFRED: A Methodology to Enable ...mtmt.hu

m2.mtmt.hu

Kai Höfig et al. ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures. (2015) Megjelent: 41st Euromicro Conference on Software ...

Integration of Component Fault Trees into the UML

www.springerprofessional.de

WebAuthors: Rasmus Adler, Dominik Domis, Kai Höfig, Sören Kemmann, Thomas Kuhn, Jean-Pascal Schwinn, Mario Trapp. Published in: Models in Software Engineering Publisher: …

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. …

Automated Failure Propagation using Inner Port Dependency Traces -...

www.fortiss.org

Die anwendungsnahen Forschungsergebnisse stellt fortiss in Form von Open-Source-Software, wissenschaftlichen Publikationen, Whitepaper oder Studien zur...

ESEM 2013

www2.umbc.edu

The website for Empirical Software Engineering and Measurement

GI-Edition. Proceedings. Software Engineering Workshopband....

docplayer.org

... KIT Karlsruhe Programmkomitee Steffen Becker,Universität Paderborn Klaus ... Tolerance Mechanisms Kai Höfig A pattern-based requirement specification ...

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 ...

Arne Nordmann
Lars Grunske
Anna Fensel

Mario Trapp
Peter Liggesmeyer
Konstantin Schorp

Person "Höfig" (1)
Vorname "Kai" (24381)
Name "Höfig" (184)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Kai Höfig und Software Person-Info

Liste der Publikationen zum Thema: safety-critical-systemFraunhofer-Bookshop

Meet the Speakers

KI-Net

Neues grenzüberschreitendes Projekt erleichtert KMU Einsatz ...softwarepark-hagenberg.com

Kai Höfig - fortiss

The club organising committeethe club

Staff - Software Engineering - TU Kaiserslautern

Software Technologies: Applications and Foundations: STAF

Composing Model-Based Analysis Tools - Google Books

Software Technologies: Applications and Foundations: STAF ...

Failure-Dependent Timing Analysis - A New Methodology… von Kai ...www.lehmanns.ch › ... › Software Entwicklung › Qualität / Testen

Software Engineering authors/titles Jun 2021arXiv

Software and Systems Traceability for Safety-Critical Projects

Sichere und zuverlässige SoftwaresystemeHumboldt-Universität zu Berlin

dblp: Software Engineering (Workshops)

Towards a Cross-Domain Software Safety Assurance ...Springer

metaFMEA-A Framework for Reusable FMEAsSpringer

Konsortium - KI – NETki-net.eu

PubPeer - Search publications and join the conversation.PubPeer

Software and Systems Traceability for Safety-Critical Projectsdagstuhl.de

Download Optical Networks: Third Generation Transport Systems by...

MTMT2: Kai Höfig. ALFRED: A Methodology to Enable ...mtmt.hu

Integration of Component Fault Trees into the UML

Towards a Cross-Domain Software Safety Assurance Process for …

Automated Failure Propagation using Inner Port Dependency Traces -...

ESEM 2013

GI-Edition. Proceedings. Software Engineering Workshopband....

Towards a Cross-Domain Software Safety Assurance ...Researcher App

The 5th IEEE International Workshop on Software Certification

ArChes -- Automatic generation of component fault trees ...x-mol.com

أوراق بحثية, رسائل ماجستير ودكتوراه منشورة من قبل Kai Hoefigshamra-academia.com

funktionale Sicherheit nach ISO (WiSe

Software Engineering Workshopband - PDF Free Download

Alle Infos zum Namen "Kai Höfig"