Track: Technical Research
When: May 22, 2013 13:30
Location: Grand Ballroom C
Chair: Matt Dwyer

Aluminum: Principled Scenario Exploration through Minimality

Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, and Shriram Krishnamurthi
Worcester Polytechnic Institute, USA; Brown University, USA

Counter Play-Out: Executing Unrealizable Scenario-Based Specifications

Shahar Maoz and Yaniv Sa'ar
Tel Aviv University, Israel; Weizmann Institute of Science, Israel

Unifying FSM-Inference Algorithms through Declarative Specification

Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, and Arvind Krishnamurthy
University of Washington, USA; University of Massachusetts, USA

What Good Are Strong Specifications?

Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, and Bertrand Meyer
ETH Zurich, Switzerland; ITMO National Research University, Russia