Rodin logo Information society technologies
Rigorous Open Development Environment for Complex Systems

Link to Home page
Link to Workpackages page
Link to Participants page
Link to Industrial Interest Group page
Link to expected results page
Link to expected results page
Link to publications page
Link to project background page
 
 
Credits
Project Member Space

RODIN Publications

1. I. Johnson, C. Snook, A Edmunds and M. Butler
Rigorous development of reusable, domain-specific components, for complex applications
Presented at: CSDUML'04 - 3rd International Workshop on Critical Systems Development with UML, October 2004, Lisbon

2. P. A. de C. Guerra, C. M. F. Rubira, A. Romanovsky, R. de Lemos
A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers.
In Architecting Dependable Systems ADS II.
R. de Lemos, C. Gacek, A. Romanovsky (Eds). LNCS 3069. October 2004. pp. 147-170.

3. C. Schröter, V. Khomenko.
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings.
Proc. of CAV'2004, Alur, R. and Peled, D.A. (Eds.). Springer-Verlag, Lecture Notes in Computer Science 3114. 2004. pp. 109-121.

4. N. Guelfi, R. Razavi, A. Romanovsky, S. Vandenbergh.
DRIP Catalyst: An MDE/MDA Method for Fault-tolerant Distributed Software Families Development.
Presented at OOPSLA & GPCE Workshop on Best Practices for Model Driven Software Development. October 2004. Vancouver, Canada.

5. M. Butler, M. Leuschel, C. Snook
Tools for system validation with B abstract machines.
Presented at ASM 2005 - International Workshop on Abstract State Machines, Paris, 2005.

6. M. Butler, M. Leuschel, C. Snook
Tools for system validation with B abstract machines.
Presented at Workshop on System-Level Verification and Validation.
Co-located with DATE 2005, Munich, 2005.

7. J.Coleman, C.Jones, I.Oliver, A.Romanovsky and E.Troubitsyna.
RODIN (Rigorous open Development Environment for Complex Systems).
Project Number IST 2004-511599.
In Fifth European Dependable Computing Conference: EDCC-5 supplementary volume.
Budapest, Hungary, April 20- 22, 2005. pp. 23-26.

8. T. Anderson, M. Feng, S. Riddle, A. Romanovsky.
Error Recovery for a Boiler System with OTS PID Controller.
In Proc. 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), Sedona, Arizona, 2-4 February 2005, pp. 113 - 120. IEEE CS Press. 2005.

9. A. Iliasov, A. Romanovsky.
Exception Handling in Coordination-based Mobile Environments.
In Proc. 29th Annual International Computer Software and Applications Conference (COMPSAC), Edinburgh, Scotland, July 26-28, 2005. IEEE CS Press. 2005.

10. A. Iliasov, A. Romanovsky.
CAMA: Structured Coordination Space and Exception Propagation Mechanism for Mobile Agents. Presented at ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems:
Developing Systems that Handle Exceptions. July 25, 2005. Glasgow, UK.

11. M. Butler, C. Jones, A. Romanovsky, E. Troubitsyna.
Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005).
School of Computing Science, Technical Report Series, CS-TR-915, University of Newcastle upon Tyne, UK, 2005. ISSN 1368-1060.

12. A. Gorbenko, V. Kharchenko, P. Popov, A. Romanovsky.
Dependable Composite Web Services with Components Upgraded Online.
In R. de Lemos, C. Gacek, A. Romanovsky (Eds). Architecting Dependable Systems ADS III. LNCS 3549. 2005 pp.96-128

13. JW. Coleman.
Examining BPEL's compensation construct.
Presented at REFT 2005 - Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Newcastle Upon Tyne. June 2005.

14. JW. Coleman and CB. Jones.
Examples of how to determine the specifications of control systems.
Presented at REFT 2005 - Workshop on Rigorous Engineering of Fault-Tolerant Systems, Newcastle Upon Tyne. June 2005.

