No photo of Gul Agha

View Scopus Profile

Gul Agha

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

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 10 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

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 proceeding › Chapter

    • 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 journal › Review article

    • Concurrent garbage collection in the actor model

    Plyukhin, D. & Agha, G., Nov 5 2018, AGERE 2018 - Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2018. Bergenti, F., De Koster, J. & Franco, J. (eds.). Association for Computing Machinery, Inc, p. 44-53 10 p. (AGERE 2018 - Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, co-located with SPLASH 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources

    Elgamal, T., Sandur, A., Nguyen, P., Nahrstedt, K. & Agha, G., Sep 7 2018, Proceedings - 2018 IEEE International Conference on Cloud Computing, CLOUD 2018 - Part of the 2018 IEEE World Congress on Services. IEEE Computer Society, p. 1-8 8 p. 8457776. (IEEE International Conference on Cloud Computing, CLOUD; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking

    Khamespanah, E., Sirjani, M., Mechitov, K. & Agha, G., Oct 1 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 547-561 15 p.

    Research output: Contribution to journal › Article