Open Systems Laboratory at Illinois

Publications

2014

  1. Peter Dinges and Gul Agha. Targeted test input generation using symbolic-concrete backward execution. In 29th IEEE/ACM International Conference on Automated Software Engineering (ASE). Västerås, Sweden, September 15-19 2014. ACM.
  2. Peter Dinges and Gul Agha. Targeted test input generation using symbolic-concrete backward execution. Technical Report, University of Illinois at Urbana--Champaign, September 2014.
  3. Peter Dinges and Gul Agha. Solving complex path conditions through heuristic search on induced polytopes. In Proceedings of the 22nd ACM SIGSOFT Symposium on Foundations of Software Engineering. Hong Kong, November 16-21 2014. ACM.

2013

  1. Peter Dinges, Minas Charalambides, and Gul Agha. Automated inference of atomic sets for safe concurrent execution. Technical Report, University of Illinois at Urbana--Champaign, April 2013.
  2. Samira Tasharofi, Peter Dinges, and Ralph E. Johnson. Why do scala developers mix the actor model with other concurrency models?. In ECOOP, volume 7920 of Lecture Notes in Computer Science, 302–326. Springer, 2013.
  3. Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke, Gul Agha, and Billie F. Spencer. Realistic case studies of wireless structural control. In ICCPS, 179–188. ACM, 2013.
  4. Peter Dinges, Minas Charalambides, and Gul Agha. Automated inference of atomic sets for safe concurrent execution. In PASTE, 1–8. 2013.

2012

  1. Ashish Vulimiri, Gul A. Agha, Philip Brighten Godfrey, and Karthik Lakshminarayanan. How well can congestion pricing neutralize denial of service attacks?. In SIGMETRICS, 137–150. ACM, 2012.
  2. Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, and Gul Agha. Transdpor: a novel dynamic partial-order reduction technique for testing actor programs. In FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, 219–234. Springer, 2012.
  3. Paria Moinzadeh, Kirill Mechitov, Reza Shiftehfar, Tarek F. Abdelzaher, Gul Agha, and Billie F. Spencer. The time-keeping anomaly of energy-saving sensors: manifestation, solution, and a structural monitoring case study. In SECON, 380–388. IEEE, 2012.
  4. Kirill Mechitov and Gul Agha. Building portable middleware services for heterogeneous cyber-physical systems. In SESENA, 31–36. IEEE, 2012.
  5. Kirill Mechitov and Gul Agha. An architecture for dynamic service-oriented computing in networked embedded systems. In Software Service and Application Engineering, volume 7365 of Lecture Notes in Computer Science, 147–164. Springer, 2012.
  6. Lauren Linderman, Kirill Mechitov, and B. F. Spencer. Tinyos-based real-time wireless data acquisition framework for structural health monitoring and control. Structural Control and Health Monitoring, 2012.
  7. Jian Li, Tomonori Nagayama, Kirill Mechitov, and B. F. Spencer. Efficient campaign-type structural health monitoring using wireless smart sensors. In Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems, vol. 8345. 2012.
  8. Robin Kim, Sung-Han Sim, Kirill Mechitov, Junho Song, and B. F. Spencer. Reliability-based diagnosis of wireless sensor network communication quality using readily available data. In Joint Conference of the Engineering Mechanics Institute and the 11th ASCE Joint Specialty Conference on Probabilistic Mechanics and Structural Reliability. 2012.
  9. Manas Ranjan Gartia, Björn Braunschweig, Te-Wei Chang, Parya Moinzadeh, Barbara S. Minsker, Gul Agha, Andrzej Wieckowski, Laura L. Keefer, and Gang Logan Liu. Micro electronic wireless nitrate sensor network for environmental water monitoring. Journal of Environmental Monitoring, 2012. Accepted for publication.
  10. Peter Dinges and Gul Agha. Scoped synchronization constraints for large scale actor systems. In COORDINATION, volume 7274 of Lecture Notes in Computer Science, 89–103. Springer, 2012.
  11. Minas Charalambides, Peter Dinges, and Gul Agha. Parameterized concurrent multi-party session types. In FOCLASA, volume 91 of Electronic Proceedings in Theoretical Computer Science, 16–30. Open Publishing Association, 2012.
  12. Marjan Sirjani, editor. Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings. Volume 7274 of Lecture Notes in Computer Science, Springer, 2012.

2011

  1. Jennifer Rice, Kirill Mechitov, Sung-Han Sim, B. F. Spencer, and Gul Agha. Enabling framework for structural health monitoring using smart sensors. In Structural Control and Health Monitoring, vol. 15, no. 8, pp. 574--587. 2011.
  2. Alessandro Ricci, Rafael H. Bordini, and Gul A. Agha. Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. In OOPSLA Companion, 325–326. ACM, 2011.
  3. Alessandro Ricci, Gul Agha, and Rafael H. Bordini. Agere! (actors and agents reloaded): splash 2011 workshop on programming systems, languages and applications based on actors, agents and decentralized control. In SPLASH Workshops, 143–146. ACM, 2011.
  4. Stas Negara, Rajesh K. Karmani, and Gul A. Agha. Inferring ownership transfer for efficient message passing. In PPOPP, 81–90. ACM, 2011.
  5. Kirill Mechitov. A Service-Oriented Architecture for Dynamic Macroprogramming of Sensor Networks. Kirill Mechitov. A Service-Oriented Architecture for Dynamic Macroprogramming of Sensor Networks PhD thesis, University of Illinois at Urbana-Champaign, 2011.
  6. Lauren Linderman, Kirill Mechitov, and B. F. Spencer. Real-time wireless data acquisition for structural health monitoring and control. Newmark Structural Engineering Laboratory Report Series 029, University of Illinois at Urbana-Champaign, 2011.
  7. YoungMin Kwon and Gul A. Agha. Verifying the evolution of probability distributions governed by a dtmc. IEEE Trans. Software Eng, 37(1):126–141, 2011.
  8. Vijay Anand Korthikanti, Gul Agha, and Mark R. Greenstreet. On the energy complexity of parallel algorithms. In ICPP, 562–570. IEEE, 2011.
  9. Vijay Anand Korthikanti and Gul Agha. Energy-performance trade-off analysis of parallel algorithms for shared memory architectures. In Sustainable Computing: Informatics and Systems, In Press. 2011.
  10. Rajesh K. Karmani, P. Madhusudan, and Brandon M. Moore. Thread contracts for safe parallelism. In PPOPP, 125–134. ACM, 2011.
  11. Rajesh K. Karmani and Gul Agha. Actors. In Encyclopedia of Parallel Computing, pages 1–11. Springer, 2011.
  12. Hongki Jo, Sung-Han Sim, Kirill Mechitov, Robin Kim, Parya Moinzadeh, B. F. Spencer, Soojin Cho, Hyung-Jo Jung, Chung-Bang Yun, Jennifer Rice, and Tomonori Nagayama. Hybrid wireless smart sensor network for full-scale structural health monitoring of a cable-stayed bridge. In Proc. SPIE 7981, Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems. 2011.
  13. Vilas Jagannath, Qingzhou Luo, and Darko Marinov. Change-aware preemption prioritization. In ISSTA, 133–143. ACM, 2011.
  14. Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, and Darko Marinov. Improved multithreaded unit testing. In SIGSOFT FSE, 223–233. ACM, 2011.
  15. Sumit Gulwani, Vijay Anand Korthikanti, and Ashish Tiwari. Synthesizing geometry constructions. In PLDI, 50–61. ACM, 2011.
  16. Haris Georgiadis, Minas Charalambides, and Vasilis Vassalos. A query optimization assistant for xpath. In EDBT, 550–553. ACM, 2011.
  17. Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, and YoungMin Kwon. Model checking mdps with a unique compact invariant set of distributions. In QEST, 121–130. IEEE Computer Society, 2011.
  18. Gul Agha, Olivier Danvy, and José Meseguer, editors. Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Volume 7000 of Lecture Notes in Computer Science, Springer, 2011.

