Models

Tuesday, July 19th, 10:45-12:25, Salon B – Session Chair: Marsha Chechik

Polyglot: Modeling and Analysis for Multiple Statechart Formalisms

Daniel Balasubramanian, Corina Pasareanu, Michael Whalen, Gabor Karsai, and Michael Lowry (Vanderbilt University, USA; NASA Ames Research Center, USA; University of Minnesota, USA)

Scalable Analysis of Conceptual Data Models

Matthew McGill, Laura Dillon, and R. E. K. Stirewalt (Michigan State University, USA; LogicBlox Inc., USA)

Bounded Verification of Ruby on Rails Data Models

Jaideep Nijjar and Tevfik Bultan (UC Santa Barbara, USA)

Automated Framework for Formal Operator Task Analysis

Ayesha Yasmeen and Elsa Gunter (University of Illinois, USA)