Follow
Dejanira Araiza Illan
Dejanira Araiza Illan
Johnson & Johnson
No verified email
Title
Cited by
Cited by
Year
A corroborative approach to verification and validation of human–robot teams
M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe
The International Journal of Robotics Research 39 (1), 73-99, 2020
742020
Formal verification of control systems' properties with theorem proving
D Araiza-Illan, K Eder, A Richards
2014 UKACC International Conference on Control (CONTROL), 244-249, 2014
472014
Coverage-Driven Verification
D Araiza-Illan, D Western, A Pipe, K Eder
Hardware and Software: Verification and Testing, 69-84, 2015
362015
Intelligent agent-based stimulation for testing robotic software in human-robot interactions
D Araiza-Illan, AG Pipe, K Eder
Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 9-16, 2016
302016
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker
S Sarkar, D Araiza-Illan, K Eder
arXiv preprint arXiv:1703.02335, 2017
292017
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
D Araiza-Illan, D Western, A Pipe, K Eder
arXiv preprint arXiv:1511.01354, 2015
272015
Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming
D Araiza-Illan, A De San Bernabe, F Hongchao, LY Shin
2019 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI …, 2019
142019
Verification of control systems implemented in simulink with assertion checks and theorem proving: a case study
D Araiza-Illan, K Eder, A Richards
2015 European Control Conference (ECC), 2670-2675, 2015
142015
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
L Antuña, D Araiza-Illan, S Campos, K Eder
Conference Towards Autonomous Robotic Systems, 26-37, 2015
122015
A fuzzy approach to qualification in design exploration for autonomous robots and systems
J Morse, D Araiza-Illan, K Eder, J Lawry, A Richards
Fuzzy Systems (FUZZ-IEEE), 2017 IEEE International Conference on, 1-6, 2017
112017
Adaptive proportional–integral controller using OLE for process control for industrial applications
MA Paz, TA Ramirez-delReal, SC Garibo, D Araiza-Illan, ...
International Journal of Advanced Robotic Systems 14 (5), 1729881417728467, 2017
102017
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents
D Araiza-Illan, AG Pipe, K Eder
arXiv preprint arXiv:1609.08439, 2016
102016
Dynamic Regions to Enhance Safety in Human-Robot Interactions
D Araiza-Illan, A de San Bernabe Clemente
IEEE 23rd International Conference on Emerging Technologies and Factory …, 2018
92018
An Assurance-based Approach to Verification and Validation of Human--Robot Teams
M Webster, D Western, D Araiza-Illan, C Dixon, K Eder, M Fisher, AG Pipe
arXiv preprint arXiv:1608.07403, 2016
92016
Formal Specification and Analysis of Autonomous Systems under Partial Compliance
J Morse, D Araiza-Illan, J Lawry, A Richards, K Eder
arXiv preprint arXiv:1603.01082, 2016
62016
Safe and Trustworthy Human-Robot Interaction
D Araiza-Illan, K Eder
Humanoid Robotics: A Reference, 2397-2419, 2019
42019
A formal approach to analysing requirements conformance in adaptive systems
J Morse, D Araiza-Illan, J Lawry, A Richards, K Eder
arXiv preprint arXiv:1606.01077, 2016
42016
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions
D Araiza-Illan, T Pipe, K Eder
arXiv preprint arXiv:1603.00656, 2016
42016
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions
D Araiza-Illan, D Western, A Pipe, K Eder
arXiv preprint arXiv:1511.01354, 2015
42015
Biologically inspired controller for the autonomous navigation of a mobile robot in an evasion task
D Araiza-Illan, T Dodd
World Academy of Science, Engineering and Technology 68, 780-785, 2010
42010
The system can't perform the operation now. Try again later.
Articles 1–20