Dejanira Araiza-Illan

According to our database, Dejanira Araiza-Illan authored at least 22 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Verification of Autonomous Systems [TC Spotlight].

Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe A. Redfield

IEEE Robotics Autom. Mag., 2022

2020

A corroborative approach to verification and validation of human-robot teams.

Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe

Int. J. Robotics Res., 2020

2019

Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming.

Dejanira Araiza-Illan, Alberto de San Bernabe, Hongchao Fang, Leong Yong Shin

Proceedings of the 14th ACM/IEEE International Conference on Human-Robot Interaction, 2019

2018

Dynamic Regions to Enhance Safety in Human-Robot Interactions.

Dejanira Araiza-Illan, Alberto de San Bernabe Clemente

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker.

Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder

CoRR, 2017

Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats.

Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder

Proceedings of the Towards Autonomous Robotic Systems - 18th Annual Conference, 2017

A fuzzy approach to qualification in design exploration for autonomous robots and systems.

Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016

An Assurance-based Approach to Verification and Validation of Human-Robot Teams.

Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe

CoRR, 2016

A formal approach to analysing requirements conformance in adaptive systems.

Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder

CoRR, 2016

Towards the Specification of Adaptive Robotic Systems.

Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder

CoRR, 2016

Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents.

Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder

CoRR, 2016

Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions.

Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder

CoRR, 2016

Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions.

Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions.

Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder

Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 2016

2015

Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions.

Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder

CoRR, 2015

Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink.

Dejanira Araiza-Illan, Kerstin Eder

CoRR, 2015

Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms.

Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder

Proceedings of the Towards Autonomous Robotic Systems - 16th Annual Conference, 2015

Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans.

Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder

Proceedings of the Hardware and Software: Verification and Testing, 2015

Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study.

Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards

Proceedings of the 14th European Control Conference, 2015

2014

Formal Verification of Control Systems Properties with Theorem Proving.

Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards

CoRR, 2014

2012

Bio-inspired Autonomous Navigation and Escape from Pursuers with Potential Functions.

Dejanira Araiza-Illan, Tony J. Dodd

Proceedings of the Advances in Autonomous Robotics, 2012

2009

A Neuro-Fuzzy Controller for Collaborative Applications in Robotics Using LabVIEW.

Hiram E. Ponce, Dejanira Araiza-Illan, Pedro Ponce

Appl. Comput. Intell. Soft Comput., 2009