default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGul A. Agha
Gul Agha
Person information
- affiliation: University of Illinois, Urbana, IL, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i7]Dipayan Mukherjee, Atul Sandur, Kirill Mechitov, Pratik Lahiri, Gul Agha:
eScope: A Fine-Grained Power Prediction Mechanism for Mobile Applications. CoRR abs/2405.08819 (2024)- 2023
- [j47]Saswata Paul
, Gul Agha, Stacy Patterson, Carlos A. Varela:
Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. 19(4): 395-410 (2023) - [c168]YoungMin Kwon, Gul Agha:
Bounded Quantum Regular Language Generator. QCE 2023: 580-590 - [c167]YoungMin Kwon, Eunhee Kim, Gul Agha:
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. QEST 2023: 65-81 - 2022
- [j46]Dan Plyukhin, Gul Agha:
A Scalable Algorithm for Decentralized Actor Termination Detection. Log. Methods Comput. Sci. 18(1) (2022) - [c166]Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon:
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing. ICDE 2022: 1408-1422 - [c165]Gul Agha, Dipayan Mukherjee, Atul Sandur:
Performance, Energy and Parallelism: Using Near Data Processing in Utility and Cloud Computing. UCC 2022: 173-180 - [c164]Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon:
Streaming Analytics with Adaptive Near-data Processing. WWW (Companion Volume) 2022: 563-566 - [i6]Atul Sandur, Chanho Park, Stavros Volos, Gul Agha, Myeongjae Jeon:
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing. CoRR abs/2202.06021 (2022) - 2021
- [c163]Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NFM 2021: 249-267 - [i5]Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. CoRR abs/2103.14576 (2021) - [i4]Dan Plyukhin, Gul Agha:
A Scalable Algorithm for Decentralized Actor Termination Detection. CoRR abs/2104.05128 (2021) - 2020
- [c162]Dan Plyukhin, Gul Agha:
Scalable Termination Detection for Distributed Actor Systems. CONCUR 2020: 11:1-11:23 - [i3]Dan Plyukhin, Gul Agha:
Scalable Termination Detection for Distributed Actor Systems. CoRR abs/2007.10553 (2020)
2010 – 2019
- 2019
- [c161]Minas Charalambides, Karl Palmskog, Gul Agha:
Types for Progress in Actor Programs. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 315-339 - [i2]Philipp Haller, Guido Salvaneschi, Takuo Watanabe, Gul Agha:
Programming Languages for Distributed Systems (NII Shonan Meeting 149). NII Shonan Meet. Rep. 2019 (2019) - 2018
- [j45]Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha:
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. Int. J. Softw. Tools Technol. Transf. 20(5): 547-561 (2018) - [j44]Gul Agha, Karl Palmskog:
A Survey of Statistical Model Checking. ACM Trans. Model. Comput. Simul. 28(1): 6:1-6:39 (2018) - [c160]Tarek Elgamal, Atul Sandur, Phuong Nguyen, Klara Nahrstedt, Gul Agha:
DROPLET: Distributed Operator Placement for IoT Applications Spanning Edge and Cloud Resources. IEEE CLOUD 2018: 1-8 - [c159]Dan Plyukhin, Gul Agha:
Concurrent garbage collection in the actor model. AGERE!@SPLASH 2018: 44-53 - [c158]Gul Agha, Karl Palmskog:
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. Principles of Modeling 2018: 16-37 - [c157]Sihan Li, Farah Hariri, Gul Agha:
Targeted Test Generation for Actor Systems. ECOOP 2018: 8:1-8:31 - [i1]Tarek Elgamal, Atul Sandur, Klara Nahrstedt, Gul Agha:
Costless: Optimizing Cost of Serverless Computing through Function Fusion and Placement. CoRR abs/1811.09721 (2018) - 2017
- [j43]Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha:
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Rev. 14(3): 49-56 (2017) - [c156]Gul Agha:
Actor-Oriented Programming for the Internet of Things. SEKE 2017: ix - 2016
- [j42]Hyungchul Yoon, Reza Shiftehfar, Soojin Cho, Billie F. Spencer, Mark E. Nelson, Gul Agha:
Victim Localization and Assessment System for Emergency Responders. J. Comput. Civ. Eng. 30(2) (2016) - [j41]Minas Charalambides, Peter Dinges, Gul A. Agha:
Parameterized, concurrent session types for asynchronous multi-actor interactions. Sci. Comput. Program. 115-116: 100-126 (2016) - [c155]Rick Kazman, Gul A. Agha:
Introduction to the Software Technology Track. HICSS 2016: 5358 - [c154]Gul Agha:
Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract). SEFM 2016: 3-8 - [c153]Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha:
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. SPIN 2016: 165-181 - [e8]Gul Agha, Benny Van Houdt:
Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Lecture Notes in Computer Science 9826, Springer 2016, ISBN 978-3-319-43424-7 [contents] - 2015
- [j40]Yun Mo, Zhongzhao Zhang, Yang Lu, Gul Agha:
A Novel Technique for Human Traffic based Radio Map Updating in Wi-Fi Indoor Positioning Systems. KSII Trans. Internet Inf. Syst. 9(5): 1881-1903 (2015) - [j39]Alessandro Ricci, Gul A. Agha, Rafael H. Bordini, Assaf Marron:
Special issue on programming based on actors, agents and decentralized control. Sci. Comput. Program. 98: 117-119 (2015) - [c152]Rick Kazman, Gul Agha:
Introduction to the Software Technology Track. HICSS 2015: 5028 - [c151]Yun Mo, Zhongzhao Zhang, Weixiao Meng, Gul A. Agha:
Space division and dimensional reduction methods for indoor positioning system. ICC 2015: 3263-3268 - 2014
- [c150]Reza Shiftehfar, Kirill Mechitov, Gul A. Agha:
Towards a Flexible Fine-Grained Access Control System for Modern Cloud Applications. IEEE CLOUD 2014: 966-967 - [c149]YoungMin Kwon, Kirill Mechitov, Gul A. Agha:
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks. Concurrent Objects and Beyond 2014: 276-316 - [c148]Rick Kazman, Gul Agha:
Introduction to Software Technology Track. HICSS 2014: 4710 - [c147]Gul Agha:
Actors Programming for the Mobile Cloud. ISPDC 2014: 3-9 - [c146]Peter Dinges, Gul A. Agha:
Targeted test input generation using symbolic-concrete backward execution. ASE 2014: 31-36 - [c145]Peter Dinges, Gul A. Agha:
Solving complex path conditions through heuristic search on induced polytopes. SIGSOFT FSE 2014: 425-436 - [e7]Gul A. Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura:
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 8665, Springer 2014, ISBN 978-3-662-44470-2 [contents] - 2013
- [j38]Dave Clarke, Gul Agha:
Preface to the special issue on Coordination Models and Languages (Coordination 2010). Sci. Comput. Program. 78(2): 145-146 (2013) - [j37]YoungMin Kwon, Gul Agha:
Performance evaluation of sensor networks by statistical modeling and euclidean model checking. ACM Trans. Sens. Networks 9(4): 39:1-39:38 (2013) - [c144]Gul Agha:
Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems. CAI 2013: 1-3 - [c143]Rick Kazman, Gul Agha:
Introduction to Software Technology Track. HICSS 2013: 4749 - [c142]Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke, Gul Agha, Billie F. Spencer:
Realistic case studies of wireless structural control. ICCPS 2013: 179-188 - [c141]Peter Dinges, Minas Charalambides, Gul Agha:
Automated inference of atomic sets for safe concurrent execution. PASTE 2013: 1-8 - 2012
- [c140]Kirill Mechitov, Gul Agha:
An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems. Software Service and Application Engineering 2012: 147-164 - [c139]Peter Dinges, Gul Agha:
Scoped Synchronization Constraints for Large Scale Actor Systems. COORDINATION 2012: 89-103 - [c138]Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha:
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE 2012: 219-234 - [c137]Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha:
AGERE!: programming based on actors, agents, and decentralized control. SPLASH 2012: 215-216 - [c136]Paria Moinzadeh, Kirill Mechitov, Reza Shiftehfar, Tarek F. Abdelzaher, Gul Agha, Billie F. Spencer:
The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study. SECON 2012: 380-388 - [c135]Kirill Mechitov, Gul Agha:
Building portable middleware services for heterogeneous cyber-physical systems. SESENA 2012: 31-36 - [c134]Ashish Vulimiri, Gul A. Agha, Philip Brighten Godfrey, Karthik Lakshminarayanan:
How well can congestion pricing neutralize denial of service attacks? SIGMETRICS 2012: 137-150 - [c133]Minas Charalambides, Peter Dinges, Gul Agha:
Parameterized Concurrent Multi-Party Session Types. FOCLASA 2012: 16-30 - [e6]Gul A. Agha, Rafael H. Bordini, Assaf Marron, Alessandro Ricci:
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA. ACM 2012, ISBN 978-1-4503-1630-9 [contents] - 2011
- [j36]Vijay Anand Korthikanti, Gul Agha:
Energy-performance trade-off analysis of parallel algorithms for shared memory architectures. Sustain. Comput. Informatics Syst. 1(3): 167-176 (2011) - [j35]YoungMin Kwon, Gul A. Agha:
Verifying the Evolution of Probability Distributions Governed by a DTMC. IEEE Trans. Software Eng. 37(1): 126-141 (2011) - [c132]Vijay Anand Korthikanti, Gul Agha, Mark R. Greenstreet:
On the Energy Complexity of Parallel Algorithms. ICPP 2011: 562-570 - [c131]Alessandro Ricci, Gul Agha, Rafael H. Bordini:
Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. SPLASH Workshops 2011: 143-146 - [c130]Alessandro Ricci, Rafael H. Bordini, Gul A. Agha:
AGERE! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. OOPSLA Companion 2011: 325-326 - [c129]Stas Negara, Rajesh K. Karmani, Gul A. Agha:
Inferring ownership transfer for efficient message passing. PPoPP 2011: 81-90 - [c128]Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
Model Checking MDPs with a Unique Compact Invariant Set of Distributions. QEST 2011: 121-130 - [e5]Gul Agha, Olivier Danvy, José Meseguer:
Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Lecture Notes in Computer Science 7000, Springer 2011, ISBN 978-3-642-24932-7 [contents] - [r2]Rajesh K. Karmani, Gul Agha:
Actors. Encyclopedia of Parallel Computing 2011: 1-11 - 2010
- [j34]Sherin M. Moussa, Gul A. Agha:
Integrating Encrypted Mobile Agents with Smart Spaces in a Multi-agent Simulator for Resource Management. J. Softw. 5(6): 630-636 (2010) - [j33]YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha:
Resilient localization for sensor networks in outdoor environments. ACM Trans. Sens. Networks 7(1): 3:1-3:30 (2010) - [c127]Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322 - [c126]Vijay Anand Korthikanti, Gul Agha:
Avoiding energy wastage in parallel applications. Green Computing Conference 2010: 149-163 - [c125]Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha:
Mutation Operators for Actor Systems. ICST Workshops 2010: 157-162 - [c124]Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
Reasoning about MDPs as Transformers of Probability Distributions. QEST 2010: 199-208 - [c123]Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha:
Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364 - [c122]Vijay Anand Korthikanti, Gul Agha:
Towards optimizing energy costs of algorithms for shared memory architectures. SPAA 2010: 157-165 - [e4]Dave Clarke, Gul A. Agha:
Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6116, Springer 2010, ISBN 978-3-642-13413-5 [contents]
2000 – 2009
- 2009
- [c121]Vijay Anand Korthikanti, Gul Agha:
Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures. ICPP 2009: 212-219 - [c120]Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha:
A Framework for State-Space Exploration of Java-Based Actor Programs. ASE 2009: 468-479 - [c119]Sherin M. Moussa, Mohamed Hashem, Gul Agha:
An agent-based framework for inhabitants' untraceability in ubiquitous environments. MoMM 2009: 386-390 - [c118]Sherin M. Moussa, Mohamed H. Abdelaziz, Gul A. Agha:
Integrating Encrypted Mobile Agents with Smart Homes. NTMS 2009: 1-5 - [c117]Rajesh K. Karmani, Amin Shali, Gul Agha:
Actor frameworks for the JVM platform: a comparative analysis. PPPJ 2009: 11-20 - 2008
- [j32]Gul Agha:
Computing in pervasive cyberspace. Commun. ACM 51(1): 68-70 (2008) - [j31]MyungJoo Ham, Gul Agha:
Market-based coordination strategies for physical multi-agent systems. SIGBED Rev. 5(1): 23 (2008) - [c116]YoungMin Kwon, Gul Agha:
LTLC: Linear Temporal Logic for Control. HSCC 2008: 316-329 - [c115]YoungMin Kwon, Gul Agha:
Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. IPSN 2008: 3-14 - [c114]MyungJoo Ham, Gul A. Agha:
A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems. SASO 2008: 35-44 - 2007
- [j30]Kirill Mechitov, Reza Razavi, Gul Agha:
Architecture design principles to support adaptive service orchestration in WSN applications. SIGBED Rev. 4(3): 37-42 (2007) - [c113]Po-Hao Chang, Gul Agha:
Towards Context-Aware Web Applications. DAIS 2007: 239-252 - [c112]Rick Kazman, Gul Agha:
Software Technology Track Introduction. HICSS 2007: 255 - [c111]Reza Razavi, Kirill Mechitov, Gul A. Agha, Jean-François Perrot:
Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems. AITamI@IJCAI (best papers) 2007: 81-106 - [c110]YoungMin Kwon, Gul Agha:
A Markov Reward Model for Software Reliability. IPDPS 2007: 1-6 - [c109]Po-Hao Chang, Gul Agha:
Supporting reconfigurable object distribution for customized web applications. SAC 2007: 1286-1292 - [c108]Rajesh K. Karmani, Timo Latvala, Gul Agha:
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO 2007: 173-182 - 2006
- [j29]Myeong-Wuk Jang, Gul Agha:
Agent framework services to reduce agent communication overhead in large-scale agent-based simulations. Simul. Model. Pract. Theory 14(6): 679-694 (2006) - [j28]Koushik Sen, Grigore Rosu, Gul Agha:
Online efficient predictive safety analysis of multithreaded programs. Int. J. Softw. Tools Technol. Transf. 8(3): 248-260 (2006) - [c107]MyungJoo Ham, Gul A. Agha:
A Study of Coordinated Dynamic Market-Based Task Assignment in Massively Multi-Agent Systems. MMAS/LSMAS/CCMMS 2006: 43-63 - [c106]YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha:
ActorNet: an actor platform for wireless sensor networks. AAMAS 2006: 1297-1300 - [c105]Koushik Sen, Gul Agha:
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV 2006: 419-423 - [c104]Koushik Sen, Gul Agha:
Automated Systematic Testing of Open Distributed Programs. FASE 2006: 339-356 - [c103]Bill Donkervoet, Gul Agha:
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. FMCO 2006: 246-265 - [c102]Gul Agha:
Track Introduction. HICSS 2006 - [c101]Koushik Sen, Gul Agha:
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference 2006: 166-182 - [c100]Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu:
Decentralized runtime analysis of multithreaded applications. IPDPS 2006 - [c99]Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-François Perrot:
Ambiance: adaptive object model-based platform for macroprogramming sensor networks. OOPSLA Companion 2006: 663-664 - [c98]Po-Hao Chang, Gul Agha:
Supporting Reconfigurable Object Distribution for Customizable Web Applications. OTM Workshops (1) 2006: 32-33 - [c97]Liping Chen, Gul Agha:
State Aware Data Dissemination over Structured Overlays. Peer-to-Peer Computing 2006: 145-152 - [c96]YoungMin Kwon, Gul Agha:
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. IEEE Real Time Technology and Applications Symposium 2006: 49-58 - [c95]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410 - 2005
- [c94]Koushik Sen, Mahesh Viswanathan, Gul Agha:
On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280 - [c93]Predrag T. Tosic, Gul A. Agha:
Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution. EUMAS 2005: 415-426 - [c92]Koushik Sen, Grigore Rosu, Gul Agha:
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226 - [c91]Gul Agha:
Software Technology Track. HICSS 2005 - [c90]YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha:
Resilient Localization for Sensor Networks in Outdoor Environments. ICDCS 2005: 643-652 - [c89]Sandeep Uttamchandani, Xiaoxin Yin, John Palmer, Gul A. Agha:
Monitormining: creating domain knowledge for system automation using a gray-box approach. Integrated Network Management 2005: 61-74 - [c88]Christo Frank Devaraj, Indranil Gupta, Mahwish Nagda, Gul A. Agha:
An underlay for sensor networks: localized protocols for maintenance and usage. MASS 2005 - [c87]MyungJoo Ham, Gul Agha:
ARA: A Robust Audit to Prevent Free-Riding in P2P Networks. Peer-to-Peer Computing 2005: 125-132 - [c86]Li Yin, Sandeep Uttamchandani, John Palmer, Randy H. Katz, Gul A. Agha:
AUTOLOOP: Automated Action Selection in the "Observe-Analyze-Act" Loop for Storage Systems. POLICY 2005: 129-138 - [c85]YoungMin Kwon, Gul A. Agha:
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. QEST 2005: 245-246 - [c84]Koushik Sen, Mahesh Viswanathan, Gul A. Agha:
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252 - [c83]Koushik Sen, Darko Marinov, Gul Agha:
CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272 - [c82]Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60 - [c81]Predrag T. Tosic, Gul A. Agha:
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. UC 2005: 191-205 - [c80]Sandeep Uttamchandani, Li Yin, Guillermo A. Alvarez, John Palmer, Gul A. Agha:
CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage Systems. USENIX ATC, General Track 2005: 75-88 - [c79]Irma Becerra-Fernandez, Te Wei Wang, Gul A. Agha:
Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration. Wissensmanagement 2005: 19-29 - [c78]Irma Becerra-Fernandez, Te Wei Wang, Gul Agha, Thant Sin:
Actor Model and Knowledge Management Systems: Social Interaction as a Framework for Knowledge Integration. Wissensmanagement (LNCS Volume) 2005: 19-31 - [c77]Gul A. Agha, José Meseguer, Koushik Sen:
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. QAPL 2005: 213-239 - 2004
- [j27]Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha:
A formal model for reasoning about adaptive QoS-enabled middleware. ACM Trans. Softw. Eng. Methodol. 13(1): 86-147 (2004) - [c76]Predrag T. Tosic, Gul Agha:
Characterizing Configuration Spaces of Simple Threshold Cellular Automata. ACRI 2004: 861-870 - [c75]Prasanna Thati, Carolyn L. Talcott, Gul Agha:
Techniques for Executing and Reasoning about Specification Diagrams. AMAST 2004: 521-536 - [c74]Sameer Sundresh, WooYoung Kim, Gul Agha:
SENS: A Sensor, Environment and Network Simulator. Annual Simulation Symposium 2004: 221-228 - [c73]Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha:
Decentralized Resource Control for Multi-Agent Systems. AAMAS 2004: 1366-1367 - [c72]Gul Agha, Prasanna Thati:
An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language. Essays in Memory of Ole-Johan Dahl 2004: 26-57 - [c71]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215 - [c70]Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505 - [c69]Gul Agha:
Software Technology Track Introduction. HICSS 2004 - [c68]Myeong-Wuk Jang, Amr Abdel Momen, Gul Agha:
ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services. IAT 2004: 393-396 - [c67]YoungMin Kwon, Gul Agha:
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. ICFEM 2004: 194-208 - [c66]Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning to Verify Safety Properties. ICFEM 2004: 274-289 - [c65]Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu:
Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427 - [c64]Predrag T. Tosic, Gul Agha:
Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata. IPDPS 2004 - [c63]Myeong-Wuk Jang, Gul Agha:
Adaptive Agent Allocation for Massively Multi-agent Applications. MMAS 2004: 25-39 - [c62]Predrag T. Tosic, Gul A. Agha:
Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems. MMAS 2004: 104-120 - [c61]Sandeep Uttamchandani, Guillermo A. Alvarez, Gul Agha:
DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems. POLICY 2004: 67-76 - [c60]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155 - [c59]Po-Hao Chang, WooYoung Kim, Gul Agha:
An Adaptive Programming Framework for Web Applications. SAINT 2004: 152-159 - [c58]Myeong-Wuk Jang, Amr Ahmed Momen, Gul Agha:
Efficient Agent Communication in Multi-agent Systems. SELMAS 2004: 236-253 - [c57]Predrag T. Tosic, Gul A. Agha:
Towards a hierarchical taxonomy of autonomous agents. SMC (4) 2004: 3421-3426 - [c56]Koushik Sen, Grigore Rosu, Gul Agha:
Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138 - [r1]Gul A. Agha, Carlos A. Varela:
Worldwide Computing Middleware. The Practical Handbook of Internet Computing 2004 - 2003
- [c55]Koushik Sen, Grigore Rosu, Gul Agha:
Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275 - [c54]Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha:
A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46 - [c53]Reza Ziaei, Gul Agha:
SynchNet: A Petri Net Based Coordination Language for Distributed Objects. GPCE 2003: 324-343 - [c52]Hui Ding, Can Zheng, Lui Sha, Gul Agha:
Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. SEKE 2003: 458-466 - [c51]Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha:
Cooperative tracking with binary-detection sensor networks. SenSys 2003: 332-333 - [c50]Koushik Sen, Grigore Rosu, Gul Agha:
Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346 - [c49]Hui Ding, Can Zheng, Gul Agha, Lui Sha:
Automated Verification of the Dependability of Object-Oriented Real-Time Systems. WORDS Fall 2003: 171-178 - 2002
- [j26]Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright, Franco Travostino:
Case Studies in Security and Resource Management for Mobile Object Systems. Auton. Agents Multi Agent Syst. 5(1): 45-79 (2002) - [j25]Gul Agha:
Introduction. Commun. ACM 45(6): 30-32 (2002) - [c48]Prasannaa Thati, Reza Ziaei, Gul Agha:
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. AMAST 2002: 223-238 - [c47]Prasannaa Thati, Reza Ziaei, Gul Agha:
A Theory of May Testing for Actors. FMOODS 2002: 147-162 - [c46]Abhay Vardhan, Gul Agha:
Using passive object garbage collection algorithms for garbage collection of active objects. MSP/ISMM 2002: 213-220 - 2001
- [j24]Mark Astley, Daniel C. Sturman, Gul Agha:
Customizable middleware for modular distributed software. Commun. ACM 44(5): 99-107 (2001) - [j23]Carlos A. Varela, Gul Agha:
Programming Dynamically Reconfigurable Open systems with SALSA. ACM SIGPLAN Notices 36(12): 20-34 (2001) - [c45]Gul Agha:
The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web. CCGRID 2001: 18 - [c44]Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha:
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. FME 2001: 197-221 - [c43]Prasannaa Thati, Po-Hao Chang, Gul Agha:
Crawlets: Agents for High Performance Web Search Engines. Mobile Agents 2001: 119-134 - [p2]Gul Agha, Nadeem Jamali, Carlos A. Varela:
Agent Naming and Coordination: Actor Based Models and Infrastructures. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 225-246 - [e3]Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg:
Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2001, Springer 2001, ISBN 3-540-41942-X [contents] - 2000
- [c42]Gul Agha:
Object Oriented Architectures, Tools, and Applications. Euro-Par 2000: 1029-1030
1990 – 1999
- 1999
- [j22]Brian Nielsen, Gul Agha:
Towards Reusable Real-Time Objects. Ann. Softw. Eng. 7: 257-282 (1999) - [j21]Nadeem Jamali, Prasanna Thati, Gul A. Agha:
A actor-based architecture for customizing and controlling agent ensembles. IEEE Intell. Syst. 14(2): 38-44 (1999) - [j20]Gul A. Agha, WooYoung Kim:
Actors: A unifying model for parallel and distributed computing. J. Syst. Archit. 45(15): 1263-1277 (1999) - [c41]Carlos A. Varela, Gul Agha:
A Hierarchical Model for Coordination of Concurrent Activities. COORDINATION 1999: 166-182 - 1998
- [j19]Carlos A. Varela, Gul Agha:
What after Java? From Objects to Actors. Comput. Networks 30(1-7): 573-577 (1998) - [j18]Rachid Guerraoui, Gul Agha:
Editorial - High Availability in CORBA. Theory Pract. Object Syst. 4(2): 71 (1998) - [c40]Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright:
Case Studies in Security and Resource Management for Mobile Objects. ECOOP Workshops 1998: 306 - [c39]Gul Agha, Mark Astley, Jamil A. Sheikh, Carlos A. Varela:
Modular Heterogeneous System Development: A Critical Analysis of Java. Heterogeneous Computing Workshop 1998: 144-155 - [c38]Brian Nielsen, Shangping Ren, Gul Agha:
Specification of Real-Time Interaction Constraints. ISORC 1998: 206-214 - [c37]Mark Astley, Gul Agha:
Modular Construction and Composition of Distributed Software Architectures. PDSE 1998: 2-12 - [c36]Mark Astley, Gul Agha:
Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. SIGSOFT FSE 1998: 1-9 - 1997
- [j17]Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
A Foundation for Actor Computation. J. Funct. Program. 7(1): 1-72 (1997) - [c35]Gul Agha, Stefano Russo:
Workshop on Software Engineering for Parallel and Distributed Systems. ICSE 1997: 678 - [c34]Rachid Guerraoui, Jean-Charles Fabre, Gul Agha:
Dependable distributed object systems. OOPSLA Addendum 1997: 136-137 - 1996
- [j16]Gul Agha:
Linguistic Paradigms for Programming Complex Distributed Systems. ACM Comput. Surv. 28(2): 295-296 (1996) - [j15]Gul A. Agha:
The mountains are in labor. IEEE Parallel Distributed Technol. Syst. Appl. 4(1): 2-5 (1996) - [j14]Gul A. Agha:
The elusive goal of intelligence. IEEE Parallel Distributed Technol. Syst. Appl. 4(2): 2-3 (1996) - [j13]Gul A. Agha:
Our magazine's new face. IEEE Parallel Distributed Technol. Syst. Appl. 4(3): 2-3 (1996) - [j12]Gul A. Agha:
Strategic directions. IEEE Parallel Distributed Technol. Syst. Appl. 4(4): 2-3 (1996) - [j11]Mark Astley, Gul Agha:
A Visualization Model for Concurrent Systems. Inf. Sci. 93(1): 107-131 (1996) - [j10]Shangping Ren, Gul Agha, Masahiko Saito:
A Modular Approach to Programming Distributed Real-Time Systems. J. Parallel Distributed Comput. 36(1): 4-12 (1996) - [j9]Masahiko Saito, Gul Agha:
A modular approach to real-time synchronization. OOPS Messenger 7(1): 13-20 (1996) - [c33]Gul Agha:
Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. Application and Theory of Petri Nets 1996: 1-10 - [c32]Shangping Ren, Gul Agha:
A Modular Approach for Programming Embedded Systems. European Educational Forum: School on Embedded Systems 1996: 170-207 - [c31]WooYoung Kim, Gul A. Agha, Rajendra Panwar:
Efficient compilation of concurrent call/return communication in actor-based programming languages. HiPC 1996: 62-67 - [c30]Rajendra Panwar, WooYoung Kim, Gul Agha:
Parallel Implementations of Irregular Problems Using High-Level Actor Language. IPPS 1996: 857-862 - 1995
- [j8]Gul A. Agha:
Different approaches around the world. IEEE Parallel Distributed Technol. Syst. Appl. 3(3): 2-3 (1995) - [c29]Shangping Ren, Gul Agha:
RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems 1995: 50-59 - [c28]WooYoung Kim, Gul Agha:
Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. SC 1995: 39 - 1994
- [j7]Christian J. Callsen, Gul Agha:
Open Heterogeneous Computing in Actor Space. J. Parallel Distributed Comput. 21(3): 289-300 (1994) - [j6]Rajendra Panwar, Gul Agha:
A Methodology for Programming Scalable Architectures. J. Parallel Distributed Comput. 22(3): 479-487 (1994) - [c27]Gul A. Agha, WooYoung Kim, Rajendra Panwar:
Actor Languages for Specification of Parallel Computations. Specification of Parallel Algorithms 1994: 239-258 - [c26]Svend Frølund, Gul Agha:
Abstracting Interactions Based on Message Sets. ECOOP Workshop 1994: 107-124 - [c25]Daniel C. Sturman, Gul Agha:
A Protocol Description Language for Customizing Semantics. SRDS 1994: 148-157 - 1993
- [j5]Gul Agha, Svend Frølund, WooYoung Kim, Rajendra Panwar, Anna Patterson, Daniel C. Sturman:
Abstraction and modularity mechanisms for concurrent computing. IEEE Parallel Distributed Technol. Syst. Appl. 1(2): 3-14 (1993) - [c24]Svend Frølund, Gul Agha:
A Language Framework for Multi-Object Coordination. ECOOP 1993: 346-360 - [c23]Gul Agha, Christian J. Callsen:
ActorSpaces: An Open Distributed Programming Paradigm. PPoPP 1993: 23-32 - 1992
- [j4]Shakuntala Miriyala, Gul Agha, Yamina Sami:
Visualizing actor programs using predicate transition nets. J. Vis. Lang. Comput. 3(2): 195-220 (1992) - [c22]Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
Towards a Theory of Actor Computation. CONCUR 1992: 565-579 - [c21]Suresh Jagannathan, Gul Agha:
A Reflective Model of Inheritance. ECOOP 1992: 350-371 - [c20]Gul Agha:
Formal methods for Actor systems: A progress report. FORTE 1992: 217-228 - [c19]Christopher R. Houck, Gul Agha:
HAL: A High-Level Actor Language and Its Distributed Implementation. ICPP (2) 1992: 158-165 - [c18]Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott:
Scalable Distributed Garbage Collection for Systems of Active Objects. IWMM 1992: 134-147 - [c17]Won Kim, Gul Agha:
Comilation of a Highly Parallel Actor-Based Language. LCPC 1992: 1-15 - 1991
- [j3]Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson:
Efficient algorithms for parallel sorting on mesh multicomputers. Int. J. Parallel Program. 20(2): 95-131 (1991) - [c16]Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson:
Scalability of Parallel Sorting on Mesh Multicomputers. IPPS 1991: 92-101 - [c15]Gul Agha, Christopher R. Houck, Rajendra Panwar:
Distributed Execution of Actor Programs. LCPC 1991: 1-17 - [e2]Paul R. Wilson, Gul Agha, Carl Hewitt, Peter Wegner, Akinori Yonezawa:
Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990. ACM 1991, ISBN 978-0-89791-411-6 [contents] - 1990
- [b2]Gul A. Agha:
ACTORS - a model of concurrent computation in distributed systems. MIT Press series in artificial intelligence, MIT Press 1990, ISBN 978-0-262-01092-4, pp. I-IX, 1-144 - [j2]Gul Agha:
Concurrent Object-Oriented Programming. Commun. ACM 33(9): 125-141 (1990) - [c14]Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky:
Foundations of object-based concurrent programming (panel session). OOPSLA/ECOOP Addendum 1990: 9-14 - [c13]Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa:
Foundations of Concurrent Object-Oriented Programming (Panel). OOPSLA/ECOOP 1990: 100 - [c12]Gul Agha:
The Structure and Semantics of Actor Languages. REX Workshop 1990: 1-59 - [c11]Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky:
OOPSLA panel on object-based concurrent programming. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990: 3-15
1980 – 1989
- 1989
- [c10]Gul Agha:
Supporting Multiparadigm Programming on Actor Architectures. PARLE (2) 1989: 1-19 - 1988
- [c9]Gul Agha:
The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases. DPDS 1988: 2-12 - [c8]Carl Hewitt, Gul Agha:
Guarded Horn Clause Languages: Are They Deductive and Logical? FGCS 1988: 650-657 - [c7]Gul Agha:
Foundational issues in concurrent computing. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988: 60-65 - [c6]Chris Tomlinson, Won Kim, Mark Scheevel, Vineet Singh, Becky Will, Gul Agha:
Rosette: An object-oriented concurrent systems architecture. OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988: 91-93 - [e1]Gul Agha, Peter Wegner, Akinori Yonezawa:
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988. ACM 1988, ISBN 978-0-89791-304-1 [contents] - 1987
- [p1]Gul Agha, Carl Hewitt:
Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming. Research Directions in Object-Oriented Programming 1987: 49-74 - 1986
- [c5]Gul Agha:
An overview of actor languages. OOPWORK 1986: 58-67 - [c4]Gul Agha:
Fair concurrency in actors (abstract only): eager evaluation producers strong convergence. OOPWORK 1986: 183 - 1985
- [b1]Gul A. Agha:
Actors: a Model of Concurrent Computation in Distributed Systems (Parallel Processing, Semantics, Open, Programming Languages, Artificial Intelligence). University of Michigan, USA, 1985 - [j1]Gul Agha:
A Message-Passing Paradigm for Object Management. IEEE Database Eng. Bull. 8(4): 75-82 (1985) - [c3]Gul Agha, Carl Hewitt:
Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. FSTTCS 1985: 19-41 - 1984
- [c2]Gul Agha:
Semantic Considerations in the Actor Paradigm of Concurrent Computation. Seminar on Concurrency 1984: 151-179 - [c1]Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi:
Linguistic Support of Receptionists for Shared Resources. Seminar on Concurrency 1984: 330-359
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
