Gul Agha - Publications

Affiliations: 
University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science, Robotics Engineering

75 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2018 Agha G, Palmskog K. A Survey of Statistical Model Checking Acm Transactions On Modeling and Computer Simulation. 28: 1-39. DOI: 10.1145/3158668  0.363
2017 Sirjani M, Khamespanah E, Mechitov K, Agha G. A compositional approach for modeling and timing analysis of wireless sensor and actuator networks Acm Sigbed Review. 14: 49-56. DOI: 10.1145/3166227.3166237  0.774
2017 Spencer B, Park J, Mechitov K, Jo H, Agha G. Next Generation Wireless Smart Sensors Toward Sustainable Civil Infrastructure Procedia Engineering. 171: 5-13. DOI: 10.1016/J.Proeng.2017.01.304  0.81
2017 Khamespanah E, Sirjani M, Mechitov K, Agha G. Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking International Journal On Software Tools For Technology Transfer. 20: 547-561. DOI: 10.1007/S10009-017-0480-3  0.765
2016 Yoon H, Shiftehfar R, Cho S, Spencer BF, Nelson ME, Agha G. Victim Localization and Assessment System for Emergency Responders Journal of Computing in Civil Engineering. 30. DOI: 10.1061/(Asce)Cp.1943-5487.0000483  0.467
2016 Charalambides M, Dinges P, Agha G. Parameterized, concurrent session types for asynchronous multi-actor interactions Science of Computer Programming. 115: 100-126. DOI: 10.1016/J.Scico.2015.10.006  0.316
2016 Spencer BF, Jo H, Mechitov KA, Li J, Sim SH, Kim RE, Cho S, Linderman LE, Moinzadeh P, Giles RK, Agha G. Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure Journal of Civil Structural Health Monitoring. 6: 17-41. DOI: 10.1007/S13349-015-0111-1  0.793
2016 Khamespanah E, Mechitov K, Sirjani M, Agha G. Schedulability analysis of distributed real-time sensor network applications using actor-based model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9641: 165-181. DOI: 10.1007/978-3-319-32582-8_11  0.31
2015 Ricci A, Agha G, Bordini RH, Marron A. Special issue on programming based on actors, agents and decentralized control Science of Computer Programming. 98: 117-119. DOI: 10.1016/J.Scico.2014.10.003  0.324
2014 Mo Y, Zhang Z, Lu Y, Meng W, Agha G. Random Forest Based Coarse Locating and KPCA Feature Extraction for Indoor Positioning System Mathematical Problems in Engineering. 2014. DOI: 10.1155/2014/850926  0.311
2014 Kwon YM, Mechitov K, Agha G. Design and implementation of a mobile actor platform for wireless sensor networks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8665: 276-316.  0.387
2013 Li B, Sun Z, Mechitov K, Hackmann G, Lu C, Dyke SJ, Agha G, Spencer BF. Realistic case studies of wireless structural control Proceedings of the Acm/Ieee 4th International Conference On Cyber-Physical Systems, Iccps 2013. 179-188. DOI: 10.1145/2502524.2502549  0.537
2013 Kwon Y, Agha G. Performance evaluation of sensor networks by statistical modeling and euclidean model checking Acm Transactions On Sensor Networks. 9. DOI: 10.1145/2489253.2489256  0.383
2012 Gartia MR, Braunschweig B, Chang TW, Moinzadeh P, Minsker BS, Agha G, Wieckowski A, Keefer LL, Liu GL. The microelectronic wireless nitrate sensor network for environmental water monitoring Journal of Environmental Monitoring. 14: 3068-3075. PMID 23138753 DOI: 10.1039/C2Em30380A  0.715
2012 Moinzadeh P, Mechitov K, Shiftehfar R, Abdelzaher T, Agha G, Spencer BF. The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study Annual Ieee Communications Society Conference On Sensor, Mesh and Ad Hoc Communications and Networks Workshops. 1: 380-388. DOI: 10.1109/SECON.2012.6275801  0.762
2011 Kwon Y, Agha G. Verifying the evolution of probability distributions governed by a DTMC Ieee Transactions On Software Engineering. 37: 126-141. DOI: 10.1109/Tse.2010.80  0.348
2011 Chadha R, Korthikanti VA, Viswanathan M, Agha G, Kwon Y. Model checking MDPs with a unique compact invariant set of distributions Proceedings of the 2011 8th International Conference On Quantitative Evaluation of Systems, Qest 2011. 121-130. DOI: 10.1109/QEST.2011.22  0.764
2011 Korthikanti VA, Agha G, Greenstreet M. On the energy complexity of parallel algorithms Proceedings of the International Conference On Parallel Processing. 562-570. DOI: 10.1109/ICPP.2011.84  0.773
2011 Korthikanti VA, Agha G. Energy-performance trade-off analysis of parallel algorithms for shared memory architectures Sustainable Computing: Informatics and Systems. 1: 167-176. DOI: 10.1016/J.Suscom.2011.05.004  0.783
2011 Rice JA, Mechitov KA, Sim SH, Spencer BF, Agha GA. Enabling framework for structural health monitoring using smart sensors Structural Control and Health Monitoring. 18: 574-587. DOI: 10.1002/Stc.386  0.796
2010 Nagayama T, Moinzadeh P, Mechitov K, Ushita M, Makihata N, Leiri M, Agha G, Spencer BF, Fujino Y, Seo JW. Reliable multi-hop communication for structural health monitoring Smart Structures and Systems. 6: 481-504. DOI: 10.12989/Sss.2010.6.5_6.481  0.79
2010 Jang S, Jo H, Cho S, Mechitov K, Rice JA, Sim SH, Jung HJ, Yun CB, Spencer BF, Agha G. Structural health monitoring of a cable-stayed bridge using smart sensor technology: Deployment and evaluation Smart Structures and Systems. 6: 439-459. DOI: 10.12989/Sss.2010.6.5_6.439  0.776
2010 Rice JA, Mechitov K, Sim SH, Nagayama T, Jang S, Kim R, Spencer BF, Agha G, Fujino Y. Flexible smart sensor framework for autonomous structural health monitoring Smart Structures and Systems. 6: 423-438. DOI: 10.12989/Sss.2010.6.5_6.423  0.81
2010 Korthikanti VA, Agha G. Towards optimizing energy costs of algorithms for shared memory architectures Annual Acm Symposium On Parallelism in Algorithms and Architectures. 157-165. DOI: 10.1145/1810479.1810510  0.783
2010 Kwon Y, Mechitov K, Sundresh S, Kim W, Agha G. Resilient localization for sensor networks in outdoor environments Acm Transactions On Sensor Networks. 7. DOI: 10.1145/1806895.1806898  0.787
2010 Rice JA, Mechitov KA, Spencer BF, Agha GA. Autonomous smart sensor network for full-scale structural health monitoring Proceedings of Spie - the International Society For Optical Engineering. 7647. DOI: 10.1117/12.847917  0.793
2010 Korthikanti VA, Viswanathan M, Agha G, Kwon YM. Reasoning about MDPs as transformers of probability distributions Proceedings - 7th International Conference On the Quantitative Evaluation of Systems, Qest 2010. 199-208. DOI: 10.1109/QEST.2010.35  0.768
2010 Korthikanti VA, Agha G. Avoiding energy wastage in parallel applications 2010 International Conference On Green Computing, Green Comp 2010. 149-163. DOI: 10.1109/GREENCOMP.2010.5598314  0.785
2010 Jang S, Jo H, Mechitov K, Sim SH, Spencer BF, Agha G, Cho S, Jung HJ, Yun CB, Rice JA. Autonomous structural health monitoring using wireless smart sensors on a cable-stayed bridge Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference On Bridge Maintenance, Safety and Management. 172-179.  0.325
2010 Jang S, Jo H, Mechitov K, Sim SH, Spencer BF, Agha G, Cho S, Jung HJ, Yun CB, Rice JA. Autonomous structural health monitoring using wireless smart sensors on a cable-stayed bridge Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference On Bridge Maintenance, Safety and Management. 172-179.  0.325
2009 Nagayama T, Spencer BF, Mechitov KA, Agha GA. Middleware services for structural health monitoring using smart sensors Smart Structures and Systems. 5: 119-137. DOI: 10.12989/Sss.2009.5.2.119  0.787
2009 Korthikanti VA, Agha G. Analysis of parallel algorithms for energy conservation in scalable multicore architectures Proceedings of the International Conference On Parallel Processing. 212-219. DOI: 10.1109/ICPP.2009.74  0.785
2008 Ham M, Agha G. Market-based coordination strategies for physical multi-agent systems Acm Sigbed Review. 5: 1-2. DOI: 10.1145/1366283.1366306  0.565
2008 Agha G. Computing in pervasive cyberspace Communications of the Acm. 51: 68-70. DOI: 10.1145/1327452.1327484  0.304
2008 Kwon Y, Agha G. Passive localization: Large size sensor network localization based on environmental events Proceedings - 2008 International Conference On Information Processing in Sensor Networks, Ipsn 2008. 3-14. DOI: 10.1109/IPSN.2008.55  0.313
2007 Mechitov K, Razavi R, Agha G. Architecture design principles to support adaptive service orchestration in WSN applications Acm Sigbed Review. 4: 37-42. DOI: 10.1145/1317103.1317110  0.766
2006 Razavi R, Mechitov K, Sundresh S, Agha G, Perrot JF. Ambiance: Adaptive object model-based platform for macroprogramming sensor networks Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 2006: 663-664. DOI: 10.1145/1176617.1176662  0.797
2006 Kwon Y, Sundresh S, Mechitov K, Agha G. ActorNet: An actor platform for wireless sensor networks Proceedings of the International Conference On Autonomous Agents. 2006: 1297-1300. DOI: 10.1145/1160633.1160871  0.81
2006 Agha G. Computational models, programming languages and algorithms for sensor networks: Towards a paradigm shift in computer science (summary) Proceedings - Ieee International Conference On Sensor Networks, Ubiquitous, and Trustworthy Computing. 2006: 2-3. DOI: 10.1109/SUTC.2006.1636152  0.319
2006 Sen K, Vardhan A, Agha G, Roşu G. Decentralized runtime analysis of multithreaded applications 20th International Parallel and Distributed Processing Symposium, Ipdps 2006. 2006. DOI: 10.1109/IPDPS.2006.1639591  0.675
2006 Jang MW, Agha G. Agent framework services to reduce agent communication overhead in large-scale agent-based simulations Simulation Modelling Practice and Theory. 14: 679-694. DOI: 10.1016/J.Simpat.2005.10.002  0.318
2006 Agha G, Meseguer J, Sen K. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems Electronic Notes in Theoretical Computer Science. 153: 213-239. DOI: 10.1016/J.Entcs.2005.10.040  0.627
2006 Sen K, Roşu G, Agha G. Online efficient predictive safety analysis of multithreaded programs International Journal On Software Tools For Technology Transfer. 8: 248-260. DOI: 10.1007/S10009-005-0192-Y  0.616
2005 Yin L, Palmer J, Uttamchandani S, Katz R, Agha G. AUTOLOOP: Automated action selection in the "Observe-Analyze-Act" loop for storage systems Proceedings - Sixth Ieee International Workshop On Policies For Distributed Systems and Networks, Policy 2005. 2005: 129-138. DOI: 10.1109/POLICY.2005.9  0.69
2005 Devaraj CF, Nagda M, Gupta I, Agha GA. An underlay for sensor networks: Localized protocols for maintenance and usage 2nd Ieee International Conference On Mobile Ad-Hoc and Sensor Systems, Mass 2005. 2005: 502-509. DOI: 10.1109/MAHSS.2005.1542837  0.34
2005 Vardhan A, Sen K, Viswanathan M, Agha G. Using language inference to verify omega-regular properties Lecture Notes in Computer Science. 3440: 45-60.  0.669
2004 Uttamchandani S, Alvarez GA, Agha G. DecisionQoS: An adaptive, self-evolving QoS arbitration module for storage systems Proceedings - Fifth Ieee International Workshop On Policies For Distributed Systems and Networks, Policy 2004. 67-76. DOI: 10.1109/POLICY.2004.1309151  0.738
2004 Tosic PT, Agha GA. Towards a hierarchical taxonomy of autonomous agents Conference Proceedings - Ieee International Conference On Systems, Man and Cybernetics. 4: 3421-3426. DOI: 10.1109/ICSMC.2004.1400871  0.762
2004 Sundresh S, Kim W, Agha G. SENS: A sensor, environment and network simulator Proceedings of the Ieee Annual Simulation Symposium. 221-228.  0.807
2004 Tosic P, Agha G. Concurrency vs. sequential interleavings in 1-D threshold cellular automata Proceedings - International Parallel and Distributed Processing Symposium, Ipdps 2004 (Abstracts and Cd-Rom). 18: 2539-2546.  0.76
2004 Sen K, Vardhan A, Agha G, Roşu G. Efficient decentralized monitoring of safety in distributed systems Proceedings - International Conference On Software Engineering. 26: 418-427.  0.671
2004 Agha G, Thati P. An algebraic theory of actors and its application to a simple object-based language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2635: 26-57.  0.737
2004 Vardhan A, Sen K, Viswanathan M, Agha G. Actively learning to verify safety for FIFO automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3328: 494-505.  0.658
2004 Tosic PT, Agha GA. Characterizing configuration spaces of simple threshold cellular automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3305: 861-870.  0.744
2004 Vardhan A, Sen K, Viswanathan M, Agha G. Learning to verify safety properties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3308: 274-289.  0.649
2004 Thati P, Talcott C, Agha G. Techniques for executing and reasoning about specification diagrams Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3116: 521-536.  0.753
2003 Mechitov K, Kwon Y, Sundresh S, Agha G. Poster abstract: Cooperative tracking with binary-detection sensor networks Sensys'03: Proceedings of the First International Conference On Embedded Networked Sensor Systems. 332-333.  0.793
2003 Vardhan A, Agha G. Using passive object garbage collection algorithms for garbage collection of active objects Acm Sigplan Notices. 38: 213-220.  0.637
2002 Milojicic D, Agha G, Bernadat P, Chauhan D, Guday S, Jamali N, Lambright D, Travostino F. Case studies in security and resource management for mobile object systems Autonomous Agents and Multi-Agent Systems. 5: 45-79. DOI: 10.1023/A:1013444932711  0.652
2002 Thati P, Ziaei R, Agha G. A theory of may testing for asynchronous calculi with locality and no name matching Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2422: 223-239.  0.749
2002 Thati P, Ziaei R, Agha G. A theory of may testing for actors Ifip Advances in Information and Communication Technology. 81: 147-162.  0.74
2001 Varela C, Agha G. Programming dynamically reconfigurable open systems with SALSA Sigplan Notices (Acm Special Interest Group On Programming Languages). 36: 20-32. DOI: 10.1145/583960.583964  0.656
2001 Venkatasubramanian N, Talcott C, Agha G. A formal model for reasoning about adaptive QoS-enabled middleware Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2021: 197-221. DOI: 10.1145/1005561.1005564  0.53
2001 Thati P, Chang PH, Agha G. Crawlets: Agents for high performance web search engines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2240: 119-134. DOI: 10.1007/3-540-45647-3_9  0.756
1999 Nielsen B, Agha G. Towards reusable real-time objects Annals of Software Engineering. 7: 257-282. DOI: 10.7146/Brics.V5I44.19489  0.316
1998 Ren S, Agha GA. A modular approach for programming embedded systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1494: 146-157. DOI: 10.1007/3-540-65193-4_22  0.561
1998 Milojicic D, Agha G, Bernadat P, Chauhan D, Guday S, Jamali N, Lambright D. Case studies in security and resource management for mobile objects Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1543: 306.  0.588
1996 Ren S, Agha GA, Saito M. A modular approach to programming distributed real-time systems Journal of Parallel and Distributed Computing. 36: 4-12. DOI: 10.1006/Jpdc.1996.0086  0.471
1995 Ren S, Agha GA. RTsynchronizer Acm Sigplan Notices. 30: 50-59. DOI: 10.1145/216633.216656  0.429
1994 Panwar R, Agha G. A Methodology for Programming Scalable Architectures Journal of Parallel and Distributed Computing. 22: 479-487. DOI: 10.1006/Jpdc.1994.1105  0.357
1994 Callsen CJ, Agha G. Open Heterogeneous Computing in Actorspace Journal of Parallel and Distributed Computing. 21: 289-300. DOI: 10.1006/Jpdc.1994.1060  0.341
1993 Agha G, Frlund S, Kim W, Panwar R, Patterson A, Sturman D. Abstraction and Modularity Mechanisms for Concurrent Computing Ieee Parallel and Distributed Technology. 1: 3-14. DOI: 10.1109/88.218170  0.361
1992 Venkatasubramanian N, Miriyala S, Agha G. Scalable concurrent computing Sadhana. 17: 193-220. DOI: 10.1007/Bf02811343  0.534
1991 Singh V, Kumar V, Agha G, Tomlinson C. Efficient algorithms for parallel sorting on mesh multicomputers International Journal of Parallel Programming. 20: 95-131. DOI: 10.1007/Bf01407839  0.323
1990 Agha G. Concurrent object-oriented programming Communications of the Acm. 33: 125-141. DOI: 10.1145/83880.84528  0.365
Show low-probability matches.