Conference papers

1. Daniel, Brett, Vilas Shekhar Bangalore Jagannath, Danny Dig, Darko Marinov. "ReAssert: Suggesting Repairs for Broken Unit Tests," 24rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2009. [bib]
2. Moussa, Sherin, Gul Agha. "Integrating Encrypted Mobile Agents with Smart Homes," to appear in Proceedings of The Third International Conference on New Technologies, Mobility and Security (NTMS'2009), Cairo, Egypt, December, 2009. [bib]
3. Moussa, Sherin, Gul Agha. "An Agent-based Framework for Inhabitants’ Untraceability in Ubiquitous Environments," to appear in Proceedings of The 7th International Conference on Advances in Mobile Computing & Multimedia (@WAS ERPAS'2009), Kuala Lampur. Malaysia, December, 2009. [bib]
4. Bangalore Jagannath, Vilas Shekhar, Yun Young Lee, Brett Daniel, Darko Marinov. "Reducing the Costs of Bounded-Exhaustive Testing," Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE), 2009. [Paper] [Presentation] [bib]
5. Korthikanti, Vijay Anand Reddy, Gul Agha. "Analysis of Parallel Algorithms for Energy Conservation in Scalable Multicore Architectures," International Conference on Parallel Processing (ICPP), 2009. [PDF] [PPT] [bib]
6. Karmani, Rajesh Kumar, Amin Shali, Gul Agha. "Actor frameworks for the JVM platform: A Comparative Analysis," In the proceedings of the 7th International Conference on the Principles and Practice of Programming in Java, 2009. [pdf] [bib]
7. Kwon, YoungMin, Gul Agha. "LTLC: Linear Temporal Logic for Control," 11th International Conference on Hybrid Systems: Computation and Control (HSCC) (to appear), 2008. [pdf] [bib]
8. Kwon, YoungMin, Gul Agha. "Passive Localization: Large Size Sensor Network Localization Based on Environmental Events," International Conference on Information Processing in Sensor Networks (IPSN) (to appear), 2008. [pdf] [bib]
9. Korthikanti, Vijay Anand Reddy, Prateek Mittal, Indranil Gupta. "Fair K Mutual Exclusion Algorithm for Peer to Peer Systems," International Conference on Distributed Computing Systems (ICDCS), 2008. [pdf] [ppt] [bib]
10. Ham, MyungJoo, Gul Agha. " Market-based Coordination Strategies for Physical Multi-Agent Systems," Special Issue on the RTSS Forum on Deeply Embedded Real-Time Computing, ACM SIGBED Review, Volume 5, Number 1, January 2008, 2008. [bib] [pdf] [ppt] [wmv]
11. Ham, MyungJoo, Gul Agha. "A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-Robot Systems," Proccedings of IEEE SASO, pp. 35--44, 2008. [pdf] [ppt] [bib]
12. Razavi, Reza, Kirill Mechitov, Gul Agha, Jean-Francois Perrot. "Dynamic Macroprogramming of Wireless Sensor Networks with Mobile Agents," 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI), 2007. [pdf] [bib]
13. Karmani, Rajesh Kumar, Timo Latvala, Gul Agha. "On Scaling Multi-Agent Task Reallocation Using Market-Based Approach," In the proceedings of the First IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2007. [pdf] [slides] [bib]
14. Chang, Po-Hao, Gul Agha. "Supporting Reconfigurable Object Distribution for Customized Web Applications," The 22nd Annual ACM Symposium on Applied Computing (SAC), 2007. [pdf] [pdf] [bib]
15. Chang, Po-Hao, Gul Agha. "Towards Context-Aware Web Applications," 7th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), 2007. [pdf] [bib]
16. Agha, Gul. "Computing with Biosensors," NSF Biosensing and Bioactuation Workshop, 2007. [pdf] [bib]
17. Sen, Koushik, Gul Agha. "Automated Systematic Testing of Open Distributed Programs," FASE, 2006. [pdf] [ps] [bib]
18. Kwon, YoungMin, Sameer Sundresh, Kirill Mechitov, Gul Agha. "ActorNet: An Actor Platform for Wireless Sensor Networks," Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1297-1300, 2006. [pdf] [ps] [bib]
19. Tosic, Predrag. "Computational Complexity of Some Enumeration Problems About Uniformly Sparse Boolean Network Automata," Proceedings of the Second European Conference on Complex Systems (ECCS'06), European Complex Systems Society (15 pages); to appear in September, 2006. [pdf] [ps] [bib]
20. Sen, Koushik, Mahesh Viswanathan. "Model Checking Multithreaded Programs with Asynchronous Atomic Methods," CAV, 2006. [pdf] [ps] [bib]
21. Sen, Koushik, Gul Agha. "CUTE and jCUTE : Concolic Unit Testing and Explicit Path Model-Checking Tools," CAV. Tool Paper, 2006. [pdf] [ps] [bib]
22. Kwon, YoungMin, Gul Agha. "Scalable Modeling and Performance Evaluation of Wireless Sensor Networks," Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE pages 49-58, 2006. [pdf] [ps] [bib]
23. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "Model-Checking Markov Chains in the presence of Uncertainties," TACAS, 2006. [pdf] [ps] [bib]
24. Chang, Po-Hao, Gul Agha. "Supporting Reconfigurable Object Distribution for Customizable Web Applications (poster)," The 8th International Symposium on Distributed Objects, Middleware, and Applications (DOA), 2006. [pdf] [pdf] [bib]
25. Chen, Liping, Gul Agha. "State Aware Data Dissemination over Structured Overlays," The Sixth IEEE International Conference on Peer-to-Peer Computing, Cambridge, UK, Sept 6-8, 2006. [pdf] [bib]
26. Nagayama, Tomonori, B. F. Spencer, Gul Agha, Kirill Mechitov. "Model-based Data Aggregation for Structural Monitoring Employing Smart Sensors," 3rd International Conference on Networked Sensing Systems (INSS), 2006. [pdf] [bib]
27. Razavi, Reza, Kirill Mechitov, Sameer Sundresh, Gul Agha, Jean-Francois Perrot. "Ambiance: Adaptive Object Model-based Platform for Macroprogramming Sensor Networks," ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2006. [pdf] [poster] [bib]
28. Tosic, Predrag. "On Modeling and Analyzing Sparsely Networked Large-Scale Multi-agent Systems with Cellular and Graph Automata," The Second Workshop on Modeling of Complex Systems with Cellular Automata (MCSCA06), in Proceedings of the Sixth International Conference on Computational Science ICCS'06 (part III); Springer's LNCS series, vol. 3993, pp. 272 - 280, 2006. [pdf] [ps] [bib]
29. Escobar, Santiago, Jose Meseguer, Prasanna Thati. "Natural Narrowing for General Term Rewriting Systems," International Conference on Term Rewriting Techniques and Applications, 2005. [pdf] [ps] [bib]
30. Thati, Prasanna, Jose Meseguer. "Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing," International Conference on Algebra and Coalgebra in Computer Science, to appear, 2005. [bib]
31. Uttamchandani, Sandeep, Li Yin, John Palmer, Randy Katz, Gul Agha. "Model-based Automation of the Observe-Analyze-Act Loop: Will it become a reality?," position paper submitted for review, 2005. [bib]
32. Agha, Gul, Jose Meseguer, Koushik Sen. "PMaude: Rewrite-based Specification Language for Probabilistic Object Systems," 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL 05), 2005. [bib]
33. Godefroid, Patrice, Nils Klarlund, Koushik Sen. "DART: Directed Automated Random Testing," PLDI, 2005. [pdf] [ps] [bib]
34. Jang, Myeong-Wuk, Gul Agha. "Scalable Agent Distribution Mechanisms for Large-Scale UAV Simulations," 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. [pdf] [bib]
35. Ahmed, Amr, Abhilash Patel, Tom Brown, MyungJoo Ham, Myeong-Wuk Jang, Gul Agha. "Task Assignment for a Physical Agent Team via a Dynamic Forward/Reverse Auction Mechanism," The International Conference of Integration of Knowledge Intensive Multi-Agent Systems KIMAS '05: Modeling, Evolutions and Engineering, pp. 311-317, April 18 - 21, 2005. [pdf] [bib]
36. Yin, Li, Sandeep Uttamchandani, John Palmer, Randy Katz, Gul Agha. "AutoLoop: Automated Action Selection in the ," 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05), , 2005. [bib]
37. Uttamchandani, Sandeep, Xiaoxin Yin, John Palmer, Gul Agha. "MonitorMining: Creating Domain Knowledge for System Automation Using a Gray-box Approach," To Appear in Proceedings of the Ninth IFIP/IEEE International Symposium on Integrated Network Management, Nice, France, May, 2005. [pdf] [ps] [bib]
38. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Using Language Inference to Verify omega-regular Properties," In Proceedings of 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), LNCS, 2005. [pdf] [ps] [bib]
39. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "On Statistical Model Checking of Stochastic Systems," In 17th International Conference on Computer Aided Verification, (CAV'05), LNCS (To Appear), 2005. [pdf] [pdf] [ps] [ps] [bib]
40. Sen, Koushik, Grigore Rosu, Gul Agha. "Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions," FMOODS, 2005. [pdf] [ps] [bib]
41. Uttamchandani, Sandeep, Li Yin, Guillermo Alvarez, John Palmer, Gul Agha. "Chameleon: a self-evolving, fully-adaptive resource arbitrator for storage systems," To Appear in the Proceedings of the 2005 USENIX Technical Conference, Anaheim, CA, April , 2005. [pdf] [bib]
42. Kim, WooYoung, Kirill Mechitov, Jeung-Yoon Choi, Soo Ham. "On Target Tracking with Binary Proximity Sensors," Fourth International Conference on Information Processing in Sensor Networks (IPSN), pages 301-308, 2005. [pdf] [bib]
43. Tosic, Predrag. "On Counting Fixed Point Configurations in Star Networks," Proc. IEEE Int'l Parallel & Distributed Processing Symposium IPDPS '05 (CD-Rom), in Advances in Parallel and Distributed Computing Models workshop (APDCM '05); held in Denver, Colorado, April 4 - 8, 2005. [pdf] [ps] [bib]
44. Tosic, Predrag, Gul Agha. "Parallel vs. Sequential Threshold Cellular Automata: Comparison and Contrast," 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. [pdf] [ps] [bib]
45. Devaraj, Christo Frank, Mehwish A Nagda, Indranil Gupta, Gul Agha. "An Underlay for Sensor Networks: Localized Protocols for Maintenance and Usage," Proc. IEEE Conf. Mobile Ad-Hoc and Sensor Systems (MASS), 2005. [pdf] [bib]
46. Tosic, Predrag, Gul Agha. "On Computational Complexity of Predicting Dynamical Evolution of Large Agent Ensembles," 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. [pdf] [ps] [bib]
47. Ham, MyungJoo, Gul Agha. "ARA: A Robust Audit to Prevent Free-Riding in P2P Networks," The Fifth IEEE International Conference on Peer-to-Peer Computing (P2P2005), 2005. [bib] [pdf] [ppt]
48. Tosic, Predrag. "Cellular Automata for Distributed Computing: Models of Agent Interaction and Their Implications," 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. [pdf] [ps] [bib]
49. Vardhan, Abhay, Mahesh Viswanathan. "Learning to Verify Branching Time Properties," Techincal Report UIUCDCS-R-2004-2445, UILU-ENG-2004-1747 (this is a long version of a paper to appear at the 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA), 2005. [pdf] [bib]
50. Kwon, YoungMin, Gul Agha. "iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs," 2nd International Conference on the Quantitative Evaluation of Systems, IEEE, (Tool paper), 2005. [pdf] [ps] [bib]
51. Chen, Liping, Kasim Selcuk Candan, Junichi Tatemura. "Overlay Schemes for Scalable p-Range Resource Discovery," The 14th IEEE International Symposium on High Performance Distributed Computing, Research Triangle Park, USA, July 24-27, 2005. [bib]
52. Chen, Liping, Kasim Selcuk Candan, Diviyakant Agrawal, Dirceu Cavendish, Junichi Tatemura. "On Overlay Schemes to Support Point-in-Range Queries for Scalable Grid Resource Discovery," The Fifth IEEE International Conference on Peer-to-Peer Computing, Konstanz, Germany, Aug 31- Sept 2, 2005. [bib]
53. Tosic, Predrag, Gul Agha. "On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata," Proc. UC'05 - Fourth International Conference on Unconventional Computation, Springer-Verlag LNCS series, vol. 3699, pp. 191-205; held in Sevilla, Spain, October 3-7 , 2005. [pdf] [ps] [bib]
54. Kwon, YoungMin, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha. "Resilient Localization for Sensor Networks in Outdoor Environments," 25th International Conference on Distributed Computing Systems (ICDCS), pages 643-652, 2005. [pdf] [bib]
55. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "VESTA: A Statistical Model Checker and Analyzer for Probabilistic Systems," In 2nd International Conference on the Quantitative Evaluation of Systems, IEEE, (Tool paper), 2005. [pdf] [ps] [bib]
56. Tosic, Predrag, Gul Agha. "Maximal Clique Based Distributed Coalition Formation for Task Allocation in Large-Scale Multi-agent Systems," MMAS'04 Post-Proceedings, Springer-Verlag LNAI series, vol. 3446, pp. 104-120, 2005. [pdf] [ps] [bib]
57. Sen, Koushik, Darko Marinov, Gul Agha. "CUTE: A Concolic Unit Testing Engine for C," ESEC/FSE. ACM SIGSOFT Distinguished Paper Award Winner, 2005. [pdf] [pdf] [ps] [ps] [bib]
58. Tosic, Predrag, Gul Agha. "Maximal Clique Based Distributed Group Formation for Autonomous Agent Coalitions," 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. [pdf] [bib]
59. Jang, Myeong-Wuk, Gul Agha. "On Efficient Communication and Service Agent Discovery in Multi-agent Systems," Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS '04), pp. 27-33, Edinburgh, Scotland, May 24-25, 2004. [pdf] [bib]
60. Escobar, Santiago, Jose Meseguer, Prasanna Thati. "Natural Rewriting for General Term Rewriting Systems," Submitted to International Symposium on Logic Based Program Synthesis and Tranformation (LOPSTR), 2004. [pdf] [ps] [bib]
61. Tosic, Predrag, Gul Agha. "Maximal Clique Based Distributed Group Formation for Task Allocation in Large-Scale Multi-Agent Systems," Proc. Int'l Workshop on Massively Multi-Agent Systems, Kyoto, Japan, December 10-11, 2004. [pdf] [bib]
62. Thati, Prasanna, Carolyn Talcott, Gul Agha. "Techniques for Executing and Reasoning About Specification Diagrams," International Conference on Algebraic Methodology and Software Technology (AMAST), 2004. [pdf] [ps] [bib]
63. Thati, Prasanna, Grigore Rosu. "Monitoring Algorithms for Metric Temporal Logic Specifications," Runtime Verification (RV), 2004. [pdf] [ps] [bib]
64. Tosic, Predrag, Gul Agha. "Concurrency vs. Sequential Interleavings in 1-D Threshold Cellular Automata," Proc. IEEE - IPDPS '04 (APDCM Workshop), Santa Fe, New Mexico, USA, April 26-30, 2004. [pdf] [ps] [bib]
65. Mechitov, Kirill, WooYoung Kim, Gul Agha, Tomonori Nagayama. "High-Frequency Distributed Sensing for Structure Monitoring," First International Workshop on Networked Sensing Systems (INSS), pages 101-104, 2004. [pdf] [bib]
66. Nagayama, Tomonori, Manuel Ruiz Sandoval, B. F. Spencer, Kirill Mechitov, Gul Agha. "Wireless Strain Sensor Development for Civil Infrastructure," First International Workshop on Networked Sensing Systems (INSS), pages 97-100, 2004. [pdf] [bib]
67. Jang, Myeong-Wuk, Amr Ahmed, Gul Agha. "ATSpace: A Middle Agent to Support Application-Oriented Matchmaking and Brokering Services," IEEE/WIC/ACM IAT(Intelligent Agent Technology)-2004, pp. 393-396, Beijing, China, September 20-24, 2004. [pdf] [bib]
68. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Actively Learning to Verify Safety for FIFO Automata," In 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), Lecture Notes in Computer Science, Chennai, India, December, LNCS 3328, pages 494-505, Copyright Springer-Verlag (http://www.springer.de/comp/lncs/index.html), 2004. [pdf] [ps] [bib]
69. Chang, Po-Hao. "An Adaptive Distributed Object Framework for the Web," The combined 14th Workshop for PhD Students in Object-Oriented Systems and Doctoral Symposium, 2004. [pdf] [bib]
70. Yih, Wen-Tau, Po-Hao Chang, WooYoung Kim. "Mining Online Deal Forums for Hot Deals," 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI'04), 2004. [pdf] [bib]
71. Tosic, Predrag, Gul Agha. "Characterizing Configuration Spaces of Simple Threshold Cellular Automata," Proc. ACRI 2004 ( 6th Int'l Conference on Cellular Automata for Research and Industry), Amsterdam, The Netherlands, October 25-27, Springer-Verlag LNCS series, vol. 3305, pp. 861 - 870, 2004. [pdf] [ps] [bib]
72. Kwon, YoungMin, Gul Agha. "Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains," International Conference on Formal Engineering Methods (ICFEM), 2004. [pdf] [ps] [bib]
73. Jang, Myeong-Wuk, Gul Agha. "Dynamic Agent Allocation for Large-Scale Multi-Agent Applications," International Workshop on Massively Multi-Agent Systems, pp. 19-33, Kyoto, Japan, December 10-11, 2004. [pdf] [bib]
74. Thati, Prasanna, Mahesh Viswanathan. "Verification of Asynchronous Systems with Unbounded and Unordered Message Buffers," International Workshop on Automated Verification of Infinite State Systems (AVIS), 2004. [pdf] [ps] [bib]
75. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "Learning Continuous Time Markov Chains from Sample Executions," In 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 146-155, Enschede, The Netherlands, September 2004. IEEE., 2004. [pdf] [ps] [bib]
76. Rosu, Grigore, Koushik Sen. "An Instrumentation Technique for Online Analysis of Multithreaded Programs," In Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), Santa Fe, New Mexico, USA, April 2004. IEEE digital library. Invited Paper., 2004. [pdf] [ps] [bib]
77. Barringer, Howard, Allen Goldberg, Klaus Havelund, Koushik Sen. "Program Monitoring with LTL in Eagle," In Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), Santa Fe, New Mexico, USA, April 2004. IEEE digital library., 2004. [pdf] [ps] [bib]
78. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "Efficient Decentralized Monitoring of Safety in Distributed Systems," In Proceedings of 26th International Conference on Software Engineering (ICSE'04), pages 418-427, Edinburgh, UK, May 2004. IEEE., 2004. [pdf] [ps] [bib]
79. Barringer, Howard, Allen Goldberg, Klaus Havelund, Koushik Sen. "Rule-Based Runtime Verification," In Proceedings of 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), volume 2937 of Lecture Notes in Computer Science, pages 44-57, Venice, Italy, January 2004. Springer., 2004. [pdf] [ps] [bib]
80. Uttamchandani, Sandeep, Kaladhar Voruganti, Sudarshan M. Srinivasan, John Palmer, David Pease. "Polus: Growing Storage QoS Management beyond a ," 3rd USENIX Conference on File and Storage Technologies (FAST '04) , 2004. [pdf] [ps] [bib]
81. Chang, Po-Hao, WooYoung Kim, Gul Agha. "An Adaptive Programming Framework for Web Applications," The IEEE/IPSJ Symposium on Applications and the Internet (SAINT '04), 2004. [pdf] [bib]
82. Sundresh, Sameer, WooYoung Kim, Gul Agha. "SENS: A Sensor, Environment and Network Simulator," The 37th Annual Simulation Symposium (ANSS37), Arlington, VA, April 21, 2004. [pdf] [ppt] [sxi] [bib]
83. Tosic, Predrag, Gul Agha. "Towards a Hierarchical Taxonomy of Autonomous Agents," Proc. IEEE Int'l Conference on Systems, Man and Cybernetics (IEEE-SMC'04), The Hague, The Netherlands, Oct. 10-13, 2004. [pdf] [bib]
84. Vardhan, Abhay, Koushik Sen, Mahesh Viswanathan, Gul Agha. "Learning to Verify Safety Properties," In 6th International Conference on Formal Engineering Methods (ICFEM'04), Seattle, WA, USA, November 2004, LNCS 3308, pages 274-288, Copyright Springer-Verlag (http://www.springer.de/comp/lncs/index.html), 2004. [pdf] [ps] [bib]
85. Sen, Koushik, Grigore Rosu, Gul Agha. "Online Efficient Predictive Safety Analysis of Multithreaded Programs," In Proceedings of 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), volume 2988 of Lecture Notes in Computer Science, pages 123-138, Barcelona, Spain, March 2004., 2004. [pdf] [ps] [bib]
86. Uttamchandani, Sandeep, Guillermo Alvarez, Gul Agha. "DecisionQoS: an adaptive, self-evolving QoS arbitration module for storage systems," 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), pages 67-76, Yorktown, NY, June , 2004. [pdf] [bib]
87. Naldurg, Prasad, Koushik Sen, Prasanna Thati. "A Temporal Logic Based Approach to Intrusion Detection," In 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'04), volume 3235 of Lecture Notes in Computer Science, pages 359-376, Madrid, Spain, September 2004. Springer., 2004. [pdf] [ps] [bib]
88. Sen, Koushik, Abhay Vardhan, Gul Agha, Grigore Rosu. "On Specifying and Monitoring Epistemic Properties of Distributed Systems," 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. [pdf] [ps] [bib]
89. Tosic, Predrag. "A Perspective on the Future of Massively Parallel Computing: Fine Grain vs. Coarse-Grain Parallel Models," Proc. 1st ACM Conference on Computing Frontiers (CF'04), Ischia, Italy, April 14-16, 2004. [pdf] [ps] [bib]
90. Kim, WooYoung, Alan Karp. "Customizable Description and Dynamic Discovery for Web Services," ACM Conference on Electronic Commerce (EC'04), 2004. [bib]
91. Sen, Koushik, Mahesh Viswanathan, Gul Agha. "Statistical Model Checking of Black-Box Probabilistic Systems," In 16th conference on Computer Aided Verification (CAV'04), volume 3114 of Lecture Notes in Computer Science, pages 202-215, Boston, MA, USA, July 2004. Springer., 2004. [pdf] [ps] [bib]
92. Ziaei, Reza, Gul Agha. "SynchNet: A Petri Net Based Coordination Language for Distributed Objects," Generative Programming and Component Engineering (GPCE), 2003. [pdf] [ps] [bib]
93. Mechitov, Kirill, Sameer Sundresh, YoungMin Kwon, Gul Agha. "Cooperative Tracking with Binary-Detection Sensor Networks," First International Conference on Embedded Networked Sensor Systems (SenSys), 2003. [pdf] [bib]
94. Jamali, Nadeem, Gul Agha. "CyberOrgs: A Model for Decentralized Resource Control in Multi Agent Systems ," 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. [bib] [pdf]
95. Moussa, Sherin. "The Effect of Word Sampling on Document Clustering," WSEAS Transactions on Computers, Volume 2, Issue 1, pages 157-162. January, 2003. [pdf] [bib]
96. Sen, Koushik, Grigore Rosu, Gul Agha. "Generating Optimal Linear Temporal Logic Monitors by Coinduction," In Proceedings of 8th Asian Computing Science Conference (ASIAN'03), volume 2896 of Lecture Notes in Computer Science, pages 260{75, Mumbai, India, December 2003. Springer., 2003. [pdf] [ps] [bib]
97. Kumar, Nirman, Koushik Sen, Jose Meseguer, Gul Agha. "A Rewriting Based Model for Probabilistic Distributed Object Systems," In Proceedings of 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03), volume 2884 of Lecture Notes in Computer Science, pages 32{46, Paris, France, November 2003. Springer., 2003. [pdf] [ps] [bib]
98. Sen, Koushik, Grigore Rosu. "Generating Optimal Monitors for Extended Regular Expressions," In Proceedings of the 3rd Workshop on Runtime Verification (RV'03), volume 89(2) of Electronic Notes in Theoretical Computer Science, Boulder, Colorado, USA, July 2003. Elsevier Science., 2003. [pdf] [ps] [bib]
99. Sen, Koushik, Grigore Rosu, Gul Agha. "Runtime Safety Analysis of Multithreaded Programs," 9th European Software Engineering Conference and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE'03), pages 337{346, Helsinki, Finland, September, 2003. ACM., 2003. [pdf] [ps] [bib]
100. Jang, Myeong-Wuk, Smitha Reddy, Predrag Tosic, Liping Chen, Gul Agha. "An Actor-based Simulation for Studying UAV Coordination," 15th European Simulation Symposium (ESS 2003), pp. 593-601, Delft, The Netherlands, October 26-29, 2003. [pdf] [bib]
101. Tosic, Predrag, Myeong-Wuk Jang, Smitha Reddy, Joshua Chia, Liping Chen, Gul Agha. "Modeling a System of UAVs on a Mission," Proc. 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI '03), pp. 508-514, July 27-30, 2003. [pdf] [ps] [bib]
102. Krishnan, Prasanna V., Lui Sha, Kirill Mechitov. "Reliable Upgrade of Group Communication Software in Sensor Networks," First IEEE International Workshop on Sensor Network Protocols and Applications (SNPA), pages 82-92, 2003. [doc] [pdf] [bib]
103. Tosic, Predrag, Gul Agha. "Understanding and Modeling Agent Autonomy in Dynamic Multi-Agent, Multi-Task Environments," Proc. First European Workshop on Multi-Agent Systems (EUMAS '03) (Day 2, Panel 2 section), Oxford, England (UK), December 18-19, 2003. [pdf] [ps] [bib]
104. Tosic, Predrag, Gul Agha. "Simple Genetic Algorithms for Pattern Learning: The Role of Crossovers," 5th Int'l Workshop on Frontiers in Evolutionary Algorithms (FEA'03), in Proc. Joint Conference on Information Systems, September 26-30, 2003. [pdf] [ps] [bib]
105. Sarkar, Prasenjit, Sandeep Uttamchandani, Kaladhar Voruganti. "Storage Over IP: When Does Hardware Support Help? ," 2nd USENIX Conference on File and Storage Technologies (FAST '03) , 2003. [pdf] [bib]
106. . "Storage Over IP: When Does Hardware Support Help?," 2nd USENIX Conference on File and Storage Technologies (FAST '03) , 2003. [bib]
107. Uttamchandani, Sandeep, Carolyn Talcott, David Pease. "Eos: An Approach of Using Behavior Implications for Policy-based Self-management," 14th IFIP/IEEE International Workshop on Distributed Systems: Operations & Management (To appear in LNCS), 2003. [pdf] [bib]
108. Sundresh, Sameer, Gul Agha, Kirill Mechitov, WooYoung Kim, YoungMin Kwon. "Coordination Services for Wireless Sensor Networks," International Workshop on Advanced Sensors, Structural Health Monitoring and Smart Structures, 2003. [doc] [pdf] [bib]
109. Moussa, Sherin. "Analysis of Documents Clustering Using Sampled Agglomerative Technique," In Proceedings, 12th International Conference on Computer Theory and Applications, (ICCTA’2002) , pages 193-197. Alexandria, August, 2002. [pdf] [bib]
110. Thati, Prasanna, Reza Ziaei, Gul Agha. "Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching," International Conference on Algebraic Methodology and Software Technology (AMAST), 2002. [pdf] [ps] [bib]
111. Ziaei, Reza, Gul Agha, Prasanna Thati. "A Theory of May Testing for Actors," International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2002. [pdf] [ps] [bib]
112. Vardhan, Abhay, Gul Agha. "Using Passive Garbage Collection Algorithms for Garbage Collection of Active Objects," International Symposium for Memory Management, pp 106-113, Berlin, June 20-21, 2002. [pdf] [ps] [bib]
113. Thati, Prasanna, Koushik Sen, Narciso Marti-Oliet. "An Executable Specification of Asynchronous Pi-Calculus and May-Testing in Maude 2.0," WRLA (ENTCS), 2002. [pdf] [ps] [bib]
114. Moussa, Sherin. "Determining Initial Starting Conditions For Documents Clustering," In Proceedings, 1st International Conference on Intelligent Computing and Information Systems (ICICIS 2002) , pages 275-283. Cairo, June, 2002. [pdf] [bib]
115. Uttamchandani, Sandeep, Gul Agha. "WAPSec: A Personalized Security Architecture for WAP," 2nd Asian International Mobile Computing Conference 2002 (AMOC 2002), 2002. [bib]
116. D'Amorim, Marcelo Bezerra, Clovis Nogueira, Gustavo Santos, Adeline Souza, Paulo Borba. "Integrating Code Generation and Refactoring. ," In Workshop on Generative Programming, ECOOP'02, Malaga, Spain, June 2002. Springer Verlag. , 2002. [pdf] [bib]
117. Uttamchandani, Sandeep. "StorageAgent: An Agent-based approach for dynamic resource sharing in a Storage Service," 1st USENIX Conference on File and Storage Technologies (FAST '02) (Work-In-Progress), 2002. [pdf] [bib]
118. Wang, Jihua, Tat Seng Chua, Liping Chen. "Cinematic-based Model for Scene Boundary Detection," Multimedia Modeling'2001, Amsterdam, Netherlands, Nov, 2001. [bib]
119. Chen, Liping, Tat Seng Chua. "A Match and Tiling Approach to Video Retrieval," ICME (IEEE Conf. On Multimedia System and Expo)'2001, Waseda, Japan, Aug, 2001. [bib]
120. Varela, Carlos A., Gul Agha. "Programming Dynamically Reconfigurable Open Systems with SALSA," 16th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications: Intriguing Technology Track, Tampa, FL, October, 2001. [pdf] [ps] [bib]
121. Venkatasubramanian, Nalini, Carolyn Talcott, Gul Agha. "A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware," Formal Methods Europe (FME 2001), Humboldt-Universität zu Berlin, Germany, March, 2001. [bib]
122. Thati, Prasanna, Po-Hao Chang, Gul Agha. "Crawlets: Agents for high performance web search engines," IEEE International Conference on Mobile Agents (MA), 2001. [ps] [bib]
123. D'Amorim, Marcelo Bezerra, Carlos Ferraz. "Designing Jini Distributed Services: A Framework to support the development of reliable component networks," Proc. First OOPSLA Workshop on Language Mechanisms for Programming Software Components. Tampa Bay, FL. October 2001., 2001. [pdf] [pdf] [ps] [bib]
124. Mohindra, Ajay, Apratim Purakayastha, Prasanna Thati. "Exploiting non-determinism for reliability of mobile agent systems," International Conference on Dependable Systems and Networks (DSN), 2000. [pdf] [ps] [bib]
125. Graupner, Sven, WooYoung Kim, Dmitry Lenkov, Akhil Sahai. "E-speak -- and Enabling Infrastructure for Web-based E-Services," the proceedings of SSGRR 2000, 2000. [pdf] [bib]
126. Varela, Carlos A., Gul Agha. "A Hierarchical Model for Coordination of Concurrent Activities," International Conference on Coordination (COORDINATION '99), LNCS 1594, pp 166-, 1999. [pdf] [ps] [bib]
127. Venkatasubramanian, Nalini, Gul Agha, Carolyn Talcott. "A MetaObject Framework for QoS-Based Distributed Resource Management," Third International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE '99), December, 1999. [pdf] [ps] [bib]
128. Chua, Tat Seng, Liping Chen, Mohan Kankanhalli. "Stratification Approach to Modeling Video," Multimedia Modeling'1999, Ottawa, Canada, Oct, 1999. [bib]
129. Kim, WooYoung, Gul Agha. "Parallel Programming and Complexity Analysis using Actors," in Proceedings of the Third International Working Conference on Massively Parallel Programming Models (MPPM '97), 1998. [pdf] [bib]
130. Agha, Gul, Mark Astley, Carlos A. Varela. "Modular Heterogeneous System Development: A Critical Analysis of Java," Proceedings of the Heterogeneous Computing Workshop, pp 144-156, IEEE, 1998. [pdf] [ps] [bib]
131. Nielsen, Brian, Shangping Ren, Gul Agha. "Specification of Real-Time Interaction Constraints," in Proceedings of the First International Symposium on Object-Oriented Real-Time Computing, 9 pp, IEEE Computer Society, 1998. [pdf] [ps] [bib]
132. Astley, Mark, Gul Agha. "Modular Construction and Composition of Distributed Software Architectures," Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE '98), Kyoto, Japan, 1998, pp 2-12, IEEE, 1998. [pdf] [bib]
133. Astley, Mark, Gul Agha. "Customization and Composition of Distributed Objects: Middleware Abstractions for Policy Management," Sixth International Symposium on the Foundations of Software Engineering, ACM SIGSOFT, 1998. [pdf] [bib]
134. Ren, Shangping, Gul Agha. "Source Code Level Infeasibility Detection on Declarative Timing Constraints Specified with RTsynchronizers," ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, pp 1-10, 1997. [bib]
135. Venkatasubramanian, Nalini, Gul Agha. "An Actor Based Framework for Managing Multimedia QoS," Proceedings of the 3rd International Workshop on Multimedia Information Systems (MISC '97), Como, Italy, pp 54-62, September, 1997. [pdf] [bib]
136. Panwar, Rajendra, WooYoung Kim, Gul Agha. "Parallel Implementations of Irregular Problems Using High-level Actor Language," The 10th International Parallel Processing Symposium, pp 857-862, Honolulu, HI, IEEE Computer Society, 1996. [pdf] [bib]
137. Nielsen, Brian, Gul Agha. "Semantics for an Actor-Based Real-Time Language," in Proceedings of the Fourth International Workshop on Parallel and Distributed Real-Time Systems, pp 223-228, IEEE Computer Society, 1996. [pdf] [ps] [bib]
138. Saito, Masahiko, Gul Agha. "A Modular Approach to Real-Time Synchronization," Proceedings of the Conference on Object Oriented Real-Time Systems, Special Issue of OOPS Messenger, vol. 7(1), pp 13-20, ACM Sigplan, 1996 (post-conference proceedings), 1996. [bib]
139. Kim, WooYoung, Rajendra Panwar, Gul Agha. "Efficient Compilation of Call/Return Communication for Actor-Based Programming Languages," Third International Conference on High Performance Computing, pp 62-67, Trivendarum, India, IEEE Computer Society, 1996. [pdf] [ps.gz] [bib]
140. Kim, WooYoung, Gul Agha. "Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages," Proceedings of Supercomputing '95, 10 pp, IEEE, (worldwide web accessible), 1995. [pdf] [bib]
141. Rao, J. S., V. P. Agrawal, Abhay Vardhan, Lakhbir S. Lamba. "Computer Aided Learning of Planar Linkages," Proceedings of the Ninth World Conference on the Theory of Machines and Mechanisms, Milan, Italy, p 3176-80, 1995. [bib]
142. Ren, Shangping, Gul Agha. "RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems," in Proceedings of ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, June 1995. Also appeared in ACM Sigplan Notices, vol. 30, no. 11, pp 50-59, November, 1995. [pdf] [ps] [bib]
143. Astley, Mark, Gul Agha. "Visualizing Concurrent Systems through Component Interfaces ," Proceedings of the Second Annual Joint Conference on Information Sciences, pp 214-217, Wrightsville Beach, NC, October, 1995. [bib]
144. Mishra, Neelkanth, Prasanna Thati, Mukesh P. Singh, Bal K. Birla, Devendra Vidhani, Aditya N. Lal, Amitabha Mukerjee. "Experiments on gesture-based user interfaces," International Conference on Cognitive Science, 1995. [bib]
145. Agha, Gul, Christian J. Callsen. "ActorSpace: An Open Distributed Programming Paradigm ," Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, CA, May 1993. Also published as a Special Issue of SIGPLAN Notices vol. 28, No. 7, pp 23-32, July, 1993. [pdf] [bib]
146. Frølund, Svend, Gul Agha. "A Language Framework for Multi-Object Coordination," in O. Nierstrasz (Editor), Proceedings of the European Conference on Object-Oriented Programming, Lecture Notes in Computer Science, vol. 707, pp 346-360, Springer Verlag, August, 1993. [pdf] [ps] [bib]
147. Venkatasubramanian, Nalini, Gul Agha, Carolyn Talcott. "Scalable Distributed Garbage Collection for Systems of Active Objects," in Y. Bekkers and J. Cohen (editors), International Workshop on Memory Management, ACM SIGPLAN and INRIA, St. Malo, France, Lecture Notes in Computer Science, vol. 637, pp 134-148, Springer-Verlag, September, 1992. [pdf] [ps] [bib]
148. Frølund, Svend. "Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages," European Conference on Object-Oriented Programming, in O. L. Madsen (Editor), Lecture Notes in Computer Science 615, pp 185-196, Springer Verlag, 1992. [pdf] [ps] [bib]
149. Agha, Gul, Ian A. Mason, Scott Smith, Carolyn Talcott. "Towards a Theory of Actor Computation," The Third International Conference on Concurrency Theory (CONCUR '92), Stony Brook, NY, Lecture Notes in Computer Science No. 630, pp 565-579, Springer Verlag, August, 1992. [pdf] [ps] [bib]
150. Agha, Gul, Rajendra Panwar. "An Actor-Based Framework for Heterogeneous Computing Systems," Workshop on Heterogeneous Processing, pp 35-42, IEEE Computer Society, March, 1992. [pdf] [ps] [bib]
151. Kim, WooYoung, Gul Agha. "Compilation of a Highly Parallel Actor-Based Language," The Fifth International Workshop on Languages and Compilers for Parallel Computing, YALEU/DCS/RR-915, pp 1-12, New Haven, CT, September. (Also, in D. Gelernter, T. Gross, A. Nicolau, and D. Padua (editors), Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science 757, pp 1-15, Springer-Verlag, 1993.), 1992. [pdf] [ps] [bib]
152. Houck, Chris, Gul Agha. "HAL: A High-level Actor Language and Its Distributed Implementation," 21st International Conference on Parallel Processing (ICPP '92), vol. II, pp 158-165, St. Charles, IL, August, 1992. [pdf] [ps] [bib]
153. Jagannathan, Suresh, Gul Agha. "A Reflective Model of Inheritance," in O. L. Madsen (Editor), The Sixth European Conference on Object-Oriented Programming, Utretcht, Netherlands, Lecture Notes in Computer Science, vol. 615, pp 350-371, Springer-Verlag, 1992. [pdf] [ps] [bib]
154. Agha, Gul, Svend Frølund, Rajendra Panwar, Daniel Sturman. "A Linguistic Framework for Dynamic Composition of Fault-Tolerance Protocols," Conference on Dependable Computing for Critical Applications (DCCA-3), pp 197-207, International Federation of Information Processing Societies, Palermo (Sicily), Italy, September, 1992. [bib]
155. Agha, Gul, Chris Houck, Rajendra Panwar. "Distributed Execution of Actor Programs," Proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing, pp. 1-15, INTEL, Santa Clara, CA, August, 1991. [pdf] [ps] [bib]
156. Agha, Gul. "Supporting Multiparadigm Programming on Actor Architectures," Proceedings of Parallel Architectures and Languages Europe, vol.II: Parallel Languages, Lecture Notes in Computer Science 366, pp 1-19, Springer-Verlag, 1989. [bib]
157. Agha, Gul. "The Relation Between Problems in Large-Scale Concurrent Systems and Distributed Databases," in Proceedings of the International Symposium on Databases in Parallel and Distributed Systems, IEEE Computer Society, Washington, DC, 1988. [bib]