( en | de | ru )

 

Disambiguation of "Atkins, Ella M."

Author of the publication

copydeleteadd this publication to your clipboard
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems.

, , , , , , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 137-146. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

George M Ella

Leon Atkins

Mohamed Ellaboudi

Ahmed Yosry Mohamed Ellaithy

Robin Ella

 

Other publications of authors with the same name

Coupled Cyber-Physical System Modeling and Coregulation of a CubeSat., and . IEEE Trans. Robotics, 31 (2): 443-456 (2015)Human Productivity in a Workspace Shared with a Safe Robotic Manipulator., and . J. Aerosp. Inf. Syst., 11 (1): 1-18 (2014)Multi-Objective Spacecraft Trajectory Optimization with Synthetic Agent Oversight., and . J. Aerosp. Comput. Inf. Commun., 2 (1): 4-24 (2005)Geofence Boundary Violation Detection in 3D Using Triangle Weight Characterization with Adjacency., , and . Journal of Intelligent and Robotic Systems, 95 (1): 239-250 (2019)Nailed It: Autonomous Roofing with a Nailgun-Equipped Octocopter., , , and . CoRR, (2019)Statistical Properties and Airspace Capacity for Unmanned Aerial Vehicle Networks Subject to Sense-and-Avoid Safety Protocols., , , , and . IEEE Trans. Intell. Transp. Syst., 22 (9): 5890-5903 (2021)Road Risk Modeling and Cloud-Aided Safety-Based Route Planning., , , , , and . IEEE Trans. Cybern., 46 (11): 2473-2483 (2016)Scalable Vehicle Team Continuum Deformation Coordination With Eigen Decomposition., , and . IEEE Trans. Autom. Control., 67 (5): 2514-2521 (2022)Planning and Resource Allocation for Hard Real-time, Fault-Tolerant Plan Execution., , , and . Auton. Agents Multi Agent Syst., 4 (1/2): 57-78 (2001)Wind Tunnel Testing and Aerodynamic Characterization of a QuadPlane Uncrewed Aircraft System., and . CoRR, (2023)