Gul Agha

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2018

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking

Khamespanah, E., Sirjani, M., Mechitov, K. & Agha, G., Oct 1 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 547-561 15 p.

Research output: Contribution to journalArticle

2016

Parameterized, concurrent session types for asynchronous multi-actor interactions

Charalambides, M., Dinges, P. & Agha, G., Jan 1 2016, In : Science of Computer Programming. 115-116, p. 100-126 27 p.

Research output: Contribution to journalArticle

Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure

Spencer, B. F., Jo, H., Mechitov, K. A., Li, J., Sim, S. H., Kim, R. E., Cho, S., Linderman, L. E., Moinzadeh, P., Giles, R. K. & Agha, G., Feb 1 2016, In : Journal of Civil Structural Health Monitoring. 6, 1, p. 17-41 25 p.

Research output: Contribution to journalArticle

Victim Localization and Assessment System for Emergency Responders

Yoon, H., Shiftehfar, R., Cho, S., Spencer, B. F., Nelson, M. E. & Agha, G., Mar 1 2016, In : Journal of Computing in Civil Engineering. 30, 2, 04015011.

Research output: Contribution to journalArticle

2015

A novel technique for human traffic based radio map updating in Wi-Fi indoor positioning systems

Mo, Y., Zhang, Z., Lu, Y. & Agha, G. A., May 1 2015, In : KSII Transactions on Internet and Information Systems. 9, 5, p. 1881-1903 23 p.

Research output: Contribution to journalArticle

Special issue on programming based on actors, agents and decentralized control

Ricci, A., Agha, G., Bordini, R. H. & Marron, A., Feb 1 2015, In : Science of Computer Programming. 98, P2, p. 117-119 3 p.

Research output: Contribution to journalArticle

2014

Random Forest Based Coarse Locating and KPCA Feature Extraction for Indoor Positioning System

Mo, Y., Zhang, Z., Lu, Y., Meng, W. & Agha, G., 2014, In : Mathematical Problems in Engineering. 2014, 850926.

Research output: Contribution to journalArticle

2013
2012

The microelectronic wireless nitrate sensor network for environmental water monitoring

Gartia, M. R., Braunschweig, B., Chang, T. W., Moinzadeh, P., Minsker, B. S., Agha, G., Wieckowski, A., Keefer, L. L. & Liu, G. L., Dec 1 2012, In : Journal of Environmental Monitoring. 14, 12, p. 3068-3075 8 p.

Research output: Contribution to journalArticle

2011

Enabling framework for structural health monitoring using smart sensors

Rice, J. A., Mechitov, K. A., Sim, S. H., Spencer, B. F. & Agha, G. A., Aug 1 2011, In : Structural Control and Health Monitoring. 18, 5, p. 574-587 14 p.

Research output: Contribution to journalArticle

Energy-performance trade-off analysis of parallel algorithms for shared memory architectures

Korthikanti, V. A. & Agha, G., Sep 1 2011, In : Sustainable Computing: Informatics and Systems. 1, 3, p. 167-176 10 p.

Research output: Contribution to journalArticle

Inferring ownership transfer for efficient message passing

Negara, S., Karmani, R. K. & Agha, G., Aug 1 2011, In : ACM SIGPLAN Notices. 46, 8, p. 81-90 10 p.

Research output: Contribution to journalArticle

Verifying the evolution of probability distributions governed by a DTMC

Kwon, Y. & Agha, G., Jan 1 2011, In : IEEE Transactions on Software Engineering. 37, 1, p. 126-141 16 p., 5557891.

Research output: Contribution to journalArticle

2010

Flexible smart sensor framework for autonomous structural health monitoring

Rice, J. A., Mechitov, K., Sim, S. H., Nagayama, T., Jang, S., Kim, R., Spencer, B. F., Agha, G. & Fujino, Y., Jul 1 2010, In : Smart Structures and Systems. 6, 5-6, p. 423-438 16 p.

Research output: Contribution to journalArticle

Integrating encrypted mobile agents with smart spaces in a multi-agent simulator for resource management

Moussa, S. M. & Agha, G. A., Jul 2 2010, In : Journal of Software. 5, 6, p. 630-636 7 p.

Research output: Contribution to journalArticle

Reliable multi-hop communication for structural health monitoring

Nagayama, T., Moinzadeh, P., Mechitov, K., Ushita, M., Makihata, N., Leiri, M., Agha, G. A., Spencer, B. F., Fujino, Y. & Seo, J. W., Jul 1 2010, In : Smart Structures and Systems. 6, 5-6, p. 481-504 24 p.

Research output: Contribution to journalArticle

Resilient localization for sensor networks in outdoor environments

Kwon, Y., Mechitov, K., Sundresh, S., Kim, W. & Agha, G., Aug 2010, In : ACM Transactions on Sensor Networks. 7, 1, 3.

Research output: Contribution to journalArticle

Structural health monitoring of a cable-stayed bridge using smart sensor technology: Deployment and evaluation

Jang, S., Jo, H., Cho, S., Mechitov, K., Rice, J. A., Sim, S. H., Jung, H. J., Yun, C. B., Spencer, B. F. & Agha, G., 2010, In : Smart Structures and Systems. 6, 5-6, p. 439-459 21 p.

Research output: Contribution to journalArticle

2009

Middleware services for structural health monitoring using smart sensors

Nagayama, T., Spencer, B. F., Mechitov, K. A. & Agha, G. A., Mar 2009, In : Smart Structures and Systems. 5, 2, p. 119-137 19 p.

Research output: Contribution to journalArticle

