Travelled to:1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:J.Wu M.Mizuno M.L.Neilsen A.Childs J.Greenwald V.P.Ranganath X.Deng M.B.Dwyer J.Hatcliff G.Jung P.Shanti
Talks about:develop (2) distribut (1) synthesi (1) structur (1) protocol (1) approach (1) program (1) modular (1) environ (1) concurr (1)
Person: Gurdip Singh
DBLP: Singh:Gurdip
Contributed to:
2004
2000
2000Wrote 3 papers:
- FASE-2004-ChildsGRDDHJSS #analysis #component #development #ide #named #synthesis #verification
- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems (AC, JG, VPR, XD, MBD, JH, GJ, PS, GS), pp. 160–164.
- TOOLS-USA-2000-SinghW #composition #design #distributed #object-oriented #protocol
- Modular Object-Oriented Design of Distributed Protocols (GS, JW), pp. 329–338.
- UML-2000-MizunoSN #approach #concurrent #source code #uml
- A Structured Approach to Develop Concurrent Programs in UML (MM, GS, MLN), pp. 451–465.