OASiS: A Programming Framework for Service-Oriented Sensor Networks

Manish Kushwaha, Isaac Amundson, Xenofon Koutsoukos, +2

Sensor NetworksProgramming FrameworkEngineeringDistributed MiddlewareEdge Computing +12

Mobile sensor localization and navigation using RF doppler shifts

Isaac Amundson, Xenofon Koutsoukos, János Sallai

RadarRf LocalizationEngineeringGlobal Positioning SystemSensor Data +11

RF doppler shift-based mobile sensor tracking and navigation

Branislav Kusý, Isaac Amundson, János Sallai, +3

ACM Transactions on Sensor Networks

RadarWireless LocalizationLocation TrackingEngineeringRf Localization +10

RF angle of arrival-based node localisation

Isaac Amundson, János Sallai, Xenofon Koutsoukos, +2

International Journal of Sensor Networks

Several Localisation AlgorithmsWireless LocalizationRf LocalizationEngineeringLocation Estimation +12

Target tracking in heterogeneous sensor networks using audio and video sensor fusion

Manish Kushwaha, Songhwai Oh, Isaac Amundson, +2

Location TrackingMachine VisionVideo Sensor FusionData ScienceTarget Tracking +13

Cyberassured Systems Engineering at Scale

Darren Cofer, Isaac Amundson, Junaid Babar, +9

IEEE Security & Privacy

EngineeringInformation SecuritySoftware EngineeringCyber Security EngineeringFormal Verification +15

Run-Time Assurance for Learning-Based Aircraft Taxiing

Darren Cofer, Isaac Amundson, Ramachandra Sattigeri, +6

Aircraft SystemsEngineeringAircraft NavigationVerificationComputer Engineering +10

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

Isaac Amundson, János Sallai, Xenofon Koutsoukos, +1

International Journal of Distributed Sensor Networks

CartographyLocation TrackingEngineeringRf LocalizationLocation Estimation +10

Decentralized acoustic source localization in a distributed sensor network

Stephen Williams, Kenneth D. Frampton, Isaac Amundson, +1

Applied Acoustics

EngineeringSpeaker LocalizationLocalizationSignal ProcessingDistributed Sensing +2

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

Jason Belt, John Hatcliff, Robby, +12

Journal of Systems Architecture

Model-based System EngineeringEngineeringHardware Verification LanguageElectronic Design AutomationComputer Architecture +9