Dejanira Araiza-Illan

28 papers A* 1B 1C 1Journal 18Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts.
IEEE Robotics Autom. Mag.
Dejanira Araiza-Illan, Kevin Baum, Helen Beebee, Raja Chatila, Sarah Moth-Lund Christensen, Simon Coghlan, Emily C. Collins, S. Kate Conroy, Alcino Cunha, Anna Dobrosovestnova, Hein Duijf, Vanessa Evers, Michael Fisher, Nico Hochgeschwender, Nadin Kökciyan, Séverin Lemaignan, Francisco Javier Rodríguez-Lera, Sara Ljungblad, Martin Magnusson, Masoumeh Mansouri, Michael Milford, AJung Moon, Thomas M. Powers, Pericle Salvini, Teresa Scantamburlo, Nick Schuster, Marija Slavkovik, Ufuk Topcu, Daniel F. Preciado Vanegas, Andrzej Wasowski, Yi Yang
2022 J jnl
Verification of Autonomous Systems [TC Spotlight].
IEEE Robotics Autom. Mag.
Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe A. Redfield
2020 J jnl
A corroborative approach to verification and validation of human-robot teams.
Int. J. Robotics Res.
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
2019 A* conf
Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming.
HRI
Dejanira Araiza-Illan, Alberto de San Bernabe, Hongchao Fang, Leong Yong Shin
2018 C conf
Dynamic Regions to Enhance Safety in Human-Robot Interactions.
ETFA
Dejanira Araiza-Illan, Alberto de San Bernabe Clemente
2017 B conf
A fuzzy approach to qualification in design exploration for autonomous robots and systems.
FUZZ-IEEE
Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards
2017 J jnl
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker.
CoRR
Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder
2017 — conf
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats.
TAROS
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
2017 J jnl
Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats.
CoRR
Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder
2016 J jnl
A formal approach to analysing requirements conformance in adaptive systems.
CoRR
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder
2016 J jnl
An Assurance-based Approach to Verification and Validation of Human-Robot Teams.
CoRR
Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe
2016 — conf
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions.
MORSE@RoboCup
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
2016 J jnl
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions.
CoRR
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
2016 J jnl
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions.
CoRR
Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder
2016 J jnl
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents.
CoRR
Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder
2016 — conf
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions.
TAROS
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
2016 J jnl
Towards the Specification of Adaptive Robotic Systems.
CoRR
Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder
2015 — conf
Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans.
Haifa Verification Conference
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
2015 J jnl
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans.
CoRR
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
2015 J jnl
Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink.
CoRR
Dejanira Araiza-Illan, Kerstin Eder
2015 J jnl
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions.
CoRR
Dejanira Araiza-Illan, David G. Western, Anthony G. Pipe, Kerstin Eder
2015 J jnl
Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms.
CoRR
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder
2015 — conf
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms.
TAROS
Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder
2015 J jnl
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study.
CoRR
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
2015 — conf
Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study.
ECC
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
2014 J jnl
Formal Verification of Control Systems Properties with Theorem Proving.
CoRR
Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards
2012 — conf
Bio-inspired Autonomous Navigation and Escape from Pursuers with Potential Functions.
TAROS
Dejanira Araiza-Illan, Tony J. Dodd
2009 J jnl
A Neuro-Fuzzy Controller for Collaborative Applications in Robotics Using LabVIEW.
Appl. Comput. Intell. Soft Comput.
Hiram E. Ponce, Dejanira Araiza-Illan, Pedro Ponce