Room Location: LRG032 (in old Lero Building behind Kemmy)
9.00 - 9.10 | Introductions | |
9.10 - 09.50 | Mercy Njima, Italy | A Formal Approach to the Specification and Verification of Product Lines for Service Oriented Applications |
09.50 - 10.30 | James R. Williams, UK | Modelling and Analysing the Behaviour of Software |
10.30 - 11.00 | Break | |
11.00 - 11.40 | Jayeeta Chanda, India | Consistent Evolution of Service Oriented Paradigm from Object Oriented Systems |
11.40 - 12.20 | Elisabeth Jöbstl, Austria | Symbolic Model-Based Mutation Testing |
12.20 - 13.00 | Asmiza A. Sani, UK | Developing Model Transformation Specification for Automated Formal Analysis through a Template Based Approach |
13.00- 14.10 | Lunch | |
14.10 - 14.50 | Björn Bartels, Germany | Verification of Low-Level Real-Time Programs using Timed CSP |
14.50 - 15.30 | Manamiary B. Andriamiarina, France | Stepwise Development of Distributed Algorithms |
15.30- 16.00 | Break | |
16.00 -16.30 | Discussion |
Click here to download the schedule
A Doctoral Symposium will be held on June 20th in conjunction with the FME Symposium FM2011 which will take place in Limerick, Ireland, from June 20 to June 24, 2011. This aims to provide a helpful environment in which selected doctoral students can present and discuss their ongoing work, meet other students working on similar topics and receive helpful advice and feedback from a panel of researchers and academics.
If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant. Research Abstracts should be no more than 6 pages in LNCS format, though any recognised format is acceptable for the initial submission.
Your Research Abstract should:
The Abstract should be written by yourself as sole author, but should include references to any papers you have already published, including joint publications with your supervisor.
How to Submit:
Please upload a pdf version of your Research Abstract, including your name, affiliation and email address to:
https://www.easychair.org/conferences/?conf=dsfm2011
(Note that this is not the main FM2011 Easychair page.)
Important Dates:
Submission by Monday 21st February 2011
Notification on Wednesday 20th April 2011
Doctoral Symposium on Monday 20th June 2011
Further Information about the FM2011 Symposium is available at http://sites.lero.ie/fm2011 with a link to the Doctoral Symposium page.
Enquiries about the Doctoral Symposium should be addressed to Norah Power: mailto:norah.power@ul.ie