Tutorial

Aspect Oriented Approach to Synchronization in Concurrent and Embedded Systems International Conference on Parallel and Distributed Computing Systems, MIT, Cambridge, Nov 4-5, 2002.
Automatic Derivation and Verification of Synchronization Aspects in Object Oriented Systems, European Conference on Object Oriented Programming , Darmstadt, July 21-25, 2003.

Showcase Presentation

Real-time Embedded Systems Research and Curriculum, NSF Showcase, Annual Conference of American Society of Engineering Educators, Montreal, June 2002 (voted as the best NSF Showcase).

Book Chapters

An Integrated Model-driven Development Environment for Composing and Validating Distributed Real-time and Embedded Systems, G. Trombetti, A. Gokhale, D. Schmidt, J. Greenwald, J. Hatcliff, G. Jung and G. Singh, in Model-Driven Software Development, S Beydeda, M. Book and V. Gruhn (Eds), Springer-Verlag, 2005
Ant-Colony Algorithms for Steiner Trees: An application to Routing in Sensor Networks, G. Singh, S. Das, S. Gosavi and S. Pujar, in Recent Development in Biologically Inspired Computing, L. De Castro and F. Von Zuben (Eds), Idea Group Publishing, 2005

Papers

Embedded and Distributed Middleware Systems

Customizing Event Ordering Middleware for Component-based Systems, Gurdip Singh and Sanghamitra Das, IEEE International Symposium on Object Oriented Real-time Distributed Computing, May 2005
Constraining Event Flow for Regulation in Pervasive Systems, P. Shanti Kumar, Q. Zeng and Gurdip Singh, IEEE International Conference on Pervasive Computing and Communications, March 2005
Model-Driven, Aspect Oriented Synchronization in Component Based Systems, G. Singh, P. Kumar, and Q. Zeng, OMG Model Integrated Computing Workshop on Aspect Oriented Modeling, Feb 2005
Adaptive Event Communication in Component-based Systems, Q.Zeng, P. Shanti Kumar and G. Singh, 3rd Workhop on Reflective and Adaptive MiddlewareIEEE Real-time and Application Symposium, Oct 2004

Synchronization in CAN-based Embedded Systems, Y.Su and G. Singh, Embedded Systems and Application Conference, June 2004

Rate-based Data Propagation in Sensor Networks, G. Singh, S. Pujar and S. Das, IEEE Wireless Communication and Networking Conference, March 2004

Configurable Event Communication in Cadena, G. Singh, P. Kumar, and Q. Zeng, IEEE Real-time and Application Symposium, May 2004

A Priority Inheritance-based Inversion Control Methodology for General Resource Access Problems L.Chen, M.Mizuno, and G. Singh IEEE Real-time and Application Symposium, May 2004

Model-driven Design and Implementation of Distributed Real-time Embedded Systems in Cadena, G. Singh, J. Hatcliff, M. Dwyer, V. Ranganath, X. Deng, P. Kumar, and Q. Zeng, OMG Workshop on Distributed Object Computing for Real-time and Embedded Systems, July 2003.

Obtaining Subtrees from Graphs: An Ant Colony Approach, S. V. Gosavi, S. Das, S. A. Vaze, G. Singh, E. Buehler, Proceedings, Swarm Intelligence Symposium, Indianapolis, Indiana, 2003.

Domain-specific Metaware for Hydrologic Applications, D. Andresen, M. Neilsen, G. Singh and P. Kalita, Proceedings of the International Conference on Parallel and Distributed Computing Systems (PDCS 2002), Cambridge, MA, November 4-6, 2002. Invited for publication to the International Journal on Parallel and Distributed Systems and Networks, 5(4), 2003.

Enhancing Multicast Communication to Support Protocol Design, Lu Chen and G. Singh, 11th IEEE International Conference International Conference on Computer Communications and Networks, Miami, October 2002.