2010

  1. Ashish Vulimiri, Arobinda Gupta, Pramit Roy, Skanda N. Muthaiah, and Arzad Alam Kherani. Application of secondary information for misbehavior detection in vanets. In Networking, volume 6091 of Lecture Notes in Computer Science, 385–396. Springer, 2010.
  2. Rohan Sharma, Milos Gligoric, Vilas Jagannath, and Darko Marinov. A comparison of constraint-based and sequence-based generation of complex input data structures. In ICST Workshops, 337–342. IEEE Computer Society, 2010.
  3. Jennifer Rice, Kirill Mechitov, B. F. Spencer, and Gul Agha. Autonomous smart sensor network for full-scale structural health monitoring. In Proc. SPIE Smart Structures/NDE, vol. 7647. 2010.
  4. Jennifer Rice, Kirill Mechitov, Sung-Han Sim, Tomonori Nagayama, ShinAe Jang, Robin Kim, B. F. Spencer, Gul Agha, and Yozo Fujino. Flexible smart sensor framework for autonomous structural health monitoring. Smart Structures and Systems, 6(5):423–438, 2010.
  5. Tomonori Nagayama, Parya Moinzadeh, Kirill Mechitov, Mitsushi Ushita, Noritoshi Makihata, Masataka Ieiri, Gul Agha, B. F. Spencer, Yozo Fujino, and Ju-Won Seo. Reliable multi-hop communication for structural health monitoring. Smart Structures and Systems, 6(5):481–504, 2010.
  6. Tomonori Nagayama, Hyung-Jo Jung, B. F. Spencer, ShinAe Jang, Kirill Mechitov, Soojin Cho, Mitsushi Ushita, Chung-Bang Yun, Gul Agha, and Yozo Fujino. International collaboration to develop a structural health monitoring system utilizing wireless smart sensor network and its deployment on a cable-stayed bridge. In 5th World Conference on Structural Control and Monitoring. 2010.
  7. Sherin M. Moussa and Gul A. Agha. Integrating encrypted mobile agents with smart spaces in a multi-agent simulator for resource management. JSW, 5(6):630–636, 2010.
  8. Sherin Moussa and Gul Agha. Developing a framework for mobility-aware resource management in multi-inhabitant smart home. In PhD Dissertation, Faculty of Computer and Information Sciences, Ain Shams University, Egypt, in cooperation with University of Illinois at Urbana-Champaign, USA, April. 2010.
  9. Sherin Moussa and Gul Agha. A framework for mobility-aware resource management and untraceability in multi-inhabitant smart space. In International Journal of intelligent Computing and Information Science, Vol. 10, No.2, July. 2010.
  10. Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, and Gul Agha. Evaluating ordering heuristics for dynamic partial-order reduction techniques. In FASE, volume 6013 of Lecture Notes in Computer Science, 308–322. Springer, 2010.
  11. Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, and Gul Agha. Basset: a tool for systematic testing of actor programs. In SIGSOFT FSE, 363–364. ACM, 2010.
  12. YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, and Gul Agha. Resilient localization for sensor networks in outdoor environments. TOSN, 2010.
  13. YoungMin Kwon and Eunhee Kim. Specification and verification of pharmacokinetic models. In Advances in Computational Biology in Advances in Experimental Medicine and Biology (AEMB) book series (To Appear). 2010.
  14. Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, and YoungMin Kwon. Reasoning about mdps as transformers of probability distributions. In QEST, 199–208. IEEE Computer Society, 2010.
  15. Vijay Anand Korthikanti and Gul Agha. Towards optimizing energy costs of algorithms for shared memory architectures. In SPAA, 157–165. ACM, 2010.
  16. Vijay Anand Korthikanti and Gul Agha. Energy-performance trade-off analysis of parallel algorithms. In USENIX Workshop on Hot Topics in Parallelism (HotPar). 2010.
  17. Vijay Anand Korthikanti and Gul Agha. Energy-bounded scalability analysis of parallel algorithms. In International Workshop on Energy Efficient High-Performance Computing (EEHiPC). 2010.
  18. Vijay Anand Korthikanti and Gul Agha. Avoiding energy wastage in parallel applications. In Green Computing Conference, 149–163. IEEE, 2010.
  19. Rajesh Kumar Karmani, P Madhusudan, and Brandon Moore. Thread contracts for race-freedom. In Technical Report, Department of Computer Science, University of Illinois at Urbana Champaign. 2010.
  20. Rajesh Kumar Karmani and P Madhusudan. A contract language for race-freedom. In Position Paper, Workshop on Exploiting Concurrency Efficiently and Correctly (EC2) with CAV. 2010.
  21. ShinAe Jang, Hongki Jo, Soojin Cho, Kirill Mechitov, Jennifer Rice, Sung-Han Sim, Hyung-Jo Jung, Chung-Bang Yun, B. F. Spencer, and Gul Agha. Structural health monitoring of a cable-stayed bridge using smart sensor technology: deployment and evaluation. Smart Structures and Systems, 6(5):439–460, 2010.
  22. Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, and Gul Agha. Mutation operators for actor systems. In ICST Workshops, 157–162. IEEE Computer Society, 2010.
  23. Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, and Darko Marinov. Imunit: improved multithreaded unit testing. In 3rd International Workshop on Multicore Software Engineering (IWMSE), co-located with the ACM/IEEE 32nd International Conference on Software Engineering (ICSE). 2010.
  24. Milos Gligoric, Vilas Jagannath, and Darko Marinov. Mutmut: efficient exploration for mutation testing of multithreaded code. In ICST, 55–64. IEEE Computer Society, 2010.
  25. Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov. Test generation through programming in udita. In ICSE (1), 225–234. ACM, 2010.
  26. Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov. Test generation through programming in udita. In ACM/IEEE 32nd International Conference on Software Engineering (ICSE). 2010.
  27. Haris Georgiadis, Minas Charalambides, and Vasilis Vassalos. Efficient physical operators for cost-based xpath execution. In EDBT, volume 426 of ACM International Conference Proceeding Series, 171–182. ACM, 2010.
  28. Soojin Cho, ShinAe Jang, Hongki Jo, Kirill Mechitov, Jennifer Rice, Hyung-Jo Jung, Chung-Bang Yun, B. F. Spencer, Tomonori Nagayama, and Ju-Won Seo. Structural health monitoring system of a cable-stayed bridge using a dense array of scalable smart sensor network. In Proc. SPIE Smart Structures/NDE, vol. 7647. 2010.
  29. Dave Clarke and Gul A. Agha, editors. Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Volume 6116 of Lecture Notes in Computer Science, Springer, 2010.

2009

  1. Sameer Sundresh. Request-based mediated execution. In University of Illinois. 2009.
  2. Koushik Sen. DART: directed automated random testing. In Haifa Verification Conference, volume 6405 of Lecture Notes in Computer Science, 4. Springer, 2009.
  3. Sherin M. Moussa, Mohamed Hashem, and Gul Agha. An agent-based framework for inhabitants' untraceability in ubiquitous environments. In MoMM, 386–390. ACM, 2009.
  4. Sherin M. Moussa, Mohamed H. Abdelaziz, and Gul A. Agha. Integrating encrypted mobile agents with smart homes. In NTMS, 1–5. IEEE, 2009.
  5. Sherin Moussa and Gul Agha. A multi-agent simulator for resource management in smart spaces. In in Proceedings of The International Workshop on Mobile Systems, E-commerce, and Agent Technology (MSEAT'2009), in conjunction with The Second IEEE International Conference on Ubi-media Computing (U-Media'2009), Taiwan, December. 2009.
  6. Steven Lauterburg, Mirco Dotta, Darko Marinov, and Gul A. Agha. A framework for state-space exploration of java-based actor programs. In ASE, 468–479. IEEE Computer Society, 2009.
  7. Vijay Anand Korthikanti and Gul Agha. Analysis of parallel algorithms for energy conservation in scalable multicore architectures. In ICPP, 212–219. IEEE Computer Society, 2009.
  8. Rajesh Kumar Karmani, Nicholas Chen, Bor-Yiing Su, Amin Shali, and Ralph Johnson. Barrier synchronization pattern. In Workshop on Parallel Programming Patterns (ParaPLOP). 2009.
  9. Rajesh K. Karmani, Amin Shali, and Gul Agha. Actor frameworks for the jvm platform: a comparative analysis. In PPPJ, 11–20. ACM, 2009.
  10. Vilas Jagannath, Yun Young Lee, Brett Daniel, and Darko Marinov. Reducing the costs of bounded-exhaustive testing. In FASE, volume 5503 of Lecture Notes in Computer Science, 171–185. Springer, 2009.
  11. Haris Georgiadis, Minas Charalambides, and Vasilis Vassalos. Cost based plan selection for xpath. In SIGMOD Conference, 603–614. ACM, 2009.
  12. Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov. Reassert: suggesting repairs for broken unit tests. In 24th IEEE/ACM International Conference on Automated Software Engineering (ASE). 2009.
  13. Brett Daniel, Vilas Jagannath, Danny Dig, and Darko Marinov. Reassert: suggesting repairs for broken unit tests. In ASE, 433–444. IEEE Computer Society, 2009.
  14. Nicholas Chen, Rajesh Kumar Karmani, Amin Shali, Bor-Yiing Su, and Ralph Johnson. Collective communication patterns. In Workshop on Parallel Programming Patterns (ParaPLOP). 2009.

2008

  1. William Zwicky. Aj: a systems for buildings actors with java. In 2008.
  2. Sameer Sundresh. Communication across levels of abstraction. In Workshop on Event-Based Semantics (WEBS). 2008.
  3. Sergei Shevlyagin, Kirill Mechitov, and Gul Agha. Fault tolerance in actornet. In UIUC Department of Computer Science Undergraduate Research Symposium. 2008.
  4. Jennifer Rice, Kirill Mechitov, B. F. Spencer, and Gul Agha. Flexible smart sensing framework for structural health monitoring. In Proc. US-Korea Workshop on Bio-Inspired Sensor Technology and Infrastructure Monitoring. 2008.
  5. Jennifer Rice, Kirill Mechitov, B. F. Spencer, and Gul Agha. A service-oriented architecture for structural health monitoring using smart sensors. In Proc. 14th World Conference on Earthquake Engineering. 2008.
  6. Tomonori Nagayama, B. F. Spencer, Kirill Mechitov, and Gul Agha. Middleware services for structural health monitoring using smart sensors. In Smart Structures and Systems, vol. 5, no. 2. 2008.
  7. YoungMin Kwon and Gul Agha. Passive localization: large size sensor network localization based on environmental events. In IPSN, 3–14. IEEE Computer Society, 2008.
  8. YoungMin Kwon and Gul Agha. Ltlc: linear temporal logic for control. In HSCC, volume 4981 of Lecture Notes in Computer Science, 316–329. Springer, 2008.
  9. Rajesh Kumar Karmani and Gul Agha. Debugging wireless sensor networks using mobile actors. In RTAS Poster Session. 2008.
  10. MyungJoo Ham and Gul A. Agha. A robust audit mechanism to prevent malicious behaviors in multi-robot systems. In SASO, 35–44. IEEE Computer Society, 2008.
  11. MyungJoo Ham and Gul Agha. Market-based coordination strategies for physical multi-agent systems. SIGBED Review, 5(1):23, 2008.
  12. MyungJoo Ham and Gul Agha. A study of coordinated dynamic market-based task assignment in massively multi-agent systems. In Coordination and Control in Massively Multi-Agent Systems in Massively Multi-Agent Technology of Lecture Notes in Computer Science, Vol. 5043, pp. 43--63. 2008.
  13. Gul Agha. Computing in pervasive cyberspace. Commun. ACM, 51(1):68–70, 2008.
  14. Nadeem Jamali, Paul Scerri, and Toshiharu Sugawara, editors. Massively Multi-Agent Technology, AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006, Honolulu, HI, USA, May 15, 2007, Selected and Revised Papers. Volume 5043 of Lecture Notes in Computer Science, Springer, 2008.

