Presentations
from REFT'05
Session 1
1. A. Romanovsky
Introduction and Welcome
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
2. I. Hayes
Using Domain Models
to Specify Systems
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
3. L. Laibinis, E. Troubitsyna, J. Lilius, Q. Malik,
S. Leppanen
Formal Service-
Oriented Development of Fault Tolerant Communicating Systems
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
4. C. Snook, M. Poppleton, I. Johnson
Towards
a methodology for rigorous development of generic requirements patterns
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
5. C. Ponsard, P. Massonet, J.F. Molderez, A. van
Lamsweerde
Analysing Fault-Tolerant
System using KAOS/FAUST
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
6. M. Poppleton, C. Snook, I. Johnson
Some
thoughts about product line engineering: using UML, B, and refinement
-emerging from CS2/ATEC
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
Session 2
1. J. Fernandez- Villacanas
Software
Technologies in Call 5 and FP7 (invited presentation)
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
2. S. Katz
Rigorous
Fault Tolerance Using Aspects and Formal Methods (invited presentation)
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
3. A. Capozucca, N. Guelfi, P. Pelliccione
The
Fault-Tolerant Insulin Pump Therapy
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
4. T. Wilson, S. Maharaj, R. Clark
Omnibus: A clean language
and supporting tool for integrating different assertion-based verification
techniques (short presentation)
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
5. A. Iliasov, L. Laibinis, A. Romanovsky, E. Troubitsyna
Towards Formal Development
of Mobile Location- based Systems
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
Session 3
1. J. Coleman, Cliff Jones
Examples of how
to Determine the Specifications of Control Systems
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
2. A. Gorbenko, V. Kharchenko, O. Tarasyuk
FMEA-
technique of Web Services Analysis and Dependability Ensuring
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
3. D. Ilic, E. Troubitsyna
Modelling Fault
Tolerance of Transient Faults
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
Session 4
1. D. Yadav, M. Butler
Application of
Event B to Global Causal Ordering for Fault Tolerant Transactions
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
2. P. Chalin
Are Practitioners
Writing Contracts?
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
3. F. Castor Filho, P. Henrique da S. Brito, C.M.
F.Rubira
Modeling
and Analysis of Architectural Exeptions
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
4. J. Coleman
Examining BPEL's
Compensation Construct (short presentation)
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
5. A. Iliasov, V. Khomenko, M. Koutny, A. Romanovsky
On Specification
and Verification of Location-based Fault Tolerant Mobile Systems
Presented at:-REFT '05- Workshop on Rigorous Engineering of Fault-Tolerant
Systems at the 13th International Symposium of Formal Methods 2005,
Newcastle upon Tyne, UK, July 2005
|