15. C. Snook, M. Poppleton and I. Johnson
The Engineering of generic requirements for failure management
In Proceedings of Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, pp. 145-160, Oporto. 2005 Kamsties, E., Gervasi, V. and Sawyer, P., Eds.

16. C. Snook, M. Poppleton and I. Johnson
Towards a methodology for rigorous development of generic requirements patterns
In Proceedings of Workshop on Rigorous Engineering of Fault Tolerant Systems, pp. 17-27, Newcastle upon Tyne, UK. June 2005 Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E., Eds.

17. L. Laibinis and E. Troubitsyna
Fault Tolerance in Use-Case Modeling.
In Proceedings of RHAS 2005 - the Workshop on Requirements for High Assurance Systems , Sep 2005.

18. L. Laibinis and E. Troubitsyna.
Formal Development of Reactive Fault Tolerant Systems.
In Proceedings of RISE 2005 - the 2nd Workshop on Rapid Integration of Software Engineering Techniques, Sep 2005.

19. D. Ilic and E.Troubitsyna.
Formal Development of Software for Tolerating Transient Faults.
In Proceeding of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005.

20. L. Laibinis, E. Troubitsyna, S. Leppänen, J. Lilius and Q. Malik.
Formal Model-Driven Development of Communicating Systems.
In Proceedings of ICFEM 2005 - 7th International Conference on Formal Engineering Methods, Nov 2005.

21. L. Laibinis, E. Troubitsyna, S.Leppänen, J. Lilius and Q. Malik.
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. In Proceedings of REFT 2005 - the Workshop on Rigorous Engineering of Fault Tolerant Systems, Jul 2005.

22. D. Ilic and E. Troubitsyna.
Modelling Fault Tolerance of Transient Faults.
In Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Jul 2005.

23. S.Leppänen, D. Ilic, Q.Malik, T. Systä and E.Troubitsyna.
Specifying UML Profile for Distributed Communicating Systems and Communication Protocols.
In Workshop on Consistency in Model Driven Engineering - C@MODE’05, Nov 2005.

24. A.Iliasov, L. Laibinis, A. Romanovsky and E. Troubitsyna.
Towards Formal Development of Mobile Location-Based Systems.
In Proceedings of REFT 2005 - the Workshop of on Rigorous Engineering of Fault Tolerant Systems, Jul 2005.

25. V. Khomenko, A. Kondratyev. M. Koutny and W. Vogler
Merged Processes - a New Condensed Representation of Petri Net Behaviour,
In Proceedings of the CONCUR 2005 - Concurrency Theory. 16th International Conference, San Francisco, CA, Abadi, M. and de Alfaro, L. (eds.) Lecture Notes in Computer Science Volume 3653 pp. 338-352 Springer-Verlag 2005

26. M. Leuschel and M. Butler
Automatic Refinement Checking for B,I
In Proceedings ICFEM'05. Springer-Verlag. LNCS 3785 2005

27 . D. Yadav and M. Butler
Application of Event B to Global Causal Ordering for Fault Tolerant Transactions.
In Proceedings of Workshop on Rigorous Engineering of Fault Tolerant Systems REFT2005, pp. 93-102, Newcastle upon Tyne. 2005

28. M. Butler and M. Leuschel
Combining CSP and B for Specification and Property Verification.
In Proceedings of Formal Methods 2005(LNCS 3582), pp. 221-236, Newcastle upon Tyne. Fitzgerald, J., Hayes, I. and Tarlecki, A., Eds. 2005

29. C. Snook and M. Walden
Refinement of Statemachines using hierarchical states, choice points and joins
Presented at: REFINENET'05 - Refinement Workshop, October 2005, University of Manchester

30. N. Evans and H. Treharne
Linking Semantic Models to Support CSP || B Consistency Checking Electronic Notes in Theoretical Computer Science Volume 145 , 14 January 2006, Pages 201-217
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems (AVoCS 2005)

31. Jean-Raymond Abrial and D. Cansell
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity),
J. UCS", 5, 11, pgs 744-770, 2005