2007

  1. Abhay Vardhan and Mahesh Viswanathan. Learning to verify branching time properties. Formal Methods in System Design, 31(1):35–61, 2007.
  2. Grigore Rosu and Koushik Sen. An instrumentation technique for online analysis of multithreaded programs. Concurrency and Computation: Practice and Experience, 19(3):311–325, 2007.
  3. Reza Razavi, Kirill Mechitov, Gul Agha, and Jean-Francois Perrot. Dynamic macroprogramming of wireless sensor networks with mobile agents. In 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI). 2007.
  4. Reza Razavi, Kirill Mechitov, Gul Agha, and Jean-Francois Perrot. Ambiance: a mobile agent platform for end-user programmable ambient systems. In J.C. Augusto and D. Shapiro (eds.), Advances in Ambient Intelligence, Frontiers in Artificial Intelligence and Applications (FAIA), vol. 164, IOS Press. 2007.
  5. José Meseguer and Prasanna Thati. Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Higher-Order and Symbolic Computation, 20(1-2):123–160, 2007.
  6. Kirill Mechitov, Reza Razavi, and Gul Agha. Architecture design principles to support adaptive service orchestration in wsn applications. SIGBED Review, 4(3):37–42, 2007.
  7. Kirill Mechitov, Reza Razavi, and Gul Agha. Architecture design principles to support adaptive service orchestration in wsn applications. In International Workshop on Wireless Sensor Network Architectures (WWSNA). 2007.
  8. YoungMin Kwon and Gul Agha. A markov reward model for software reliability. In IPDPS, 1–6. IEEE, 2007.
  9. Rick Kazman and Gul Agha. Software technology track introduction. In HICSS, 255. IEEE Computer Society, 2007.
  10. Rajesh K. Karmani, Timo Latvala, and Gul Agha. On scaling multi-agent task reallocation using market-based approach. In SASO, 173–182. IEEE Computer Society, 2007.
  11. MyungJoo Ham and Gul Agha. Market-based coordination strategies for large-scale multi-agent systems. In System and Information Sciences Notes, Vol. 2, No. 1, pp. 126--131). 2007.
  12. Bill Donkervoet and Gul Agha. Reflecting on adaptive distributed monitoring. In Formal Methods for Components and Objects. 2007.
  13. Po-Hao Chang and Gul Agha. Towards context-aware web applications. In DAIS, volume 4531 of Lecture Notes in Computer Science, 239–252. Springer, 2007.
  14. Po-Hao Chang and Gul Agha. Supporting reconfigurable object distribution for customized web applications. In SAC, 1286–1292. ACM, 2007.
  15. Po-Hao Chang and Gul Agha. Supporting reconfigurable object distribution for customized web applications. In The 22nd Annual ACM Symposium on Applied Computing (SAC). 2007.
  16. Gul Agha. Computing with biosensors. In NSF Biosensing and Bioactuation Workshop. 2007.

