Gul Agha

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

Search results

  • Conference contribution

    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

  • Linguistic support of receptionists for shared resources

    Hewitt, C., Reinhardt, T., Agha, G. & Attardi, G., 1985, Seminar on Concurrency. Winskel, G., Brookes, S. D. & Roscoe, A. W. (eds.). Springer-Verlag Berlin Heidelberg, p. 330-359 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 197 LNCS).

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

  • LTLC: Linear temporal logic for control

    Kwon, Y. M. & Agha, G. A., Dec 1 2008, Hybrid Systems: Computation and Control - 11th International Workshop, HSCC 2008, Proceedings. p. 316-329 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4981 LNCS).

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

  • Maximal clique based distributed coalition formation for task allocation in large-scale multi-agent systems

    Tošić, P. T. & Agha, G. A., Jan 1 2005, Massively Multi-Agent Systems I - First International Workshop, MMAS 2004, Revised Selected and Invited Papers. Springer-Verlag Berlin Heidelberg, p. 104-120 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3446 LNAI).

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

  • Model-checking Markov chains in the presence of uncertainties

    Sen, K., Viswanathan, M. & Agha, G., 2006, Tools and Algorithms for the Construction and Analysis of Systems - 12th International Conference, TACAS 2006. Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2006. p. 394-410 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3920 LNCS).

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

  • Model checking MDPs with a unique compact invariant set of distributions

    Chadha, R., Korthikanti, V. A., Viswanathan, M., Agha, G. A. & Kwon, Y., Nov 2 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. p. 121-130 10 p. 6042036. (Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011).

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

  • Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition

    Agha, G. A., Jan 1 1996, Application and Theory of Petri Nets 1996 - 17th International Conference, Proceedings. Reisig, W. & Billington, J. (eds.). Springer-Verlag, p. 1-10 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1091).

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

  • 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

  • MONITORMINING: Creating domain knowledge for system automation using a gray-box approach

    Uttamchandan, S., Palmer, J., Yin, X. & Agha, G., Dec 1 2005, 2005 9th IFIP/IEEE International Symposium on Integrated Network Management, IM 2005. p. 61-74 14 p. 1440771. (2005 9th IFIP/IEEE International Symposium on Integrated Network Management, IM 2005; vol. 2005).

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

  • Mutation operators for actor systems

    Jagannath, V., Gligoric, M., Lauterburg, S., Marinov, D. & Agha, G., 2010, ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops. p. 157-162 6 p. 5463644. (ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops).

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

  • 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

  • On scaling multi-agent task reallocation using market-based approach

    Karmani, R. K., Latvala, T. & Agha, G., 2007, First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007. p. 173-182 10 p. 4274901. (First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007).

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

  • On the energy complexity of parallel algorithms

    Korthikanti, V. A., Agha, G. & Greenstreet, M., Nov 7 2011, Proceedings - 2011 International Conference on Parallel Processing, ICPP 2011. p. 562-570 9 p. 6047224. (Proceedings of the International Conference on Parallel Processing).

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

  • 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

  • Panel: Foundations of object-based concurrent programming

    Agha, G., Yonezawa, A., Wegner, P. & Abramsky, S., Oct 1 1990, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. Archibald, J. L. & Yakemovic, K. C. B. (eds.). Association for Computing Machinery, p. 9-14 6 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

  • Parallel programming and complexity analysis using Actors

    Agha, G. & Kim, W. Y., Jan 1 1997, Proceedings - 3rd Working Conference on Massively Parallel Programming Models, MPPM 1997. Institute of Electrical and Electronics Engineers Inc., p. 68-79 12 p. 715963. (Proceedings - 3rd Working Conference on Massively Parallel Programming Models, MPPM 1997).

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

  • Passive localization: Large size sensor network localization based on environmental events

    Kwon, Y. M. & Agha, G. A., Sep 12 2008, Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008. p. 3-14 12 p. 4505458. (Proceedings - 2008 International Conference on Information Processing in Sensor Networks, IPSN 2008).

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

  • 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

  • Realistic case studies of wireless structural control

    Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. & Spencer, B. F., 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

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

  • Realistic case studies of wireless structural control

    Li, B., Sun, Z., Mechitov, K., Hackmann, G., Lu, C., Dyke, S. J., Agha, G. A. & Spencer, B. F., Oct 15 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 179-188 10 p. 6604012. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

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

  • Reasoning about MDPs as transformers of probability distributions

    Korthikanti, V. A., Viswanathan, M., Agha, G. & Kwon, Y. M., 2010, Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010. p. 199-208 10 p. 5600385. (Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010).

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

  • Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoring

    Donkervoet, B. & Agha, G. A., Dec 1 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 246-265 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4709 LNCS).

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

  • Relation between problems in large-scale concurrent systems and distributed databases

    Agha, G. A., 1988, Proc Int Symp on Databases in Parallel Distrib Syst. Jajodia, S., Kim, W. & Silberschatz, A. (eds.). Publ by IEEE, p. 2-12 11 p.

    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

  • Scalability of parallel sorting on mesh multicomputers

    Singh, V., Kumar, V., Agha, G. & Tomlinson, C., Jan 1 1991, Proceedings - 5th International Parallel Processing Symposium, IPPS 1991. Institute of Electrical and Electronics Engineers Inc., p. 92-101 10 p. 153762. (Proceedings - 5th International Parallel Processing Symposium, IPPS 1991).

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

  • Scalable agent distribution mechanisms for large-scale UAV simulations

    Jang, M. W. & Agha, G., Dec 1 2005, 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering. p. 85-90 6 p. 1427058. (2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering; vol. 2005).

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

  • Scalable distributed garbage collection for systems of active objects

    Venkatasubramanian, N., Agha, G. & Talcott, C., 1992, Memory Management - International Workshop IWMM 1992, Proceedings. Bekkers, Y. & Cohen, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 134-147 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 637 LNCS).

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

  • Scalable modeling and performance evaluation of wireless sensor networks

    Kwon, Y. M. & Agha, G., 2006, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium. p. 49-58 10 p. 1613322. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2006).

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

  • 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

  • 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

  • Scoped synchronization constraints for large scale actor systems

    Dinges, P. & Agha, G., 2012, Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Proceedings. p. 89-103 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7274 LNCS).

    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

  • Semantic considerations in the actor paradigm of concurrent computation

    Agha, G. A., Jan 1 1985, Seminar on Concurrency. Winskel, G., Brookes, S. D. & Roscoe, A. W. (eds.). Springer-Verlag, p. 151-179 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 197 LNCS).

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

  • Semantics for an actor-based real-time language

    Nielsen, B. & Agha, G., 1996, Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996. Institute of Electrical and Electronics Engineers Inc., p. 223-228 6 p. 557685. (Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1996).

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

  • Software technology track

    Agha, G. A., 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Abstracts and CD-ROM of Full Papers. Spraque, Jr., R. H. (ed.). p. 273 1 p.

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

  • Software Technology Track introduction

    Kazman, R. & Agha, G., 2007, Proceedings of the 40th Annual Hawaii International Conference on System Sciences 2007, HICSS'07. IEEE Computer Society, p. 255 1 p. 4076899. (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

  • 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

  • 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

  • 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

  • State aware data dissemination over structured overlays

    Chen, L. & Agha, G., 2006, Proceedings - 6th IEEE International Conference on Peer-to-Peer Computing, P2P 2006. Montresor, A., Wierzbicki, A. & Shahmehri, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 145-152 8 p. 1698604. (Proceedings - 6th IEEE International Conference on Peer-to-Peer Computing, P2P 2006).

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

  • Supporting multiparadigm programming on actor architectures

    Agha, G., Jan 1 1989, PARLE 1989: Parallel Architectures and Languages Europe - Parallel Languages, Proceedings. Odijk, E., Rem, M. & Syre, J-C. (eds.). Springer-Verlag Berlin Heidelberg, p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 366 LNCS).

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

  • Supporting reconfigurable object distribution for customized web applications

    Chang, P. H. & Agha, G., Jan 1 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 1286-1292 7 p. (Proceedings of the ACM Symposium on Applied Computing).

    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

  • 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

  • Task assignment for a physical agent team via a dynamic forward/reverse auction mechanism

    Ahmed, A., Patel, A., Brown, T., Ham, M. J., Jang, M. W. & Agha, G., 2005, 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering. p. 311-317 7 p. 1427101. (2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, KIMAS'05: Modeling, Exploration, and Engineering; vol. 2005).

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

  • The structure and semantics of actor languages

    Agha, G., Jan 1 1991, Foundations of Object-Oriented Languages - REX School/Workshop, Proceedings. de Bakker, J. W., Rozenberg, G. & de Roever, W. P. (eds.). Springer-Verlag Berlin Heidelberg, p. 1-59 59 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 489 LNCS).

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

  • The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study

    Moinzadeh, P., Mechitov, K., Shiftehfar, R., Abdelzaher, T., Agha, G. & Spencer, B. F., Nov 1 2012, 2012 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2012. p. 380-388 9 p. 6275801. (Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks workshops; vol. 1).

    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., Dec 3 2014, Proceedings - 2014 IEEE 7th International Conference on Cloud Computing, CLOUD 2014. Kesselman, C. (ed.). IEEE Computer Society, p. 966-967 2 p. 6973850. (IEEE International Conference on Cloud Computing, CLOUD).

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

  • 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