32. R. Devillers, H. Klaudel and M. Koutny
Petri Net Semantics of the Finite pi-calculus Terms
Fundamenta Informaticae 70(3), 2006, pp. 203-226

33. A. Monod, J. Kienzle, A. Romanovsky.
Looking Ahead in Open Multithreaded Transactions.
In Proceedings of the 9th International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Gyeongju, Korea, April 24 - 26, 2006.
Eds. S. Lee, U. Brinkschulte, B. Thuraisingham, R. G. Pettit IV. IEEE Press. 2006, pp. 53 - 63

34. F. C. Filho, A. Romanovsky, C. M. F. Rubira.
Verification of Coordinated Exception Handling.
In Proceedings of 21st ACM Symposium on Applied Computing (SAC'2006), Dijon, France, 23-27th April. 2006, pp 680-685. ACM Press

35. B. Arief, A. Iliasov, A. Romanovsky.
On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems.
SELMAS 2006 workshop at ICSE 2006. Shanghai, China. May 22-23. 2006. pp.29-36.

36. K. Damasceno, N. Cacho, A. Garcia, A. Romanovsky, C. Lucena.
Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case.
SELMAS 2006 workshop at ICSE 2006. Shanghai, China. May 22-23. 2006. pp.37-44.

37. P. Li, Y. Chen, A. Romanovsky.
Measuring the dependability of Web Services for use in e-Science experiments.
The 3rd International Service Availability Symposium. ISAS 2006. Helsinki, Finland, May 15-16, 2006. pp. 175-185

38. R.Devillers, H.Klaudel and M.Koutny
A Petri Net Semantics of a Simple Process Algebra for Mobility.
Electronic Notes in Theoretical Computer Science Volume 154, Issue 3 , 19 July 2006, Pages 71-94

39. V.Khomenko, A.Kondratyev, M.Koutny and V.Vogler
Merged Processes - a New Condensed Representation of Petri Net Behaviour.
In Proceedings of the CONCUR 2005 - Concurrency Theory. 16th International Conference, San Francisco, CA, August 23-26, 2005 Abadi, M. and de Alfaro, L. (eds.) Lecture Notes in Computer Science Volume 3653 pp. 338-352 Springer-Verlag 2005

40. V. Khomenko, M. Koutny, and A. Niaouris
Applying Petri Net Unfoldings for Verification of Mobile Systems
Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA 2006), Moldt, D. (ed.), Bericht 272 Department Informatik, Universitaet Hamburg, 2006, pp. 161-178

41. H. C. M. Kleijn, M. Koutny
Infinite Process Semantics of Inhibitor Nets
In Proceedings of the Petri Nets and Other Models of Concurrency - ICATPN 2006, Donatelli, S., Thiagarajan, P. S. (eds.), Lecture Notes in Computer Science 4024, pp. 282 - 301, 2006

42. M. Koutny, G. Pappalardo, M. Pietkiewicz-Koutny
Towards an Algebra of Abstractions for Communicating Processes
In Proceedings of the Sixth International Conference on Application of Concurrency to System Design , Goossens, K. and Petrucci, L.(eds.) IEEE Computer Society pp. 239-250 , 2006

43. S.Becker, A.Brogi, I.Gorton, S.Overhage, A.Romanovsky, M.Tivoli.
Towards an Engineering Approach to Component Adaptation.
In Architecting Systems with Trustworthy Components. International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers LNCS 3938. Reussner, Ralf H.; Stafford, Judith A.; Szyperski, Clemens A. (Eds.) 2006. pp. 193- 215.

44. I. Oliver.
A Demonstration of Specifying and Synthesising Hardware using B and Bluespec.
In: Proceedings of Forum on Design Languages 2006. Darmstadt, Germany.

45.I. Oliver, V. Luukkala.
On UML's Composite Structure Diagram.
SAM'06, May 31-June 2, Kaiserslautern, Germany 2006


46 . P. Boström, M. Neovius, I. Oliver and M. Waldén.
Formal Transformation of Platform Independent Models into Platform Specific Models.
In Proceedings of the 7th International B Conference (B2007), Besançon, France, LNCS, January 2007. Springer-Verlag. To appear.