2006

  1. Abhay Vardhan. Learning to verify systems. In Ph.D. Thesis, Dept. of Computer Science. 2006.
  2. Predrag Tosic. Modeling and analysis of the collective dynamics of large-scale multi-agent systems: a cellular and network automata based approach. In Department of Computer Science Technical Report (based on doctoral dissertation), UIUC. 2006.
  3. Predrag Tosic. Distributed coalition formation for collaborative large-scale multi-agent systems. In M.S. thesis. 2006.
  4. Predrag Tosic. Computational complexity of some enumeration problems about uniformly sparse boolean network automata. In Proceedings of the Second European Conference on Complex Systems (ECCS'06), European Complex Systems Society (15 pages); to appear in September. 2006.
  5. Predrag Tosic. Computational complexity of counting in sparsely networked discrete dynamical systems. In InterJournal, paper #1738, www.interjournal.org. 2006.
  6. Prasanna Thati and José Meseguer. Complete symbolic reachability analysis using back-and-forth narrowing. Theor. Comput. Sci, 366(1-2):163–179, 2006.
  7. Koushik Sen, Mahesh Viswanathan, and Gul Agha. Model-checking markov chains in the presence of uncertainties. In TACAS, volume 3920 of Lecture Notes in Computer Science, 394–410. Springer, 2006.
  8. Koushik Sen and Mahesh Viswanathan. Model checking multithreaded programs with asynchronous atomic methods. In CAV, volume 4144 of Lecture Notes in Computer Science, 300–314. Springer, 2006.
  9. Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. Efficient decentralized monitoring of safety in distributed systems. In Submitted to ACM TOSEM [invited]. 2006.
  10. Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. Decentralized runtime analysis of multithreaded applications. In IPDPS. IEEE, 2006.
  11. Koushik Sen, Grigore Rosu, and Gul Agha. Online efficient predictive safety analysis of multithreaded programs. STTT, 8(3):248–260, 2006.
  12. Koushik Sen and Gul Agha. Cute and jcute: concolic unit testing and explicit path model-checking tools. In CAV, volume 4144 of Lecture Notes in Computer Science, 419–423. Springer, 2006.
  13. Koushik Sen and Gul Agha. Automated systematic testing of open distributed programs. In FASE, volume 3922 of Lecture Notes in Computer Science, 339–356. Springer, 2006.
  14. Koushik Sen and Gul Agha. A race-detection and flipping algorithm for automated testing of multi-threaded programs. In Haifa Verification Conference, volume 4383 of Lecture Notes in Computer Science, 166–182. Springer, 2006.
  15. Koushik Sen. Scalable automated methods for dynamic program analysis. In PhD Dissertation. 2006.
  16. Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, and Jean-François Perrot. Ambiance: adaptive object model-based platform for macroprogramming sensor networks. In OOPSLA Companion, 663–664. ACM, 2006.
  17. Tomonori Nagayama, B. F. Spencer, Gul Agha, and Kirill Mechitov. Model-based data aggregation for structural monitoring employing smart sensors. In 3rd International Conference on Networked Sensing Systems (INSS). 2006.
  18. Kirill Mechitov, WooYoung Kim, Gul Agha, and Tomonori Nagayama. High-frequency distributed sensing for structure monitoring. In Trans. of the Society of Instrument and Control Engineers (SICE), vol. E-S-1, no. 1, pages 109-114. 2006.
  19. YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, and Gul Agha. Actornet: an actor platform for wireless sensor networks. In AAMAS, 1297–1300. ACM, 2006.
  20. YoungMin Kwon and Gul Agha. Scalable modeling and performance evaluation of wireless sensor networks. In IEEE Real Time Technology and Applications Symposium, 49–58. IEEE Computer Society, 2006.
  21. YoungMin Kwon. Probabilistic modeling and verification of large scale systems. In Technical Report, UIUCDCS-R-2006-2687, Department of Computer Science, University of Illinois at Urbana Champaign. 2006.
  22. Myeong-Wuk Jang and 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.
  23. Myeong-Wuk Jang. Efficient communication and coordination for large-scale multi-agent systems. In Ph.D. Dissertation. 2006.
  24. MyungJoo Ham and Gul A. Agha. A study of coordinated dynamic market-based task assignment in massively multi-agent systems. In MMAS/LSMAS/CCMMS, volume 5043 of Lecture Notes in Computer Science, 43–63. Springer, 2006.
  25. Bill Donkervoet and Gul Agha. Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoring. In FMCO, volume 4709 of Lecture Notes in Computer Science, 246–265. Springer, 2006.
  26. Liping Chen and Gul Agha. State aware data dissemination over structured overlays. In Peer-to-Peer Computing, 145–152. IEEE Computer Society, 2006.
  27. Po-Hao Chang and Gul Agha. Supporting reconfigurable object distribution for customizable web applications. In OTM Workshops (1), volume 4277 of Lecture Notes in Computer Science, 32–33. Springer, 2006.
  28. Gul A. Agha, José Meseguer, and Koushik Sen. Pmaude: rewrite-based specification language for probabilistic object systems. Electr. Notes Theor. Comput. Sci, 153(2):213–239, 2006.
  29. Gul Agha. Track introduction. In HICSS. IEEE Computer Society, 2006.

2005

  1. Li Yin, Sandeep Uttamchandani, John Palmer, Randy H. Katz, and Gul A. Agha. Autoloop: automated action selection in the "observe-analyze-act" loop for storage systems. In POLICY, 129–138. IEEE Computer Society, 2005.
  2. Li Yin, Sandeep Uttamchandani, John Palmer, Randy Katz, and Gul Agha. Autoloop: automated action selection in the. In 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05),. 2005.
  3. Abhay Vardhan and Mahesh Viswanathan. Learning to verify branching time properties. In ASE, 325–328. ACM, 2005.
  4. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, and Gul Agha. Using language inference to verify omega-regular properties. In TACAS, volume 3440 of Lecture Notes in Computer Science, 45–60. Springer, 2005.
  5. Sandeep Uttamchandani, Xiaoxin Yin, John Palmer, and Gul A. Agha. Monitormining: creating domain knowledge for system automation using a gray-box approach. In Integrated Network Management, 61–74. IEEE, 2005.
  6. Sandeep Uttamchandani, Li Yin, John Palmer, Randy Katz, and Gul Agha. Model-based automation of the observe-analyze-act loop: will it become a reality?. In position paper submitted for review. 2005.
  7. Sandeep Uttamchandani, Li Yin, Guillermo A. Alvarez, John Palmer, and Gul A. Agha. Chameleon: a self-evolving, fully-adaptive resource arbitrator for storage systems. In USENIX Annual Technical Conference, General Track, 75–88. USENIX, 2005.
  8. Sandeep Uttamchandani, Li Yin, Guillermo Alvarez, John Palmer, and Gul Agha. Chameleon: a self-evolving, fully-adaptive resource arbitrator for storage systems. In To Appear in the Proceedings of the 2005 USENIX Technical Conference, Anaheim, CA, April. 2005.
  9. Predrag T. Tosic and Gul A. Agha. On computational complexity of counting fixed points in symmetric boolean graph automata. In UC, volume 3699 of Lecture Notes in Computer Science, 191–205. Springer, 2005.
  10. Predrag T. Tosic and Gul A. Agha. Computational complexity of predicting some properties of large-scale agent ensembles' dynamical evolution. In EUMAS, 415–426. Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten, 2005.
  11. Predrag Tosic and Gul Agha. Parallel vs. sequential threshold cellular automata: comparison and contrast. In Proceedings of the First European Conference on Complex Systems ECCS '05 (CD-Rom), European Complex Systems Society; held in Paris, France, November 14-18. 2005.
  12. Predrag Tosic and Gul Agha. On parallel vs. sequential threshold cellular automata. In (to become) Department of Computer Science Technical Report, University of Illinois at Urbana-Champaign, Spring. 2005.
  13. Predrag Tosic and Gul Agha. On computational complexity of predicting dynamical evolution of large agent ensembles. In Proceedings of the Third European Workshop on Multi-Agent Systems EUMAS '05, pp. 415-426, Flemish Academy of Sciences; held in Brussels, Belgium, December 7-8. 2005.
  14. Predrag Tosic and Gul Agha. Maximal clique based distributed coalition formation for task allocation in large-scale multi-agent systems. In MMAS'04 Post-Proceedings, Springer-Verlag LNAI series, vol. 3446, pp. 104-120. 2005.
  15. Predrag Tosic. Cellular automata for distributed computing: models of agent interaction and their implications. In IEEE Int'l Conf. on Systems, Man and Cybernetics SMC'05 (CD-Rom); held in Waikoloa, The Big Island of Hawaii, October 10-12. 2005.
  16. Prasanna Thati and Grigore Rosu. Monitoring algorithms for metric temporal logic specifications. Electr. Notes Theor. Comput. Sci, 113:145–162, 2005.
  17. Prasanna Thati and José Meseguer. Complete symbolic reachability analysis using back-and-forth narrowing. In CALCO, volume 3629 of Lecture Notes in Computer Science, 379–394. Springer, 2005.
  18. Sameer Sundresh, YoungMin Kwon, Kirill Mechitov, WooYoung Kim, and Gul Agha. Localization of sparse sensor networks using layout information. In Technical Report UIUCDCS-R-2005-2525, Department of Computer Science, University of Illinois at Urbana-Champaign. 2005.
  19. Koushik Sen, Mahesh Viswanathan, and Gul A. Agha. Vesta: a statistical model-checker and analyzer for probabilistic systems. In QEST, 251–252. IEEE Computer Society, 2005.
  20. Koushik Sen, Mahesh Viswanathan, and Gul Agha. On statistical model checking of stochastic systems. In CAV, volume 3576 of Lecture Notes in Computer Science, 266–280. Springer, 2005.
  21. Koushik Sen, Grigore Rosu, and Gul Agha. Detecting errors in multithreaded programs by generalized predictive analysis of executions. In FMOODS, volume 3535 of Lecture Notes in Computer Science, 211–226. Springer, 2005.
  22. Koushik Sen, Darko Marinov, and Gul Agha. Cute: a concolic unit testing engine for c. In ESEC/SIGSOFT FSE, 263–272. ACM, 2005.
  23. José Meseguer and Prasanna Thati. Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. Electr. Notes Theor. Comput. Sci, 117:153–182, 2005.
  24. YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, and Gul Agha. Actornet: an actor platform for wireless sensor networks. In Technical Report UIUCDCS-R-2005-2595, Department of Computer Science, University of Illinois at Urbana-Champaign. 2005.
  25. YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, and Gul A. Agha. Resilient localization for sensor networks in outdoor environments. In ICDCS, 643–652. IEEE Computer Society, 2005.
  26. YoungMin Kwon and Gul A. Agha. Iltlchecker: a probabilistic model checker for multiple dtmcs. In QEST, 245–246. IEEE Computer Society, 2005.
  27. WooYoung Kim, Kirill Mechitov, Jeung-Yoon Choi, and Soo Kyung Ham. On target tracking with binary proximity sensors. In IPSN, 301–308. IEEE, 2005.
  28. Myeong-Wuk Jang and Gul Agha. Scalable agent distribution mechanisms for large-scale uav simulations. In The International Conference of Integration of Knowledge Intensive Multi-Agent Systems KIMAS '05: Scalable Agents Session, pp. 85-90, April 18-21, Waltham, Massachusetts. 2005.
  29. MyungJoo Ham and Gul Agha. Ara: a robust audit to prevent free-riding in p2p networks. In Peer-to-Peer Computing, 125–132. IEEE Computer Society, 2005.
  30. Patrice Godefroid, Nils Klarlund, and Koushik Sen. DART: directed automated random testing. In PLDI, 213–223. ACM, 2005.
  31. Santiago Escobar, José Meseguer, and Prasanna Thati. Natural narrowing for general term rewriting systems. In RTA, volume 3467 of Lecture Notes in Computer Science, 279–293. Springer, 2005.
  32. Christo Frank Devaraj, Indranil Gupta, Mahwish Nagda, and Gul A. Agha. An underlay for sensor networks: localized protocols for maintenance and usage. In MASS. IEEE, 2005.
  33. Liping Chen, K. Selçuk Candan, Jun'ichi Tatemura, Divyakant Agrawal, and Dirceu Cavendish. On overlay schemes to support point-in-range queries for scalable grid resource discovery. In Peer-to-Peer Computing, 23–30. IEEE Computer Society, 2005.
  34. Liping Chen, K. Selçuk Candan, Jun'ichi Tatemura, Divyakant Agrawal, and Dirceu Cavendish. Dht overlay schemes for scalable p-range resource discovery. In HPDC, 297–298. IEEE, 2005.
  35. Tom Brown. Decentralized coordination with crash failures. In 2005.
  36. Irma Becerra-Fernandez, Te Wei Wang, and Gul A. Agha. Actor model and knowledge management systems: social interaction as a framework for knowledge integration. In Wissensmanagement, 19–29. DFKI, Kaiserslautern, 2005.
  37. Irma Becerra-Fernandez, Te Wei Wang, Gul Agha, and Thant Sin. Actor model and knowledge management systems: social interaction as a framework for knowledge integration. In Wissensmanagement (LNCS Volume), volume 3782 of Lecture Notes in Computer Science, 19–31. Springer, 2005.
  38. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, and Richard Washington. Combining test case generation and runtime verification. Theor. Comput. Sci, 336(2-3):209–234, 2005.
  39. Amr Ahmed, Abhilash Patel, Tom Brown, MyungJoo Ham, Myeong-Wuk Jang, and Gul Agha. Task assignment for a physical agent team via a dynamic forward/reverse auction mechanism. In The International Conference of Integration of Knowledge Intensive Multi-Agent Systems KIMAS '05: Modeling, Evolutions and Engineering, pp. 311-317, April 18 - 21. 2005.
  40. Gul Agha, Jose Meseguer, and Koushik Sen. Pmaude: rewrite-based specification language for probabilistic object systems. In 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL 05). 2005.
  41. Gul Agha, Carl Gunter, Michael Greenwald, Sanjeev Khanna, Jose Meseguer, Koushik Sen, and Prasanna Thati. Formal modeling and analysis of dos using probabilistic rewrite theories. In Foundations of Computer Security (FCS). 2005.
  42. Gul Agha. Software technology track. In HICSS. IEEE Computer Society, 2005.

