Refine 2006 - International Refinement Workshop
Workshop Programme
31 October 2006, co-located with ICFEM 2006
REFINE 2006 - International refinement workshop.
Registration
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.
Proceedings
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
Organizers