Fourth International Conference on Integrated Formal Methods

4-7 April 2004 in Canterbury, Kent, England

Doctoral Symposium

Participants

• Tomas Barros, INRIA Sophia Antipolis, "Formal description and analysis for distributed systems" (.ps,.pdf).
• Clara Benac Earle, Kent (no paper)
• Jaap Boender, Eindhoven, "Verification of BPEL specifications using coloured Petri nets" (.ps).
• Stacey Conroy, Teesside (no paper)
• Aleksandar Dimovski, Warwick, "Software Model Checking Using Game Semantics and CSP" (.ps).
• Andy Edmunds, Southampton (no paper)
• Islam El-Maddah, King's College London, "Goal Driven Requirements Analysis of Process Control Systems" (Abstract, .ps).
• Leonardo Freitas, Kent (no paper)
• Dan Grundy, Kent (no paper)
• Lee Momtahan, Oxford, "Towards A Small Model Theorem for Alloy"(Abstract).
• Peet Morris, Oxford (no paper)
• Bruno Oliveira, Oxford (no paper)
• Marcel Oliveira, Kent (no paper)
• Christopher Robinson-Mallett, Potsdam, "ROOMtest: An Approach for the Structural Testing of ROOMcharts and UML-RT State Diagrams"
• Steffen Schlager, Karlsruhe (paper at main conf)
• Edward Turner, Southampton (no paper)
• Yuan Zhan, York, "Automatic Test-Data Generation at an Architectural Level"(Abstract).

Programme
Location: Computing Laboratory Octagon
18:30 - 18:45	Formal description and analysis for distributed systems. Tomas Barros.
18:45 - 19:00	Goal Driven Requirements Analysis of Process Control Systems. Islam El-Maddah.
19:00 - 19:15	Software Model Checking Using Game Semantics and CSP. Aleksandar Dimovski.
19:15 - 19:30	Towards A Small Model Theorem for Alloy. Lee Momtahan.
19:30 - 19:45	Automatic Test-Data Generation at an Architectural Level. Yuan Zhan.
19:45 - 20:15	Buffet Break
20:15 - 20:30	ROOMtest: An Approach for the Structural Testing of ROOMcharts and UML-RT State Diagrams. Christopher Robinson-Mallett.
20:30 - 20:45	Verification of BPEL specifications using coloured Petri nets. Jaap Boender.