Cory Plock

According to our database, Cory Plock authored at least 5 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

Synthesizing Biological Theories.

Hillel Kugler, Cory Plock, Andy Roberts

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009

Controller Synthesis from LSC Requirements.

Hillel Kugler, Cory Plock, Amir Pnueli

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Synthesizing Executable Programs from Requirements.

Cory Plock

PhD thesis, 2008

2007

Synthesizing reactive systems from LSC requirements using the play-engine.

Hillel Kugler, Cory Plock, Amir Pnueli

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2005

From Requirements to Specifications.

Cory Plock, Benjamin Goldberg, Lenore D. Zuck

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005