Refine@FM

Keyphrases

Publications

2018

volume 282, 2018

Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. Refine@FM 282 (2018)

volume 209, 2016

Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. Refine@FM 209 (2016)

2015

Jason Koenig, K. Rustan M. Leino
Programming Language Features for Refinement. Refine@FM (2015)
Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais
Formal refinement of extended state machines. Refine@FM (2015)
Eerke A. Boiten
Big Data Refinement. Refine@FM (2015)
Mats Neovius, Luigia Petre, Kaisa Sere
A Theory of Service Dependency. Refine@FM (2015)
Brijesh Dongol, Lindsay Groves
Towards linking correctness conditions for concurrent objects and contextual trace refinement. Refine@FM (2015)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
Program Derivation by Correctness Enhacements. Refine@FM (2015)
Alvaro Miyazawa, Ana Cavalcanti
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java. Refine@FM (2015)
Gerard Ekembe Ngondi
Unifying Theories of Mobile Channels. Refine@FM (2015)
Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
A logic for n-dimensional hierarchical refinement. Refine@FM (2015)

2011

volume 55, 2011

Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. Refine@FM 55 (2011)