47. C. Snook and M. Waldén.
Refinement of Statemachines using Event B semantics
In Proceedings of the 7th International B Conference (B2007), Besançon, France, LNCS, January 2007. Springer-Verlag. To appear.

48. Y, Chen, A, Romanovsky.
A mediator system for improving dependability of web services.
In Dependable Systems and Networks - DSN 2006, Supplemental volume. 2006. pp.132-133.

49. A. Iliasov, A. Romanovsky.
Structured Coordination Spaces for Fault Tolerant Mobile Agents.
In Advanced Topics in Exception Handling Techniques. LNCS-4119. 2006. pp. 181-199.

50. A. Capozucca, N. Guelfi, P. Pelliccione, A. Romanovsky, A. Zorzo.
CAA-DRIP: a framework for implementing Coordinated Atomic Actions.
In 17th International Symposium on Software Reliability Engineering (ISSRE'06), 2006. pp. 385-394

51. Randell, B. and Ryan, P.Y.A.
Voting Technologies and Trust
IEEE Security & Privacy, Volume 4, Issue 5, pp 50-56 IEEE Computer Society, 2006

52. Avizienis, A., Laprie, J.-C., Randell, B. and Landwehr, C.
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing, Volume 1, Issue 1, pp 11-33 IEEE, 2004

53. Yan, J. and Randell, B.
A Systematic Classification of Cheating in Online Games
In Proceedings of the 4th ACM SIGCOMM Workshop on Network and System Support for Games (NetGames05), Hawthorne, NY, October 10-11, 2005 pp. 1-9 ACM Press 2005

54. Anderson, T., Randell, B., and Romanovsky, A.
Wrapping the Future
In Proceedings of the Building the Information Society: Proc. IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France Jacquart, R. (ed) pp. 165-173 Kluwer Academic Publishers 2004

55. Avizienis, A., Laprie, J.C., and Randell, B.
Dependability and its Threats: A Taxonomy
In Proceedings of the Building the Information Society: Proc. IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France Jacquart, R. (ed) pp. 91-120 Kluwer Academic Publishers 2004

56. Jones, C.B. and Randell, B.
The role of structure: a dependability perspective.
In: Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, Besnard, D., Gacek , C. and Jones, C.B.(eds) pp. 3-15 Springer ISBN: 1-84628-110-5 2006

57. Randell, B.
Foreword
In: Advanced Topics in Exception Handling Techniques, Dony, C., Knudsen, J.L., Romanovsky, A., and Tripathi, A. (eds) pp. vii-viii Series: Lecture Notes in Computer Science Volume 4119 Springer ISBN:
3-540-37443-4 2006

58. Jones, C.B. and Randell, B.
Dependable Pervasive Systems
In: Trust and Crime in Information Societies, Mansell. R. and Collins, B.S. (eds) pp. 59-91 Edward Elgar Publishing ISBN: 1-84542-177-9 2005

59. Randell, B.
Dependability, Structure and Infrastructure
In: Cyberspace Security and Defense: Research Issues, Kowalik, J.S., Gorski, J. and Sachenko, A. (eds) pp. 143-160 Series: NATO Science Series II Volume 196 Springer ISBN: 1-4020-3380-X 2005

60. Iliasov, A., Romanovsky, A., Arief, B., Laibinis L. and Troubitsyna, E.
A Framework for Open Distributed System Design.
In Proceedings of Computer Software & Applications Conference (COMPSAC 07), Volume II - Workshop Papers, pp. 658-668, July 2007, Beijing, China. IEEE Computer Society, Conference Publishing Services, 2007.

61. V.Khomenko, A.Kondratyev, M.Koutny and W.Vogler, Merged Processes: a New Condensed Representation of Petri Net Behaviour , Acta Informatica, Volume 43, Issue 5, pp 307-330 Springer , 2006

62. V. Khomenko and M. Koutny: Verification of Bounded Petri Nets Using Integer Programming. Springer-Verlag, Formal Methods in System Design
(2006) 143-176.

63. R.Devillers, H.Klaudel and M.Koutny
A Petri Net Translation of p-Calculus Terms In Proceedings of the Theoretical Aspects of Computing - ICTAC 2006.
Lecture Notes in Computer Science Volume 4281 pp. 138-152 Springer 2006

64. R.Devillers, H.Klaudel and M.Koutny
Modelling Mobility in High-Level Petri Nets In Proceedings of the Seventh International Conference on Application of Concurrency to System Design, IEEE Computer Society 2007 pp. 110-119

65. B.Randell and M.Koutny
Failures: Their Definition, Modelling and Analysis In Proceedings of the Theoretical Aspects of Computing - ICTAC 2007.
Lecture Notes in Computer Science Springer 2007 pp. 260-271

66. Joey W. Coleman and Cliff B. Jones. A structural proof of the soundness of rely/guarantee rules. Journal of Logic and Computation, 17(4):807–841, August 2007.

67. Budi Arief, Alexei Iliasov, and Alexander Romanovsky. Rigorous Development of Ambient Campus Applications that can Recover from Errors. Presented at the Workshop on Methods, Models and Tools for Fault-Tolerance (MeMoT 2007) at the International Conference on Integrated Formal Methods 2007 (IFM 2007), pp. 103-110, 3 July 2007.

68. Alexei Iliasov, Alexander Romanovsky, Budi Arief, Linas Laibinis and Elena Troubitsyna. On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC07), Santorini Island, Greece, 7-9 May, pp. 141-145, 2007.

