Skip to content

Jennifer Horkoff

  • PhD Candidate
  • 0ReadersNumber of instances of Jennifer's publications in Mendeley libraries. Updated daily.
  • 127PublicationsNumber of items in this person’s My Publications folder on Mendeley.

Research interests

Requirements Modeling and Analysis

About

I am a Ph.D. candidate in the Software Engineering Lab at the Department of Computer Science in the University of Toronto. My supervisor is Prof. Eric Yu. I expect to complete my Ph.D. studies in the summer of 2011. http://www.cs.utoronto.ca/~jenhork/

Followers (3)

  • Yi Li

    Yi LiUniversity of Toronto

  • Gias Uddin

    Gias Uddin

  • Michalis Famelis

    Michalis Famelis

Following (1)

Publications (5)

  • Automated Goal Operationalisation based on Interpolation and SAT Solving

    • Degiovanni R
    • Alrajehy D
    • Aguirre N
    N/AReaders
    N/ACitations
  • Towards a Methodology for Verifying Partial Model Refinements

    • Salay R
    • Chechik M
    • Gorzny J
    N/AReaders
    N/ACitations
  • Using Macromodels to Manage Collections of Related Models

    • Salay R
    • Mylopoulos J
    • Easterbrook S
    N/AReaders
    N/ACitations
  • Kodkod: A Relational Model Finder

    • Torlak E
    • Jackson D
    N/AReaders
    N/ACitations
  • A Modal Process Logic

    • Larsen K
    • Thomsen B
    N/AReaders
    N/ACitations