No photo of Gul A Agha

View Scopus Profile

Gul A Agha

Filter
Conference contribution

Search results

  • 2009

    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 proceeding › Conference contribution

  • 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 proceeding › Conference contribution

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

    Ham, M. & Agha, G., 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 proceeding › Conference contribution

  • Introduction to the software technology track

    Kazman, R. & Agha, G., 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 proceeding › Conference contribution

  • LTLC: Linear temporal logic for control

    Kwon, Y. M. & Agha, G., 2008, Hybrid Systems: Computation and Control - 11th International Workshop, HSCC 2008, Proceedings. Springer, 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 proceeding › Conference contribution

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

    Kwon, Y. M. & Agha, G. A., 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 proceeding › Conference contribution

  • 2007

    A Markov reward model for software reliability

    Kwon, Y. M. & Agha, G., 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 proceeding › Conference contribution

    Open Access

  • Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems

    Razavi, R., Mechitov, K., Agha, G. & Perrot, J. F., 2007, Advances in Ambient Intelligence. Augusto, J. C. & Shapiro, D. (eds.). IOS Press BV, p. 81-106 26 p. (Frontiers in Artificial Intelligence and Applications; vol. 164).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

    Sen, K. & Agha, G., 2007, Hardware and Software, Verification and Testing - Second International Haifa Venfication Conference, HVC 2006, Revised Selected Papers. Springer, 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 proceeding › Conference contribution

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

    Karmani, R. K., Latvala, T. & Agha, G., 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 proceeding › Conference contribution

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

    Donkervoet, B. & Agha, G., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, 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 proceeding › Conference 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 proceeding › Conference 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, 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 proceeding › Conference contribution

    Open Access
  • 2006

    ActorNet: An actor platform for wireless sensor networks

    Kwon, Y., Sundresh, S., Mechitov, K. & Agha, G., 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 proceeding › Conference contribution

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

    Razavi, R., Mechitov, K., Sundresh, S., Agha, G. & Perrot, J. F., 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 proceeding › Conference contribution

  • Automated systematic testing of open distributed programs

    Sen, K. & Agha, G., 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, 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 proceeding › Conference 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. p. 2-3 2 p. 1636152. (Proceedings - IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing; vol. 2006 II).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

    Sen, K. & Agha, G., 2006, Computer Aided Verification - 18th International Conference, CAV 2006, Proceedings. Springer, 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 proceeding › Conference contribution

    Open Access

  • Decentralized runtime analysis of multithreaded applications

    Sen, K., Vardhan, A., Agha, G. & Roşu, G., 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 proceeding › Conference contribution

  • Model-checking Markov chains in the presence of uncertainties

    Sen, K., Viswanathan, M. & Agha, G., 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 proceeding › Conference contribution

  • 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 proceeding › Conference contribution

  • 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 proceeding › Conference contribution

  • 2005

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

    Becerra-Fernandez, I., Wang, T., Agha, G. & Sin, T., 2005, Professional Knowledge Management - Third Biennial Conference, WM 2005, Revised Selected Papers. Springer, 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 proceeding › Conference contribution

  • Adaptive agent allocation for massively multi-agent applications

    Jang, M. W. & Agha, G., 2005, Massively Multi-Agent Systems I - First International Workshop, MMAS 2004, Revised Selected and Invited Papers. Springer, 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 proceeding › Conference contribution

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

    Devaraj, C. F., Nagda, M., Gupta, I. & Agha, G. A., 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 proceeding › Conference contribution

    Open Access

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

    Ham, M. J. & Agha, G., 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 proceeding › Conference 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 proceeding › Conference contribution

  • CUTE: A concolic unit testing engine for C

    Sen, K., Marinov, D. & Agha, G., 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 proceeding › Conference contribution

  • Efficient agent communication in multi-agent systems

    Jang, M. W., Ahmed, A. & Agha, G., 2005, Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications. Springer, 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 proceeding › Conference contribution

  • ILTLChecker: A probabilistic model checker for multiple DTMCs

    Kwon, Y. M. & Agha, G. A., 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 proceeding › Conference contribution

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

    Tošić, P. T. & Agha, G. A., 2005, Massively Multi-Agent Systems I - First International Workshop, MMAS 2004, Revised Selected and Invited Papers. Springer, 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 proceeding › Conference contribution

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

    Uttamchandan, S., Palmer, J., Yin, X. & Agha, G., 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 proceeding › Conference contribution

  • Scalable agent distribution mechanisms for large-scale UAV simulations

    Jang, M. W. & Agha, G., 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 proceeding › Conference 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. IEEE Computer Society, p. 273 1 p. (Proceedings of the Annual Hawaii International Conference on System Sciences).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference contribution

    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 proceeding › Conference contribution

  • 2004

    An adaptive programming framework for Web applications

    Chang, P. H., Kim, W. & Agha, G., 2004, Proceedings - 2004 International Symposium on Applications and the Internet (Saint 2004). p. 152-159 8 p. (Proceedings - International Symposium on Applications and the Internet).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • ATSpace: A middle agent to support application oriented matchmaking and brokering services

    Jang, M. W., Momen, A. A. & Agha, G., 2004, Proceedings - IEEE/WIC/ACM International Conference on Intelligent Agent Systems. IAT 2004. Zhong, N., Bradshaw, J., Pal, S. K., Talia, D., Liu, J. & Cercone, N. (eds.). p. 393-396 4 p. (Proceedings - IEEE/WIC/ACM International Conference on Intelligent Agent Technology. IAT 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Concurrency vs. sequential interleavings in 1-D threshold cellular automata

    Tosic, P. & Agha, G. A., 2004, Proceedings - 18th International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM). p. 2539-2546 8 p. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM); vol. 18).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Decentralized resource control for multi-agent systems

    Jamali, N., Indratmo, Zhao, X. & Agha, Q. A., 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004. Jennings, N. R., Sierra, C., Sonenberg, L. & Tambe, M. (eds.). p. 1366-1367 2 p. (Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • DecisionQoS: An adaptive, self-evolving QoS arbitration module for storage systems

    Uttamchandani, S., Alvarez, G. A. & Agha, G., 2004, Proceedings - Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2004. p. 67-76 10 p. (Proceedings - Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Learning continuous time Markov chains from sample executions

    Sen, K., Viswanathan, M. & Agha, G., 2004, Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004. IEEE Computer Society, p. 146-155 10 p. (Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards a hierarchical taxonomy of autonomous agents

    Tosic, P. T. & Agha, G. A., 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004. p. 3421-3426 6 p. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 4).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2003

    Poster abstract: Cooperative tracking with binary-detection sensor networks

    Mechitov, K., Kwon, Y., Sundresh, S. & Agha, G. A., 2003, SenSys'03: Proceedings of the First International Conference on Embedded Networked Sensor Systems. p. 332-333 2 p. (SenSys'03: Proceedings of the First International Conference on Embedded Networked Sensor Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Runtime safety analysis of multithreaded programs

    Sen, K., Rosu, G. & Agha, G., 2003, Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11. p. 337-346 10 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Runtime Safety Analysis of Multithreaded Programs

    Sen, K., Roşu, G. & Agha, G., 2003, Proceedings of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11). Association for Computing Machinery, p. 337-346 10 p. (Proceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2002

    A theory of may testing for actors

    Thati, P., Ziaei, R. & Agha, G., 2002, Formal Methods for Open Object-Based Distributed Systems V - IFIP TC6 / WG6.1 5th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2002. Springer, p. 147-162 16 p. (IFIP Advances in Information and Communication Technology; vol. 81).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
  • 2001

    A formal model for reasoning about adaptive QoS-enabled middleware

    Venkatasubramanian, N., Talcott, C. & Agha, G., 2001, FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings. Oliveira, J. N. & Zave, P. (eds.). Springer, p. 197-221 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2021 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Crawlets: Agents for high performance web search engines

    Thati, P., Chang, P. H. & Agha, G., 2001, Mobile Agents - 5th International Conference, MA 2001, Proceedings. Picco, G. P. (ed.). Springer, p. 119-134 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2240).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2000

    Object oriented architectures, tools, and applications

    Agha, G. A., 2000, Euro-Par 2000 Parallel Processing - 6th International Euro-Par Conference, Proceedings. Bode, A., Ludwig, T., Karl, W. & Wismüller, R. (eds.). Springer, p. 1029-1030 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1900).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access