Gul Agha

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

Research Output

2014

International workshop on distributed mobile systems & services (DMSS 2014)

Agha, G. A., Martin, P., Mahmoud, Q. H. & Elgazzar, K., Sep 26 2014, In : Proceedings - International Symposium on Computers and Communications. Workshops, 6912642.

Research output: Contribution to journalEditorial

Introduction to the software technology track

Kazman, R. & Agha, G., Jan 1 2014, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 1 p., 6759179.

Research output: Contribution to journalEditorial

Preface

Agha, G., Igarashi, A., Kobayashi, N., Masuhara, H., Matsuoka, S., Shibayama, E. & Taura, K., Jan 1 2014, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8665 LNCS, p. VII-VIII

Research output: Contribution to journalEditorial

Random Forest Based Coarse Locating and KPCA Feature Extraction for Indoor Positioning System

Mo, Y., Zhang, Z., Lu, Y., Meng, W. & Agha, G., 2014, In : Mathematical Problems in Engineering. 2014, 850926.

Research output: Contribution to journalArticle

Solving complex path conditions through heuristic search on induced polytopes

Dinges, P. & Agha, G. A., Nov 16 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. Association for Computing Machinery, p. 425-436 12 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 16-21-November-2014).

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

Targeted test input generation using symbolic-concrete backward execution

Dinges, P. & Agha, G. A., Jan 1 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 31-36 6 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

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

Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications

Shiftehfar, R., Mechitov, K. & Agha, G. A., Dec 3 2014, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. IEEE Computer Society, p. 966-967 2 p. 6973850

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

2015

A novel technique for human traffic based radio map updating in Wi-Fi indoor positioning systems

Mo, Y., Zhang, Z., Lu, Y. & Agha, G. A., May 1 2015, In : KSII Transactions on Internet and Information Systems. 9, 5, p. 1881-1903 23 p.

Research output: Contribution to journalArticle

Introduction to the software technology track

Kazman, R. & Agha, G., Mar 26 2015, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 2015-March, 1 p., 7070415.

Research output: Contribution to journalEditorial

Space division and dimensional reduction methods for indoor positioning system

Mo, Y., Zhang, Z., Meng, W. & Agha, G. A., Sep 9 2015, 2015 IEEE International Conference on Communications, ICC 2015. Institute of Electrical and Electronics Engineers Inc., p. 3263-3268 6 p. 7248827. (IEEE International Conference on Communications; vol. 2015-September).

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

Special issue on programming based on actors, agents and decentralized control

Ricci, A., Agha, G., Bordini, R. H. & Marron, A., Feb 1 2015, In : Science of Computer Programming. 98, P2, p. 117-119 3 p.

Research output: Contribution to journalArticle

2016

Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems

Agha, G., Jan 1 2016, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings. Kuhn, E. & De Nicola, R. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9763).

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

Building dependable concurrent systems through probabilistic inference, predictive monitoring and self-adaptation

Agha, G., Jan 1 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer-Verlag Berlin Heidelberg, p. XIII-XIV (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10012 LNCS).

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

Introduction to the software technology track

Kazman, R. & Agha, G., Mar 7 2016, In : Proceedings of the Annual Hawaii International Conference on System Sciences. 2016-March, 1 p., 7427849.

Research output: Contribution to journalEditorial

Message from the CCGrid 2016 Program Chairs

Agha, G. & Navaux, P. O. A., Jul 18 2016, In : Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016. p. xvi 7515659.

Research output: Contribution to journalEditorial

Parameterized, concurrent session types for asynchronous multi-actor interactions

Charalambides, M., Dinges, P. & Agha, G., Jan 1 2016, In : Science of Computer Programming. 115-116, p. 100-126 27 p.

Research output: Contribution to journalArticle

Preface

Agha, G. & Van Houd, B., Jan 1 2016, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9826 LNCS, p. V-VI

Research output: Contribution to journalEditorial

Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure

Spencer, B. F., Jo, H., Mechitov, K. A., Li, J., Sim, S. H., Kim, R. E., Cho, S., Linderman, L. E., Moinzadeh, P., Giles, R. K. & Agha, G., Feb 1 2016, In : Journal of Civil Structural Health Monitoring. 6, 1, p. 17-41 25 p.

Research output: Contribution to journalArticle

Schedulability analysis of distributed real-time sensor network applications using actor-based model checking

Khamespanah, E., Mechitov, K., Sirjani, M. & Agha, G., Jan 1 2016, Model Checking Software - 23rd International Symposium, SPIN 2016 Co-located with ETAPS 2016, Proceedings. Bošnački, D. & Wijs, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 165-181 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9641).

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

Victim Localization and Assessment System for Emergency Responders

Yoon, H., Shiftehfar, R., Cho, S., Spencer, B. F., Nelson, M. E. & Agha, G., Mar 1 2016, In : Journal of Computing in Civil Engineering. 30, 2, 04015011.

Research output: Contribution to journalArticle

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

2018

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 journalReview 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 proceedingConference 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 proceedingConference 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 journalArticle

Optimizing cost of serverless computing through function fusion and placement

Elgamal, T., Sandur, A., Nahrstedt, K. & Agha, G., Dec 6 2018, Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018. Institute of Electrical and Electronics Engineers Inc., p. 300-312 13 p. 08567675. (Proceedings - 2018 3rd ACM/IEEE Symposium on Edge Computing, SEC 2018).

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

Targeted test generation for actor systems

Li, S., Hariri, F. & Agha, G., Jul 1 2018, 32nd European Conference on Object-Oriented Programming, ECOOP 2018. Millstein, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 109).

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

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

2019

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

2020

Scalable termination detection for distributed actor systems

Plyukhin, D. & Agha, G., Aug 1 2020, 31st International Conference on Concurrency Theory, CONCUR 2020. Konnov, I. & Kovacs, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 111-1123 1013 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).

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