Isaac Amundson

According to our database, Isaac Amundson authored at least 26 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Zero-trust design and assurance patterns for cyber-physical systems.

Saqib Hasan, Isaac Amundson, David S. Hardin

J. Syst. Archit., 2024

2023

Synthesizing verified components for cyber assured systems engineering.

Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin

Softw. Syst. Model., October, 2023

Model-driven development for the seL4 microkernel using the HAMR framework.

Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod

J. Syst. Archit., 2023

Computer-Aided Generation of Assurance Cases.

Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

Cyberassured Systems Engineering at Scale.

Darren D. Cofer, Isaac Amundson, Junaid Babar, David S. Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton

IEEE Secur. Priv., 2022

Assume-Guarantee Reasoning with Scheduled Components.

Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2020

Run-Time Assurance for Learning-Enabled Systems.

Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam

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.

Dongjiang You, Isaac Amundson, Scott Hareland, Sanjai Rayadurgam

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.

Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos

J. Intell. Robotic Syst., 2013

2012

Mobile Sensor Waypoint Navigation via RF-Based Angle of Arrival Localization.

Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi

Int. J. Distributed Sens. Networks, 2012

2011

RF angle of arrival-based node localisation.

Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi, Miklos Maroti

Int. J. Sens. Networks, 2011

Mobile Sensor Navigation Using Rapid RF-Based Angle of Arrival Localization.

Isaac Amundson, Xenofon D. Koutsoukos, János Sallai, Ákos Lédeczi

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

2010

RF doppler shift-based mobile sensor tracking and navigation.

Branislav Kusy, Isaac Amundson, János Sallai, Péter Völgyesi, Ákos Lédeczi, Xenofon D. Koutsoukos

ACM Trans. Sens. Networks, 2010

Radio Interferometric Angle of Arrival Estimation.

Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi

Proceedings of the Wireless Sensor Networks, 7th European Conference, 2010

Using RF received phase for indoor tracking.

János Sallai, Ákos Lédeczi, Isaac Amundson, Xenofon D. Koutsoukos, Miklós Maróti

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.

Manish Kushwaha, Songhwai Oh, Isaac Amundson, Xenofon D. Koutsoukos, Ákos Lédeczi

Proceedings of the Handbook of Ambient Intelligence and Smart Environments, 2010

2009

On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks.

Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos

Proceedings of the Mobile Entity Localization and Tracking in GPS-less Environnments, 2009

A Survey on Localization for Mobile Wireless Sensor Networks.

Isaac Amundson, Xenofon D. Koutsoukos

Proceedings of the Mobile Entity Localization and Tracking in GPS-less Environnments, 2009

2008

Mobile sensor localization and navigation using RF doppler shifts.

Isaac Amundson, Xenofon D. Koutsoukos, János Sallai

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.

Manish Kushwaha, Songhwai Oh, Isaac Amundson, Xenofon D. Koutsoukos, Ákos Lédeczi

Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2008

Multi-Modal Target Tracking Using Heterogeneous Sensor Networks.

Manish Kushwaha, Isaac Amundson, Péter Völgyesi, Parvez Ahammad, Gyula Simon, Xenofon D. Koutsoukos, Ákos Lédeczi, Shankar Sastry

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Time Synchronization in Heterogeneous Sensor Networks.

Isaac Amundson, Branislav Kusy, Péter Völgyesi, Xenofon D. Koutsoukos, Ákos Lédeczi

Proceedings of the Distributed Computing in Sensor Systems, 2008

Target tracking in urban environments using audio-video signal processing in heterogeneous wireless sensor networks.

Manish Kushwaha, Songhwai Oh, Isaac Amundson, Xenofon D. Koutsoukos, Ákos Lédeczi

Proceedings of the 42nd Asilomar Conference on Signals, Systems and Computers, 2008

2007

OASiS: A Programming Framework for Service-Oriented Sensor Networks.

Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits

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.

Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits

Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Efficient Integration of Web Services in Ambient-aware Sensor Network Applications.

Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits

Proceedings of the 3rd International Conference on Broadband Communications, 2006