David A. Anisi

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 7

Top Topics

Convolutional Neural Networks

Hardware Software

Formal Verification

Top Venues

Publications

Mustafa Adam, Kangfeng Ye, David A. Anisi, Ana Cavalcanti, Jim Woodcock, Robert Morris
Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. CASE (2023)
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige
Safety assurance of an industrial robotic control system using hardware/software co-verification. Sci. Comput. Program. 216 (2022)
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige
Safety assurance of an industrial robotic control system using hardware/software co-verification. CoRR (2021)
Yvonne Murray, David A. Anisi, Martin Sirevåg, Pedro Ribeiro, Rabah Saleh Hagag
Safety Assurance of a High Voltage Controller for an Industrial Robotic System. SBMF (2020)
Yvonne Murray, David A. Anisi
Survey of Formal Verification Methods for Smart Contracts on Blockchain. NTMS (2019)
Elene M. Espeland, Byung K. Jung, David A. Anisi
A predictive learning approach to optimal load sharing in energy management systems. ECC (2019)
David A. Anisi, Svein Gjermund Tveide, Valentinos Kongezos
State classification for autonomous gas sample taking using deep convolutional neural networks. MED (2017)
Knut B. Kaldestad, Sami Haddadin, Rico Belder, Geir Hovland, David A. Anisi
Collision avoidance with potential fields based on parallel processing of 3D-point cloud data on the GPU. ICRA (2014)
Knut B. Kaldestad, Geir Hovland, David A. Anisi
Obstacle Detection in an Unstructured Industrial Robotic System: Comparison of Hidden Markov Model and Expert System. SyRoCo (2012)
David A. Anisi, Erik Persson, Clint Heyer
Real-world demonstration of sensor-based robotic automation in oil & gas facilities. IROS (2011)
David A. Anisi, Petter Ögren, Xiaoming Hu
Cooperative Minimum Time Surveillance With Multiple Ground Vehicles. IEEE Trans. Autom. Control. 55 (12) (2010)
David A. Anisi, Johan Gunnar, Tommy Lillehagen, Charlotte Skourup
Robot automation in oil and gas facilities: Indoor and onsite demonstrations. IROS (2010)
David A. Anisi, Therese Lindskog, Petter Ögren
Algorithms for the Connectivity Constrained Unmanned Ground Vehicle Surveillance Problem. ECC (2009)
David A. Anisi, Petter Ögren, Xiaoming Hu, Therese Lindskog
Cooperative surveillancemissionswith multiple unmanned ground vehicles (UGVs). CDC (2008)
David A. Anisi, Petter Ögren, John W. C. Robinson
Safe Receding Horizon Control of an Aerial Vehicle. CDC (2006)