A model-based testing framework with reduced set of test cases for programmable controllers C Ma, J Provost 13th IEEE Conference on Automation Science and Engineering (CASE 2017), 2017 | 10 | 2017 |
An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week C Jordan, C Ma, J Provost 2017 IEEE Global Engineering Education Conference (EDUCON), 632-639, 2017 | 7 | 2017 |
DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers C Ma, J Provost 2016 IEEE International Conference on Automation Science and Engineering …, 2016 | 6 | 2016 |
Design-to-test approach for black-box testing of programmable controllers C Ma, J Provost 2015 IEEE International Conference on Automation Science and Engineering …, 2015 | 6 | 2015 |
Using plant model features to generate reduced test cases for programmable controllers C Ma, J Provost 20th World Congress of the International Federation of Automatic Control, 2017 | 4 | 2017 |
Design-to-Test Approach for Programmable Controllers in Safety-Critical Automation Systems C Ma, J Provost IEEE Transactions on Industrial Informatics, 6499 - 6508, 2020 | 3 | 2020 |
Introducing plant features to model-based testing of programmablecontrollers in automation systems C Ma, J Provost Control Engineering Practice, 301-310, 2019 | 3 | 2019 |
Design-to-test: an approach to enhance testability of programmable controllers for critical systems-two case studies C Ma, J Provost 26th European Safety and Reliability Conference (ESREL 2016), 2016 | 3 | 2016 |
SATE: model-based testing with design-to-test and plant features C Ma, C Jordan, J Provost IFAC-PapersOnLine 51 (7), 310-315, 2018 | 1 | 2018 |
Advances in Model-Based Testing of Programmable Controllers: Automatic Test Generation using Design-to-Test and Plant Features (Ph.D. Dissertation) C Ma Technische Universität München, 2019 | | 2019 |
KINEMATIC CALCULATION FOR MODULAR RECONFIGURABLE COOPERATING ROBOTIC SYSTEMS D Weber, C Ma, M Wahle, T Detert, B Corves | | 2014 |
Ultrasonic flow measurements in a downscaled water mockup of a large scale precession driven dynamo experiment T Gundrum, F Stefani, C Ma, Y Sun, A Giesecke, T Albrecht, G Gerbeth | | 2012 |