Gul Agha

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

Research Output

Filter
Conference article
2017

Next Generation Wireless Smart Sensors Toward Sustainable Civil Infrastructure

Spencer, B. F., Park, J. W., Mechitov, K. A., Jo, H. & Agha, G. A., Jan 1 2017, In : Procedia Engineering. 171, p. 5-13 9 p.

Research output: Contribution to journalConference article

2005

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

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

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
2004

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

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

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

1996

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

1995

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