Region Synchronization in Message Passing Systems ,G. Singh and Ye Su, 31st International Conference on Parallel Processing , Vancouver, August 2002.

Specifying Synchronization in Distributed Shared Memory Programs, G. Singh, 4th Workshop on High Performance Scientific and Engineering Computing with Applications, Vancouver, August 2002. Selected for special issue of the International Journal on Parallel and Distributed Computing Practice, 2003.

A Multidisciplinary Real-Time Embedded-Systems Curriculum, G. Singh, M. Mizuno, M. Neilsen, D. Lenhert, N. Zhang and A. Gross, IEEE Distributed Systems Online, 3(5), May 2002.

Enhancing Real-Time Event Service for Synchronization in Object Oriented Distributed Systems,G. Singh, B. Maddula and Q. Zeng, IEEE International Symposium on Object-oriented Real-time Distributed Computing, April 2002.

Invariant Consistency: A Mechanism for Inter-Process Ordering in Distributed Shared Memory Systems, G. Singh, IEEE International Conference on Distributed Computing Systems, 2002.

The Dharma Software Architecture, D. Andresen, M. Neilsen, G. Singh, P. Kalita and M. Hirschi, 11th International World Wide Web Conference, Practice and Experience track, May 2002.

Design of an Embedded Weed-Control System Using Controller Area Network J. Wei, N. Zhang, N. Wang, D. Oard, Q. Stoll, D. Lenhert, M. Neilsen, M. Mizuno and G. Singh, ASAE Annual International Meeting, July 2001.

Application Specific Ordering in Group Communication,G. Singh and S. Badarpura, International Workshop on Applied Research in Group Communication, colated with IEEE Int'l Conference on Distributed Computing Systems, April 2001.

A Coordination Service for Distributed Applications, G. Singh and A. Gopalan, IEEE International Workshop on Enabling Technologies, Stanford, June 1999.

An Object Oriented System for Developing Distributed Applications, G. Singh and Y. Gu, IEEE International Conference on High Performance Computing, December 1997.

A Sequentially Consistent Distributed Shared Memory , J. Zhou, M. Mizuno, and G. Singh, International Conference on Computer and Communications, May 1994.

Communication Efficient Distributed Shared Memory M. Mizuno, G. Singh, M. Neilson and M. Raynal, IEEE Int'l Conference on Computers and Communications, May 1993

Network Protocol Design Techniques and Verification

Synthesizing Dependable Synchronization Code for CAN-based Applications, Y. Su, G. Singh,M. Mizuno, and M. Neilsen, Workshop on Reliability in Embedded Systems, October 2001.

A Structured Approach to Develop Concurrent Programs in UML, M. Mizuno, G. Singh and M. Neilsen, International Conference on Unified Modeling Language (UML), York, October 2000.

Modular Object-Oriented Design of Distributed Protocols, Gurdip Singh and Jun Wu, International Conference on Technology for Object Oriented Languages and Systems (TOOLS), Santa Barbara, August 2000.

Compositional Design of Real-time Protocols , I. Buricea and G. Singh, International Conference on Parallel and Distributed Computing Systems, Nov 2000.

Constraint-based Structuring of Distributed Protocols , G. Singh Disributed Computing, 12(1), 1999. A short abstract appeared in the ACM Symposium on Principles of Distributed Computing, August 1995.

Composition of Service Specifications , G. Singh, I. Buricea and Z. Mao, IEEE International Conference on Network Protocols, Oct 1998

Validating Protocol Composition for Progress via Parallel Step Reachability Analysis , G. Singh and H. Liu, International Conference on Formal Description Techniques and Protocol Testing, Specification and Verification (FORTE/PSTV), Nov 1997

Structured Design of Multifunction Protocols , G. Singh and Z. Mao IEEE International Conference on Distributed Computing Systems, Hong Kong, May 1996.

