Gul Agha

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

Research Output

Abstracting interactions based on message sets

Frølund, S. & Agha, G., 1995, Object-Based Models and Languages for Concurrent Systems - ECOOP 1994 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Proceedings. Ciancarini, P., Nierstrasz, O. & Yonezawa, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 924).

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

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

Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems

Agha, G., Jan 1 2016, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings. Kuhn, E. & De Nicola, R. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9763).

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

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

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

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

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

Actors : a model of concurrent computation in distributed systems

Agha, G. A., 1986, Cambridge, Mass: MIT Press. 190 p.

Research output: Book/Report/Conference proceedingBook

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

ActorSpace: An open distributed programming paradigm

Agha, G. & Callsen, C. J., Aug 1 1993, Proceedings of the 4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 1993. Association for Computing Machinery, p. 23-32 10 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP; vol. Part F129677).

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

ActorSpaces: A model for scalable heterogeneous computing

Agha, G. A. & Callsen, C. J., Jan 1 1993, Proceedings of the 26th Hawaii International Conference on System Sciences, HICSS 1993. IEEE Computer Society, p. 100-101 2 p. 284046. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2).

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

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

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

Adaptive Middleware

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

Research output: Contribution to journalArticle

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

A formal model for reasoning about adaptive QoS-enabled middleware

Venkatasubramanian, N., Talcott, C. & Agha, G., Jan 1 2001, FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings. Oliveira, J. N. & Zave, P. (eds.). Springer-Verlag Berlin Heidelberg, 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 proceedingConference contribution

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

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

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

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

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

A hierarchical model for coordination of concurrent activities

Varela, C. & Agha, G., Jan 1 1999, Coordinatio Languages and Models - 3rd International Conference COORDINATION 1999, Proceedings. Ciancarini, P. & Wolf, A. L. (eds.). 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. 1594).

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

A language framework for multi-object coordination

Frølund, S. & Agha, G., Jan 1 1993, ECOOP 1993 - Object-Oriented Programming - 7th European Conference, Proceedings. Nierstrasz, O. M. (ed.). Springer-Verlag Berlin Heidelberg, p. 346-360 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 707 LNCS).

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

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

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

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

A modular approach for programming embedded systems

Ren, S. & Agha, G. A., 1998, Lectures on Embedded Systems - European Educational Forum School on Embedded Systems. Vaandrager, F. & Rozenberg, G. (eds.). Springer-Verlag Berlin Heidelberg, p. 146-157 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1494).

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

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 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

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

An actor-based framework for heterogeneous computing systems

Agha, G. A. & Panwar, R., Jan 1 1992, Proceedings - Workshop on Heterogeneous Processing, WHP 1992. Institute of Electrical and Electronics Engineers Inc., p. 35-42 8 p. 664382. (Proceedings - Workshop on Heterogeneous Processing, WHP 1992).

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

An adaptive programming framework for Web applications

Chang, P. H., Kim, W. & Agha, G., Jun 16 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 proceedingConference contribution

An agent-based framework for inhabitants' untraceability in ubiquitous environments

Moussa, S., Hashem, M. & Agha, G. A., Dec 1 2009, MoMM2009 - The 7th International Conference on Advances in Mobile Computing and Multimedia. p. 386-390 5 p. (MoMM2009 - The 7th International Conference on Advances in Mobile Computing and Multimedia).

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

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

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

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

An overview of actor languages

Agha, G. A., Jun 1 1986, Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, OOPWORK 1986. Association for Computing Machinery, Inc, p. 58-67 10 p.

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

An Overview of Actor Languages

Agha, G., Oct 1 1986, In : ACM SIGPLAN Notices. 21, 10, p. 58-67 10 p.

Research output: Contribution to journalArticle

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

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

A reflective model of inheritance

Jagannathan, S. & Agha, G., 1992, ECOOP 1992 European Conference on Object-Oriented Programming, Proceedings. Madsen, O. L. (ed.). Springer-Verlag Berlin Heidelberg, p. 350-371 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 615 LNCS).

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

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

Ham, M. J. & Agha, G. A., Dec 30 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

A survey of statistical model checking

Agha, G. & Palmskog, K., Jan 2018, In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 6.

Research output: Contribution to journalReview article

A theory of may testing for actors

Thati, P., Ziaei, R. & Agha, G., Jan 1 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 New York LLC, p. 147-162 16 p. (IFIP Advances in Information and Communication Technology; vol. 81).

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

Open Access