http://deploy-eprints.ecs.soton.ac.uk/ OAI Site description has not been configured. http://deploy-eprints.ecs.soton.ac.uk/images/sitelogo.gif http://deploy-eprints.ecs.soton.ac.uk/ Wed, 17 Jan 2018 12:23:07 +0000 Wed, 17 Jan 2018 12:23:07 +0000 en Wed, 20 Nov 2013 12:45:52 +0000 http://deploy-eprints.ecs.soton.ac.uk/464/ http://deploy-eprints.ecs.soton.ac.uk/464/ Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive] Fri, 29 Jun 2012 07:55:23 +0100 http://deploy-eprints.ecs.soton.ac.uk/411/ http://deploy-eprints.ecs.soton.ac.uk/411/ 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) Fri, 29 Jun 2012 07:55:06 +0100 http://deploy-eprints.ecs.soton.ac.uk/409/ http://deploy-eprints.ecs.soton.ac.uk/409/ 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. Fri, 29 Jun 2012 07:54:52 +0100 http://deploy-eprints.ecs.soton.ac.uk/408/ http://deploy-eprints.ecs.soton.ac.uk/408/ 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. Fri, 29 Jun 2012 07:54:42 +0100 http://deploy-eprints.ecs.soton.ac.uk/407/ http://deploy-eprints.ecs.soton.ac.uk/407/ 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) Mon, 23 Jan 2012 13:10:15 +0000 http://deploy-eprints.ecs.soton.ac.uk/363/ http://deploy-eprints.ecs.soton.ac.uk/363/ 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. Tue, 12 Apr 2011 12:33:22 +0100 http://deploy-eprints.ecs.soton.ac.uk/298/ http://deploy-eprints.ecs.soton.ac.uk/298/ 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) Thu, 24 Feb 2011 08:47:41 +0000 http://deploy-eprints.ecs.soton.ac.uk/292/ http://deploy-eprints.ecs.soton.ac.uk/292/ 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) Fri, 29 Jun 2012 07:54:19 +0100 http://deploy-eprints.ecs.soton.ac.uk/405/ http://deploy-eprints.ecs.soton.ac.uk/405/ 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. Fri, 29 Jun 2012 07:53:39 +0100 http://deploy-eprints.ecs.soton.ac.uk/404/ http://deploy-eprints.ecs.soton.ac.uk/404/ 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 Mon, 23 Jul 2012 12:29:58 +0100 http://deploy-eprints.ecs.soton.ac.uk/444/ http://deploy-eprints.ecs.soton.ac.uk/444/ 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. Wed, 16 Feb 2011 14:27:09 +0000 http://deploy-eprints.ecs.soton.ac.uk/285/ http://deploy-eprints.ecs.soton.ac.uk/285/ Bryans, Jeremy W. (2010) Developing a Consensus Algorithm using Stepwise Refinement. Newcastle University. (Unpublished) Mon, 08 Mar 2010 17:12:38 +0000 http://deploy-eprints.ecs.soton.ac.uk/209/ http://deploy-eprints.ecs.soton.ac.uk/209/ 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) Fri, 05 Feb 2010 09:55:00 +0000 http://deploy-eprints.ecs.soton.ac.uk/203/ http://deploy-eprints.ecs.soton.ac.uk/203/ 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. Tue, 21 Jul 2009 14:14:31 +0100 http://deploy-eprints.ecs.soton.ac.uk/137/ http://deploy-eprints.ecs.soton.ac.uk/137/ Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2009) Rodin User and Developer Workshop 2009 - Extended Abstracts. Technical Report. DEPLOY Project. (Unpublished) Sat, 06 Jun 2009 10:51:41 +0100 http://deploy-eprints.ecs.soton.ac.uk/84/ http://deploy-eprints.ecs.soton.ac.uk/84/ Wright, Stephen (2009) MIDAS: A Formally Constructed Virtual Machine. [DEPLOY Interest Group Item] (Unpublished) Thu, 28 May 2009 15:30:52 +0100 http://deploy-eprints.ecs.soton.ac.uk/107/ http://deploy-eprints.ecs.soton.ac.uk/107/ Butler, Michael (2009) Using Event-B Refinement to Verify a Control Strategy. Working Paper. ECS, University of Southampton. (Unpublished) Fri, 05 Feb 2010 10:35:54 +0000 http://deploy-eprints.ecs.soton.ac.uk/205/ http://deploy-eprints.ecs.soton.ac.uk/205/ 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. Wed, 11 Feb 2009 15:00:58 +0000 http://deploy-eprints.ecs.soton.ac.uk/82/ http://deploy-eprints.ecs.soton.ac.uk/82/ Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2009) Development of a Network Topology Discovery Algorithm. [Rodin Archive] Thu, 28 May 2009 16:20:05 +0100 http://deploy-eprints.ecs.soton.ac.uk/108/ http://deploy-eprints.ecs.soton.ac.uk/108/ Butler, Michael (2009) Towards a Cookbook for Modelling and Refinement of Control Problems. Working Paper. ECS, University of Southampton. (Unpublished) Thu, 18 Dec 2008 14:43:04 +0000 http://deploy-eprints.ecs.soton.ac.uk/52/ http://deploy-eprints.ecs.soton.ac.uk/52/ 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) Wed, 20 Aug 2008 10:08:47 +0100 http://deploy-eprints.ecs.soton.ac.uk/31/ http://deploy-eprints.ecs.soton.ac.uk/31/ Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive] Mon, 21 Apr 2008 14:57:03 +0100 http://deploy-eprints.ecs.soton.ac.uk/22/ http://deploy-eprints.ecs.soton.ac.uk/22/ Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System. In: ICFEM 2008. (In Press) Thu, 25 Dec 2008 13:13:18 +0000 http://deploy-eprints.ecs.soton.ac.uk/55/ http://deploy-eprints.ecs.soton.ac.uk/55/ Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Exercises. [DEPLOY Deliverable] Thu, 25 Dec 2008 13:01:55 +0000 http://deploy-eprints.ecs.soton.ac.uk/54/ http://deploy-eprints.ecs.soton.ac.uk/54/ Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Lecture Materials. [DEPLOY Deliverable] Thu, 25 Dec 2008 13:23:20 +0000 http://deploy-eprints.ecs.soton.ac.uk/56/ http://deploy-eprints.ecs.soton.ac.uk/56/ Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives. [DEPLOY Deliverable] Thu, 25 Dec 2008 12:17:34 +0000 http://deploy-eprints.ecs.soton.ac.uk/53/ http://deploy-eprints.ecs.soton.ac.uk/53/ Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials. [DEPLOY Deliverable] Tue, 07 Oct 2008 21:30:15 +0100 http://deploy-eprints.ecs.soton.ac.uk/38/ http://deploy-eprints.ecs.soton.ac.uk/38/ 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. Mon, 07 Jan 2008 11:30:06 +0000 http://deploy-eprints.ecs.soton.ac.uk/9/ http://deploy-eprints.ecs.soton.ac.uk/9/ Rezazadeh, Abdolbaghi and Butler, Michael and Evans, Neil (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin. [Rodin Archive] (In Press) Tue, 12 Feb 2008 22:08:33 +0000 http://deploy-eprints.ecs.soton.ac.uk/10/ http://deploy-eprints.ecs.soton.ac.uk/10/ Abrial, Jean-Raymond (2007) Rodin Tutorial. [Teaching Resource] (Unpublished) Mon, 20 Feb 2012 11:14:03 +0000 http://deploy-eprints.ecs.soton.ac.uk/371/ http://deploy-eprints.ecs.soton.ac.uk/371/ Hoang, Thai Son A Club Management System. [Rodin Archive] Tue, 27 Sep 2011 12:02:46 +0100 http://deploy-eprints.ecs.soton.ac.uk/346/ http://deploy-eprints.ecs.soton.ac.uk/346/ Wright, Stephen A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor. [DEPLOY Associate Item] Fri, 19 Jun 2009 16:08:23 +0100 http://deploy-eprints.ecs.soton.ac.uk/113/ http://deploy-eprints.ecs.soton.ac.uk/113/ Abrial, Jean-Raymond A Mechanical Press Controller. [Teaching Resource] (Unpublished) Thu, 23 Jul 2009 13:27:49 +0100 http://deploy-eprints.ecs.soton.ac.uk/139/ http://deploy-eprints.ecs.soton.ac.uk/139/ Pascal, Carine A-Style Decomposition Examples. [Rodin Archive] Thu, 19 Aug 2010 10:18:37 +0100 http://deploy-eprints.ecs.soton.ac.uk/243/ http://deploy-eprints.ecs.soton.ac.uk/243/ Damchoom, Kriangsak An Incremental Refinement Approach to a Development of Flash File System in Event-B. [Rodin Archive] Fri, 19 Jun 2009 17:28:00 +0100 http://deploy-eprints.ecs.soton.ac.uk/116/ http://deploy-eprints.ecs.soton.ac.uk/116/ Abrial, Jean-Raymond Concurrent Program Development. [Teaching Resource] (Unpublished) Fri, 19 Jun 2009 15:56:56 +0100 http://deploy-eprints.ecs.soton.ac.uk/112/ http://deploy-eprints.ecs.soton.ac.uk/112/ Abrial, Jean-Raymond Controlling Cars on a Bridge. [Teaching Resource] (Unpublished) Fri, 27 May 2011 20:31:17 +0100 http://deploy-eprints.ecs.soton.ac.uk/308/ http://deploy-eprints.ecs.soton.ac.uk/308/ Hudon, Simon and Hoang, Thai Son Development of a Signal Control System. [Rodin Archive] Mon, 14 Jun 2010 10:29:35 +0100 http://deploy-eprints.ecs.soton.ac.uk/230/ http://deploy-eprints.ecs.soton.ac.uk/230/ Hoang, Thai Son Development of Question/Response Protocol with using pattern approach. [Rodin Archive] Wed, 01 Dec 2010 11:08:34 +0000 http://deploy-eprints.ecs.soton.ac.uk/258/ http://deploy-eprints.ecs.soton.ac.uk/258/ Yilmaz, Emre and Hoang, Thai Son Development of Rabin's Choice Coordination Algorithm in Event-B. Technical Report. University of Düsseldorf, Dusseldorf, Germany. Wed, 16 Feb 2011 14:27:02 +0000 http://deploy-eprints.ecs.soton.ac.uk/286/ http://deploy-eprints.ecs.soton.ac.uk/286/ Bryans, Jeremy W. Develpoment of the Floodset algorithm. [Rodin Archive] Wed, 22 Jul 2009 17:23:07 +0100 http://deploy-eprints.ecs.soton.ac.uk/138/ http://deploy-eprints.ecs.soton.ac.uk/138/ Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive] Wed, 23 Nov 2011 15:44:42 +0000 http://deploy-eprints.ecs.soton.ac.uk/357/ http://deploy-eprints.ecs.soton.ac.uk/357/ Hoang, Thai Son Duelling Cowboys development (qualitative reasoning). [Rodin Archive] Fri, 19 Jun 2009 18:05:34 +0100 http://deploy-eprints.ecs.soton.ac.uk/117/ http://deploy-eprints.ecs.soton.ac.uk/117/ Abrial, Jean-Raymond Electronic Circuits Development. [Teaching Resource] (Unpublished) Mon, 29 Jun 2009 16:31:12 +0100 http://deploy-eprints.ecs.soton.ac.uk/128/ http://deploy-eprints.ecs.soton.ac.uk/128/ Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive] Mon, 29 Jun 2009 16:38:40 +0100 http://deploy-eprints.ecs.soton.ac.uk/129/ http://deploy-eprints.ecs.soton.ac.uk/129/ Fürst, Andreas Event-B model of the Order/Supply Chain A2A Communication. [Rodin Archive] Fri, 19 Jun 2009 17:18:52 +0100 http://deploy-eprints.ecs.soton.ac.uk/114/ http://deploy-eprints.ecs.soton.ac.uk/114/ Abrial, Jean-Raymond File Transfer Protocol. [Teaching Resource] (Unpublished) Thu, 04 Mar 2010 16:27:05 +0000 http://deploy-eprints.ecs.soton.ac.uk/208/ http://deploy-eprints.ecs.soton.ac.uk/208/ Hoang, Thai Son FindP Development using Decomposition. [Rodin Archive] Wed, 23 Nov 2011 15:48:11 +0000 http://deploy-eprints.ecs.soton.ac.uk/359/ http://deploy-eprints.ecs.soton.ac.uk/359/ Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive] Fri, 19 Jun 2009 18:10:25 +0100 http://deploy-eprints.ecs.soton.ac.uk/118/ http://deploy-eprints.ecs.soton.ac.uk/118/ Abrial, Jean-Raymond Leader Election on a Ring-shaped Network. [Teaching Resource] (Unpublished) Fri, 19 Jun 2009 19:13:19 +0100 http://deploy-eprints.ecs.soton.ac.uk/123/ http://deploy-eprints.ecs.soton.ac.uk/123/ Abrial, Jean-Raymond Location Access Controller. [Teaching Resource] (Unpublished) Tue, 06 Jul 2010 10:18:59 +0100 http://deploy-eprints.ecs.soton.ac.uk/234/ http://deploy-eprints.ecs.soton.ac.uk/234/ Hoang, Thai Son Pre-reading material for the Bucharest DEPLOY 2-day Course. [Teaching Resource] (Unpublished) Tue, 12 Apr 2011 13:01:33 +0100 http://deploy-eprints.ecs.soton.ac.uk/300/ http://deploy-eprints.ecs.soton.ac.uk/300/ Bryans, Jeremy W. Response Coalition Normative. [Rodin Archive] Tue, 12 Apr 2011 13:04:50 +0100 http://deploy-eprints.ecs.soton.ac.uk/301/ http://deploy-eprints.ecs.soton.ac.uk/301/ Bryans, Jeremy W. Responsive Coalition Perturbed. [Rodin Archive] Fri, 19 Jun 2009 18:17:27 +0100 http://deploy-eprints.ecs.soton.ac.uk/120/ http://deploy-eprints.ecs.soton.ac.uk/120/ Abrial, Jean-Raymond Routing Algorithm for Mobile Agent. [Teaching Resource] (Unpublished) Fri, 19 Jun 2009 19:10:48 +0100 http://deploy-eprints.ecs.soton.ac.uk/122/ http://deploy-eprints.ecs.soton.ac.uk/122/ Abrial, Jean-Raymond Sequential Program Development. [Teaching Resource] (Unpublished) Tue, 06 Apr 2010 16:23:57 +0100 http://deploy-eprints.ecs.soton.ac.uk/215/ http://deploy-eprints.ecs.soton.ac.uk/215/ Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive] Fri, 19 Jun 2009 18:14:08 +0100 http://deploy-eprints.ecs.soton.ac.uk/119/ http://deploy-eprints.ecs.soton.ac.uk/119/ Abrial, Jean-Raymond Synchronizing Processes on a Tree Network. [Teaching Resource] (Unpublished) Fri, 19 Jun 2009 17:22:23 +0100 http://deploy-eprints.ecs.soton.ac.uk/115/ http://deploy-eprints.ecs.soton.ac.uk/115/ Abrial, Jean-Raymond The Bounded Re-transmission Protocol. [Teaching Resource] (Unpublished) Fri, 19 Jun 2009 18:20:25 +0100 http://deploy-eprints.ecs.soton.ac.uk/121/ http://deploy-eprints.ecs.soton.ac.uk/121/ Abrial, Jean-Raymond The Leader Election Protocol (IEEE1394). [Teaching Resource] (Unpublished) Fri, 19 Jun 2009 19:15:32 +0100 http://deploy-eprints.ecs.soton.ac.uk/124/ http://deploy-eprints.ecs.soton.ac.uk/124/ Abrial, Jean-Raymond Train System. [Teaching Resource] (Unpublished)