Articles with public access mandates - Gul AghaLearn more
Not available anywhere: 2
Droplet: Distributed operator placement for iot applications spanning edge and cloud resources
T Elgamal, A Sandur, P Nguyen, K Nahrstedt, G Agha
2018 IEEE 11th International Conference on Cloud Computing (CLOUD), 1-8, 2018
Mandates: US National Science Foundation
Space division and dimensional reduction methods for indoor positioning system
Y Mo, Z Zhang, W Meng, G Agha
2015 IEEE International Conference on Communications (ICC), 3263-3268, 2015
Mandates: National Natural Science Foundation of China
Available somewhere: 20
A survey of statistical model checking
G Agha, K Palmskog
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (1), 1-39, 2018
Mandates: US National Science Foundation, US Department of Defense
Costless: Optimizing cost of serverless computing through function fusion and placement
T Elgamal, A Sandur, K Nahrstedt, G Agha
2018 IEEE/ACM Symposium on Edge Computing (SEC), 300-312, 2018
Mandates: US National Science Foundation
Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure
BF Spencer, H Jo, KA Mechitov, J Li, SH Sim, RE Kim, S Cho, ...
Journal of Civil Structural Health Monitoring 6, 17-41, 2016
Mandates: US National Science Foundation
Parameterized, concurrent session types for asynchronous multi-actor interactions
M Charalambides, P Dinges, G Agha
Science of Computer Programming 115, 100-126, 2016
Mandates: US National Science Foundation
Victim localization and assessment system for emergency responders
H Yoon, R Shiftehfar, S Cho, BF Spencer Jr, ME Nelson, G Agha
Journal of Computing in Civil Engineering 30 (2), 04015011, 2016
Mandates: US National Science Foundation
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking
E Khamespanah, M Sirjani, K Mechitov, G Agha
International Journal on Software Tools for Technology Transfer 20, 547-561, 2018
Mandates: US National Science Foundation, US Department of Defense, Icelandic Centre …
Random forest based coarse locating and KPCA feature extraction for indoor positioning system
Y Mo, Z Zhang, Y Lu, W Meng, G Agha
Mathematical Problems in Engineering 2014 (1), 850926, 2014
Mandates: National Natural Science Foundation of China
Formal verification of safety-critical aerospace systems
S Paul, E Cruz, A Dutta, A Bhaumik, E Blasch, G Agha, S Patterson, ...
IEEE Aerospace and Electronic Systems Magazine 38 (5), 72-88, 2023
Mandates: US National Science Foundation, US Department of Defense
Schedulability analysis of distributed real-time sensor network applications using actor-based model checking
E Khamespanah, K Mechitov, M Sirjani, G Agha
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
Mandates: US National Science Foundation, Icelandic Centre for Research
Jarvis: Large-scale server monitoring with adaptive near-data processing
A Sandur, CH Park, S Volos, G Agha, M Jeon
2022 IEEE 38th International Conference on Data Engineering (ICDE), 1408-1422, 2022
Mandates: US National Science Foundation, US Department of Energy
Targeted test generation for actor systems
S Li, F Hariri, G Agha
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
Mandates: US National Science Foundation
Verification of eventual consensus in synod using a failure-aware actor model
S Paul, GA Agha, S Patterson, CA Varela
NASA Formal Methods Symposium, 249-267, 2021
Mandates: US National Science Foundation, US Department of Defense
Types for progress in actor programs
M Charalambides, K Palmskog, G Agha
Models, Languages, and Tools for Concurrent and Distributed Programming …, 2019
Mandates: US National Science Foundation
Concurrent garbage collection in the actor model
D Plyukhin, G Agha
Proceedings of the 8th ACM SIGPLAN International Workshop on Programming …, 2018
Mandates: US National Science Foundation
Transforming threads into actors: learning concurrency structure from execution traces
G Agha, K Palmskog
Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of …, 2018
Mandates: US National Science Foundation, US Department of Defense
A scalable algorithm for decentralized actor termination detection
D Plyukhin, G Agha
Logical Methods in Computer Science 18, 2022
Mandates: US National Science Foundation, US Department of Energy
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks
M Sirjani, E Khamespanah, K Mechitov, G Agha
ACM SIGBED Review 14 (3), 49-56, 2017
Mandates: Icelandic Centre for Research
Thin Middleware for Ubiquitous Computing
K Sen, G Agha
Process Coordination and Ubiquitous Computing, 201-213, 2020
Mandates: US Department of Defense
Publication and funding information is determined automatically by a computer program