21 Infos zu Jannik Dunkelau

1 Aktuelle Nachrichten

1 Profile in Sozialen Netzwerken

Doctoral student at Heinrich Heine University Düsseldorf. Interested in machine learning and formal methods. - jdnklau

1 Business-Profile

Informatik / Düsseldorf

2 Firmen-Mitarbeiter

› unser-team › team › dunkelau

Institut für Informatik . D Düsseldorf Room: Phone: + Missing: CIC" | Must include:CIC" Institut für Informatik . D Düsseldorf Room: Phone: + Missing: CIC" | Must include:CIC"

3 Bücher zum Namen

Personal Webpage of Sebastian Krings.

The NFM volume deals with formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, their...

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May The 20 full...

1 Dokumente

von P Körner · · Zitiert von: 7 — Jannik Dunkelau. Institut für Informatik, Universität Düsseldorf, Düsseldorf, Germany. Institut für Informatik, Universität ... von P Körner · · Zitiert von: 2 — Jannik Dunkelau. Institut für Informatik, HHU Düsseldorf, Düsseldorf, Germany. Institut für Informatik, HHU Düsseldorf, ... › doi › abs

3 Wissenschaftliche Publikationen

There was an error loading users activity calendar. Jannik Dunkelau. @dunkelau Member since June 07, Overview · Activity · Groups · Contributed ...

List of computer science publications by Michael Leuschel

— Philipp Körner , Jens Bendisposto , Jannik Dunkelau , Sebastian Krings , Michael Leuschel : Integrating formal specifications into — Sebastian Krings , Philipp Körner , Jannik Dunkelau , Chris Rutenkolk : A Verified Low-Level Implementation of the Adaptive Exterior Light ... › Persons

9 Webfunde aus dem Netz

Jannik Dunkelau. Heinrich Heine University Düsseldorf. Verified email at uni-duesseldorf.de - Homepage · computer science. ArticlesCited byCo-authors ...Missing: CIC" | Must include:CIC" Jannik Dunkelau. Heinrich Heine University Düsseldorf. Verified email at uni-duesseldorf.de - Homepage · computer science. ArticlesCited byCo-authors ... Missing: CIC" | Must include:CIC"

... Learning——An Extensive Overview, Jannik Dunkelau and Michael Leuschel ... LiFT：LinkedIn Fairness Toolkit（LiFT）是一个ScalaSpark库，可以在大规模机器 ... › tags

— Jannik Dunkelau, Manh Khoi Duong. Share this with someone who'll enjoy it: twitter sharing icon; Facebook sharing icon; Linkedin sharing ... › paper

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World...

This article uses machine learning methods to automate the backend selection for the ProB model checker and explores different approaches to deep learning and...

Autoren: Jannik Dunkelau, Sebastian Krings, Joshua Schmidt. Verlag: Springer International Publishing. Erschienen in: NASA Formal Methods. » Jetzt Zugang ...

Researcher. Jannik Dunkelau. Building: Floor/Room: Phone + Send mail. Photo of Philipp Körner ... Missing: CIC"

wissenschaftlicher Mitarbeiter. Jannik Dunkelau. Gebäude: Etage/Raum: Tel.: + E-Mail senden. Photo of Philipp Körner ... Missing: CIC"