Refine 2006 - International Refinement Workshop
Workshop Programme

31 October 2006, co-located with ICFEM 2006
REFINE 2006 - International refinement workshop.


The Refinement workshop will take place on October 31st, as one of the workshops of the ICFEM 2006 conference organised by the UNU-IIST and the University of Macau. Registration for the workshop is being dealt with via the ICFEM conference website.


The workshop proceedings will appear in Electronic Notes in Theoretical Computer Science. BCS-FACS will provide a best paper prize. The journal Formal Aspects of Computing will publish a special issue, consisting of developments and extensions of the best workshop papers.

Preliminary Program

9 - 9.30am - Opening
9.30 - 10.30am - Model checking
Model checking correctness of refactoring - Some experiments
Christian Estler, Thomas Ruhroth, and Heike Wehrheim
FDR explorer
Leo Freitas and Jim Woodcock
10:30 - 11 - Morning tea
11.30 - 13:00 - Theory I - concurrency
Relational Concurrent Refinement with Internal Operations
John Derrick and Eerke Boiten
Derivation of a scalable lock-free stack algorithm
Lindsay Groves and Robert Colvin
Simulation machines for checking action system refinement
Graeme Smith and Kirsten Winter
13:00 - 14:30 - Lunch
14:30 - 16:00 - Theory II - integrations and unifications
Time aware system refinement
Tomi Westerlund and Juha Plosila
A denotational semantics for Circus
Marcel Oliveria, Ana Cavalcanti and Jim Woodcock
Testing for Design Faults
Bernhard Aichernig and Jifeng He
16:00 - 16:30 - Afternoon tea
16:30 - 18:00 - OO and components
Object-oriented structure refinement - a graph transformational approach
Xiaojian Liu, Zhiming Liu and Liang Zhao
A petri net based method for refining object oriented system specifications
K Cheung and K Chow
Semi-automated component-based development of formally verified software
David Hemer