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

Holonic Multi-Agent Control of Power Distribution Systems of the Future Anil Pahwa, Scott DeLoach, Sanjoy Das, Bala Natarajan, Xinming Ou, Dan Andresen, Noel Schulz and Gurdip Singh, CIGRE Grid of the Future Symposium. Kansas City, MO, 2012.

Reprogramming Heterogeneous Sensor Networks, Vishal Bhatia and Gurdip Singh, International Conference on Advances in Computing, Control and Communications, June 2012.

Data Gathering Protocols for Wireless Sensor Networks, D. Johnson and Gurdip Singh , International Conference on Computer, Communication and Information Sciences, and Engineering, June 2012.

Mutual Exclusion Protocols for Cyber-Physical Systems International Conference on Sensor Networks, Italy, Feb 2012.

A Communication Protocol for a Vehicle Collision Warning System , Huang Zhu and Gurdip Singh, IEEE/ACM International Conference on Cyber, Physical and Social Computing, December 2010. Won the Best Paper Award.

An Organizational Design for Adaptive Sensor Networks , Walamitien Oyenan, Scott DeLoach, and Gurdip Singh. Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT ‘10). Toronto Canada, September 2010.

Detecting Termination in Pervasive Sensor Networks , H. Kurian, A. Rakshit, and Gurdip Singh, 9th IEEE International Symposium on Asynchronous Decentralized Systems, March 2009.

Event Ordering in Pervasive Sensor Networks , L. Kaveti, S. Pulluri, and G. Singh, 5th IEEE International Workshop on Sensor Networks and Systems for Pervasive Computing, March 2009

A Service-Oriented Approach for Integrating Multiagent System Designs, Walamitien Oyenan , Scott DeLoach, and Gurdip Singh, Proceedings of the Proceedings of 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) 2009.

Exploiting Reusable Organizations to Reduce Complexity in Multiagent System Design. H. Oyenan, S. DeLoach, and G. Singh. Proceedings of the 9th International Workshop on Agent Oriented Software Engineering (AOSE 2009), Budapest Hungary, May 2009.

Utilizing model checking for automated optimization information discovery in InDiGO, Val Kolesnikov and Gurdip Singh, Proceedings of the International Symposium on Parallel and Distributed Computing, Lisbon, July 2009. A revised version of this paper was selected to be published in a special issue of the journal Parallel Computing.

InDiGO: An Infrastructure for Optimization of Distributed Algorithms , V. Kolesnikov and G. Singh, International Sympoisum on Parallel and Distributed Computing, July 2008

Methodologies for Optimization of Distributed Algorithms and Middleware, G. Singh, V. Kolesnikov and S. Das, NSF Next Generation Software Workshop, April 2008.

A Model-driven approach for data collection in sensor networks, International Conference on Distributed Computing and Networks, Feb 2008.

Efficient Synchronization in Message Passing Systems, Ye Su and G. Singh, International Conference on Advanced Information Networking and Applications, March 2008.

Observations and directions for high-confidence sensor networks in real world, J. Hatcliff, G. Singh, D. Andresen, and S. Warren, Composable and Systems Technology for High Confidence Cyber-Physical Systems Workshop, July 2007.

Wireless Neutron and Gamma Ray Detector Modules for Dosimetry and Remote Monitoring, D. McGregor et al. Poster at IEEE Nuclear Science Symposium, Nov 2007.

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