2004

  1. Wen-tau Yih, Po-Hao Chang, and WooYoung Kim. Mining online deal forums for hot deals. In Web Intelligence, 384–390. IEEE Computer Society, 2004.
  2. Nalini Venkatasubramanian, Carolyn L. Talcott, and Gul Agha. A formal model for reasoning about adaptive qos-enabled middleware. ACM Trans. Softw. Eng. Methodol, 13(1):86–147, 2004.
  3. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, and Gul Agha. Learning to verify safety properties. In ICFEM, volume 3308 of Lecture Notes in Computer Science, 274–289. Springer, 2004.
  4. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, and Gul Agha. Actively learning to verify safety for fifo automata. In FSTTCS, volume 3328 of Lecture Notes in Computer Science, 494–505. Springer, 2004.
  5. Sandeep Uttamchandani, Kaladhar Voruganti, Sudarshan M. Srinivasan, John Palmer, and David Pease. Polus: growing storage qos management beyond a "4-year old kid". In FAST, 31–44. USENIX, 2004.
  6. Sandeep Uttamchandani, Guillermo A. Alvarez, and Gul Agha. Decisionqos: an adaptive, self-evolving qos arbitration module for storage systems. In POLICY, 67–76. IEEE Computer Society, 2004.
  7. Sandeep Uttamchandani. Polus: a declarative self-refining approach for dynamic system management. In PhD Prelims Report (in progress). 2004.
  8. Predrag T. Tosic and Gul A. Agha. Towards a hierarchical taxonomy of autonomous agents. In SMC (4), 3421–3426. IEEE, 2004.
  9. Predrag T. Tosic and Gul A. Agha. Maximal clique based distributed coalition formation for task allocation in large-scale multi-agent systems. In MMAS, volume 3446 of Lecture Notes in Computer Science, 104–120. Springer, 2004.
  10. Predrag T. Tosic and Gul Agha. Concurrency vs. sequential interleavings in 1-d threshold cellular automata. In IPDPS. IEEE Computer Society, 2004.
  11. Predrag T. Tosic and Gul Agha. Characterizing configuration spaces of simple threshold cellular automata. In ACRI, volume 3305 of Lecture Notes in Computer Science, 861–870. Springer, 2004.
  12. Predrag Tosic and Gul Agha. Maximal clique based distributed group formation for autonomous agent coalitions. In Coalitions and Teams Workshop (W10), within The Third Int'l Joint Conf. on Agents & Multi Agent Systems (AAMAS '04), Columbia University, New York City, USA. 2004.
  13. Predrag Tosic and Gul Agha. Concurrency vs. sequential interleavings in 1-d threshold cellular automata. In Proc. IEEE - IPDPS '04 (APDCM Workshop), Santa Fe, New Mexico, USA, April 26-30. 2004.
  14. Prasanna Thati and Mahesh Viswanathan. Verification of asynchronous systems with unbounded and unordered message buffers. In International Workshop on Automated Verification of Infinite State Systems (AVIS). 2004.
  15. Prasanna Thati, Carolyn L. Talcott, and Gul Agha. Techniques for executing and reasoning about specification diagrams. In AMAST, volume 3116 of Lecture Notes in Computer Science, 521–536. Springer, 2004.
  16. Sameer Sundresh, WooYoung Kim, and Gul Agha. Sens: a sensor, environment and network simulator. In Annual Simulation Symposium, 221–228. IEEE Computer Society, 2004.
  17. Koushik Sen, Mahesh Viswanathan, and Gul Agha. Statistical model checking of black-box probabilistic systems. In CAV, volume 3114 of Lecture Notes in Computer Science, 202–215. Springer, 2004.
  18. Koushik Sen, Mahesh Viswanathan, and Gul Agha. Learning continuous time markov chains from sample executions. In QEST, 146–155. IEEE Computer Society, 2004.
  19. Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. On specifying and monitoring epistemic properties of distributed systems. In In 2nd International Workshop on Dynamic Analysis (WODA'04), Satellite workshop of ICSE 2004, pages 32-35. British Institution of Electrical Engineers (IEE), May 2004. 2004.
  20. Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu. Efficient decentralized monitoring of safety in distributed systems. In ICSE, 418–427. IEEE Computer Society, 2004.
  21. Koushik Sen, Grigore Rosu, and Gul Agha. Online efficient predictive safety analysis of multithreaded programs. In TACAS, volume 2988 of Lecture Notes in Computer Science, 123–138. Springer, 2004.
  22. Grigore Rosu and Koushik Sen. An instrumentation technique for online analysis of multithreaded programs. In IPDPS. IEEE Computer Society, 2004.
  23. Abhilash Patel. A swapping mechanism for dynamic task assignment in multi-agent systems. In Master's thesis. 2004.
  24. Prasad Naldurg, Koushik Sen, and Prasanna Thati. A temporal logic based framework for intrusion detection. In FORTE, volume 3235 of Lecture Notes in Computer Science, 359–376. Springer, 2004.
  25. Tomonori Nagayama, Manuel Ruiz Sandoval, B. F. Spencer, Kirill Mechitov, and Gul Agha. Wireless strain sensor development for civil infrastructure. In First International Workshop on Networked Sensing Systems (INSS), pages 97-100. 2004.
  26. Sherin Moussa. Hybrid techniques for performance enhancement of document clustering. In MSc. Thesis, Faculty of Computer and Information Sciences, Ain Shams University, Egypt, March. 2004.
  27. Kirill Mechitov, WooYoung Kim, Gul Agha, and Tomonori Nagayama. High-frequency distributed sensing for structure monitoring. In First International Workshop on Networked Sensing Systems (INSS), pages 101-104. 2004.
  28. Soham Mazumdar. Fast range queries using pre-aggregated in-network storage. In Masters' thesis. 2004.
  29. YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, and Gul Agha. Resilient localization for sensor networks in outdoor environments. In Technical Report UIUCDCS-R-2004-2449, Department of Computer Science, University of Illinois at Urbana Champaign. 2004.
  30. YoungMin Kwon and Gul Agha. Linear inequality ltl (iltl): a model checker for discrete time markov chains. In ICFEM, volume 3308 of Lecture Notes in Computer Science, 194–208. Springer, 2004.
  31. WooYoung Kim and Alan H. Karp. Customizable description and dynamic discovery for web services. In ACM Conference on Electronic Commerce, 142–151. ACM, 2004.
  32. Myeong-Wuk Jang, Amr Ahmed Momen, and Gul Agha. Efficient agent communication in multi-agent systems. In SELMAS, volume 3390 of Lecture Notes in Computer Science, 236–253. Springer, 2004.
  33. Myeong-Wuk Jang, Amr Abdel Momen, and Gul Agha. Atspace: a middle agent to support application oriented matchmaking and brokering services. In IAT, 393–396. IEEE Computer Society, 2004.
  34. Myeong-Wuk Jang, Amr Ahmed, and Gul Agha. A flexible coordination framework for application-oriented matchmaking and brokering services. In Technical Report UIUCDCS-R-2004-2430, Department of Computer Science, University of Illinois at Urbana-Champaign, April. 2004.
  35. Myeong-Wuk Jang and Gul Agha. On efficient communication and service agent discovery in multi-agent systems. In Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS '04), pp. 27-33, Edinburgh, Scotland, May 24-25. 2004.
  36. Myeong-Wuk Jang and Gul Agha. Dynamic agent allocation for large-scale multi-agent applications. In International Workshop on Massively Multi-Agent Systems, pp. 19-33, Kyoto, Japan, December 10-11. 2004.
  37. Myeong-Wuk Jang and Gul Agha. Adaptive agent allocation for massively multi-agent applications. In MMAS, volume 3446 of Lecture Notes in Computer Science, 25–39. Springer, 2004.
  38. Nadeem Jamali, Indratmo, Xinghui Zhao, and Gul Agha. Decentralized resource control for multi-agent systems. In AAMAS, 1366–1367. IEEE Computer Society, 2004.
  39. Santiago Escobar, José Meseguer, and Prasanna Thati. Natural rewriting for general term rewriting systems. In LOPSTR, volume 3573 of Lecture Notes in Computer Science, 101–116. Springer, 2004.
  40. Po-Hao Chang, WooYoung Kim, and Gul Agha. An adaptive programming framework for web applications. In SAINT, 152–159. IEEE Computer Society, 2004.
  41. Po-Hao Chang. An adaptive distributed object framework for the web. In The combined 14th Workshop for PhD Students in Object-Oriented Systems and Doctoral Symposium. 2004.
  42. Howard Barringer, Allen Goldberg, Klaus Havelund, and Koushik Sen. Rule-based runtime verification. In VMCAI, volume 2937 of Lecture Notes in Computer Science, 44–57. Springer, 2004.
  43. Howard Barringer, Allen Goldberg, Klaus Havelund, and Koushik Sen. Program monitoring with ltl in eagle. In IPDPS. IEEE Computer Society, 2004.
  44. Gul Agha and Carlos A. Varela. Worldwide computing middleware. In CRC Practical Handbook on Internet Computing, Editor: M. Singh, Invited Chapter. 2004.
  45. Gul Agha and Prasanna Thati. An algebraic theory of actors and its application to a simple object-based language. In Essays in Memory of Ole-Johan Dahl, volume 2635 of Lecture Notes in Computer Science, 26–57. Springer, 2004.
  46. Gul Agha. Software technology track introduction. In HICSS. IEEE Computer Society, 2004.

2003

  1. Reza Ziaei and Gul Agha. Synchnet: a petri net based coordination language for distributed objects. In GPCE, volume 2830 of Lecture Notes in Computer Science, 324–343. Springer, 2003.
  2. William Wendling. Thal++: a concurrent language for the thal runtime system. In 2003.
  3. Sandeep Uttamchandani, Carolyn L. Talcott, and David Pease. Eos: an approach of using behavior implications for policy-based self-management. In DSOM, volume 2867 of Lecture Notes in Computer Science, 16–27. Springer, 2003.
  4. Predrag Tosic, Myeong-Wuk Jang, Smitha Reddy, Joshua Chia, Liping Chen, and Gul Agha. Modeling a system of uavs on a mission. In Proc. 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI '03), pp. 508-514, July 27-30. 2003.
  5. Predrag Tosic and Gul Agha. Understanding and modeling agent autonomy in dynamic multi-agent, multi-task environments. In Proc. First European Workshop on Multi-Agent Systems (EUMAS '03) (Day 2, Panel 2 section), Oxford, England (UK), December 18-19. 2003.
  6. Predrag Tosic and Gul Agha. Simple genetic algorithms for pattern learning: the role of crossovers. In 5th Int'l Workshop on Frontiers in Evolutionary Algorithms (FEA'03), in Proc. Joint Conference on Information Systems, September 26-30. 2003.
  7. Prasanna Thati. A theory of testing for asynchronous concurrent systems. In Phd Dissertation, University of Illinois at Urbana Champaign, October. 2003.
  8. Sameer Sundresh, Gul Agha, Kirill Mechitov, WooYoung Kim, and YoungMin Kwon. Coordination services for wireless sensor networks. In International Workshop on Advanced Sensors, Structural Health Monitoring and Smart Structures. 2003.
  9. Koushik Sen, Grigore Rosu, and Gul Agha. Runtime safety analysis of multithreaded programs. In ESEC / SIGSOFT FSE, 337–346. ACM, 2003.
  10. Koushik Sen, Grigore Rosu, and Gul Agha. Generating optimal linear temporal logic monitors by coinduction. In ASIAN, volume 2896 of Lecture Notes in Computer Science, 260–275. Springer, 2003.
  11. Koushik Sen and Grigore Rosu. Generating optimal monitors for extended regular expressions. Electr. Notes Theor. Comput. Sci, 89(2):226–245, 2003.
  12. Koushik Sen. Predictive safety analysis of concurrent programs. In Master's thesis, Supervisor Gul Agha, University of Illinois at Urbana-Champaign, May. 2003.
  13. Prasenjit Sarkar, Sandeep Uttamchandani, and Kaladhar Voruganti. Storage over ip: when does hardware support help?. In FAST. USENIX, 2003.
  14. Akhil Sahai, Sven Graupner, and WooYoung Kim. Web services. In Hossein Bidgoli (ed.), The Internet Encyclopedia, vol. 3. The John Wiley and Sons, Inc. 2003.
  15. Sherin Moussa. The effect of word sampling on document clustering. In WSEAS Transactions on Computers, Volume 2, Issue 1, pages 157-162. January. 2003.
  16. Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, and Gul Agha. Cooperative tracking with binary-detection sensor networks. In SenSys, 332–333. ACM, 2003.
  17. Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, and Gul Agha. Cooperative tracking with binary-detection sensor networks. In Technical Report UIUCDCS-R-2003-2379, Department of Computer Science, University of Illinois at Urbana-Champaign. 2003.
  18. Nirman Kumar, Koushik Sen, José Meseguer, and Gul Agha. A rewriting based model for probabilistic distributed object systems. In FMOODS, volume 2884 of Lecture Notes in Computer Science, 32–46. Springer, 2003.
  19. Prasanna V. Krishnan, Lui Sha, and Kirill Mechitov. Reliable upgrade of group communication software in sensor networks. In First IEEE International Workshop on Sensor Network Protocols and Applications (SNPA), pages 82-92. 2003.
  20. Myeong-Wuk Jang, Smitha Reddy, Predrag Tosic, Liping Chen, and Gul Agha. An actor-based simulation for studying uav coordination. In 15th European Simulation Symposium (ESS 2003), pp. 593-601, Delft, The Netherlands, October 26-29. 2003.
  21. Nadeem Jamali and Gul Agha. Cyberorgs: a model for decentralized resource control in multi agent systems. In Proceedings of Workshop on Representations and Approaches for Time-Critical Decentralized Resource/Role/Task Allocation, at the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 03), Melbourne, Australia, July. 2003.
  22. Hui Ding, Can Zheng, Lui Sha, and Gul Agha. Specification and validation of fault-tolerant software architectures based on actor model. In SEKE, 458–466. 2003.
  23. Hui Ding, Can Zheng, Gul Agha, and Lui Sha. Automated verification of the dependability of object-oriented real-time systems. In WORDS Fall, 171–178. IEEE Computer Society, 2003.
  24. Amr Ahmed and Nevin Darwish. Gtpot-rl for multiagent teamwork. In Journal of Engineering and Applied Science, Vol 50, No 3, June 2003, pp. 537-552. 2003.
  25. Gul Agha, WooYoung Kim, YoungMin Kwon, Kirill Mechitov, and Sameer Sundresh. Evaluation of localization services (preliminary report). In DARPA NEST Program. 2003.

