Gul Agha

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

Research Output

2009

Analysis of parallel algorithms for energy conservation in scalable multicore architectures

Korthikanti, V. A. & Agha, G. A., Dec 1 2009, ICPP-2009 - The 38th International Conference on Parallel Processing. p. 212-219 8 p. 5362310. (Proceedings of the International Conference on Parallel Processing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Integrating encrypted mobile agents with smart homes

Moussa, S. M., Abdelaziz, M. H. & Agha, G. A., 2009, 3rd International Conference on New Technologies, Mobility and Security, NTMS 2009. 5384845. (3rd International Conference on New Technologies, Mobility and Security, NTMS 2009).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

2010

Autonomous smart sensor network for full-scale structural health monitoring

Rice, J. A., Mechitov, K. A., Spencer, B. F. & Agha, G. A., Jun 18 2010, Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems 2010. 764726. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7647).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Autonomous structural health monitoring using wireless smart sensors on a cable-stayed bridge

Jang, S., Jo, H., Mechitov, K., Sim, S. H., Spencer, B. F., Agha, G., Cho, S., Jung, H. J., Yun, C. B. & Rice, J. A., Dec 1 2010, Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference on Bridge Maintenance, Safety and Management. p. 185-192 8 p. (Bridge Maintenance, Safety, Management and Life-Cycle Optimization - Proceedings of the 5th International Conference on Bridge Maintenance, Safety and Management).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Avoiding energy wastage in parallel applications

Korthikanti, V. A. & Agha, G., Nov 24 2010, 2010 International Conference on Green Computing, Green Comp 2010. p. 149-163 15 p. 5598314. (2010 International Conference on Green Computing, Green Comp 2010).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Basset: A tool for systematic testing of actor programs

Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G. A., Dec 1 2010, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE-18. p. 363-364 2 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Coordination Models and Languages: 12th International Conference, COORDINATION 2010 Amsterdam, The Netherlands, June 7-9, 2010 Proceedings

Clarke, D. & Agha, G. A., 2010, Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings. New York City: Springer Verlag, Vol. 6116. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6116).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Evaluating ordering heuristics for dynamic partial-order reduction techniques

Lauterburg, S., Karmani, R. K., Marinov, D. & Agha, G., Apr 29 2010, Fundamental Approaches to Software Engineering - 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proceedings. p. 308-322 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6013 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Message from the general chairs

Okabe, Y., Agha, G. & Hong, C. S., Nov 29 2010, In : Proceedings - 2010 10th Annual International Symposium on Applications and the Internet, SAINT 2010. p. xiv 5598028.

Research output: Contribution to journalEditorial

Mutation operators for actor systems

