Isaac Amundson

Publication Activity (10 Years)

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

Top Topics

Resource Bounded

Capsule Endoscopy

Systems Engineering

Embedded Systems

Top Venues

SAFECOMP Workshops

J. Syst. Archit.

Publications

Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops (2023)
Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
Synthesizing verified components for cyber assured systems engineering. Softw. Syst. Model. 22 (5) (2023)
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
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134 (2023)
Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer
Assume-Guarantee Reasoning with Scheduled Components. NFM (2022)
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
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20 (3) (2022)
Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
Synthesizing Verified Components for Cyber Assured Systems Engineering. MoDELS (2021)
Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
Run-Time Assurance for Learning-Enabled Systems. NFM (2020)
Dongjiang You, Isaac Amundson, Scott Hareland, Sanjai Rayadurgam
Practical aspects of building a constrained random test framework for safety-critical embedded systems. MoSEMInA (2014)
Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos
A Method for Estimating Angular Separation in Mobile Wireless Sensor Networks. J. Intell. Robotic Syst. 71 (3-4) (2013)
Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi
Mobile Sensor Waypoint Navigation via RF-Based Angle of Arrival Localization. Int. J. Distributed Sens. Networks 8 (2012)
Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi, Miklos Maroti
RF angle of arrival-based node localisation. Int. J. Sens. Networks 9 (3/4) (2011)
Isaac Amundson, Xenofon D. Koutsoukos, János Sallai, Ákos Lédeczi
Mobile Sensor Navigation Using Rapid RF-Based Angle of Arrival Localization. IEEE Real-Time and Embedded Technology and Applications Symposium (2011)
János Sallai, Ákos Lédeczi, Isaac Amundson, Xenofon D. Koutsoukos, Miklós Maróti
Using RF received phase for indoor tracking. HotEmNets (2010)
Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi
Radio Interferometric Angle of Arrival Estimation. EWSN (2010)
Branislav Kusy, Isaac Amundson, János Sallai, Péter Völgyesi, Ákos Lédeczi, Xenofon D. Koutsoukos
RF doppler shift-based mobile sensor tracking and navigation. ACM Trans. Sens. Networks 7 (1) (2010)
Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos
On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks. MELT (2009)
Isaac Amundson, Xenofon D. Koutsoukos
A Survey on Localization for Mobile Wireless Sensor Networks. MELT (2009)
Manish Kushwaha, Songhwai Oh, Isaac Amundson, Xenofon D. Koutsoukos, Ákos Lédeczi
Target tracking in urban environments using audio-video signal processing in heterogeneous wireless sensor networks. ACSCC (2008)
Isaac Amundson, Branislav Kusy, Péter Völgyesi, Xenofon D. Koutsoukos, Ákos Lédeczi
Time Synchronization in Heterogeneous Sensor Networks. DCOSS (2008)
Manish Kushwaha, Songhwai Oh, Isaac Amundson, Xenofon D. Koutsoukos, Ákos Lédeczi
Target tracking in heterogeneous sensor networks using audio and video sensor fusion. MFI (2008)
Isaac Amundson, Xenofon D. Koutsoukos, János Sallai
Mobile sensor localization and navigation using RF doppler shifts. MELT (2008)
Manish Kushwaha, Isaac Amundson, Péter Völgyesi, Parvez Ahammad, Gyula Simon, Xenofon D. Koutsoukos, Ákos Lédeczi, Shankar Sastry
Multi-Modal Target Tracking Using Heterogeneous Sensor Networks. ICCCN (2008)
Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
OASiS: A Programming Framework for Service-Oriented Sensor Networks. COMSWARE (2007)
Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. Monterey Workshop (2006)
Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. BROADNETS (2006)