1
0
0
News
Netzwerk-Profile
jdnklau (Jannik Dunkelau) · GitHub
github.com
Doctoral student at Heinrich Heine University Düsseldorf. Interested in machine learning and formal methods. - jdnklau
Business-Profile
Firmen-Mitarbeiter
Jannik Dunkelau - Universität Düsseldorf - Informatikwww.cs.hhu.de › research-groups › our-team › team › jannik-dunkelau
www.cs.hhu.de
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"
Bücher
NASA Formal Methods | SpringerLink
link-springer-com.translate.goog
The NFM volume deals with formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, their...
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston,...
books.google.de
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...
Dokumente zum Namen
Embedding High-Level Formal Specifications into Applications
dl.acm.org
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
Wissenschaftliche Veröffentlichungen
Jannik Dunkelau · GitLab
gitlab.cs.uni-duesseldorf.de
There was an error loading users activity calendar. Jannik Dunkelau. @dunkelau Member since June 07, Overview · Activity · Groups · Contributed ...
Jens Bendisposto - DBLP
dblp.org
— 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
Sonstiges
Jannik Dunkelau - Google Scholarscholar.google.com › citations
scholar.google.com
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"
机器学习Fairness - CSDN
www.csdn.net
... Learning——An Extensive Overview, Jannik Dunkelau and Michael Leuschel ... LiFT：LinkedIn Fairness Toolkit（LiFT）是一个ScalaSpark库，可以在大规模机器 ... › tags
Towards Equalised Odds as Fairness Metric in Academic ...
www.catalyzex.com
— Jannik Dunkelau, Manh Khoi Duong. Share this with someone who'll enjoy it: twitter sharing icon; Facebook sharing icon; Linkedin sharing ... › paper
Formal Methods – The Next 30 Years: Third World Congress, FM 2019,...
books-google-nl.translate.goog
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...
[PDF] Automated Backend Selection for ProB Using Deep Learning |...
www.semanticscholar.org
This article uses machine learning methods to automate the backend selection for the ProB model checker and explores different approaches to deep learning and...
Automated Backend Selection for ProB Using Deep Learning ...
www.springerprofessional.de
Autoren: Jannik Dunkelau, Sebastian Krings, Joshua Schmidt. Verlag: Springer International Publishing. Erschienen in: NASA Formal Methods. » Jetzt Zugang ...
Universität Düsseldorf: Our Team
www.cs.hhu.de
Researcher. Jannik Dunkelau. Building: Floor/Room: Phone + Send mail. Photo of Philipp Körner ...
Missing: CIC"
Universität Düsseldorf: Unser Team
www.cs.hhu.de
wissenschaftlicher Mitarbeiter. Jannik Dunkelau. Gebäude: Etage/Raum: Tel.: + E-Mail senden. Photo of Philipp Körner ...
Missing: CIC"
Verwandte Suchanfragen zu Jannik Dunkelau
| Sebastian Krings |
Personen Vorname "Jannik" (3630) Name "Dunkelau" (10) |
sortiert nach Relevanz / Datum