Skip to content

Jennifer Horkoff

  • PhD Candidate
  • 0ReadersNumber of instances of Jennifer's publications in Mendeley libraries. Updated daily.
  • 5PublicationsNumber 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

Automated Goal Operationalisation based on Interpolation and SAT Solving

  • Degiovanni R
  • Alrajehy D
  • Aguirre N
Proc. of ICSE'14 (2014)
  • n/a

    Readers

  • n/a

    Citations

Towards a Methodology for Verifying Partial Model Refinements

  • Salay R
  • Chechik M
  • Gorzny J
Proc. of VOLT'12 (2012)
  • n/a

    Readers

  • n/a

    Citations

Using Macromodels to Manage Collections of Related Models

  • Salay R
  • Mylopoulos J
  • Easterbrook S
Proc. of CaiSE'09 (2009)
  • n/a

    Readers

  • n/a

    Citations

Kodkod: A Relational Model Finder

  • Torlak E
  • Jackson D
Proc. of TACAS'07 (2007)
  • n/a

    Readers

  • n/a

    Citations

A Modal Process Logic

  • Larsen K
  • Thomsen B
Proc. of LICS'88 (1988)
  • n/a

    Readers

  • n/a

    Citations