Dustin White

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 5

Top Topics

Certainty Factor

Systems Engineering

Inductive Logic Programming

Formal Verification

Top Venues

Int. J. Comput. Integr. Manuf.

Publications

Timo Müller, Simon Kamm, Andreas Löcklin, Dustin White, Marius Mellinger, Nasser Jazdi, Michael Weyrich
Architecture and knowledge modelling for self-organized reconfiguration management of cyber-physical production systems. Int. J. Comput. Integr. Manuf. 36 (12) (2023)
Dustin White, Matthias Weiß, Nasser Jazdi, Michael Weyrich
Variant generation of software-defined mechatronic systems in model-based systems engineering. ETFA (2022)
Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich
Towards establishing formal verification and inductive code synthesis in the PLC domain. INDIN (2021)
Matthias Weiß, Philipp Marks, Benjamin Maschler, Dustin White, Pascal Kesseli, Michael Weyrich
Towards establishing formal verification and inductive code synthesis in the PLC domain. CoRR (2021)
Andreas Löcklin, Manuel Müller, Tobias Jung, Nasser Jazdi, Dustin White, Michael Weyrich
Digital Twin for Verification and Validation of Industrial Automation Systems - a Survey. ETFA (2020)
Dustin White
Clarifications and extensions to tactical waypoint graph algorithms for video games. ACM Southeast Regional Conference (2007)