Cory Plock

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Hillel Kugler, Cory Plock, Andy Roberts
Synthesizing Biological Theories. CAV (2011)
Hillel Kugler, Cory Plock, Amir Pnueli
Controller Synthesis from LSC Requirements. FASE (2009)
Hillel Kugler, Cory Plock, Amir Pnueli
Synthesizing reactive systems from LSC requirements using the play-engine. OOPSLA Companion (2007)
Cory Plock, Benjamin Goldberg, Lenore D. Zuck
From Requirements to Specifications. ECBS (2005)