Items where Subject is "Event-B > Event-B Examples"

Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive]

Tarasyuk, Anton and Pereverzeva, Inna and Troubitsyna, Elena and Latvala, Timo and Nummila, Laura (2012) Formal development and assessment of a reconfigurable on-board satellite system. In: The 31th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Magdeburg, Germany. (In Press)

Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas (2012) Formal Development of Critical Multi-Agent Systems: A Refinement Approach. In: 9th European Dependable Computing Conference – EDCC 2012, Sibiu, Romania.

Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas (2012) Formal Goal-Oriented Development of Resilient Multi-Agent Systems in Event-B. In: 17th International Conference on Reliable Soft- ware Technologies (Ada-Europe 2012), Stokholm, Sweden.

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2012) Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. In: 9th International Conference on Integrated Formal Methods – IFM 2012, Pisa, Italy. (In Press)

Bryans, Jeremy W. (2011) Developing a Consensus Algorithm Using Stepwise Refinement. Proceedings of the 13th international conference on Formal methods and software engineering, LNCS (6991). pp. 553-568.

Bryans, Jeremy W. and Fitzgerald, John S. and McCutcheon, Tom (2011) Refinement-based techniques in the analysis of information flow policies for dynamic virtual organisations. In: PRO-VE 2011 - 12th IFIP Working Conference on VIRTUAL ENTERPRISES, 17-19 October, Sao Paulo, Brazil. (Submitted)

Fathabadi, Asieh Salehi and Rezazadeh, Abdolbaghi and Butler, Michael (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. In: THIRD NASA FORMAL METHODS SYMPOSIUM. (In Press)

Prokhorova, Yuliya and Laibinis, Linas and Troubitsyna, Elena and Varpaaniemi, Kimmo and Latvala, Timo (2011) Derivation and Formal Verification of a Mode Logic for Layered Control Systems. In: The 18th Asia-Pacific Software Engineering Conference (APSEC 2011), Ho Chi Minh, Vietnam.

Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Kharchenko, Vyacheslav (2011) Development of Safety-Critical Control Systems in Event-B Using FMEA. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems. IGI Global, IGI Global Publishing, USA, pp. 75-91. ISBN 978-1-60960-747-0

Snook, Colin and Savicks, Vitaly and Butler, Michael (2011) Verification of UML models by translation to UML-B. In: Formal Methods for Components and Objects, 29 Nov 2010, Graz.

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

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 Kuruma, Hironobu and Basin, David and Abrial, Jean-Raymond (2009) Developing topology discovery in Event-B. Science of Computer Programming, 74 (11-12). pp. 879-899.

Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2009) Rodin User and Developer Workshop 2009 - Extended Abstracts. Technical Report. DEPLOY Project. (Unpublished)

Wright, Stephen (2009) MIDAS: A Formally Constructed Virtual Machine. [DEPLOY Interest Group Item] (Unpublished)

Butler, Michael (2009) Using Event-B Refinement to Verify a Control Strategy. Working Paper. ECS, University of Southampton. (Unpublished)

Hoang, Thai Son and Kuruma, Hironobu and Basin, David and Abrial, Jean-Raymond (2009) Developing Topology Discovery in Event-B. Integrated Formal Methods . pp. 1-19.

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2009) Development of a Network Topology Discovery Algorithm. [Rodin Archive]

Butler, Michael (2009) Towards a Cookbook for Modelling and Refinement of Control Problems. Working Paper. ECS, University of Southampton. (Unpublished)

Bryans, Jeremy W. and Fitzgerald, John S. and Alexander, Romanovsky and Andreas, Roth (2008) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Newcastle University, Newcastle University TR, accepted to appear in Proceedings of ICECCS 2009. (In Press)

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive]

Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System. In: ICFEM 2008. (In Press)

Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Exercises. [DEPLOY Deliverable]

Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Lecture Materials. [DEPLOY Deliverable]

Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives. [DEPLOY Deliverable]

Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials. [DEPLOY Deliverable]

Butler, Michael and Yadav, Divakar (2008) An Incremental Development of the Mondex System in Event-B. Formal Aspects of Computing, 20 (1). pp. 61-77.

Rezazadeh, Abdolbaghi and Butler, Michael and Evans, Neil (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin. [Rodin Archive] (In Press)

Abrial, Jean-Raymond (2007) Rodin Tutorial. [Teaching Resource] (Unpublished)

Hoang, Thai Son A Club Management System. [Rodin Archive]

Wright, Stephen A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor. [DEPLOY Associate Item]

Abrial, Jean-Raymond A Mechanical Press Controller. [Teaching Resource] (Unpublished)

Pascal, Carine A-Style Decomposition Examples. [Rodin Archive]

Damchoom, Kriangsak An Incremental Refinement Approach to a Development of Flash File System in Event-B. [Rodin Archive]

Abrial, Jean-Raymond Concurrent Program Development. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Controlling Cars on a Bridge. [Teaching Resource] (Unpublished)

Hudon, Simon and Hoang, Thai Son Development of a Signal Control System. [Rodin Archive]

Hoang, Thai Son Development of Question/Response Protocol with using pattern approach. [Rodin Archive]

Yilmaz, Emre and Hoang, Thai Son Development of Rabin's Choice Coordination Algorithm in Event-B. Technical Report. University of Düsseldorf, Dusseldorf, Germany.

Bryans, Jeremy W. Develpoment of the Floodset algorithm. [Rodin Archive]

Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive]

Hoang, Thai Son Duelling Cowboys development (qualitative reasoning). [Rodin Archive]

Abrial, Jean-Raymond Electronic Circuits Development. [Teaching Resource] (Unpublished)

Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive]

Fürst, Andreas Event-B model of the Order/Supply Chain A2A Communication. [Rodin Archive]

Abrial, Jean-Raymond File Transfer Protocol. [Teaching Resource] (Unpublished)

Hoang, Thai Son FindP Development using Decomposition. [Rodin Archive]

Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive]

Abrial, Jean-Raymond Leader Election on a Ring-shaped Network. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Location Access Controller. [Teaching Resource] (Unpublished)

Hoang, Thai Son Pre-reading material for the Bucharest DEPLOY 2-day Course. [Teaching Resource] (Unpublished)

Bryans, Jeremy W. Response Coalition Normative. [Rodin Archive]

Bryans, Jeremy W. Responsive Coalition Perturbed. [Rodin Archive]

Abrial, Jean-Raymond Routing Algorithm for Mobile Agent. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Sequential Program Development. [Teaching Resource] (Unpublished)

Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive]

Abrial, Jean-Raymond Synchronizing Processes on a Tree Network. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond The Bounded Re-transmission Protocol. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond The Leader Election Protocol (IEEE1394). [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Train System. [Teaching Resource] (Unpublished)