Author:Mitchell Neilsen

Publications
Model Checking Mutual Inclusion and Mutual Exclusion Algorithms Kai Zhao, Venkat Margapuri and Mitchell Neilsen In:Proceedings of ISCA 30th International Conference on Software Engineering and Data Engineering
Image Processing for High-Throughput Phenotyping of Seeds Venkat Margapuri, Chaney Courtney and Mitchell Neilsen In:CAINE 2020. The 33rd International Conference on Computer Applications in Industry and Engineering
Intercross: a Breeding Application for High-throughput Phenotyping Chaney Courtney and Mitchell Neilsen In:Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering
Prototype Implementation of Temperature Control System with CAN and FreeRTOS on STM32F407 Discovery Boards Venkat Margapuri and Mitchell Neilsen In:Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering
Vetting Anti-patterns in Java to Kotlin Translation Chaney Courtney and Mitchell Neilsen In:Proceedings of 34th International Conference on Computers and Their Applications

Keyphrases

3D graphics, abstract syntax tree, Android², Command Line Interface, Controller Area Network (CAN), CubeMX, ETL, FreeRTOS, Hardware Abstraction Libraries (HAL), high throughput, high-throughput phenotyping, I2C protocol, image processing, Integrated Development Environment, LibOpenCM3, mutual exclusion, mutual inclusion, null pointer exception, phenotypes, progeny, seed morphometry, STM32F407 Discovery, temperature control, Token based model checking, UPPAAL, watershed algorithm.