• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1988 …2020

Research activity per year

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

Search results

  • 2005

    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

    11 Scopus citations
  • 2004

    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
  • 2003

    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

    10 Scopus citations