Gul Agha

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

Research Output

1997
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

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

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

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

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

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

2004

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

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

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

Jang, M. W., Momen, A. A. & Agha, G. A., Dec 1 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 proceedingConference contribution

Characterizing configuration spaces of simple threshold cellular automata

Tosic, P. T. & Agha, G. A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Sloot, P. M. A., Hoekstra, A. G. & Chopard, B. (eds.). Springer-Verlag Berlin Heidelberg, p. 861-870 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3305).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Tosic, P. & Agha, G. A., Dec 1 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 proceedingConference contribution

Decentralized resource control for multi-agent systems

Jamali, N., Indratmo, Zhao, X. & Agha, G. A., Sep 27 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 proceedingConference contribution

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

Uttamchandani, S., Alvarez, G. A. & Agha, G., Dec 1 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 proceedingConference contribution

Efficient decentralized monitoring of safety in distributed systems

Sen, K., Vardhan, A., Agha, G. & Roşu, G., Oct 4 2004, In : Proceedings - International Conference on Software Engineering. 26, p. 418-427 10 p.

Research output: Contribution to journalConference article

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

Learning to verify safety properties

Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 274-289 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

Research output: Chapter in Book/Report/Conference proceedingChapter

Linear inequality LTL (iLTL): A model checker for discrete time Markov chains

Kwon, Y. M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 194-208 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

Research output: Chapter in Book/Report/Conference proceedingChapter

Online efficient predictive safety analysis of multithreaded programs

Sen, K., Roşu, G. & Agha, G., Jan 1 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access

SENS: A sensor, environment and network simulator

Sundresh, S., Kim, W. & Agha, G., Jul 26 2004, In : Proceedings of the IEEE Annual Simulation Symposium. p. 221-228 8 p.

Research output: Contribution to journalConference article

Statistical model checking of black-box probabilistic systems

Sen, K., Viswanathan, M. & Agha, G., Jan 1 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer-Verlag Berlin Heidelberg, p. 202-215 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

Research output: Chapter in Book/Report/Conference proceedingChapter

Towards a hierarchical taxonomy of autonomous agents

Tosic, P. T. & Agha, G. A., Dec 1 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 proceedingConference contribution

Worldwide computing middleware

Agha, G. A. & Varela, C. A., Jan 1 2004, The Practical Handbook of Internet Computing. CRC Press, p. 38-1-38-21

Research output: Chapter in Book/Report/Conference proceedingChapter