Publication Dartmouth-Hitchcock Medical Center: Spine Care Robert S. Huckman, Robert S. Huckman, Michael E. Porter, Rachel Gordon, Natalie Kindred, James Weinstein March 2009
Publication Controller Synthesis from LSC Requirements Hillel Kugler, Cory Plock, Amir Pnueli Fundamental Approaches to Software Engineering (FASE’09) | March 2009 Project
Publication Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications Hillel Kugler Tools and Algorithms for the Construction and Analysis of Systems (TACAS’09) | March 2009 Project
Research
Research