Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. - Isaac Amundson; Manish Kushwaha; Xenofon D. Koutsoukos; Sandeep Neema; Janos Sztipanovits (BROADNETS, 2006)

OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. - Xenofon D. Koutsoukos; Manish Kushwaha; Isaac Amundson; Sandeep Neema; Janos Sztipanovits (Monterey Workshop, 2006)

OASiS: A Programming Framework for Service-Oriented Sensor Networks. - Manish Kushwaha; Isaac Amundson; Xenofon D. Koutsoukos; Sandeep Neema; Janos Sztipanovits (COMSWARE, 2007)

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 (ACSCC, 2008)

Time Synchronization in Heterogeneous Sensor Networks. - Isaac Amundson; Branislav Kusy; Péter Völgyesi; Xenofon D. Koutsoukos; Ákos Lédeczi (DCOSS, 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 001 (ICCCN, 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 (MFI, 2008)

Mobile sensor localization and navigation using RF doppler shifts. - Isaac Amundson; Xenofon D. Koutsoukos; János Sallai (MELT, 2008)

A Survey on Localization for Mobile Wireless Sensor Networks. - Isaac Amundson; Xenofon D. Koutsoukos (MELT, 2009)

On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks. - Isaac Amundson; Manish Kushwaha; Xenofon D. Koutsoukos (MELT, 2009)

Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion. - Manish Kushwaha; Songhwai Oh; Isaac Amundson; Xenofon D. Koutsoukos; Ákos Lédeczi (Handbook of Ambient Intelligence and Smart Environments, 2010)

Using RF received phase for indoor tracking. - János Sallai; Ákos Lédeczi; Isaac Amundson; Xenofon D. Koutsoukos; Miklós Maróti (HotEmNets, 2010)

Radio Interferometric Angle of Arrival Estimation. - Isaac Amundson; János Sallai; Xenofon D. Koutsoukos; Ákos Lédeczi (EWSN, 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)

Mobile Sensor Navigation Using Rapid RF-Based Angle of Arrival Localization. - Isaac Amundson; Xenofon D. Koutsoukos; János Sallai; Ákos Lédeczi (IEEE Real-Time and Embedded Technology and Applications Symposium, 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 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)

A Method for Estimating Angular Separation in Mobile Wireless Sensor Networks. - Isaac Amundson; Manish Kushwaha; Xenofon D. Koutsoukos (J. Intell. Robotic Syst., 2013)

Practical aspects of building a constrained random test framework for safety-critical embedded systems. - Dongjiang You; Isaac Amundson; Scott Hareland; Sanjai Rayadurgam (MoSEMInA, 2014)

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 (NFM, 2020)

Assume-Guarantee Reasoning with Scheduled Components. - Cong Liu; Junaid Babar; Isaac Amundson; Karl Hoech; Darren D. Cofer; Eric Mercer (NFM, 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)

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 002 (SAFECOMP Workshops, 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; et al. (J. Syst. Archit., 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., 2023)

Towards Explainable Compositional Reasoning. - Isaac Amundson; Amer Tahat; David S. Hardin; Darren D. Cofer (ERSA@RTSS, 2024)

Zero-trust design and assurance patterns for cyber-physical systems. - Saqib Hasan; Isaac Amundson; David S. Hardin (J. Syst. Archit., 2024)