Cory Plock

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Synthesizing Biological Theories.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009
Controller Synthesis from LSC Requirements.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Synthesizing Executable Programs from Requirements.
PhD thesis, 2008

2007
Synthesizing reactive systems from LSC requirements using the play-engine.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2005
From Requirements to Specifications.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005


  Loading...