Jagannath, V., Gligoric, M., Lauterburg, S., Marinov, D. & Agha, G. A., Jun 25 2010, ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops. p. 157-162 6 p. 5463644. (ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reasoning about MDPs as transformers of probability distributions

Korthikanti, V. A., Viswanathan, M., Agha, G. A. & Kwon, Y. M., Dec 2 2010, Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010. p. 199-208 10 p. 5600385. (Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Towards optimizing energy costs of algorithms for shared memory architectures

Korthikanti, V. A. & Agha, G., Jul 30 2010, SPAA'10 - Proceedings of the 22nd Annual Symposium on Parallelism in Algorithms and Architectures. p. 157-165 9 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

AGERE! (Actors and aGEnts REloaded): Splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control

Agha, G. A., Bordini, R. H. & Ricci, A., Dec 1 2011, SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11. p. 143-145 3 p. (SPLASH'11 Workshops - Compilation Proceedings of the Co-Located Workshops: DSM'11, TMC'11, AGERE'11, AOOPES'11, NEAT'11, and VMIL'11).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

AGERE! (Actors and aGEnts REloaded)- SPLASH 2011Workshop on programming systems, languages and applications based on actors, agents, and decentralized control

Agha, G. A., Bordini, R. H. & Ricci, A., Nov 22 2011, SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion. p. 325-326 2 p. (SPLASH'11 Compilation - Proceedings of OOPSLA'11, Onward! 2011, GPCE'11, DLS'11, and SPLASH'11 Companion).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Formal Modeling Actors, Open Systems, Biological Systems: Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

Agha, G. A. (ed.), Danvy, O. (ed.) & Meseguer, J. (ed.), 2011, Berlin: Springer. (Lecture Notes in Computer Science; vol. 7000)

Research output: Book/Report/Conference proceedingAnthology

Inferring ownership transfer for efficient message passing

Negara, S., Karmani, R. K. & Agha, G., Mar 24 2011, PPoPP'11 - Proceedings of the 2011 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 81-90 10 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Model checking MDPs with a unique compact invariant set of distributions

Chadha, R., Korthikanti, V. A., Viswanathan, M., Agha, G. A. & Kwon, Y., Nov 2 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. p. 121-130 10 p. 6042036. (Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On the energy complexity of parallel algorithms

Korthikanti, V. A., Agha, G. & Greenstreet, M., Nov 7 2011, Proceedings - 2011 International Conference on Parallel Processing, ICPP 2011. p. 562-570 9 p. 6047224. (Proceedings of the International Conference on Parallel Processing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Preface

Agha, G., Danvy, O. & Meseguer, J., Dec 1 2011, Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Agha, G., Meseguer, J. & Danvy, O. (eds.). p. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7000 LNCS).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

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

2012

AGERE! Programming with actors, agents and decentralized control abstracts

Agha, G. A., Bordini, R. H., Marron, A. & Ricci, A., Nov 27 2012, SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity. p. 215-216 2 p. (SPLASH'12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An architecture for dynamic service-oriented computing in networked embedded systems

Mechitov, K. & Agha, G. A., 2012, Software Service and Application Engineering: Essays Dedicated to Bernd Krame on the Occasion of His 65th Birthday. Vol. 7365. p. 147-164 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7365).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Building portable middleware services for heterogeneous cyber-physical systems

Mechitov, K. & Agha, G., 2012, 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings. p. 31-36 6 p. 6225732. (2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

How well can congestion pricing neutralize denial of service attacks?

Vulimiri, A., Agha, G. A., Godfrey, P. B. & Lakshminarayanan, K., 2012, SIGMETRICS/Performance 2012 - Proceedings of the 2012 ACM SIGMETRICS/Performance, Joint International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 137-150 14 p. (Performance Evaluation Review; vol. 40, no. 1 SPEC. ISS.).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Introduction to the software technology track

Kazman, R. & Agha, G., Jan 1 2012, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 1 p., 6149532.

Research output: Contribution to journalEditorial

Scoped synchronization constraints for large scale actor systems

Dinges, P. & Agha, G., Jun 29 2012, Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Proceedings. p. 89-103 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7274 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study

Moinzadeh, P., Mechitov, K., Shiftehfar, R., Abdelzaher, T., Agha, G. & Spencer, B. F., Nov 1 2012, 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2012. p. 380-388 9 p. 6275801. (Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks workshops; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs

Tasharofi, S., Karmani, R. K., Lauterburg, S., Legay, A., Marinov, D. & Agha, G., 2012, Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Proceedings. p. 219-234 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7273 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Automated inference of atomic sets for safe concurrent execution

Dinges, P., Charalambides, M. & Agha, G. A., Jan 1 2013, Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013. Association for Computing Machinery, p. 1-8 8 p. (Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Euclidean model checking: A scalable method for verifying quantitative properties in probabilistic systems

Agha, G., Oct 3 2013, Algebraic Informatics - 5th International Conference, CAI 2013, Proceedings. p. 1-3 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8080 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Introduction to the software technology track

Kazman, R. & Agha, G., Apr 3 2013, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 1 p., 6480415.

Research output: Contribution to journalEditorial

Preface to the special issue on Coordination Models and Languages (Coordination 2010)

Clarke, D. & Agha, G., Feb 1 2013, In : Science of Computer Programming. 78, 2, p. 145-146 2 p.

Research output: Contribution to journalEditorial

Realistic case studies of wireless structural control

Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. & Spencer, B. F., 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Realistic case studies of wireless structural control

Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. A. & Spencer, B. F., Oct 15 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. 6604012. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

Actors programming for the mobile cloud

Agha, G. A., Sep 16 2014, Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014. Muntean, T., Rolland, R. & Mugwaneza, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 3-9 7 p. 6900192. (Proceedings - IEEE 13th International Symposium on Parallel and Distributed Computing, ISPDC 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution