default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDejanira Araiza-Illan
Person information
- affiliation: University of Bristol, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j3]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): 99-101 (2022)- 2020
- [j2]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)
2010 – 2019
- 2019
- [c10]Dejanira Araiza-Illan, Alberto de San Bernabe, Hongchao Fang, Leong Yong Shin:
Augmented Reality for Quick and Intuitive Robotic Packing Re-Programming. HRI 2019: 664 - 2018
- [c9]Dejanira Araiza-Illan, Alberto de San Bernabe Clemente:
Dynamic Regions to Enhance Safety in Human-Robot Interactions. ETFA 2018: 693-698 - 2017
- [c8]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: 1-6 - [c7]Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder:
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats. TAROS 2017: 166-181 - [i14]Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder:
Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats. CoRR abs/1702.06756 (2017) - [i13]Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder:
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker. CoRR abs/1703.02335 (2017) - 2016
- [c6]Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder:
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. MORSE@RoboCup 2016: 9-16 - [c5]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: 20-32 - [i12]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 abs/1603.00656 (2016) - [i11]Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder:
Towards the Specification of Adaptive Robotic Systems. CoRR abs/1603.01082 (2016) - [i10]Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder:
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. CoRR abs/1604.05508 (2016) - [i9]Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder:
A formal approach to analysing requirements conformance in adaptive systems. CoRR abs/1606.01077 (2016) - [i8]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 abs/1608.07403 (2016) - [i7]Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder:
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents. CoRR abs/1609.08439 (2016) - 2015
- [c4]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: 2670-2675 - [c3]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: 69-84 - [c2]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: 26-37 - [i6]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 abs/1505.05695 (2015) - [i5]Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study. CoRR abs/1505.05699 (2015) - [i4]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 abs/1509.04852 (2015) - [i3]Dejanira Araiza-Illan, Kerstin Eder:
Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink. CoRR abs/1511.00412 (2015) - [i2]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 abs/1511.01354 (2015) - 2014
- [i1]Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Formal Verification of Control Systems Properties with Theorem Proving. CoRR abs/1405.7615 (2014) - 2012
- [c1]Dejanira Araiza-Illan, Tony J. Dodd:
Bio-inspired Autonomous Navigation and Escape from Pursuers with Potential Functions. TAROS 2012: 84-95
2000 – 2009
- 2009
- [j1]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: 657095:1-657095:9 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
