Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Explainability as a Non-Functional Requirement.

M. Köhl, K. Baum, M. Langer, D. Oster, T. Speith, und D. Bohlender. RE, Seite 363-368. IEEE, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dimitri Graf University of Stuttgart

Dimitri Evcenko University of Stuttgart

Dr. rer. pol. Dimitri Petrik University of Stuttgart

Hans Dimitri Papdo Tchasse University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Explainability as a Non-Functional Requirement.M. Köhl, K. Baum, M. Langer, D. Oster, T. Speith, und D. Bohlender. RE, Seite 363-368. IEEE, (2019)Leveraging Horn clause solving for compositional verification of PLC software.D. Bohlender, und S. Kowalewski. Discrete Event Dynamic Systems, 30 (1): 1-24 (2020)Symbolic Verification of PLC Safety-Applications based on PLCopen Automata.D. Bohlender, H. Simon, und S. Kowalewski. MBMV, Seite 33-45. Albert-Ludwigs-Universität Freiburg, (2016)A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models.D. Bohlender, H. Bruintjes, S. Junges, J. Katelaan, V. Nguyen, und T. Noll. ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 177-192. Springer, (2014)Formale Methoden für rekonfigurierbare cyber-physische Systeme in der ProduktionM. Grochowski, H. Simon, D. Bohlender, S. Kowalewski, A. Löcklin, T. Müller, N. Jazdi, A. Zeller, und M. Weyrich. at - Automatisierungstechnik, vol. 68, no. 1, 28.01.2020, pp. 3-14, (2020)Towards a Characterization of Explainable Systems.D. Bohlender, und M. Köhl. CoRR, (2019)Concolic test generation for PLC programs using coverage metrics.D. Bohlender, H. Simon, N. Friedrich, S. Kowalewski, und S. Hauck-Stattelmann. WODES, Seite 432-437. IEEE, (2016)Design and Verification of Restart-Robust Industrial Control Software.D. Bohlender, und S. Kowalewski. IFM, Volume 11023 von Lecture Notes in Computer Science, Seite 47-68. Springer, (2018)Cycle-bounded model checking of PLC software via dynamic large-block encoding.D. Bohlender, D. Hamm, und S. Kowalewski. SAC, Seite 1891-1898. ACM, (2018)Formal methods for reconfigurable cyber-physical systems in productionM. Grochowski, H. Simon, D. Bohlender, S. Kowalewski, A. Löcklin, T. Müller, N. Jazdi, A. Zeller, und M. Weyrich. Automatisierungstechnik, 68 (1): 3-14 (2020)