Dejanira Araiza-Illan

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 16

Top Topics

Bdi Architecture

Theorem Proving

Top Venues

Publications

Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe A. Redfield
Verification of Autonomous Systems [TC Spotlight]. IEEE Robotics Autom. Mag. 29 (1) (2022)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39 (1) (2020)
Dejanira Araiza-Illan, Alberto de San Bernabe, Hongchao Fang, Leong Yong Shin
Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming. HRI (2019)
Dejanira Araiza-Illan, Alberto de San Bernabe Clemente
Dynamic Regions to Enhance Safety in Human-Robot Interactions. ETFA (2018)
Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker. CoRR (2017)
Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards
A fuzzy approach to qualification in design exploration for autonomous robots and systems. FUZZ-IEEE (2017)
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats. CoRR (2017)
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats. TAROS (2017)
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder
Towards the Specification of Adaptive Robotic Systems. CoRR (2016)
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR (2016)
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. CoRR (2016)
Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions. CoRR (2016)
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. MORSE@RoboCup (2016)
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder
A formal approach to analysing requirements conformance in adaptive systems. CoRR (2016)
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents. CoRR (2016)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions. TAROS (2016)
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder
Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms. CoRR (2015)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans. CoRR (2015)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. CoRR (2015)
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. Haifa Verification Conference (2015)
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study. CoRR (2015)
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study. ECC (2015)
Dejanira Araiza-Illan, Kerstin Eder
Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink. CoRR (2015)
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms. TAROS (2015)
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
Formal Verification of Control Systems Properties with Theorem Proving. CoRR (2014)
Dejanira Araiza-Illan, Tony J. Dodd
Bio-inspired Autonomous Navigation and Escape from Pursuers with Potential Functions. TAROS (2012)
Hiram E. Ponce, Dejanira Araiza-Illan, Pedro Ponce
A Neuro-Fuzzy Controller for Collaborative Applications in Robotics Using LabVIEW. Appl. Comput. Intell. Soft Comput. 2009 (2009)