Gul Agha

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

Research Output

Filter
Chapter
Chapter

Distributed execution of actor programs

Agha, G. A., Houck, C. & Panwar, R., 1992, Languages and Compilers for Parallel Computing: LCPC 1991. U, B., D, G., A, N. & D, P. (eds.). Berlin: Springer Berlin, (Lecture Notes in Computer Science; vol. 589).

Research output: Chapter in Book/Report/Conference proceedingChapter

Formal methods for actor systems: A progress report

Agha, G. A., Dec 1 1993, IFIP Transactions C: Communication Systems. Diaz, M. & Groz, R. (eds.). C-10 ed. Publ by Elsevier Science Publishers B.V., p. 217-228 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

Agha, G. & Palmskog, K., Jan 1 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, p. 16-37 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10760 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Types for progress in actor programs

Charalambides, M., Palmskog, K. & Agha, G., Jan 1 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, p. 315-339 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11665 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

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