Gul Agha

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

Research Output

2003

Automated verification of the dependability of object-oriented real-time systems

Ding, H., Zheng, C., Agha, G. A. & Sha, L. R., Dec 1 2003, In : Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS. p. 171-178 8 p., 1410960.

Research output: Contribution to journalConference article

Poster abstract: Cooperative tracking with binary-detection sensor networks

Mechitov, K., Kwon, Y., Sundresh, S. & Agha, G. A., Dec 1 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 proceedingConference contribution

Runtime safety analysis of multithreaded programs

Sen, K., Rosu, G. & Agha, G., Dec 1 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 proceedingConference 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 proceedingConference contribution

SynchNet: A Petri net based coordination language for distributed objects

Ziaei, R. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pfenning, F. & Smaragdakis, Y. (eds.). Springer-Verlag Berlin Heidelberg, p. 324-343 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2830).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

Vardhan, A. & Agha, G., 2002, p. 106-113. 8 p.

Research output: Contribution to conferencePaper

2001

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

Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets

Agha, G. A. (ed.), De Cindio, F. (ed.) & Rozenberg, G. (ed.), 2001, Berlin: Springer Berlin Heidelberg. 539 p. (Lecture Notes in Computer Science; vol. 2001)

Research output: Book/Report/Conference proceedingBook

Crawlets: Agents for high performance web search engines

Thati, P., Chang, P. H. & Agha, G. A., Jan 1 2001, Mobile Agents - 5th International Conference, MA 2001, Proceedings. Picco, G. P. (ed.). Springer-Verlag, 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 proceedingConference contribution

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

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-Verlag Berlin Heidelberg, 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 proceedingConference contribution

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

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

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

1998

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

Case studies in security and resource management for mobile objects

Milojicic, D., Agha, G., Bernadat, P., Chauhan, D., Guday, S., Jamali, N. & Lambright, D., 1998, Object-Oriented Technology: ECOOP 1998 Workshop Reader - ECOOP 1998 Workshops, Demos, and Posters, Proceedings. Demeyer, S. & Bosch, J. (eds.). Springer-Verlag Berlin Heidelberg, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1543).

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

Customization and composition of distributed objects: Middleware abstractions for policy management

Astley, M. & Agha, G. A., Dec 1 1998, p. 1-9. 9 p.

Research output: Contribution to conferencePaper

Modular heterogeneous system development: A critical analysis of Java

Agha, G. A., Astley, M., Sheikh, J. A. & Varela, C., Jan 1 1998, Proceedings - 7th Heterogeneous Computing Workshop, HCW 1998. Antonio, J. K. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 144-155 12 p. (Proceedings - 7th Heterogeneous Computing Workshop, HCW 1998; vol. 1998-March).

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

Security and fault-tolerance in distributed systems: An actor-based approach

Agha, G. A. & Ziaei, R., Jan 1 1998, Proceedings - Computer Security, Dependability, and Assurance: From Needs to Solutions, CSDA 1998. Institute of Electrical and Electronics Engineers Inc., p. 72-88 17 p. 798358. (Proceedings - Computer Security, Dependability, and Assurance: From Needs to Solutions, CSDA 1998; vol. 1998-November).

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

Specification of real-time interaction constraints

Nielsen, B., Ren, S. & Agha, G., 1998, Proceedings - 1st International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 1998. Institute of Electrical and Electronics Engineers Inc., p. 206-214 9 p. (Proceedings - 1st International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 1998; vol. 1998-April).

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

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

Dependable distributed object systems

Guerraoui, R., Fabre, J. C. & Agha, G., Jan 1 1997, Addendum to the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1997. Association for Computing Machinery, Inc, p. 136-137 2 p. (Addendum to the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1997).

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

Parallel programming and complexity analysis using Actors

Agha, G. & Kim, W. Y., Jan 1 1997, Proceedings - 3rd Working Conference on Massively Parallel Programming Models, MPPM 1997. Institute of Electrical and Electronics Engineers Inc., p. 68-79 12 p. 715963. (Proceedings - 3rd Working Conference on Massively Parallel Programming Models, MPPM 1997).

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

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

Efficient compilation of concurrent call/return communication in actor-based programming languages

Kim, W., Agha, G. A. & Panwar, R. B., Dec 1 1996, p. 62-67. 6 p.

Research output: Contribution to conferencePaper

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

Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition

Agha, G. A., Jan 1 1996, Application and Theory of Petri Nets 1996 - 17th International Conference, Proceedings. Reisig, W. & Billington, J. (eds.). Springer-Verlag, p. 1-10 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1091).

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

Parallel implementations of irregular problems using high-level actor language

Panwar, R. B., Kim, W. & Agha, G. A., Jan 1 1996, In : IEEE Symposium on Parallel and Distributed Processing - Proceedings. p. 857-862 6 p.

Research output: Contribution to journalConference article

Semantics for an actor-based real-time language

Nielsen, B. & Agha, G., 1996, Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996. Institute of Electrical and Electronics Engineers Inc., p. 223-228 6 p. 557685. (Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996).

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

1995

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

Efficient support of location transparency in concurrent object-oriented programming languages

Kim, W. Y. & Agha, G., Dec 1 1995, In : Proceedings of the ACM/IEEE Supercomputing Conference. 1, p. 987-1024 38 p.

Research output: Contribution to journalConference article

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

RTsynchronizer: Language support for real-time specifications in distributed systems

Ren, S. & Agha, G. A., Nov 1 1995, p. 50-59. 10 p.

Research output: Contribution to conferencePaper

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

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

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