Gul Agha

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

Research Output

2005

Actor model and knowledge management systems: Social interaction as a framework for knowledge integration

Becerra-Fernandez, I., Wang, T., Agha, G. & Sin, T., Dec 1 2005, Professional Knowledge Management - Third Biennial Conference, WM 2005, Revised Selected Papers. p. 19-31 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3782 LNAI).

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

Adaptive agent allocation for massively multi-agent applications

Jang, M. W. & Agha, G., Dec 1 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 25-39 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3446 LNAI).

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

An underlay for sensor networks: Localized protocols for maintenance and usage

Devaraj, C. F., Nagda, M., Gupta, I. & Agha, G. A., Dec 1 2005, 2nd IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2005. p. 502-509 8 p. 1542837. (2nd IEEE International Conference on Mobile Ad-hoc and Sensor Systems, MASS 2005; vol. 2005).

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

ARA: A robust audit to prevent free-riding in P2P networks

Ham, M. J. & Agha, G., Dec 1 2005, Proceedings - Fifth IEEE International Conference on Peer-to-Peer Computing, P2P 2005. p. 125-132 8 p. 1551028. (Proceedings - Fifth IEEE International Conference on Peer-to-Peer Computing, P2P 2005; vol. 2005).

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

AUTOLOOP: Automated action selection in the "Observe-Analyze-Act" loop for storage systems

Yin, L., Palmer, J., Uttamchandani, S., Katz, R. & Agha, G., 2005, Proceedings - Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005. p. 129-138 10 p. 1454312. (Proceedings - Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005; vol. 2005).

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

Chameleon: A self-evolving, fully-adaptive resource arbitrator for storage systems

Uttamchandani, S., Yin, L., Alvarez, G. A., Palmer, J. & Agha, G., 2005, p. 75-88. 14 p.

Research output: Contribution to conferencePaper

CUTE: A concolic unit testing engine for C

Sen, K., Marinov, D. & Agha, G., Dec 1 2005, ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13). Gall, H. (ed.). p. 263-272 10 p. (ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)).

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

Detecting errors in multithreaded programs by generalized predictive analysis of executions

Sen, K., Roşu, G. & Agha, G., Jan 1 2005, In : Lecture Notes in Computer Science. 3535, p. 211-226 16 p.

Research output: Contribution to journalConference article

Open Access

Efficient agent communication in multi-agent systems

Jang, M. W., Ahmed, A. & Agha, G., Jan 1 2005, Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications. Springer-Verlag Berlin Heidelberg, p. 236-253 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3390 LNCS).

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

ILTLChecker: A probabilistic model checker for multiple DTMCs

Kwon, Y. M. & Agha, G. A., Dec 1 2005, QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems. p. 245-246 2 p. 1595802. (QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems; vol. 2005).

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

Maximal clique based distributed coalition formation for task allocation in large-scale multi-agent systems

Tošić, P. T. & Agha, G. A., Jan 1 2005, Massively Multi-Agent Systems I - First International Workshop, MMAS 2004, Revised Selected and Invited Papers. Springer-Verlag Berlin Heidelberg, p. 104-120 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3446 LNAI).

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

MONITORMINING: Creating domain knowledge for system automation using a gray-box approach

Uttamchandan, S., Palmer, J., Yin, X. & Agha, G., Dec 1 2005, 2005 9th IFIP/IEEE International Symposium on Integrated Network Management, IM 2005. p. 61-74 14 p. 1440771. (2005 9th IFIP/IEEE International Symposium on Integrated Network Management, IM 2005; vol. 2005).

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

On computational complexity of counting fixed points in symmetric boolean graph automata

Tošić, P. T. & Agha, G. A., Oct 31 2005, In : Lecture Notes in Computer Science. 3699, p. 191-205 15 p.

Research output: Contribution to journalConference article

On statistical model checking of stochastic systems

Sen, K., Viswanathan, M. & Agha, G., 2005, In : Lecture Notes in Computer Science. 3576, p. 266-280 15 p.

Research output: Contribution to journalConference article

Open Access

Resilient localization for sensor networks in outdoor environments

Kwon, Y., Mechitov, K., Sundresh, S., Kim, W. & Agha, G. A., Jan 1 2005, p. 643-652. 10 p.

Research output: Contribution to conferencePaper

Scalable agent distribution mechanisms for large-scale UAV simulations

Jang, M. W. & Agha, G., Dec 1 2005, 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering. p. 85-90 6 p. 1427058. (2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering; vol. 2005).

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

Software technology track

Agha, G. A., 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Abstracts and CD-ROM of Full Papers. Spraque, Jr., R. H. (ed.). p. 273 1 p.

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

Task assignment for a physical agent team via a dynamic forward/reverse auction mechanism

Ahmed, A., Patel, A., Brown, T., Ham, M. J., Jang, M. W. & Agha, G., 2005, 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering. p. 311-317 7 p. 1427101. (2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering; vol. 2005).

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

Using language inference to verify omega-regular properties

Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., 2005, In : Lecture Notes in Computer Science. 3440, p. 45-60 16 p.

Research output: Contribution to journalConference article

Open Access

VeStA: A statistical model-checker and analyzer for probabilistic systems

Sen, K., Viswanathan, M. & Agha, G., 2005, QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems. p. 251-252 2 p. 1595805. (QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems; vol. 2005).

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

2006

ActorNet: An actor platform for wireless sensor networks

Kwon, Y., Sundresh, S., Mechitov, K. & Agha, G. A., Dec 1 2006, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. p. 1297-1300 4 p. (Proceedings of the International Conference on Autonomous Agents; vol. 2006).

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

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

