Workshop

1. Moussa, Sherin, Gul Agha. "A Multi-agent Simulator for Resource Management in Smart Spaces," to appear 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. [bib]
2. Sundresh, Sameer. "Communication Across Levels of Abstraction," Workshop on Event-Based Semantics (WEBS), 2008. [pdf] [slides] [bib]
3. Kwon, YoungMin, Gul Agha. "A Markov Reward Model for Software Reliability," The Next Generation Software (NGS) Workshop at International Parallel and Distributed Processing Symposium (IPDPS), pages 1-6, 2007. [pdf] [ps] [bib]
4. Mechitov, Kirill, Reza Razavi, Gul Agha. "Architecture Design Principles to Support Adaptive Service Orchestration in WSN Applications," International Workshop on Wireless Sensor Network Architectures (WWSNA), 2007. [pdf] [ps] [bib]
5. Agha, Gul, Carl Gunter, Michael Greenwald, Sanjeev Khanna, Jose Meseguer, Koushik Sen, Prasanna Thati. "Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories," Foundations of Computer Security (FCS), 2005. [bib]
6. Tosic, Predrag, Gul Agha. "True Concurrency vs. Nondeterministic Sequential Interleavings in 1-D Cellular Automata," IEEE Real Time Systems Symposium (RTSS'03), Work-in-Progress Workshop, Cancun, Mexico, December 3-5, 2003. [pdf] [bib]