Isaac Amundson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
13
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MOBIHOC | A Repository of Cognitive Attack Patterns for Extended-Reality Systems. | Heber Herencia-Zapana, Isaac Amundson |
| 2025 | SMC | Formal Analysis of Vulnerabilities in Mixed-Reality Systems. | Timothy E. Wang, Isaac Amundson, Junaid Babar, Peggy Wu |
| 2025 | VECoS | AGREE-Dog Copilot: A Neuro-Symbolic Approach to Enhanced Model-Based Systems Engineering. | Amer Tahat, Isaac Amundson, David S. Hardin, Darren D. Cofer |
| 2023 | SAFECOMP | 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 |
| 2021 | MODELS | Synthesizing Verified Components for Cyber Assured Systems Engineering. | Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin |
| 2014 | ICSE | Practical aspects of building a constrained random test framework for safety-critical embedded systems. | Dongjiang You, Isaac Amundson, Scott Hareland, Sanjai Rayadurgam |
| 2011 | RTAS | Mobile Sensor Navigation Using Rapid RF-Based Angle of Arrival Localization. | Isaac Amundson, Xenofon D. Koutsoukos, Jnos Sallai, kos Ldeczi |
| 2010 | EWSN | Radio Interferometric Angle of Arrival Estimation. | Isaac Amundson, Jnos Sallai, Xenofon D. Koutsoukos, kos Ldeczi |
| 2008 | ACSSC | 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 Ldeczi |
| 2008 | DCOSS | Time Synchronization in Heterogeneous Sensor Networks. | Isaac Amundson, Branislav Kusy, Pter Vlgyesi, Xenofon D. Koutsoukos, kos Ldeczi |
| 2008 | ICCCN | Multi-Modal Target Tracking Using Heterogeneous Sensor Networks. | Manish Kushwaha, Isaac Amundson, Pter Vlgyesi, Parvez Ahammad, Gyula Simon, Xenofon D. Koutsoukos, kos Ldeczi, Shankar Sastry |
| 2008 | MOBICOM | Mobile sensor localization and navigation using RF doppler shifts. | Isaac Amundson, Xenofon D. Koutsoukos, Jnos Sallai |
| 2006 | Broadnets | Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. | Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits |