Dejanira Araiza Illan
Dejanira Araiza Illan
ARTC
Verified email at artc.a-star.edu.sg
Title
Cited by
Cited by
Year
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
292014
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
222020
Coverage-Driven Verification
D Araiza-Illan, D Western, A Pipe, K Eder
Hardware and Software: Verification and Testing, 69-84, 2015
222015
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
152016
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
122015
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
102017
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
92015
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
72017
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
72015
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
52019
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
52016
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
42016
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
42016
Bio-inspired autonomous navigation and escape from pursuers with potential functions
D Araiza-Illan, T Dodd
Advances in Autonomous Robotics, 84-95, 2012
42012
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
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
32017
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
32016
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
32016
Safe and Trustworthy Human-Robot Interaction
D Araiza-Illan, K Eder
Humanoid Robotics: A Reference, 2397-2419, 2019
22019
Towards the Specification of Adaptive Robotic Systems
J Morse, D Araiza-Illan, J Lawry, K Eder
arXiv preprint arXiv:1603.01082, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20