69. Leuschel, M., Cansell, D. and Butler, M. (2007) Validating and Animating Higher-Order Recursive Functions in B. In Proceedings of Festschrift for Egon Börger (in press). Abrial,, J. R. and Glässer, U., Eds. http://eprints.ecs.soton.ac.uk/14456/

70. Satpathy, M., Butler, M., Leuschel, M. and Ramesh, S. (2007) Automatic Testing from Formal Specifications. In Proceedings of International Conference on Tests And Proofs (TAP) (in press), ETH Zurich, Switzerland. http://eprints.ecs.soton.ac.uk/14457/

71. Leuschel, M., Butler, M., Spermann, C. and Turner, E. (2007) Symmetry Reduction for B by Permutation Flooding. In Proceedings of 7th International B Conference LNCS 4355, Besancon. France. http://eprints.ecs.soton.ac.uk/14454/

72. Ball, E. and Butler, M. (2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction. In Proceedings of Methods, Models and Tools for Fault Tolerance, Oxford, UK. http://eprints.ecs.soton.ac.uk/14261/

73. Yadav, D. and Butler, M. (2007) Formal Development of Fault Tolerant Transactions for a replicated Database using Ordered Broadcasts. In Proceedings of Methods, Models and Tools for Fault Tolerance (MeMoT 2007) (in press), pp. 33-42, Oxford. http://eprints.ecs.soton.ac.uk/14273/

74. Abrial, J. R., Butler, M., Hallerstede, S. and Voisin, L. (2006) An open extensible tool environment for Event-B. In Proceedings of ICFEM 2006 Lecture Notes in Computer Science 4260, Macau. Liu, Z. and He, J., Eds. http://eprints.ecs.soton.ac.uk/12711/

75. Leavens, G. T., Abrial, J. R., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones, C. B., Miller, D., Peyton-Jones, S., Sitaraman, M., Smith, D. R. and Stump, A. (2006) Roadmap for Enhanced Languages and Methods to Aid Verification. In Proceedings of Generative Programming and Component Engineering, 5th International, Portland, Oregon. http://eprints.ecs.soton.ac.uk/12885/

76. Snook, C. and Butler, M. (2006) UML-B: Formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology 15(1) pp. 92-122. http://eprints.ecs.soton.ac.uk/10169/

77. M.Koutny, G.Pappalardo and M.Pietkiewicz-Koutny Compositional Abstractions for Interacting Processes International Conference on Principles of Information Technology and Applications (PITA'07), 2007

78. R. Razali, C. F. Snook, M. R. Poppleton, P. W. Garratt and R. J. Walters Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One In Proc. 11th International Conference on Evaluation and Assessment in Software Engineering (EASE), pp. 1-11, Keele, Staffordshire, April 2-3, 2007.

79. R. Razali, C. Snook, M. Poppleton and P. Garratt Usability Assessment of a UML-based Formal Modelling Method In Proc. 19th Annual Workshop of the Psychology of Programming Interest Group (PPIG), pp. 56-71, Joensuu, Finland, July 2-6, 2007.

80. Razali, R., Snook, C., Poppleton, M. and Garratt, P. (2007) Comprehensibility of UML-B - A Series of Controlled Experiments. Technical Report, DSSE/ECS, University of Southampton.[Online].
Comprehensibility of UML-B - A Series of Controlled Experiments.
(2007)

81. T. Lecomte, T Servat, G. Pouzancre. Formal Methods in Safety-Critical Railway Systems in Proceedings of Brazilian Symposium on Formal Methods: SMBF 2007, 26-30 August 2007, Outo Preto, Brazil.


82. A. Iliasov, A. Romanovsky. Choosing Application Structuring and Fault Tolerance Using Assumptions. In Proc. Dependable Systems and Networks (DSN), 2007, Supplemental volume, Fast Abstract. Edinburgh. UK. 2007.

83. B. Gallina, N. Guelfi, A. Romanovsky. Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. In Proceedings of the 18th International Symposium on Software Reliability Engineering, ISSRE 2007, November 2007. IEEE CS. 2007

84. A. Iliasov. Refinement patterns for rapid development of dependable systems. Proc. Engineering Fault Tolerant Systems Workshop (at ESEC/FSE, Croatia), ACM Digital Library. (September 4, 2007)

85. Gorbenko A., Kharchenko V., Romanovsky A. On Composing Dependable Web Services Using Undependable Web Components. Int. J. Simulation and Process Modelling, 3, 1/2, 2007. Pp. 45-54

86. F. Mehta. Supporting Proof in a Reactive Development Environment.
Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM), London, UK. IEEE Press. 2007

87. Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, and Colin Snook.
Formal Development of Mechanisms for Tolerating Transient Faults.
Rigorous Development of Complex Fault-Tolerant Systems (REFT 2005), LNCS 4157, page(s): 189-209, Springer-Verlag, November 2006


88. Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, and Sari Leppänen.
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. In Proceeding of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, November 2006


89. Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, and Colin Snook.
Formalizing UML-based Development of Fault Tolerant Control Systems.
In Proceedings of Workshop on Methods, Models and Tools for Fault Tolerance, page(s): 70-79, Oxford, July 2007

90. R. Razali, C. F. Snook and M. R. Poppleton, Comprehensibility of UML-based Formal Model - A Series of Controlled Experiments. In Proc. 1st International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech), co-located at 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, Georgia US, November 5-9, 2007.

