Deploy Repository: No conditions. Results ordered -Date, Title.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:23:06 +0000Wed, 17 Jan 2018 12:23:06 +0000en Mathematical Language of Event-B Proofs
http://deploy-eprints.ecs.soton.ac.uk/464/
Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive] Formal development and assessment of a reconfigurable on-board satellite system
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) Formal Development of Critical Multi-Agent Systems: A Refinement Approach
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. Formal Goal-Oriented Development of Resilient Multi-Agent Systems in Event-B
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. Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B
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) Developing a Consensus Algorithm Using Stepwise Refinement
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. Refinement-based techniques in the analysis of information flow policies for dynamic virtual organisations
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) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
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) Derivation and Formal Verification of a Mode Logic for Layered Control Systems
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. Development of Safety-Critical Control Systems in Event-B Using FMEA
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 Verification of UML models by translation to UML-B
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. Developing a Consensus Algorithm using Stepwise Refinement
http://deploy-eprints.ecs.soton.ac.uk/285/
Bryans, Jeremy W. (2010) Developing a Consensus Algorithm using Stepwise Refinement. Newcastle University. (Unpublished) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B
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) Developing topology discovery in Event-B
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. Rodin User and Developer Workshop 2009 - Extended Abstracts
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) MIDAS: A Formally Constructed Virtual Machine
http://deploy-eprints.ecs.soton.ac.uk/84/
Wright, Stephen (2009) MIDAS: A Formally Constructed Virtual Machine. [DEPLOY Interest Group Item] (Unpublished) Using Event-B Refinement to Verify a Control Strategy
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) Developing Topology Discovery in Event-B
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. Development of a Network Topology Discovery Algorithm
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] Towards a Cookbook for Modelling and Refinement of Control Problems
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) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
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) Link State Routing Development
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] Modelling and proof of a Tree-structured File System
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) Deliverable D8 D10.1 "Teaching Materials" --- Exercises
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] Deliverable D8 D10.1 "Teaching Materials" --- Lecture Materials
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] Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives
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] Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials
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] An Incremental Development of the Mondex System in Event-B
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. Redevelopment of an Industrial Case Study Using Event-B and Rodin
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) Rodin Tutorial
http://deploy-eprints.ecs.soton.ac.uk/10/
Abrial, Jean-Raymond (2007) Rodin Tutorial. [Teaching Resource] (Unpublished) A Club Management System
http://deploy-eprints.ecs.soton.ac.uk/371/
Hoang, Thai Son A Club Management System. [Rodin Archive] A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor
http://deploy-eprints.ecs.soton.ac.uk/346/
Wright, Stephen A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor. [DEPLOY Associate Item] A Mechanical Press Controller
http://deploy-eprints.ecs.soton.ac.uk/113/
Abrial, Jean-Raymond A Mechanical Press Controller. [Teaching Resource] (Unpublished) A-Style Decomposition Examples
http://deploy-eprints.ecs.soton.ac.uk/139/
Pascal, Carine A-Style Decomposition Examples. [Rodin Archive] An Incremental Refinement Approach to a Development of Flash File System in Event-B
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] Concurrent Program Development
http://deploy-eprints.ecs.soton.ac.uk/116/
Abrial, Jean-Raymond Concurrent Program Development. [Teaching Resource] (Unpublished) Controlling Cars on a Bridge
http://deploy-eprints.ecs.soton.ac.uk/112/
Abrial, Jean-Raymond Controlling Cars on a Bridge. [Teaching Resource] (Unpublished) Development of a Signal Control System
http://deploy-eprints.ecs.soton.ac.uk/308/
Hudon, Simon and Hoang, Thai Son Development of a Signal Control System. [Rodin Archive] Development of Question/Response Protocol with using pattern approach
http://deploy-eprints.ecs.soton.ac.uk/230/
Hoang, Thai Son Development of Question/Response Protocol with using pattern approach. [Rodin Archive] Development of Rabin's Choice Coordination Algorithm in Event-B
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. Develpoment of the Floodset algorithm
http://deploy-eprints.ecs.soton.ac.uk/286/
Bryans, Jeremy W. Develpoment of the Floodset algorithm. [Rodin Archive] Doing Mathematics with the Rodin Platform
http://deploy-eprints.ecs.soton.ac.uk/138/
Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive] Duelling Cowboys development (qualitative reasoning)
http://deploy-eprints.ecs.soton.ac.uk/357/
Hoang, Thai Son Duelling Cowboys development (qualitative reasoning). [Rodin Archive] Electronic Circuits Development
http://deploy-eprints.ecs.soton.ac.uk/117/
Abrial, Jean-Raymond Electronic Circuits Development. [Teaching Resource] (Unpublished) Event-B model of the Buyer / Seller B2B Communication
http://deploy-eprints.ecs.soton.ac.uk/128/
Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive] Event-B model of the Order/Supply Chain A2A Communication
http://deploy-eprints.ecs.soton.ac.uk/129/
Fürst, Andreas Event-B model of the Order/Supply Chain A2A Communication. [Rodin Archive] File Transfer Protocol
http://deploy-eprints.ecs.soton.ac.uk/114/
Abrial, Jean-Raymond File Transfer Protocol. [Teaching Resource] (Unpublished) FindP Development using Decomposition
http://deploy-eprints.ecs.soton.ac.uk/208/
Hoang, Thai Son FindP Development using Decomposition. [Rodin Archive] Herman's probabilistic self-stabilization development (qualitative reasoning)
http://deploy-eprints.ecs.soton.ac.uk/359/
Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive] Leader Election on a Ring-shaped Network
http://deploy-eprints.ecs.soton.ac.uk/118/
Abrial, Jean-Raymond Leader Election on a Ring-shaped Network. [Teaching Resource] (Unpublished) Location Access Controller
http://deploy-eprints.ecs.soton.ac.uk/123/
Abrial, Jean-Raymond Location Access Controller. [Teaching Resource] (Unpublished) Pre-reading material for the Bucharest DEPLOY 2-day Course
http://deploy-eprints.ecs.soton.ac.uk/234/
Hoang, Thai Son Pre-reading material for the Bucharest DEPLOY 2-day Course. [Teaching Resource] (Unpublished) Response Coalition Normative
http://deploy-eprints.ecs.soton.ac.uk/300/
Bryans, Jeremy W. Response Coalition Normative. [Rodin Archive] Responsive Coalition Perturbed
http://deploy-eprints.ecs.soton.ac.uk/301/
Bryans, Jeremy W. Responsive Coalition Perturbed. [Rodin Archive] Routing Algorithm for Mobile Agent
http://deploy-eprints.ecs.soton.ac.uk/120/
Abrial, Jean-Raymond Routing Algorithm for Mobile Agent. [Teaching Resource] (Unpublished) Sequential Program Development
http://deploy-eprints.ecs.soton.ac.uk/122/
Abrial, Jean-Raymond Sequential Program Development. [Teaching Resource] (Unpublished) Specification of the Dining Cryptographers problem
http://deploy-eprints.ecs.soton.ac.uk/215/
Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive] Synchronizing Processes on a Tree Network
http://deploy-eprints.ecs.soton.ac.uk/119/
Abrial, Jean-Raymond Synchronizing Processes on a Tree Network. [Teaching Resource] (Unpublished) The Bounded Re-transmission Protocol
http://deploy-eprints.ecs.soton.ac.uk/115/
Abrial, Jean-Raymond The Bounded Re-transmission Protocol. [Teaching Resource] (Unpublished) The Leader Election Protocol (IEEE1394)
http://deploy-eprints.ecs.soton.ac.uk/121/
Abrial, Jean-Raymond The Leader Election Protocol (IEEE1394). [Teaching Resource] (Unpublished) Train System
http://deploy-eprints.ecs.soton.ac.uk/124/
Abrial, Jean-Raymond Train System. [Teaching Resource] (Unpublished)