Items where Year is 2010

Abrial, Jean-Raymond and Butler, Michael and Joshi, Rajev and Troubitsyna, Elena and Woodcock, Jim C. P. (2010) 09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems. Dagstuhl Seminar Proceedings, 09381 (09381). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany.

Sorge, Jennifer and Poppleton, Michael and Butler, Michael (2010) A Basis for Feature-Oriented Modelling in Event-B. Springer, ABZ2010.

Turner, Edd and Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. In: ABZ 2010. (In Press)

Grov, Gudmund and Jones, Cliff B. (2010) AI4FM: A New Project Seeking Challenges! Technical Report. Newcastle University .

Grov, Gudmund and Jones, Cliff B. (2010) AI4FM: A New Project Seeking Challenges! [["eprint_typename_conferenceitem" not defined]]

Jastram, Michael and Hallerstede, Stefan and Leuschel, Michael and Russo Jr, Aryldo G (2010) An Approach of Requirements Tracing in Formal Refinement. In: VSTTE’10 Verified Software: Theories, Tools and Experiments, 16th-19th August 2010, Edinburgh, UK. (In Press)

Snook, Colin and Fritz, Fabian and Illisaov, Alexei (2010) An EMF Framework for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference, 22/02/2010, Orford, Canada.

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena (2010) An Event-B model of the Attitude and Orbit Control System. [Rodin Archive]

Fathabadi, Asieh Salehi and Butler, Michael (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol. In: FMCO Formal Methods for Components and Objects.

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment. In: SERENE 2010, London.

Fitzgerald, John S. and Larsen, Peter Gorm and Pierce, Ken G and Verhoef, Marcel and Wolff, Sune (2010) Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. In: Integrated Formal Methods iFM 2010, 11-14 october 2010, Nancy, France. (In Press)

Ponsard, Christophe and De Landtsheer, Renaud (2010) Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems. In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, 15 June 2010, Paris, Université Pierre et Marie Curie. (In Press)

Silva, Renato and Pascal, Carine and Hoang, T. Son and Butler, Michael (2010) Decomposition Tool for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference. (In Press)

Väisänen, Pauli and Varpaaniemi, Kimmo (2010) DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15. Space Systems Finland Ltd. (Unpublished)

Väisänen, Pauli and Varpaaniemi, Kimmo (2010) DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15 without statement numbering. Space Systems Finland Ltd. (Unpublished)

Räsänen, Tuomas and Nummila, Laura (2010) DEPLOY Training Evaluation Document. Technical Report. Space Systems Finland Ltd. (Unpublished)

Varpaaniemi, Kimmo (2010) DEPLOY Work Package 3 Attitude and Orbit Control System Software Requirements Document (DEP-RP-SSF-R-005, Issue 1.0). Documentation. Space Systems Finland Ltd. (Unpublished)

Bryans, Jeremy W. (2010) Developing a Consensus Algorithm using Stepwise Refinement. Newcastle University. (Unpublished)

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo (2010) Developing Mode-Rich Satellite Software by Refinement in Event B. In: 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), September 20-21, 2010, Antwerp, Belgium. (In Press)

Yilmaz, Emre and Hoang, Thai Son (2010) Development of Rabin's Choice Coordination algorithm in Event-B. ECEASST, 35 .

Jones, Cliff B. and Pierce, Ken G. (2010) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, online .

Yeganefard, Sanaz and Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. NASA Formal Methods Symposium 2010 . (In Press)

Hoang, Thai Son and Abrial, Jean-Raymond (2010) Event-B Decomposition for Parallel Programs. In: ABZ2010. (In Press)

Varpaaniemi, Kimmo (2010) Event-B Project BepiColombo_Models_v6.4. [Rodin Archive]

Varpaaniemi, Kimmo (2010) Event-B Project DepSatSpec015Model000. [Rodin Archive]

Gondal, Ali and Poppleton, Mike and Butler, Michael and Snook, Colin (2010) Feature-Oriented Modelling Using Event-B. In: International Conference on Software Engineering Theory and Practice (SETP-10).

Bryans, Jeremy and Wei , Wei (2010) Formal Analysis of BPMN Models using Event-B. In: Formal Methods for Industrial Critical Systems 2010. (In Press)

Bryans, Jeremy W. and Wei , Wei (2010) Formal Analysis of BPMN Models Using Event-B. Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems . pp. 33-49.

Jones, Cliff B (2010) From problem frames to HJJ. In: Software Requirements and Design: The Work of Michael Jackson. Good Friends Publishing Company, pp. 357-372. ISBN 978-0-557-44467-0

Hoang, Thai Son (2010) How to Interpret Failed Proofs in Event-B. Technical Report. ETH Zurich, Switzerland, Zurich. (Unpublished)

Jones, Cliff B. and Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. Technical Report. School of Computing Science, Newcastle University.

Jones, Cliff B. and Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. In: AFM'10 (Automated Formal Methods).

Wieczorek, Sebastian and Stefanescu, Alin (2010) Improving Testing of Enterprise Systems by Model-based Testing on Graphical User Interfaces. In: in Proceedings of 7th Workshop on Systems Testing and Validation.

Jones, C.B. and Roscoe, A.W. (2010) Insight, inspiration and collaboration. In: Reflections on the work of C.A.R. Hoare. Springer, pp. 1-32.

Freitas, Leo and Jones, Cliff B. (2010) Learning from an expert's proof: AI4FM. [["eprint_typename_conferenceitem" not defined]]

