Isaac Amundson

According to our database1, Isaac Amundson authored at least 25 papers between 2006 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Synthesizing verified components for cyber assured systems engineering.
Softw. Syst. Model., October, 2023

Model-driven development for the seL4 microkernel using the HAMR framework.
J. Syst. Archit., 2023

Computer-Aided Generation of Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022
Cyberassured Systems Engineering at Scale.
IEEE Secur. Priv., 2022

Assume-Guarantee Reasoning with Scheduled Components.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2020
Run-Time Assurance for Learning-Enabled Systems.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2014
Practical aspects of building a constrained random test framework for safety-critical embedded systems.
Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, 2014

2013
A Method for Estimating Angular Separation in Mobile Wireless Sensor Networks.
J. Intell. Robotic Syst., 2013

2012
Mobile Sensor Waypoint Navigation via RF-Based Angle of Arrival Localization.
Int. J. Distributed Sens. Networks, 2012

2011
RF angle of arrival-based node localisation.
Int. J. Sens. Networks, 2011

Mobile Sensor Navigation Using Rapid RF-Based Angle of Arrival Localization.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

2010
RF doppler shift-based mobile sensor tracking and navigation.
ACM Trans. Sens. Networks, 2010

Radio Interferometric Angle of Arrival Estimation.
Proceedings of the Wireless Sensor Networks, 7th European Conference, 2010

Using RF received phase for indoor tracking.
Proceedings of the 6th Workshop on Hot Topics in Embedded Networked Sensors, 2010

Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion.
Proceedings of the Handbook of Ambient Intelligence and Smart Environments, 2010

2009
On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks.
Proceedings of the Mobile Entity Localization and Tracking in GPS-less Environnments, 2009

A Survey on Localization for Mobile Wireless Sensor Networks.
Proceedings of the Mobile Entity Localization and Tracking in GPS-less Environnments, 2009

2008
Mobile sensor localization and navigation using RF doppler shifts.
Proceedings of the ACM International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments, 2008

Target tracking in heterogeneous sensor networks using audio and video sensor fusion.
Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2008

Multi-Modal Target Tracking Using Heterogeneous Sensor Networks.
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Time Synchronization in Heterogeneous Sensor Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2008

Target tracking in urban environments using audio-video signal processing in heterogeneous wireless sensor networks.
Proceedings of the 42nd Asilomar Conference on Signals, Systems and Computers, 2008

2007
OASiS: A Programming Framework for Service-Oriented Sensor Networks.
Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

2006
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Efficient Integration of Web Services in Ambient-aware Sensor Network Applications.
Proceedings of the 3rd International Conference on Broadband Communications, 2006


  Loading...