2015 Refinement Workshop at FM, Mon 22 June 2015

The 2015 Refinement Workshop will be co-located with FM 2015 at Oslo, on 22 June.

10:00-10:30 Start with coffee
10:30-11:00 SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
Alvaro Miyazawa and Ana Cavalcanti
11:00-11:30 Denotational Semantics of Channel Mobility
Gerard Ekembe Ngondi and Jim Woodcock
11:30-12:00 A Theory of Service Dependency
Luigia Petre and Mats Neovius
12:00-12:30 Formal refinement of extended state machines
Thomas Fayolle, Marc Frappier, Frederic Gervais and Regine Laleau
12:30-14:00 Lunch
14:00-14:30 Program Derivation by Correctness Enhancements
Nafi Diallo, Wided Ghardallou, Jules Desharnais and Ali Mili
14:30-15:00 Reversible Computing and Refinement
Frank Zeyda, Steve Dunne and Bill Stoddart
15:00-15:30 Linking linearizability and contextual trace refinement
Lindsay Groves and Brijesh Dongol
15:30-16:00 Coffee break
16:00-16:30 A logic for n-dimensional hierarchical refinement
Alexandre Madeira, Manuel A. Martins and Luis Barbosa
16:30-17:00 Programming language features for refinement
Rustan Leino and Jason Koenig
17:00-17:30 Big Data refinement.
Eerke Boiten