2002

  1. Abhay Vardhan and Gul Agha. Using passive object garbage collection algorithms for garbage collection of active objects. In MSP/ISMM, 213–220. ACM, 2002.
  2. Sandeep Uttamchandani and Gul Agha. Wapsec: a personalized security architecture for wap. In 2nd Asian International Mobile Computing Conference 2002 (AMOC 2002). 2002.
  3. Sandeep Uttamchandani. Storageagent: an agent-based approach for dynamic resource sharing in a storage service. In 1st USENIX Conference on File and Storage Technologies (FAST '02) (Work-In-Progress). 2002.
  4. Prasannaa Thati, Reza Ziaei, and Gul Agha. A theory of may testing for asynchronous calculi with locality and no name matching. In AMAST, volume 2422 of Lecture Notes in Computer Science, 223–238. Springer, 2002.
  5. Prasannaa Thati, Reza Ziaei, and Gul Agha. A theory of may testing for actors. In FMOODS, volume 209 of IFIP Conference Proceedings, 147–162. Kluwer, 2002.
  6. Prasanna Thati, Koushik Sen, and Narciso Martí-Oliet. An executable specification of asynchronous pi-calculus semantics and may testing in maude 2.0. Electr. Notes Theor. Comput. Sci, 71:261–281, 2002.
  7. Koushik Sen and Gul Agha. Thin middleware for ubiquitous computing. In Process Coordination and Ubiquitous Computing, CRC Press. 2002.
  8. Sherin Moussa. Determining initial starting conditions for documents clustering. In In Proceedings, 1st International Conference on Intelligent Computing and Information Systems (ICICIS 2002) , pages 275-283. Cairo, June. 2002.
  9. Sherin Moussa. Analysis of documents clustering using sampled agglomerative technique. In In Proceedings, 12th International Conference on Computer Theory and Applications, (ICCTA'2002) , pages 193-197. Alexandria, August. 2002.
  10. Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, Dan Lambright, and Franco Travostino. Case studies in security and resource management for mobile object systems. Autonomous Agents and Multi-Agent Systems, 5(1):45–79, 2002.
  11. Tat-Seng Chua, Liping Chen, and Jihua Wang. Stratification approach to modeling video. Multimedia Tools Appl, 16(1):79–97, 2002.
  12. Amr Ahmed. Reinforcement learning for multi-agent teamwork. In MSc. thesis, Faculty of Engineering, Cairo University, Egypt, August. 2002.
  13. Gul Agha. Introduction. Commun. ACM, 45(6):30–32, 2002.

2001

  1. Jihua Wang, Tat Seng Chua, and Liping Chen. Cinematic-based model for scene boundary detection. In Multimedia Modeling'2001, Amsterdam, Netherlands, Nov. 2001.
  2. Nalini Venkatasubramanian, Carolyn L. Talcott, and Gul Agha. A formal model for reasoning about adaptive qos-enabled middleware. In FME, volume 2021 of Lecture Notes in Computer Science, 197–221. Springer, 2001.
  3. Carlos A. Varela and Gul Agha. Programming dynamically reconfigurable open systems with salsa. SIGPLAN Notices, 36(12):20–34, 2001.
  4. Sandeep Uttamchandani. Customizable security architectures. In Masters thesis (Advisor: Gul Agha). 2001.
  5. Prasannaa Thati, Po-Hao Chang, and Gul Agha. Crawlets: agents for high performance web search engines. In Mobile Agents, volume 2240 of Lecture Notes in Computer Science, 119–134. Springer, 2001.
  6. Prasanna Thati. Towards an algebriac formulation of actors. In Masters Thesis. 2001.
  7. Liping Chen and Tat-Seng Chua. A match and tiling approach to content-based video retrieval. In ICME. IEEE Computer Society, 2001.
  8. Mark Astley, Daniel C. Sturman, and Gul Agha. Customizable middleware for modular distributed software. Commun. ACM, 44(5):99–107, 2001.
  9. Gul Agha, Prasanna Thati, and Reza Ziaei. Actors: a model for reasoning about open distributed systems. In Formal methods for distributed processing: a survey of object-oriented approaches. 2001.
  10. Gul Agha and Prasanna Thati. Actors: a model for reasoning about open distributed systems. In in H. Bowman and J. Derrick (editors), Formal Methods for Distributed Processing - An Object Oriented Approach, Chap. 8, Cambridge University Press. 2001.
  11. Gul Agha, Nadeem Jamali, and Carlos A. Varela. Agent naming and coordination: actor based models and infrastructures. In Coordination of Internet Agents: Models, Technologies, and Applications, pages 225–246. 2001.
  12. Gul Agha. The world wide computer: prospects for parallel and distributed computing on the web. In CCGRID, 18. IEEE Computer Society, 2001.
  13. Gul Agha, Fiorella de Cindio, and Grzegorz Rozenberg, editors. Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets. Volume 2001 of Lecture Notes in Computer Science, Springer, 2001.

2000

  1. Sven Graupner, WooYoung Kim, Dmitry Lenkov, and Akhil Sahai. E-speak -- and enabling infrastructure for web-based e-services. In the proceedings of SSGRR 2000. 2000.
  2. Gul Agha. Object oriented architectures, tools, and applications. In Euro-Par, volume 1900 of Lecture Notes in Computer Science, 1029–1030. Springer, 2000.

1999

  1. Nalini Venkatasubramanian, Gul Agha, and Carolyn Talcott. A metaobject framework for qos-based distributed resource management. In Third International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE '99), December. 1999.
  2. Carlos A. Varela and Gul Agha. A hierarchical model for coordination of concurrent activities. In COORDINATION, volume 1594 of Lecture Notes in Computer Science, 166–182. Springer, 1999.
  3. Brian Nielsen and Gul Agha. Towards reusable real-time objects. Ann. Software Eng, 7:257–282, 1999.
  4. Nadeem Jamali, Prasanna Thati, and Gul Agha. An actor-based architecture for customizing and controlling agent ensembles. In IEEE Intelligent Systems, vol. 14, no. 2, April. 1999.
  5. Tat Seng Chua, Liping Chen, and Mohan Kankanhalli. Stratification approach to modeling video. In Multimedia Modeling'1999, Ottawa, Canada, Oct. 1999.
  6. Mark Astley. Customization and composition of distributed objects: policy management in distributed software architectures. In PhD Thesis, University of Illinois at Urbana-Champaign. 1999.
  7. Gul A. Agha and WooYoung Kim. Actors: a unifying model for parallel and distributed computing. Journal of Systems Architecture, 45(15):1263–1277, 1999.
  8. Gul Agha and Reza Ziaei. Security and fault-tolerance in distributed systems: an actor based approach. In in P. Amman et al. (eds.), Computer Security, Dependability, and Assurance, From Needs to Solutions, pp. 72-88, IEEE Computer Society. 1999.
  9. Gul Agha and WooYoung Kim. Unifying parallel and distributed computation: an actor-based approach. In Journal of Systems Architecture. 1999.
  10. Gul Agha and Nadeem Jamali. Concurrent programming for distributed artificial intelligence. In in G. Weiss (Editor), Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, Chap. 12, pp 505-534, MIT Press. 1999.

1998

  1. Nalini Venkatasubramanian. Resource management in open distributed systems with applications to distributed multimedia. In University of Illinois at Urbana-Champaign. 1998.
  2. Carlos A. Varela and Gul Agha. What after java? from objects to actors. Computer Networks, 30(1-7):573–577, 1998.
  3. Abhay Vardhan and P. L. Dhar. A new procedure for performance prediction of air conditioning coils. In International Journal of Refrigeration , Volume:21, Issue: 1, pp. 77-83. 1998.
  4. Abhay Vardhan. Distributed garbage collection of active objects: a transformation and its applications to java programming. In MS Thesis, University of Illinois. 1998.
  5. Shangping Ren and Gul Agha. A modular approach for programming embedded systems. In in Frits Vaandrager and Grzegorz Rozenberg (editors), Embedded Systems, Lecture Notes in Computer Science, vol. 1494, pp 170-207, Springer-Verlag. 1998.
  6. Brian Nielsen, Shangping Ren, and Gul Agha. Specification of real-time interaction constraints. In ISORC, 206–214. IEEE Computer Society, 1998.
  7. Dejan S. Milojicic, Gul Agha, Philippe Bernadat, Deepika Chauhan, Shai Guday, Nadeem Jamali, and Dan Lambright. Case studies in security and resource management for mobile objects. In ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, 306. Springer, 1998.
  8. WooYoung Kim and Gul Agha. Parallel programming and complexity analysis using actors. In in Proceedings of the Third International Working Conference on Massively Parallel Programming Models (MPPM '97). 1998.
  9. Rachid Guerraoui and Gul Agha. Editorial - high availability in corba. TAPOS, 4(2):71, 1998.
  10. Mark Astley and Gul Agha. Modular construction and composition of distributed software architectures. In PDSE, 2–12. 1998.
  11. Mark Astley and Gul Agha. Customizaton and compositon of distributed objects: middleware abstractions for policy management. In SIGSOFT FSE, 1–9. ACM, 1998.
  12. Gul Agha, Mark Astley, Jamil A. Sheikh, and Carlos A. Varela. Modular heterogeneous system development: a critical analysis of java. In Heterogeneous Computing Workshop, 144–155. 1998.

1997

  1. Nalini Venkatasubramanian and Gul Agha. An actor based framework for managing multimedia qos. In Proceedings of the 3rd International Workshop on Multimedia Information Systems (MISC '97), Como, Italy, pp 54-62, September. 1997.
  2. Shangping Ren and Gul Agha. Source code level infeasibility detection on declarative timing constraints specified with rtsynchronizers. In ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, pp 1-10. 1997.
  3. Shangping Ren. An actor-based framework for real-time coordination. In PhD thesis, University of Illinois at Urbana-Champaign. 1997.
  4. WooYoung Kim. Thal: an actor system for efficient and scalable concurrent computing. In Ph.D. Thesis, University of Illinois at Urbana-Champaign. 1997.
  5. Gul Agha and Stefano Russo. Workshop on software engineering for parallel and distributed systems. In ICSE, 678. ACM, 1997.
  6. Gul Agha, Ian A. Mason, Scott F. Smith, and Carolyn L. Talcott. A foundation for actor computation. J. Funct. Program, 7(1):1–72, 1997.
  7. Gul Agha. Abstracting interaction patterns: a programming paradigm for open distributed systems. In in Elie Najm and Jean-Bernard Stefani (editors), Formal Methods for Open Object-Based Distributed Systems, pp 135-153, Chapman and Hall (on behalf of the International Federation for Information Processing). 1997.

1996

  1. Daniel Sturman. Modular specification of interaction policies in distributed computing. In PhD thesis, University of Illinois at Urbana-Champaign. 1996.
  2. Masahiko Saito and Gul Agha. A modular approach to real-time synchronization. OOPS Messenger, 7(1):13–20, 1996.
  3. Shangping Ren, Gul Agha, and Masahiko Saito. A modular approach to programming distributed real-time systems. J. Parallel Distrib. Comput, 36(1):4–12, 1996.
  4. Shangping Ren and Gul Agha. A modular approach for programming embedded systems. In European Educational Forum: School on Embedded Systems, volume 1494 of Lecture Notes in Computer Science, 170–207. Springer, 1996.
  5. Rajendra Panwar, WooYoung Kim, and Gul Agha. Parallel implementations of irregular problems using high-level actor language. In IPPS, 857–862. IEEE Computer Society, 1996.
  6. Brian Nielsen and Gul Agha. Semantics for an actor-based real-time language. In in Proceedings of the Fourth International Workshop on Parallel and Distributed Real-Time Systems, pp 223-228, IEEE Computer Society. 1996.
  7. WooYoung Kim, Rajendra Panwar, and Gul Agha. Efficient compilation of call/return communication for actor-based programming languages. In Third International Conference on High Performance Computing, pp 62-67, Trivendarum, India, IEEE Computer Society. 1996.
  8. Svend Frølund and Gul Agha. Abstracting interactions based on message sets. In in Object-Based Models and Languages for Concurrent Systems, Lecture Notes in Computer Science, vol. 924, pp 107-124, Springer Verlag. 1996.
  9. Mark Astley and Gul Agha. A visualization model for concurrent systems. Inf. Sci, 93(1):107–131, 1996.
  10. Mark Astley. Online event-based visualization for distributed systems. In Masters Thesis, University of Illinois at Urbana-Champaign. 1996.
  11. Gul Agha. Modeling concurrent systems: actors, nets, and the problem of abstraction and composition. In Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, 1–10. Springer, 1996.
  12. Gul Agha. Linguistic paradigms for programming complex distributed systems. ACM Comput. Surv, 28(2):295–296, 1996.

1995

  1. Shangping Ren and Gul Agha. Rtsynchronizer: language support for real-time specifications in distributed systems. In Workshop on Languages, Compilers, & Tools for Real-Time Systems, 50–59. ACM, 1995.
  2. J. S. Rao, V. P. Agrawal, Abhay Vardhan, and Lakhbir S. Lamba. Computer aided learning of planar linkages. In Proceedings of the Ninth World Conference on the Theory of Machines and Mechanisms, Milan, Italy, p 3176-80. 1995.
  3. Neelkanth Mishra, Prasanna Thati, Mukesh P. Singh, Bal K. Birla, Devendra Vidhani, Aditya N. Lal, and Amitabha Mukerjee. Experiments on gesture-based user interfaces. In International Conference on Cognitive Science. 1995.
  4. WooYoung Kim and Gul Agha. Efficient support of location transparency in concurrent object-oriented programming languages. In SC, 39. IEEE Computer Society / ACM, 1995.
  5. Mark Astley and Gul Agha. Visualizing concurrent systems through component interfaces. In Proceedings of the Second Annual Joint Conference on Information Sciences, pp 214-217, Wrightsville Beach, NC, October. 1995.
  6. Gul Agha, WooYoung Kim, and Rajendra Panwar. Actor languages for specification of parallel computations. In in G. E. Blelloch, K. Mani Chandy and S. Jagannathan (editors), DIMACS Series in Discrete Mathematics and Computer Science, vol. 18, pp 239-258, American Mathematical Society. 1995.
  7. Gul Agha, Svend Frølund, WooYoung Kim, Rajendra Panwar, Anna Patterson, and Daniel Sturman. Abstraction and modularity mechanisms for concurrent computing. In in David Skillicorn and Domenico Talia (editors), Programming Languages for Parallel Processing, pp 146-157, IEEE Computer Society, May. 1995.

1994

  1. Daniel C. Sturman and Gul Agha. A protocol description language for customizing semantics. In SRDS, 148–157. 1994.
  2. Daniel Sturman. Fault-adaptation for systems in unpredictable environments. In MS thesis, University of Illinois at Urbana-Champaign. 1994.
  3. Rajendra Panwar and Gul Agha. A methodology for programming scalable architectures. J. Parallel Distrib. Comput, 22(3):479–487, 1994.
  4. Svend Frølund and Gul Agha. Abstracting interactions based on message sets. In ECOOP Workshop, volume 924 of Lecture Notes in Computer Science, 107–124. Springer, 1994.
  5. Christian J. Callsen and Gul Agha. Open heterogeneous computing in actor space. J. Parallel Distrib. Comput, 21(3):289–300, 1994.
  6. Gul Agha and Daniel Sturman. A methodology for adapting to patterns of faults. In in G. M. Koob and C. G. Lau (editors), Foundations of Dependable Computing: Models and Frameworks for Dependable Systems, Chap. 2, vol. 1, pp 1-59, Kluwer Academic Publishers. 1994.

1993

  1. Svend Frølund and Gul Agha. A language framework for multi-object coordination. In ECOOP, volume 707 of Lecture Notes in Computer Science, 346–360. Springer, 1993.
  2. Gul Agha, Svend Frølund, WooYoung Kim, Rajendra Panwar, Anna Patterson, and Daniel C. Sturman. Abstraction and modularity mechanisms for concurrent computing. IEEE P&DT, 1(2):3–14, 1993.
  3. Gul Agha, Svend Frølund, Rajendra Panwar, and Daniel Sturman. A linguistic framework for dynamic composition of dependability protocols. In in C. E. Landwehr, B. Randell, and L. Simoncini (editors), Dependable Computing and Fault-Tolerant Systems VIII, pp 345-363, IFIP Transactions, Springer-Verlag. 1993.
  4. Gul Agha and Christian J. Callsen. Actorspaces: an open distributed programming paradigm. In PPOPP, 23–32. ACM, 1993.

1992

  1. Nalini Venkatasubramanian, Shakuntala Miriyala, and Gul Agha. Scalable concurrent computing. In SADHANA: Academy Proceedings in Engineering Sciences, Special Issue on Parallel and Distributed Computing, vol. 17, no. 1, pp 193-220, 1992, Indian Academy of Sciences, Banglore, India. 1992.
  2. Nalini Venkatasubramanian, Gul Agha, and Carolyn L. Talcott. Scalable distributed garbage collection for systems of active objects. In IWMM, volume 637 of Lecture Notes in Computer Science, 134–147. Springer, 1992.
  3. Nalini Venkatasubramanian. Hierarchical garbage collection in scalable distributed systems. In University of Illinois at Urbana-Champaign. 1992.
  4. Shakuntala Miriyala, Gul Agha, and Yamina Sami. Visualizing actor programs using predicate transition nets. J. Vis. Lang. Comput, 3(2):195–220, 1992.
  5. Won Kim and Gul Agha. Comilation of a highly parallel actor-based language. In LCPC, volume 757 of Lecture Notes in Computer Science, 1–15. Springer, 1992.
  6. Suresh Jagannathan and Gul Agha. A reflective model of inheritance. In ECOOP, volume 615 of Lecture Notes in Computer Science, 350–371. Springer, 1992.
  7. Christopher R. Houck and Gul Agha. Hal: a high-level actor language and its distributed implementation. In ICPP (2), 158–165. CRC Press, 1992.
  8. Svend Frølund. Inheritance of synchronization constraints in concurrent object-oriented programming languages. In ECOOP, volume 615 of Lecture Notes in Computer Science, 185–196. Springer, 1992.
  9. Gul Agha and Rajendra Panwar. An actor-based framework for heterogeneous computing systems. In Workshop on Heterogeneous Processing, pp 35-42, IEEE Computer Society, March. 1992.
  10. Gul Agha, Ian A. Mason, Scott F. Smith, and Carolyn L. Talcott. Towards a theory of actor computation. In CONCUR, volume 630 of Lecture Notes in Computer Science, 565–579. Springer, 1992.
  11. Gul Agha, Chris Houck, and Rajendra Panwar. Distributed execution of actor programs. In in D. Gelernter, T. Gross, A. Nicolau, and D. Padua (editors), Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science, vol. 589, pp 1-17, Springer-Verlag. 1992.
  12. Gul Agha, Svend Frølund, Rajendra Panwar, and Daniel Sturman. A linguistic framework for dynamic composition of fault-tolerance protocols. In Conference on Dependable Computing for Critical Applications (DCCA-3), pp 197-207, International Federation of Information Processing Societies, Palermo (Sicily), Italy, September. 1992.
  13. Gul Agha. Formal methods for actor systems: a progress report. In FORTE, volume C-10 of IFIP Transactions, 217–228. North-Holland, 1992.

1991

  1. Vineet Singh, Vipin Kumar, Gul Agha, and Chris Tomlinson. Scalability of parallel sorting on mesh multicomputers. In IPPS, 92–101. IEEE Computer Society, 1991.
  2. Vineet Singh, Vipin Kumar, Gul Agha, and Chris Tomlinson. Efficient algorithms for parallel sorting on mesh multicomputers. International Journal of Parallel Programming, 20(2):95–131, 1991.
  3. Gul Agha, Akinori Yonezawa, Peter Wegner, and Samson Abramsky. Oopsla panel on object-based concurrent programming. OOPS Messenger, 2(2):3–15, 1991.
  4. Gul Agha, Christopher R. Houck, and Rajendra Panwar. Distributed execution of actor programs. In LCPC, volume 589 of Lecture Notes in Computer Science, 1–17. Springer, 1991.
  5. Gul Agha. Proceedings of the sigplan workshop on object-based concurrent programming. In OOPS Messenger, vol. 2, No. 2, April 1991, ACM SIGPLAN. 1991.

1990

  1. Gul A. Agha. ACTORS - a model of concurrent computation in distributed systems. MIT Press series in artificial intelligence. MIT Press, 1990.
  2. Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, and Akinori Yonezawa. Foundations of concurrent object-oriented programming (panel). In OOPSLA/ECOOP, 100. ACM, 1990.
  3. Gul Agha. The structure and semantics of actor languages. In REX Workshop, volume 489 of Lecture Notes in Computer Science, 1–59. Springer, 1990.
  4. Gul Agha. Concurrent object-oriented programming. Commun. ACM, 33(9):125–141, 1990.

1989

  1. Chris Tomlinson, Won Kim, Mark Scheevel, Vineet Singh, B. Will, and Gul Agha. Rosette: an object-oriented concurrent systems architecture. SIGPLAN Notices, 24(4):91–93, 1989.
  2. Gul Agha. Supporting multiparadigm programming on actor architectures. In PARLE (2), volume 366 of Lecture Notes in Computer Science, 1–19. Springer, 1989.
  3. Gul Agha. Proceedings of the nsf/sigplan workshop on object-based concurrent programming. In SIGPLAN Notices, vol. 24, no. 4, April 1989, ACM SIGPLAN. 1989.
  4. Gul Agha. Foundational issues in concurrent computing. SIGPLAN Notices, 24(4):60–65, 1989.

1987

  1. Gul Agha and Carl Hewitt. Actors: a conceptual foundation for concurrent object-oriented programming. In Research Directions in Object-Oriented Programming, pages 49–74. 1987.

1985

  1. Gul Agha and Carl Hewitt. Concurrent programming using actors: exploiting large-scale parallelism. In FSTTCS, volume 206 of Lecture Notes in Computer Science, 19–41. Springer, 1985.
  2. Gul Agha. A message-passing paradigm for object management. IEEE Database Eng. Bull, 8(4):75–82, 1985.

1984

  1. Carl Hewitt, Tom Reinhardt, Gul Agha, and Giuseppe Attardi. Linguistic support of receptionists for shared resources. In Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science, 330–359. Springer, 1984.
  2. Gul Agha. Semantic considerations in the actor paradigm of concurrent computation. In Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science, 151–179. Springer, 1984.