91.Joey W Coleman and Cliff B Jones, editors. Atomicity: a unifying concept in computer science — Papers from Dagstuhl Seminar 06121, volume 13, issue 8 of Journal of Universal Computer Science. Graz University of Technology, Austria, October 2007.

92. Stefan Hallerstede and Thai Son Hoang. Jim David and Jeremy Gibbons, editors. Qualitative Probabilistic Modelling in Event-B. In Proceedings IFM 2007: Integrated Formal Methods,
Proceedings of the 6th International Conference, pages 293-312, volume 4591, Series: Lecture Notes in Computer Science Oxford, U.K, 2007

93. Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, and Colin Snook.
Formal Development of Mechanisms for Tolerating Transient Faults. Rigorous Development of Complex Fault-Tolerant Systems (REFT 2005), LNCS 4157, page(s): 189-209, Springer-Verlag, November 2006

94. Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, and Sari Leppänen.
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. In Proceeding of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, November 2006

95. Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, and Colin Snook.
Formalizing UML-based Development of Fault Tolerant Control Systems.
In Proceedings of Workshop on Methods, Models and Tools for Fault Tolerance, page(s): 70-79, Oxford, July 2007

96. Cliff B. Jones. Reasoning About Partial Functions in the Formal Development of Programs. In Proceedings of AVoCS'05, pages 3-25, volume 145. Elsevier, Electronic Notes in Theoretical Computer Science, 2006

