Portland, Oregon, November 6, 2006
Accepted Papers
Full papers:
- Charles Chen, Paul Grisham, Sarfraz Khurshid and Dewayne Perry
Design and Validation of a General Security Model with the Alloy Analyzer (PDF) - Laura Dillon, Kurt Stirewalt, Beata Sarna-Starosta and Scott Fleming
Developing an Alloy Framework akin to OO Frameworks (PDF) - Marcelo F. Frias and Juan P. Galeotti
Faster SAT-Based Analysis of OO-Programs by Separation of Mutant and Non Mutant Objects (PDF) - Marcelo F. Frias, Carlos G. Lopez Pombo and Mariano M. Moscato
Dynamite: Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications (PDF) - Rohit Gheyi, Tiago Massoni and Paulo Borba
A Theory for Feature Models in Alloy (PDF) - Fadi Zaraket, Adnan Aziz and Sarfraz Khurshid
Applying a Sequential Circuit Solver to Alloy (PDF) - Alanna Zito and Juergen Dingel
Modeling UML2 Package Merge with Alloy (PDF)
Short papers:
- Fernando Valles Barajas
A formal model for a requirements engineering tool (PDF) - Sanjai Narain, Y. Alice Cheng, Alex Poylisher and Rajesh Talpade
Network Single Point of Failure Analysis via Model Finding (PDF) - Emina Torlak and Greg Dennis
Kodkod for Alloy Users (PDF) - Alain Wegmann, Lam-Son Le, Lotfi Hussami and Dirk Beyer
Implementation of a Modeling Tool Using Alloy as Meta-Modeling Language and CrocoPat as Validation Tool (PDF)
Position papers: