David A. Anisi

24 papers A* 1A 2C 1Journal 7Unranked 13
YearRankTypeTitle / Venue / Authors
2026 C conf
Verified Design of Robotic Autonomous Systems Using Probabilistic Model Checking.
MODELSWARD
Atef Azaiez, David A. Anisi
2026 J jnl
Verified Design of Robotic Autonomous Systems using Probabilistic Model Checking.
CoRR
Atef Azaiez, David A. Anisi
2025 — conf
A Verification Methodology for Safety Assurance of RAS.
TAROS
Mustafa Adam, David A. Anisi, Pedro Ribeiro
2025 J jnl
A Verification Methodology for Safety Assurance of Robotic Autonomous Systems.
CoRR
Mustafa Adam, David A. Anisi, Pedro Ribeiro
2025 J jnl
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment.
CoRR
Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
2025 — conf
Revisiting Formal Methods for Autonomous Robots: A Structured Survey - (Invited Paper).
TAROS
Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
2025 J jnl
Revisiting Formal Methods for Autonomous Robots: A Structured Survey.
CoRR
Atef Azaiez, David A. Anisi, Marie Farrell, Matt Luckcuck
2024 — conf
Model Checking and Verification of Synchronisation Properties of Cobot Welding.
FMAS@iFM
Yvonne Murray, Henrik Nordlie, David A. Anisi, Pedro Ribeiro, Ana Cavalcanti
2024 — conf
Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification.
CASE
Mustafa Adam, Elias E. Hartmark, Tage Andersen, David A. Anisi, Ana Cavalcanti
2023 — conf
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment.
CASE
Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
2022 J jnl
Safety assurance of an industrial robotic control system using hardware/software co-verification.
Sci. Comput. Program.
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige
2021 J jnl
Safety assurance of an industrial robotic control system using hardware/software co-verification.
CoRR
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige
2020 — conf
Safety Assurance of a High Voltage Controller for an Industrial Robotic System.
SBMF
Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag
2019 — conf
A predictive learning approach to optimal load sharing in energy management systems.
ECC
Elene M. Espeland, Byung K. Jung, David A. Anisi
2019 — conf
Survey of Formal Verification Methods for Smart Contracts on Blockchain.
NTMS
Yvonne Murray, David A. Anisi
2017 — conf
State classification for autonomous gas sample taking using deep convolutional neural networks.
MED
David A. Anisi, Svein Gjermund Tveide, Valentinos Kongezos
2014 A* conf
Collision avoidance with potential fields based on parallel processing of 3D-point cloud data on the GPU.
ICRA
Knut B. Kaldestad, Sami Haddadin, Rico Belder, Geir Hovland, David A. Anisi
2012 — conf
Obstacle Detection in an Unstructured Industrial Robotic System: Comparison of Hidden Markov Model and Expert System.
SyRoCo
Knut B. Kaldestad, Geir Hovland, David A. Anisi
2011 A conf
Real-world demonstration of sensor-based robotic automation in oil & gas facilities.
IROS
David A. Anisi, Erik Persson, Clint Heyer
2010 J jnl
Cooperative Minimum Time Surveillance With Multiple Ground Vehicles.
IEEE Trans. Autom. Control.
David A. Anisi, Petter Ögren, Xiaoming Hu
2010 A conf
Robot automation in oil and gas facilities: Indoor and onsite demonstrations.
IROS
David A. Anisi, Johan Gunnar, Tommy Lillehagen, Charlotte Skourup
2009 — conf
Algorithms for the Connectivity Constrained Unmanned Ground Vehicle Surveillance Problem.
ECC
David A. Anisi, Therese Lindskog, Petter Ögren
2008 — conf
Cooperative surveillancemissionswith multiple unmanned ground vehicles (UGVs).
CDC
David A. Anisi, Petter Ögren, Xiaoming Hu, Therese Lindskog
2006 — conf
Safe Receding Horizon Control of an Aerial Vehicle.
CDC
David A. Anisi, Petter Ögren, John W. C. Robinson