Isaac Amundson

33 papers A 2B 5C 1Journal 10Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Survey of Security Challenges and Solutions for Advanced Air Mobility and eVTOL Aircraft. CoRR Mahyar Ghazanfari, Iman Sharifi, Peng Wei, Noah Dahle, Abel Díaz-González, Austin Coursey, Bryce Bjorkman, Cailani Lemieux Mack, Robert Canady, Abenezer Taye, Bryan C. Ward, Xenofon D. Koutsoukos, Gautam Biswas, Maheed H. Ahmed, Hyeong Tae Kim, Mahsa Ghasemi, Vijay Gupta, Filippos Fotiadis, Ufuk Topcu, Junchi Lu, Alfred Chen, Abdul Kareem Ras, Nischal Aryal, Amer Ibrahim, Amir Shirkhodaie, Heber Herencia-Zapana, Saqib Hasan, Isaac Amundson
2026	J	`jnl`	A Survey of Security Challenges and Solutions for UAS Traffic Management (UTM) and small Unmanned Aerial Systems (sUAS). CoRR Iman Sharifi, Mahyar Ghazanfari, Abenezer Taye, Peng Wei, Maheed H. Ahmed, Hyeong Tae Kim, Mahsa Ghasemi, Vijay Gupta, Noah Dahle, Robert Canady, Abel Díaz-González, Austin Coursey, Bryce Bjorkman, Cailani Lemieux Mack, Bryan C. Ward, Xenofon D. Koutsoukos, Gautam Biswas, Heber Herencia-Zapana, Saqib Hasan, Isaac Amundson, Filippos Fotiadis, Ufuk Topcu, Junchi Lu, Qi Alfred Chen, Nischal Aryal, Amer Ibrahim, Abdul Karim Ras, Amir Shirkhodaie
2025	B	`conf`	A Repository of Cognitive Attack Patterns for Extended-Reality Systems. MobiHoc Heber Herencia-Zapana, Isaac Amundson
2025	—	`conf`	AGREE-Dog Copilot: A Neuro-Symbolic Approach to Enhanced Model-Based Systems Engineering. AISoLA Amer Tahat, Isaac Amundson, David S. Hardin, Darren D. Cofer
2025	B	`conf`	Formal Analysis of Vulnerabilities in Mixed-Reality Systems. SMC Timothy E. Wang, Isaac Amundson, Junaid Babar, Peggy Wu
2024	—	`conf`	Towards Explainable Compositional Reasoning. ERSA@RTSS Isaac Amundson, Amer Tahat, David S. Hardin, Darren D. Cofer
2024	J	`jnl`	Zero-trust design and assurance patterns for cyber-physical systems. J. Syst. Archit. Saqib Hasan, Isaac Amundson, David S. Hardin
2023	—	`conf`	Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
2023	J	`jnl`	Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 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
2023	J	`jnl`	Synthesizing verified components for cyber assured systems engineering. Softw. Syst. Model. Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
2022	—	`conf`	Assume-Guarantee Reasoning with Scheduled Components. NFM Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer
2022	J	`jnl`	Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 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
2021	A	`conf`	Synthesizing Verified Components for Cyber Assured Systems Engineering. MoDELS Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
2020	—	`conf`	Run-Time Assurance for Learning-Enabled Systems. NFM Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
2014	—	`conf`	Practical aspects of building a constrained random test framework for safety-critical embedded systems. MoSEMInA Dongjiang You, Isaac Amundson, Scott Hareland, Sanjai Rayadurgam
2013	J	`jnl`	A Method for Estimating Angular Separation in Mobile Wireless Sensor Networks. J. Intell. Robotic Syst. Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos
2012	J	`jnl`	Mobile Sensor Waypoint Navigation via RF-Based Angle of Arrival Localization. Int. J. Distributed Sens. Networks Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi
2011	A	`conf`	Mobile Sensor Navigation Using Rapid RF-Based Angle of Arrival Localization. IEEE Real-Time and Embedded Technology and Applications Symposium Isaac Amundson, Xenofon D. Koutsoukos, János Sallai, Ákos Lédeczi
2011	J	`jnl`	RF angle of arrival-based node localisation. Int. J. Sens. Networks Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi, Miklos Maroti
2010	J	`jnl`	RF doppler shift-based mobile sensor tracking and navigation. ACM Trans. Sens. Networks Branislav Kusy, Isaac Amundson, János Sallai, Péter Völgyesi, Ákos Lédeczi, Xenofon D. Koutsoukos
2010	B	`conf`	Radio Interferometric Angle of Arrival Estimation. EWSN Isaac Amundson, János Sallai, Xenofon D. Koutsoukos, Ákos Lédeczi
2010	—	`ch.`	Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion. Handbook of Ambient Intelligence and Smart Environments Manish Kushwaha, Songhwai Oh, Isaac Amundson, Xenofon D. Koutsoukos, Ákos Lédeczi
2010	—	`conf`	Using RF received phase for indoor tracking. HotEmNets János Sallai, Ákos Lédeczi, Isaac Amundson, Xenofon D. Koutsoukos, Miklós Maróti
2009	—	`conf`	A Survey on Localization for Mobile Wireless Sensor Networks. MELT Isaac Amundson, Xenofon D. Koutsoukos
2009	—	`conf`	On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks. MELT Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos
2008	—	`conf`	Mobile sensor localization and navigation using RF doppler shifts. MELT Isaac Amundson, Xenofon D. Koutsoukos, János Sallai
2008	B	`conf`	Multi-Modal Target Tracking Using Heterogeneous Sensor Networks. ICCCN Manish Kushwaha, Isaac Amundson, Péter Völgyesi, Parvez Ahammad, Gyula Simon, Xenofon D. Koutsoukos, Ákos Lédeczi, Shankar Sastry
2008	—	`conf`	Target tracking in heterogeneous sensor networks using audio and video sensor fusion. MFI Manish Kushwaha, Songhwai Oh, Isaac Amundson, Xenofon D. Koutsoukos, Ákos Lédeczi
2008	—	`conf`	Target tracking in urban environments using audio-video signal processing in heterogeneous wireless sensor networks. ACSCC Manish Kushwaha, Songhwai Oh, Isaac Amundson, Xenofon D. Koutsoukos, Ákos Lédeczi
2008	B	`conf`	Time Synchronization in Heterogeneous Sensor Networks. DCOSS Isaac Amundson, Branislav Kusy, Péter Völgyesi, Xenofon D. Koutsoukos, Ákos Lédeczi
2007	—	`conf`	OASiS: A Programming Framework for Service-Oriented Sensor Networks. COMSWARE Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
2006	C	`conf`	Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. BROADNETS Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
2006	—	`conf`	OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. Monterey Workshop Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits