Skip to content

Jennifer Horkoff

  • PhD Candidate
  • --

    Readers

    Number of times these publications have been added to libraries on Mendeley.
  • 127

    Publications

    Number of items in this person’s My Publications folder on Mendeley.

Research Interests

Requirements Modeling and Analysis

Followers (3)

  • Yi Li

    Yi Li University of Toronto

  • Gias Uddin

    Gias Uddin

  • Michalis Famelis

    Michalis Famelis

Following (1)

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/

Publications

Automated Goal Operationalisation based on Interpolation and SAT Solving

  • Degiovanni R
  • Alrajehy D
  • Aguirre N
  • Uchitely S
Proc. of ICSE'14 (2014)
  • --

    Readers

    Readers not available. This publication is not currently accessible in the Mendeley catalog.

Towards a Methodology for Verifying Partial Model Refinements

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

    Readers

    Readers not available. This publication is not currently accessible in the Mendeley catalog.

Using Macromodels to Manage Collections of Related Models

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

    Readers

    Readers not available. This publication is not currently accessible in the Mendeley catalog.

Kodkod: A Relational Model Finder

  • Torlak E
  • Jackson D
Proc. of TACAS'07 (2007)
  • --

    Readers

    Readers not available. This publication is not currently accessible in the Mendeley catalog.

A Modal Process Logic

  • Larsen K
  • Thomsen B
Proc. of LICS'88 (1988)
  • --

    Readers

    Readers not available. This publication is not currently accessible in the Mendeley catalog.