2008

Computing in pervasive cyberspace

Agha, G., Jan 1 2008, In : Communications of the ACM. 51, 1, p. 68-70 3 p.

Research output: Contribution to journalArticle

2006

Agent framework services to reduce agent communication overhead in large-scale agent-based simulations

Jang, M. W. & Agha, G., Aug 1 2006, In : Simulation Modelling Practice and Theory. 14, 6, p. 679-694 16 p.

Research output: Contribution to journalArticle

Online efficient predictive safety analysis of multithreaded programs

Sen, K., Roşu, G. & Agha, G., Jun 1 2006, In : International Journal on Software Tools for Technology Transfer. 8, 3, p. 248-260 13 p.

Research output: Contribution to journalArticle

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Agha, G., Meseguer, J. & Sen, K., May 23 2006, In : Electronic Notes in Theoretical Computer Science. 153, 2 SPEC. ISS., p. 213-239 27 p.

Research output: Contribution to journalArticle

2004

A formal model for reasoning about adaptive qos-enabled middleware

Venkatasubramanian, N., Talcott, C. & Agha, G. A., Jan 1 2004, In : ACM Transactions on Software Engineering and Methodology. 13, 1, p. 86-147 62 p.

Research output: Contribution to journalArticle

2003

Using passive object garbage collection algorithms for garbage collection of active objects

Vardhan, A. & Agha, G., Feb 2003, In : ACM SIGPLAN Notices. 38, 2 SUPPL., p. 213-220 8 p.

Research output: Contribution to journalArticle

2002

Adaptive Middleware

Agha, G. A., Jun 2002, In : Communications of the ACM. 45, 6, p. 30-32 3 p.

Research output: Contribution to journalArticle

Case studies in security and resource management for mobile object systems

Milojicic, D., Agha, G., Bernadat, P., Chauhan, D., Guday, S., Jamali, N., Lambright, D. & Travostino, F., Dec 1 2002, In : Autonomous Agents and Multi-Agent Systems. 5, 1, p. 45-79 35 p.

Research output: Contribution to journalArticle

2001

Customizable middleware for modular distributed software

Astley, M., Sturman, D. C. & Agha, G. A., May 2001, In : Communications of the ACM. 44, 5, p. 99-107 9 p.

Research output: Contribution to journalArticle

Programming dynamically reconfigurable open systems with SALSA

Varela, C. & Agha, G., Dec 2001, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 36, 12, p. 20-32 13 p.

Research output: Contribution to journalArticle

1999

Actors: A unifying model for parallel and distributed computing

Agha, G. A. & Kim, W., Sep 1999, In : Journal of Systems Architecture. 45, 15, p. 1263-1277 15 p.

Research output: Contribution to journalArticle

An Actor-Based Architecture for Customizing and Controlling Agent Ensembles

Jamali, N., Thati, P. & Agha, G. A., Dec 1 1999, In : IEEE Intelligent Systems and Their Applications. 14, 2, p. 45-52 8 p.

Research output: Contribution to journalArticle

Towards reusable real-time objects

Nielsen, B. & Agha, G., Dec 1 1999, In : Annals of Software Engineering. 7, 1-4, p. 257-282 26 p.

Research output: Contribution to journalArticle

1997

A foundation for actor computation

Agha, G. A., Mason, I. A., Smith, S. F. & Talcott, C. L., Jan 1997, In : Journal of Functional Programming. 7, 1, p. 1-72 72 p.

Research output: Contribution to journalArticle

1996

A modular approach to programming distributed real-time systems

Ren, S., Agha, G. A. & Saito, M., Jul 10 1996, In : Journal of Parallel and Distributed Computing. 36, 1, p. 4-12 9 p.

Research output: Contribution to journalArticle

A visualization model for concurrent systems

Astley, M. & Agha, G. A., Aug 1996, In : Information Sciences. 93, 1-2, p. 107-131 25 p.

Research output: Contribution to journalArticle

Linguistic paradigms for programming complex distributed systems

Agha, G. A., Jun 1996, In : ACM Computing Surveys. 28, 2, p. X-296

Research output: Contribution to journalArticle

1995

RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems

Ren, S. & Agha, G. A., Nov 1 1995, In : ACM SIGPLAN Notices. 30, 11, p. 50-59 10 p.

Research output: Contribution to journalArticle

1994

A methodology for programming scalable architectures

Panwar, R. & Agha, G., Sep 1994, In : Journal of Parallel and Distributed Computing. 22, 3, p. 479-487 9 p.

Research output: Contribution to journalArticle

Open heterogeneous computing in actorspace

Callsen, C. J. & Agha, G., Jun 1994, In : Journal of Parallel and Distributed Computing. 21, 3, p. 289-300 12 p.

Research output: Contribution to journalArticle

1993

Abstraction and Modularity Mechanisms for Concurrent Computing

Agha, G. A., Frlund, S., Kim, W. Y., Panwar, R., Patterson, A. & Sturman, D., May 1993, In : IEEE Parallel and Distributed Technology. 1, 2, p. 3-14 12 p.

Research output: Contribution to journalArticle

ActorSpace: An Open Distributed Programming Paradigm

Agha, G. & Callsen, C. J., Jan 7 1993, In : ACM SIGPLAN Notices. 28, 7, p. 23-32 10 p.

Research output: Contribution to journalArticle

1992

Scalable concurrent computing

Venkatasubramanian, N., Miriyala, S. & Agha, G., Mar 1 1992, In : Sadhana. 17, 1, p. 193-220 28 p.

Research output: Contribution to journalArticle