Gurdip Singh

Calculated based on number of publications stored in Pure and citations from Scopus
1988 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • Chapter

    An integrated model-driven development environment for composing and validating distributed real-time and embedded systems

    Trombetti, G., Gokhale, A., Schmidt, D. C., Greenwald, J., Hatcliff, J., Jung, G. & Singh, G., 2005, Model-Driven Software Development. Springer Berlin Heidelberg, p. 329-361 33 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    12 Scopus citations
  • Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems

    Childs, A., Greenwald, J., Ranganath, V. P., Deng, X., Dwyer, M., Hatcliff, J., Jung, G., Shanti, P. & Singh, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wermelinger, M. & Margaria-Steffen, T. (eds.). Springer Verlag, p. 160-164 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2984).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    10 Scopus citations
  • Model-checking middleware-based event-driven real-time embedded software

    Deng, X., Dwyer, M. B., Hatcliff, J., Jung, G., Robby & Singh, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). de Boer, F. S., Bonsangue, M. M., Graf, S. & de Roever, W-P. (eds.). Springer Verlag, p. 154-181 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2852).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    12 Scopus citations