Flexible Protocol Design for Distributed Applications , G. Singh and M. Narasimhan, International Symposium on High Performance Computing and Applications, Winnepeg, July 1997.

A Technique for Partial Broadcasting in Networks (short abstract), G. Singh, ACM Symposium on Principles of Distributed Computing, Santa Barbara, August 1997.

Architectural Concepts in Implementation of End-systems for High Performance Communications , K. Ravindran, G. Singh and C.M. Woodside, IEEE International Conference on Network Protocols, October 1996.

Multipath-routing in High-Performance Networks, G. Singh and S. Srinivasan, International Conference on High Performance Computing, December 1995.

On the Construction of Multiphase Communication Protocols , G. Singh and M. Sammeta, IEEE International Conference on Network Protocols, October 1994.

A Methodology for Construction of Communication Protocols, G. Singh ACM SIGCOMM'94 Conference, August 1994.

A Compositional Approach for Designing Protocols, IEEE International Conference on Network Protocols, October 1993.

Distributed Protocol Design via Parallel Composition, G. Singh and A.J. Bernstein, Parallel Architecture and Languages Europe, June 1992.
G. Singh and A. Bernstein, On the Relative Execution Times of Distributed Protocols, International Journal of Parallel Programming, 20(3), 1991, An earlier version appeared in the IEEE International Conference on Distributed Computing Systems, June 1990.

G. Singh and A. Bernstein, On the Relative Execution Times of Distributed Protocols, International Journal of Parallel Programming, 20(3), 1991, An earlier version appeared in the IEEE International Conference on Distributed Computing Systems, June 1990.

Leader Election and Spanning Tree Algorithms

Leader Election in Complete Networks , SIAM Journal on Computing, 26(3), June 1997. A preliminary version appeared in the ACM Symposium on Principles of Distributed Computing, August 1992.

A Distributed Protocol for Constructing Multicast Trees , G. Singh and K. Vellanki, International Conference on Principles of Distributed Systems, December 1998.

Leader Election Using Sense of Direction , Distributed Computing, 10(3), 1997. Some results appeared in the International Conference on Parallel and Distributed Computing Systems, October, 1994.

A Fault-tolerant Protocol for Election in Chordal-ring Networks with Fail-stop processor failures , IEEE Transactions on Reliability, 46(1), 1997 (with Yi Pan).

A Highly Asynchronous Minimum Spanning Tree Protocol , Distributed Computing, 8(2), 1995. (with Arthur Bernstein).

Leader Election in the Presence of Link Failures , IEEE Transactions on Parallel and Distributed Computing, 7(3), March 1996. A preliminary version appeared in the ACM Symposium on Principles of Distributed Computing, August 1994.

Selection on k-dimensional Meshes with Multiple Broadcasting, Computer Journal, 39(2), 1996 (with Yi Pan and Mounir Hamdi).

G. Singh and M. Bommareddy, Replica Placement in a Dynamic Network, IEEE International Conference on Distributed Computing Systems, June 1994.

Real-time Leader Election , Information Processing Letters, pages 57-61, 49, 1994.

Adaptive Breadth-First Search Protocols, G. Singh and C. Chou, International Phoenix Conference on Computers and Communication, April 1994.

Reconfiguration of Spanning Tree algorithms in Networks in the Presence of Node Failures, IEEE International Conference on Distributed Computing Systems, June 1993. (with K. Ravindran and P. Gupta)

Efficient Leader Election in Complete Networks IEEE International Conference on Distributed Computing Systems, May 1991.

G. Singh, S.A. Smolka and I.V. Ramakrishnan. Distributed Algorithms for Tree Pattern Matching, Second International Workshop on Distributed Algorithms, Amsterdam, Lecture Notes in Computer Science, Vol. 312, Springer Verlag, pp 92-107, July 1987.

Any opinions, findings, conclusions, or recommendations expressed in the material are those of the author(s), and do not necessarily reflect the views of the National Science Foundation