Butler, Michael and Maamria, Issam (2010) Mathematical Extension in Event-B through the Rodin Theory Component. Technical Report. Deploy Project. (Unpublished)

Wieczorek, Sebastian and Stefanescu, Alin (2010) Model-based testing in the enterprise software domain - past and future initiatives. In: Dagstuhl-Seminar 10421 "Model-Based Testing in Practice".

Wieczorek, Sebastian and Stefanescu, Alin and Roth, Andreas (2010) Model-driven Service Integration Testing - A Case Study. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology.

Maamria, Issam and Butler, Michael and Edmunds, Andrew and Rezazadeh, Abdolbaghi (2010) On an Extensible Rule-based Prover for Event-B. In: ABZ2010. (In Press)

Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander (2010) On Fault Tolerance Reuse during Refinement. In: 2nd International Workshop on Software Engineering for Resilient Systems, April 13-16, 2010, Birkbeck College (London, United Kingdom).

Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, A. (2010) Patterns for Modelling Time and Consistency in Business Information Systems. In: 15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010. IEEE Computer Society.

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander (2010) Patterns for Refinement Automation. In: Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. LNCS (6286). Springer, pp. 70-88. ISBN 978-3-642-17070-6

Bauer, Thomas and Eichler, Hajo and Wendland , Marc-Florian and Wieczorek, Sebastian, eds. (2010) Proc. of 3rd Workshop on Model-based Testing in Practice (MOTIP'10). CEA.

Jastram, Michael (2010) ProR, an Open Source Platform for Requirements Engineering based on RIF. In: Systems Engineering Infrastructure Conference, 19 Oct 2010, Munich, Germany.

Ireland, Andrew and Grov, Gudmund and Butler, Michael (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. In: ABZ 2010. (In Press)

Jones, Cliff B and Roscoe, A W and Wood, Ken, eds. (2010) Reflections on the work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4

Jones, Cliff B. and Roscoe, A.W. and Wood, Kenneth R. (2010) Reflections on the work of C.A.R. Hoare. Springer.

Maamria, Issam and Butler, Michael (2010) Rewriting and Well-Definedness within a Proof System. In: Partiality and Recursion in Interactive Theorem Provers PAR-10.

Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Hoang, Thai Son and Mehta, Farhad and Voisin, Laurent (2010) Rodin: An Open Toolset for Modelling and Reasoning in Event-B. International Journal on Software Tools for Technology Transfer (STTT) .

Jones, C. B. and Lovert, M. J. (2010) Semantic Models for a Logic of Partial Functions. Technical Report. Newcastle University .

Silva, Renato and Butler, Michael (2010) Shared Event Composition/Decomposition in Event-B. In: Formal Methods for Components and Objects 2010, November 2010, Graz, Austria.

Butler, Michael (2010) Slides on Event-B used for Deploy Associate Training. [Teaching Resource] (Unpublished)

Olszewska, Marta and Sere, Kaisa (2010) Specification Metrics for Event-B Developments. In: CONQUEST 2010, 20-22 September 2010, Dresden, Germany.

Jones, C. B. and Pierce, K. G. (2010) Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Technical Report. Newcastle University .

Russo Jr, Aryldo G and de Sousa, Thiago (2010) Starting B Specifications from Use Cases. [DEPLOY Associate Item] (Unpublished)

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo (2010) Supporting Reuse in Event B Development: Modularisation Approach. In: Abstract State Machines (ASM), Alloy, B and Z Conference (ABZ 2010), February 22-25, 2010, Orford, Québec, Canada.

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2010) System Architecture, Dependability and Modes. In: Eighth European Dependable Computing Conference (Fast Abstract Track), April 28-30, 2010, Valencia, Spain.

Grov, Gudmund and Bundy, Alan and Jones, Cliff B. and Ireland, Andrew (2010) The AI4FM approach for automation within formal methods. [["eprint_typename_conferenceitem" not defined]]

Jones, C. B. (2010) The role of auxiliary variables in the formal development of concurrent programs. In: Reflections on the work of C.A.R. Hoare. Springer, pp. 167-188.

Joochim, Tossaporn and Snook, Colin and Poppleton, Mike and Gravell, Andrew (2010) TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS. In: IASTED International Conference on Software Engineering (SE2010).

Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation. In: WS-TBFM2010. (In Press)

Olszewska, Marta and Sere, Kaisa (2010) Towards Event-B Specification Metrics. In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France.

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Towards Probabilistic Modelling in Event-B. In: IFM 2010, Nancy.

Iliasov, Alexei (2010) Tutorial on the Flow plugin for Event-B. In: Workshop on B Dissemination [WOBD] Satellite event of SBMF 2010 , November 8th-9th 2010, Natal, Brazil.

Iliasov, Alexei (2010) Tutorial on the modularization plugin for Event-B. In: Workshop on B Dissemination [WOBD] Satellite event of SBMF 2010, November 8th-9th 2010, Natal, Brazil.

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Väisänen, Pauli and Ilic, Dubravka and Latvala, Timo (2010) Verifying Mode Consistency for On-Board Satellite Software. In: The 29th International Conference on Computer Safety, Reliability and Security (Safecomp 2010), 14 - 17 September 2010, Vienna, Austria.

Jones, C. B. and Pierce, K. G. (2010) What Can the pi-calculus Tell Us About the Mondex Purse System? Technical Report. Newcastle University .