| |
Gul Agha
List of publications from the DBLP Bibliography Server - FAQ
| 2008 | ||
|---|---|---|
| 129 | EE | YoungMin Kwon, Gul Agha: LTLC: Linear Temporal Logic for Control. HSCC 2008: 316-329 |
| 128 | EE | YoungMin Kwon, Gul Agha: Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. IPSN 2008: 3-14 |
| 127 | EE | Gul Agha: Computing in pervasive cyberspace. Commun. ACM 51(1): 68-70 (2008) |
| 2007 | ||
| 126 | EE | Po-Hao Chang, Gul Agha: Towards Context-Aware Web Applications. DAIS 2007: 239-252 |
| 125 | EE | Rick Kazman, Gul Agha: Software Technology Track Introduction. HICSS 2007: 255 |
| 124 | EE | YoungMin Kwon, Gul Agha: A Markov Reward Model for Software Reliability. IPDPS 2007: 1-6 |
| 123 | EE | Po-Hao Chang, Gul Agha: Supporting reconfigurable object distribution for customized web applications. SAC 2007: 1286-1292 |
| 122 | EE | Rajesh K. Karmani, Timo Latvala, Gul Agha: On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO 2007: 173-182 |
| 2006 | ||
| 121 | EE | YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha: ActorNet: an actor platform for wireless sensor networks. AAMAS 2006: 1297-1300 |
| 120 | EE | Koushik Sen, Gul Agha: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV 2006: 419-423 |
| 119 | EE | Koushik Sen, Gul Agha: Automated Systematic Testing of Open Distributed Programs. FASE 2006: 339-356 |
| 118 | EE | Bill Donkervoet, Gul Agha: Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. FMCO 2006: 246-265 |
| 117 | EE | Gul Agha: Track Introduction. HICSS 2006 |
| 116 | EE | Koushik Sen, Gul Agha: A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference 2006: 166-182 |
| 115 | EE | YoungMin Kwon, Gul Agha: Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. IEEE Real Time Technology and Applications Symposium 2006: 49-58 |
| 114 | EE | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Decentralized runtime analysis of multithreaded applications. IPDPS 2006 |
| 113 | EE | 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 |
| 112 | EE | Po-Hao Chang, Gul Agha: Supporting Reconfigurable Object Distribution for Customizable Web Applications. OTM Workshops (1) 2006: 32-33 |
| 111 | EE | Liping Chen, Gul Agha: State Aware Data Dissemination over Structured Overlays. Peer-to-Peer Computing 2006: 145-152 |
| 110 | EE | Koushik Sen, Mahesh Viswanathan, Gul Agha: Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410 |
| 109 | EE | Gul A. Agha, José Meseguer, Koushik Sen: PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. Electr. Notes Theor. Comput. Sci. 153(2): 213-239 (2006) |
| 108 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Online efficient predictive safety analysis of multithreaded programs. STTT 8(3): 248-260 (2006) |
| 107 | EE | Myeong-Wuk Jang, Gul Agha: Agent framework services to reduce agent communication overhead in large-scale agent-based simulations. Simulation Modelling Practice and Theory 14(6): 679-694 (2006) |
| 2005 | ||
| 106 | EE | Koushik Sen, Mahesh Viswanathan, Gul Agha: On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280 |
| 105 | EE | Koushik Sen, Darko Marinov, Gul Agha: CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272 |
| 104 | Predrag T. Tosic, Gul A. Agha: Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution. EUMAS 2005: 415-426 | |
| 103 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226 |
| 102 | EE | Gul Agha: Software Technology Track. HICSS 2005 |
| 101 | EE | YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha: Resilient Localization for Sensor Networks in Outdoor Environments. ICDCS 2005: 643-652 |
| 100 | EE | 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 |
| 99 | EE | 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 |
| 98 | EE | MyungJoo Ham, Gul Agha: ARA: A Robust Audit to Prevent Free-Riding in P2P Networks. Peer-to-Peer Computing 2005: 125-132 |
| 97 | EE | YoungMin Kwon, Gul A. Agha: iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. QEST 2005: 245-246 |
| 96 | EE | Koushik Sen, Mahesh Viswanathan, Gul A. Agha: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252 |
| 95 | EE | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60 |
| 94 | EE | Predrag T. Tosic, Gul A. Agha: On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. UC 2005: 191-205 |
| 93 | EE | Sandeep Uttamchandani, Li Yin, Guillermo A. Alvarez, John Palmer, Gul A. Agha: CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage Systems. USENIX Annual Technical Conference, General Track 2005: 75-88 |
| 92 | 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 | |
| 91 | EE | 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 |
| 2004 | ||
| 90 | EE | Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha: Decentralized Resource Control for Multi-Agent Systems. AAMAS 2004: 1366-1367 |
| 89 | EE | Predrag T. Tosic, Gul Agha: Characterizing Configuration Spaces of Simple Threshold Cellular Automata. ACRI 2004: 861-870 |
| 88 | EE | Prasanna Thati, Carolyn L. Talcott, Gul Agha: Techniques for Executing and Reasoning about Specification Diagrams. AMAST 2004: 521-536 |
| 87 | EE | Sameer Sundresh, WooYoung Kim, Gul Agha: SENS: A Sensor, Environment and Network Simulator. Annual Simulation Symposium 2004: 221- |
| 86 | EE | Koushik Sen, Mahesh Viswanathan, Gul Agha: Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215 |
| 85 | EE | 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 |
| 84 | EE | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505 |
| 83 | EE | Gul Agha: Software Technology Track Introduction. HICSS 2004 |
| 82 | EE | Myeong-Wuk Jang, Amr Abdel Momen, Gul Agha: ATSpace: A Middle Agent to Support Application Oriented Matchmaking and Brokering Services. IAT 2004: 393-396 |
| 81 | EE | YoungMin Kwon, Gul Agha: Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. ICFEM 2004: 194-208 |
| 80 | EE | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289 |
| 79 | EE | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427 |
| 78 | EE | Predrag T. Tosic, Gul Agha: Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata. IPDPS 2004 |
| 77 | EE | 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 |
| 76 | EE | Myeong-Wuk Jang, Gul Agha: Adaptive Agent Allocation for Massively Multi-agent Applications. MMAS 2004: 25-39 |
| 75 | EE | Sandeep Uttamchandani, Guillermo A. Alvarez, Gul Agha: DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems. POLICY 2004: 67-76 |
| 74 | EE | Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155 |
| 73 | EE | Po-Hao Chang, WooYoung Kim, Gul Agha: An Adaptive Programming Framework for Web Applications. SAINT 2004: 152-159 |
| 72 | EE | Myeong-Wuk Jang, Amr Ahmed Momen, Gul Agha: Efficient Agent Communication in Multi-agent Systems. SELMAS 2004: 236-253 |
| 71 | EE | Predrag T. Tosic, Gul A. Agha: Towards a hierarchical taxonomy of autonomous agents. SMC (4) 2004: 3421-3426 |
| 70 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138 |
| 69 | EE | 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) |
| 2003 | ||
| 68 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275 |
| 67 | EE | Koushik Sen, Grigore Rosu, Gul Agha: Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346 |
| 66 | EE | Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha: A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46 |
| 65 | EE | Reza Ziaei, Gul Agha: SynchNet: A Petri Net Based Coordination Language for Distributed Objects. GPCE 2003: 324-343 |
| 64 | Hui Ding, Can Zheng, Lui Sha, Gul Agha: Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. SEKE 2003: 458-466 | |
| 63 | EE | Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha: Cooperative tracking with binary-detection sensor networks. SenSys 2003: 332-333 |
| 62 | EE | 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 | ||
| 61 | EE | Prasannaa Thati, Reza Ziaei, Gul Agha: A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching. AMAST 2002: 223-238 |
| 60 | Prasannaa Thati, Reza Ziaei, Gul Agha: A Theory of May Testing for Actors. FMOODS 2002: 147-162 | |
| 59 | EE | Abhay Vardhan, Gul Agha: Using passive object garbage collection algorithms for garbage collection of active objects. MSP/ISMM 2002: 213-220 |
| 58 | 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. Autonomous Agents and Multi-Agent Systems 5(1): 45-79 (2002) | |
| 57 | EE | Gul Agha: Introduction. Commun. ACM 45(6): 30-32 (2002) |
| 2001 | ||
| 56 | Gul Agha, Fiorella de Cindio, Grzegorz Rozenberg: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Springer 2001 | |
| 55 | EE | Gul Agha: The World Wide Computer: Prospects for Parallel and Distributed Computing on the Web. CCGRID 2001: 18 |
| 54 | EE | Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha: A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware. FME 2001: 197-221 |
| 53 | EE | Prasannaa Thati, Po-Hao Chang, Gul Agha: Crawlets: Agents for High Performance Web Search Engines. Mobile Agents 2001: 119-134 |
| 52 | 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 | |
| 51 | EE | Mark Astley, Daniel C. Sturman, Gul Agha: Customizable middleware for modular distributed software. Commun. ACM 44(5): 99-107 (2001) |
| 50 | Carlos A. Varela, Gul Agha: Programming Dynamically Reconfigurable Open systems with SALSA. SIGPLAN Notices 36(12): 20-34 (2001) | |
| 2000 | ||
| 49 | EE | Gul Agha: Object Oriented Architectures, Tools, and Applications. Euro-Par 2000: 1029-1030 |
| 1999 | ||
| 48 | EE | Carlos A. Varela, Gul Agha: A Hierarchical Model for Coordination of Concurrent Activities. COORDINATION 1999: 166-182 |
| 47 | Brian Nielsen, Gul Agha: Towards Reusable Real-Time Objects. Ann. Software Eng. 7: 257-282 (1999) | |
| 1998 | ||
| 46 | EE | 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 |
| 45 | EE | 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 |
| 44 | EE | Brian Nielsen, Shangping Ren, Gul Agha: Specification of Real-Time Interaction Constraints. ISORC 1998: 206-214 |
| 43 | EE | Mark Astley, Gul Agha: Modular Construction and Composition of Distributed Software Architectures. PDSE 1998: 2-12 |
| 42 | EE | Mark Astley, Gul Agha: Customizaton and Compositon of Distributed Objects: Middleware Abstractions for Policy Management. SIGSOFT FSE 1998: 1-9 |
| 41 | EE | Carlos A. Varela, Gul Agha: What after Java? From Objects to Actors. Computer Networks 30(1-7): 573-577 (1998) |
| 40 | Rachid Guerraoui, Gul Agha: Editorial - High Availability in CORBA. TAPOS 4(2): 71 (1998) | |
| 1997 | ||
| 39 | EE | Gul Agha, Stefano Russo: Workshop on Software Engineering for Parallel and Distributed Systems. ICSE 1997: 678 |
| 38 | Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Foundation for Actor Computation. J. Funct. Program. 7(1): 1-72 (1997) | |
| 1996 | ||
| 37 | Gul Agha: Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. Application and Theory of Petri Nets 1996: 1-10 | |
| 36 | Shangping Ren, Gul Agha: A Modular Approach for Programming Embedded Systems. European Educational Forum: School on Embedded Systems 1996: 170-207 | |
| 35 | EE | R. Panwar, W. Kim, Gul Agha: Parallel Implementations of Irregular Problems Using High-Level Actor Language. IPPS 1996: 857-862 |
| 34 | Gul Agha: Linguistic Paradigms for Programming Complex Distributed Systems. ACM Comput. Surv. 28(2): 295-296 (1996) | |
| 33 | Mark Astley, Gul Agha: A Visualization Model for Concurrent Systems. Inf. Sci. 93(1): 107-131 (1996) | |
| 32 | Shangping Ren, Gul Agha, Masahiko Saito: A Modular Approach to Programming Distributed Real-Time Systems. J. Parallel Distrib. Comput. 36(1): 4-12 (1996) | |
| 31 | EE | Masahiko Saito, Gul Agha: A modular approach to real-time synchronization. OOPS Messenger 7(1): 13-20 (1996) |
| 1995 | ||
| 30 | EE | WooYoung Kim, Gul Agha: Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. SC 1995 |
| 29 | 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 | |
| 1994 | ||
| 28 | Svend Frølund, Gul Agha: Abstracting Interactions Based on Message Sets. ECOOP Workshop 1994: 107-124 | |
| 27 | Daniel C. Sturman, Gul Agha: A Protocol Description Language for Customizing Semantics. SRDS 1994: 148-157 | |
| 26 | Christian J. Callsen, Gul Agha: Open Heterogeneous Computing in Actor Space. J. Parallel Distrib. Comput. 21(3): 289-300 (1994) | |
| 25 | R. Panwar, Gul Agha: A Methodology for Programming Scalable Architectures. J. Parallel Distrib. Comput. 22(3): 479-487 (1994) | |
| 1993 | ||
| 24 | EE | Svend Frølund, Gul Agha: A Language Framework for Multi-Object Coordination. ECOOP 1993: 346-360 |
| 23 | Gul Agha, Christian J. Callsen: ActorSpaces: An Open Distributed Programming Paradigm. PPOPP 1993: 23-32 | |
| 1992 | ||
| 22 | Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: Towards a Theory of Actor Computation. CONCUR 1992: 565-579 | |
| 21 | EE | Suresh Jagannathan, Gul Agha: A Reflective Model of Inheritance. ECOOP 1992: 350-371 |
| 20 | Gul Agha: Formal methods for Actor systems: A progress report. FORTE 1992: 217-228 | |
| 19 | Christopher R. Houck, Gul Agha: HAL: A High-Level Actor Language and Its Distributed Implementation. ICPP (2) 1992: 158-165 | |
| 18 | Nalini Venkatasubramanian, Gul Agha, Carolyn L. Talcott: Scalable Distributed Garbage Collection for Systems of Active Objects. IWMM 1992: 134-147 | |
| 17 | Won Kim, Gul Agha: Comilation of a Highly Parallel Actor-Based Language. LCPC 1992: 1-15 | |
| 1991 | ||
| 16 | Vineet Singh, Vipin Kumar, Gul Agha, Chris Tomlinson: Scalability of Parallel Sorting on Mesh Multicomputers. IPPS 1991: 92-101 | |
| 15 | Gul Agha, Christopher R. Houck, R. Panwar: Distributed Execution of Actor Programs. LCPC 1991: 1-17 | |
| 14 | Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky: OOPSLA panel on object-based concurrent programming. OOPS Messenger 2(2): 3-15 (1991) | |
| 1990 | ||
| 13 | Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa: Foundations of Concurrent Object-Oriented Programming (Panel). OOPSLA/ECOOP 1990: 100 | |
| 12 | Gul Agha: The Structure and Semantics of Actor Languages. REX Workshop 1990: 1-59 | |
| 11 | Gul Agha: Concurrent Object-Oriented Programming. Commun. ACM 33(9): 125-141 (1990) | |
| 1989 | ||
| 10 | Gul Agha: Supporting Multiparadigm Programming on Actor Architectures. PARLE (2) 1989: 1-19 | |
| 9 | EE | Gul Agha: Foundational issues in concurrent computing. SIGPLAN Notices 24(4): 60-65 (1989) |
| 8 | EE | Chris Tomlinson, Won Kim, Mark Scheevel, Vineet Singh, B. Will, Gul Agha: Rosette: An object-oriented concurrent systems architecture. SIGPLAN Notices 24(4): 91-93 (1989) |
| 1988 | ||
| 7 | Gul Agha: The Relation between Problems in Large-Scale Concurrent Systems and Distributed Databases. DPDS 1988: 2-12 | |
| 6 | Carl Hewitt, Gul Agha: Guarded Horn Clause Languages: Are They Deductive and Logical? FGCS 1988: 650-657 | |
| 1987 | ||
| 5 | Gul Agha, Carl Hewitt: Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming. Research Directions in Object-Oriented Programming 1987: 49-74 | |
| 1985 | ||
| 4 | Gul Agha, Carl Hewitt: Concurrent Programming Using Actors: Exploiting large-Scale Parallelism. FSTTCS 1985: 19-41 | |
| 3 | EE | Gul Agha: A Message-Passing Paradigm for Object Management. IEEE Database Eng. Bull. 8(4): 75-82 (1985) |
| 1984 | ||
| 2 | Gul Agha: Semantic Considerations in the Actor Paradigm of Concurrent Computation. Seminar on Concurrency 1984: 151-179 | |
| 1 | Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi: Linguistic Support of Receptionists for Shared Resources. Seminar on Concurrency 1984: 330-359 | |