Ambiance: Adaptive object model-based platform for macroprogramming sensor networks

Razavi, R., Mechitov, K., Sundresh, S., Agha, G. & Perrot, J. F., Dec 1 2006, Companion to the 21st ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, OOPSLA 2006. p. 663-664 2 p. 1176662. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; vol. 2006).

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

Automated systematic testing of open distributed programs

Sen, K. & Agha, G., Jan 1 2006, Fundamental Approaches to Software Engineering - 9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. Springer-Verlag Berlin Heidelberg, p. 339-356 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3922 LNCS).

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

Open Access

Computational models, programming languages and algorithms for sensor networks: Towards a paradigm shift in computer science (summary)

Agha, G. A., 2006, Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. Vol. 2006 II. p. 2-3 2 p. 1636152

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

CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools

Sen, K. & Agha, G., Jan 1 2006, Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings. Springer-Verlag Berlin Heidelberg, p. 419-423 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4144 LNCS).

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

Decentralized runtime analysis of multithreaded applications

Sen, K., Vardhan, A., Agha, G. A. & Rosu, G., Jan 1 2006, 20th International Parallel and Distributed Processing Symposium, IPDPS 2006. IEEE Computer Society, 1639591. (20th International Parallel and Distributed Processing Symposium, IPDPS 2006; vol. 2006).

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

Model-checking Markov chains in the presence of uncertainties

Sen, K., Viswanathan, M. & Agha, G., Jul 14 2006, Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006. p. 394-410 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3920 LNCS).

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

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

Scalable modeling and performance evaluation of wireless sensor networks

Kwon, Y. M. & Agha, G., 2006, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium. p. 49-58 10 p. 1613322. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2006).

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

Software technology track

Agha, G. A., Oct 17 2006, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 9, 1 p., 1579724.

Research output: Contribution to journalEditorial

State aware data dissemination over structured overlays

Chen, L. & Agha, G., 2006, Proceedings - 6th IEEE International Conference on Peer-to-Peer Computing, P2P 2006. Montresor, A., Wierzbicki, A. & Shahmehri, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 145-152 8 p. 1698604. (Proceedings - 6th IEEE International Conference on Peer-to-Peer Computing, P2P 2006).

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

2007

A Markov reward model for software reliability

Kwon, Y. M. & Agha, G., Sep 24 2007, Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 4228253. (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM).

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

A race-detection and flipping algorithm for automated testing of multi-threaded programs

Sen, K. & Agha, G., Jan 1 2007, Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Springer-Verlag Berlin Heidelberg, p. 166-182 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4383 LNCS).

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

On scaling multi-agent task reallocation using market-based approach

Karmani, R. K., Latvala, T. & Agha, G., Dec 18 2007, First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007. p. 173-182 10 p. 4274901. (First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007).

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

Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoring

Donkervoet, B. & Agha, G. A., Dec 1 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 246-265 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4709 LNCS).

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

Software Technology Track introduction

Kazman, R. & Agha, G., 2007, Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07. IEEE Computer Society, p. 255 1 p. 4076899. (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

Supporting reconfigurable object distribution for customized web applications

Chang, P. H. & Agha, G., Jan 1 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 1286-1292 7 p. (Proceedings of the ACM Symposium on Applied Computing).

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

Towards context-aware web applications

Chang, P. H. & Agha, G., 2007, Distributed Applications and Interoperable Systems - 7th IFIP WG 6.1 International Conference, DAIS 2007, Proceedings. Indulska, J. & Raymond, K. (eds.). Springer-Verlag Berlin Heidelberg, p. 239-252 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4531 LNCS).

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

Open Access
2008

A robust audit mechanism to prevent malicious behaviors in multi-robot systems

Ham, M. J. & Agha, G., 2008, Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008. p. 35-44 10 p. 4663408. (Proceedings - 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008).

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

A study of coordinated dynamic market-based task assignment in massively multi-agent systems

Ham, M. & Agha, G. A., Oct 27 2008, Massively Multi-Agent Technology - AAMAS Workshops - MMAS 2006, LSMAS 2006, and CCMMS 2007, Hakodate, Japan, May 9, 2006, Honolulu, HI, USA, May 15, 2007, Selected and Revised Papers. p. 43-63 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5043 LNAI).

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

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

Introduction to the software technology track

Kazman, R. & Agha, G., Sep 16 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences 2008, HICSS. 4439164. (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

LTLC: Linear temporal logic for control

Kwon, Y. M. & Agha, G. A., Dec 1 2008, Hybrid Systems: Computation and Control - 11th International Workshop, HSCC 2008, Proceedings. p. 316-329 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4981 LNCS).

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

Passive localization: Large size sensor network localization based on environmental events

Kwon, Y. M. & Agha, G. A., Sep 12 2008, Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008. p. 3-14 12 p. 4505458. (Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008).

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

2009

Actor frameworks for the JVM platform: A comparative analysis

Karmani, R. K., Shali, A. & Agha, G. A., Nov 23 2009, Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009. p. 11-20 10 p. 1596658. (Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009).

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

A framework for state-space exploration of java-based actor programs

Lauterburg, S., Dotta, M., Marinov, D. & Agha, G., 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 468-479 12 p. 5431748. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

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

A multi-agent simulator for resource management in smart spaces

Moussa, S. & Agha, G. A., Dec 1 2009, 2009 Joint Conferences on Pervasive Computing, JCPC 2009. p. 765-770 6 p. 5420081. (2009 Joint Conferences on Pervasive Computing, JCPC 2009).

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