97. Cliff B. Jones and Ian J. Hayes and Michael A. Jackson. Deriving Specifications for Systems That are Connected to the Physical World, pages 364-390, volume 4700 Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occassion of Their 70th Birthdays
Springer Verlag, Lecture Notes in Computer Science 2007

98. J. W. Coleman and C. B. Jones. Guaranteeing the soundness of rely/guarantee rules pages 807-841, volume 17. Journal of Logic and Computation. 2007

99. L.Laibinis, E.Troubitsyna, S.Leppanen, J.Lilius, Q.Malik.
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
Presented at REFT 2005 - the Workshop on Rigorous Engineering of Fault Tolerant Systems. Newcastle, UK. July 2005.

100. L.Laibinis, E.Troubitsyna.
Formal Development of Reactive Fault Tolerant Systems.
Presented at RISE 2005 - the 2nd Workshop on Rapid Integration of Software Engineering Techniques. Heraklion, Greece. September 2005.

101. Snook, C., Poppleton, M. and Johnson, I. The engineering of generic requirements for failure management. Presented at REFSQ'05 - In Proceedings of Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, Oporto. June 2005

102. Leuschel, M. and Turner, E. Visualising Larger State Spaces in ProB. In Proceedings of ZB 2005 , Treharne, H., King, S., Henson, M. and Schneider, S. (eds.) LNCS 3455, pp. 6-23, Guildford, 2005.

103. Leuschel, M. (2005) Guest Editorial - Special Issue on Automated Verification of Critical Systems. Formal Aspects of Computing(17):pp. 91-92.

104. Leuschel, M. and Butler, M. Automatic Refinement Checking for B. In Proceedings of the Seventh International Conference on Formal Engineering Methods ICFEM Manchester, November 2005

105. Snook, C., Poppleton, M. and Johnson, I. (2005) Towards a methodology for rigorous development of generic requirements patterns. Presented at REFT'05 - In Proceedings of Workshop on Rigorous Engineering of Fault Tolerant Systems, pp. 17-27, Newcastle, UK. Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E., Eds

106. Butler, M. and Leuschel, M.
Combining CSP and B for Specification and Property Verification. In Proceedings of Formal Methods 2005 LNCS 3582, pp.221-236, Fitzgerald, J., Hayes, I. and Tarlecki, A., Eds. Newcastle upon Tyne. 2005

107. J.-R. Abrial and D. Cansell.
Formal Construction of a Non-blocking Concurrent Queue Algorithm (A Case Study in Atomicity).
In Journal of Universal Computer Science. 11 (5), 2005. pp. 744-770.

108. J.-R. Abrial, D. Cansell, D. Mery. Refinement and Reachability in Event B.
In Proceedings of ZB'2005: Formal Specification and Development in Z and B.
LNCS 3455, 2005, pp. 222-241.

109. L.Laibinis, E.Troubitsyna, S.Leppanen, J.Lilius, and Q.A.Malik.
L.Laibinis, E.Troubitsyna, S.Leppanen, J.Lilius, and Q.A.Malik.
Formal Model-Driven Development of Communicating Systems.
To appear in Proceedings of ICFEM'05 - International Conference on Formal Engineering Methods, November 2005, Manchester, UK. Lecture Notes for Computer Science, Springer.

110. Rigorous engineering of product-line requirements: a case study in failure management Colin Snook, Michael Poppleton, Ian Johnson accepted for Information and Software Technology, Elsevier, 2008

111. Michael R. Poppleton
Towards Feature-Oriented Specification and Development with Event-B