Deploy Repository: No conditions. Results ordered -Date.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:23:57 +0000Wed, 17 Jan 2018 12:23:57 +0000en A Systematic Approach to Atomicity Decomposition in Event-B
http://deploy-eprints.ecs.soton.ac.uk/425/
Fathabadi, Asieh Salehi and Butler, Michael and Rezazadeh, Abdolbaghi (2012) A Systematic Approach to Atomicity Decomposition in Event-B. In: SEFM. Is my Formal Method Tool Ready for the Industry ?
http://deploy-eprints.ecs.soton.ac.uk/378/
Ponsard, Christophe and Deprez, Jean-Christophe and Delandtsheer, Renaud (2012) Is my Formal Method Tool Ready for the Industry ? In: AVOCS 2011, 12-14 September 2011, Newcastle, UK. More Abstraction
http://deploy-eprints.ecs.soton.ac.uk/456/
Voisin, Laurent (2012) More Abstraction. In: AI meets Formal Software Development, 01-06.07.2012, Schloss Dagstuhl, Germany. Learn and Test for Event-B - a Rodin Plugin
http://deploy-eprints.ecs.soton.ac.uk/379/
Dinca, Ionut and Ipate, Florentin and Mierla, Laurentiu and Stefanescu, Alin (2012) Learn and Test for Event-B - a Rodin Plugin. In: ABZ'12 Conference, June 19-21, 2012, Pisa, Italy. Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems
http://deploy-eprints.ecs.soton.ac.uk/383/
Diaconescu, Denisa and Leustean, Ioana and Petre, Luigia and Sere, Kaisa and Stefanescu, Gheorghe (2012) Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. In: 9th International Conference on Integrated Formal Methods (iFM'12), June 19-21, 2012, Pisa. (In Press) Formal modelling for Ada implementations: Tasking Event-B
http://deploy-eprints.ecs.soton.ac.uk/375/
Edmunds, Andrew and Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: Tasking Event-B. In: Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Stockholm. (In Press) Refinement by Interface Instantiation
http://deploy-eprints.ecs.soton.ac.uk/416/
Hallerstede, Stefan and Hoang, Thai Son (2012) Refinement by Interface Instantiation. In: ABZ 2012, 19-21 June 2012, Pisa, Italy. Control systems: phenomena and structuring functional requirement documents
http://deploy-eprints.ecs.soton.ac.uk/402/
Yeganefard, Sanaz and Butler, Michael (2012) Control systems: phenomena and structuring functional requirement documents. In: 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012).. (In Press) An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage
http://deploy-eprints.ecs.soton.ac.uk/376/
Deprez, Jean-Christophe and Ponsard, Christophe (2012) An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage. In: DEPLOY Federated Event (Industry Day). Event-B code generation: type extension with theories
http://deploy-eprints.ecs.soton.ac.uk/394/
Edmunds, Andrew and Butler, Michael and Maamria, Issam and Silva, Renato and Lovell, Chris (2012) Event-B code generation: type extension with theories. In: ABZ 2012, 19-21 June 2012, Pisa, Italy. (In Press) Assessment of the Evolution of the RODIN Open Source platform
http://deploy-eprints.ecs.soton.ac.uk/377/
Ponsard, Christophe and Flamand, Jacques and Deprez, Jean-Christophe (2012) Assessment of the Evolution of the RODIN Open Source platform. In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau. Ensuring Extensibility within Code Generation
http://deploy-eprints.ecs.soton.ac.uk/397/
Lovell, Chris and Edmunds, Andy and Silva, Renato and Maamria, Issam and Butler, Michael (2012) Ensuring Extensibility within Code Generation. In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau. (Unpublished) Tooling: Code Generation Update
http://deploy-eprints.ecs.soton.ac.uk/396/
Edmunds, Andrew and Lovell, Chris and Silva, Renato and Maamria, Issam and Butler, Michael (2012) Tooling: Code Generation Update. In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau. (Unpublished) Formal Engineering of Resilient Systems: Achievements and Challenges
http://deploy-eprints.ecs.soton.ac.uk/393/
Troubitsyna, Elena and Romanovsky, Alexander (2012) Formal Engineering of Resilient Systems: Achievements and Challenges. In: The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012). Fast Abstract Track , Boston, USA. 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) 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 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 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) SMT Solvers for Rodin
http://deploy-eprints.ecs.soton.ac.uk/424/
Déharbe, David and Fontaine, Pascal and Guyot, Yoann and Voisin, Laurent (2012) SMT Solvers for Rodin. In: ABZ 2012, 19-21 June 2012, Pisa, Italy. Translating TLA+ to B for Validation with ProB
http://deploy-eprints.ecs.soton.ac.uk/450/
Hansen, Dominik and Leuschel, Michael (2012) Translating TLA+ to B for Validation with ProB. In: Proceedings iFM'2012. Validating B, Z and TLA+ using ProB and Kodkod
http://deploy-eprints.ecs.soton.ac.uk/453/
Plagge, Daniel and Leuschel, Michael (2012) Validating B, Z and TLA+ using ProB and Kodkod. In: Proceedings FM'2012, August, 2012, Paris. Towards the Composition of Specifications in Event-B
http://deploy-eprints.ecs.soton.ac.uk/398/
Silva, Renato (2011) Towards the Composition of Specifications in Event-B. In: B 2011 Workshop, 20-24 June 2011, Lero, Limerick, Ireland. Patterns for Representing FMEA in Formal Specification of Control Systems
http://deploy-eprints.ecs.soton.ac.uk/347/
Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander and Prokhorova, Yuliya and Troubitsyna, Elena (2011) Patterns for Representing FMEA in Formal Specification of Control Systems. In: The 13th IEEE International High Assurance Systems Engineering Symposium, Boca Raton, FL, November 10-12, 2011, Boca Raton, USA. Multi-Objective Test Suite Optimization for Event-B Models
http://deploy-eprints.ecs.soton.ac.uk/349/
Dinca, Ionut (2011) Multi-Objective Test Suite Optimization for Event-B Models. In: ICIEIS'11, Springer CCIS Series vol. 251 , 11-14 November 2011, Malaysia. Refining Nodes and Edges of State Machines
http://deploy-eprints.ecs.soton.ac.uk/428/
Hallerstede, Stefan and Snook, Colin (2011) Refining Nodes and Edges of State Machines. In: ICFEM 2011: 13th International Conference on Formal Engineering Methods. Quantitative Verification of System Safety in Event-B
http://deploy-eprints.ecs.soton.ac.uk/329/
Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2011) Quantitative Verification of System Safety in Event-B. In: SERENE 2011. (In Press) From Event-B Models to Code: Sensing, Actuating, and the Environment
http://deploy-eprints.ecs.soton.ac.uk/373/
Edmunds, Andrew and Rezazadeh, Abdolbaghi and Butler, Michael (2011) From Event-B Models to Code: Sensing, Actuating, and the Environment. In: SBMF2011, Sept 2011, Sao Paulo, Brazil. Structuring functional requirements of control systems to facilitate refinement-based formalisation
http://deploy-eprints.ecs.soton.ac.uk/403/
Yeganefard, Sanaz and Butler, Michael (2011) Structuring functional requirements of control systems to facilitate refinement-based formalisation. In: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011). Composing Event-B Specifications - Case-Study Experience
http://deploy-eprints.ecs.soton.ac.uk/426/
Gondal, Ali and Poppleton, Mike and Butler, Michael (2011) Composing Event-B Specifications - Case-Study Experience. In: 10th International Conference on Software Composition. A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage.
http://deploy-eprints.ecs.soton.ac.uk/322/
Deprez, Jean-Christophe and Ponsard, Christophe and Fitzgerald, John S. (2011) A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage. In: FM2011 / Industry Day, 20-24 June 2011, Limerick (Ireland). Collaborative Building of an Open Evidence Repository to Drive the Adoption of Formal Engineering Methods
http://deploy-eprints.ecs.soton.ac.uk/323/
Ponsard, Christophe and Deprez, Jean-Christophe (2011) Collaborative Building of an Open Evidence Repository to Drive the Adoption of Formal Engineering Methods. In: FM2011, 20-24 June 2011, Limerick (Ireland). Concurrent Scheduling of Event-B Models
http://deploy-eprints.ecs.soton.ac.uk/356/
Boström, Pontus and Degerlund, Fredrik and Sere, Kaisa and Waldén, Marina (2011) Concurrent Scheduling of Event-B Models. In: 15th International Refinement Workshop (associated with Formal Methods 2011), 20th June 2011, Limerick, Ireland. Automated Analysis of Non-Interference Security by Refinement
http://deploy-eprints.ecs.soton.ac.uk/419/
Hoang, Thai Son and McIver, Annabelle and Meinicke, Larrisa and Sloane, Anthony and Susatyo, Enrico (2011) Automated Analysis of Non-Interference Security by Refinement. In: CryptoForma 2011. (Submitted) Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines
http://deploy-eprints.ecs.soton.ac.uk/429/
Snook, Colin (2011) Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines. In: B2011. Generating High-Level Event-B System Models from KAOS Requirements Models
http://deploy-eprints.ecs.soton.ac.uk/321/
Ponsard, Christophe and Devroey, Xavier (2011) Generating High-Level Event-B System Models from KAOS Requirements Models. In: InforSID 2011, 24-26 May 2011, Lille (France). 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) Towards Search-based Testing for Event-B Models
http://deploy-eprints.ecs.soton.ac.uk/288/
Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina (2011) Towards Search-based Testing for Event-B Models. In: 4th International Workshop on Search-Based Software Testing, 21 Mar 2011, Berlin. Tasking Event-B: An Extension to Event-B for Generating Concurrent Code
http://deploy-eprints.ecs.soton.ac.uk/291/
Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011. (In Press) 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) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code
http://deploy-eprints.ecs.soton.ac.uk/303/
Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011. Test Data Generation for Event-B Models using Genetic Algorithms
http://deploy-eprints.ecs.soton.ac.uk/305/
Dinca, Ionut and Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina (2011) Test Data Generation for Event-B Models using Genetic Algorithms. In: 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11), June 27-29, 2011, Malaysia. Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF)
http://deploy-eprints.ecs.soton.ac.uk/306/
Jastram, Michael and Graf, Andreas (2011) Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF). In: FIRST TOPCASED DAYS TOULOUSE 2011, 2 Feb - 4 Feb 2011, Toulouse, France. Dependable Workflow Reconfiguration in WS-BPEL
http://deploy-eprints.ecs.soton.ac.uk/310/
Mazzara, Manuel and Dragoni, Nicola and Zhou, Mu (2011) Dependable Workflow Reconfiguration in WS-BPEL. In: NODES 2011. Polidoxa: a Sinergic Approach of a Social Network and a Search Engine to Offer Trustworthy News
http://deploy-eprints.ecs.soton.ac.uk/311/
Mazzara, Manuel and Marraffa, Antonio and Biselli , Luca and Chiarabini, Luca (2011) Polidoxa: a Sinergic Approach of a Social Network and a Search Engine to Offer Trustworthy News. In: INTRUSO 2011. On Methods for the Formal Specification of Fault Tolerant Systems
http://deploy-eprints.ecs.soton.ac.uk/312/
Mazzara, Manuel (2011) On Methods for the Formal Specification of Fault Tolerant Systems. In: DEPEND 2011. From Requirements to Development: Methodology and Example
http://deploy-eprints.ecs.soton.ac.uk/316/
Su, Wen and Abrial, Jean-Raymond and Huang, Runlei and Zhu, Huibiao (2011) From Requirements to Development: Methodology and Example. In: ICFEM 2011, Durham, UK. (In Press) Rigorous Development of Dependable Systems using Fault Tolerance Views
http://deploy-eprints.ecs.soton.ac.uk/343/
Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander (2011) Rigorous Development of Dependable Systems using Fault Tolerance Views. In: The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011), Nov 29 - Dec 2, 2011, Hiroshima, Japan. Generation of certifiably correct programs from formal models
http://deploy-eprints.ecs.soton.ac.uk/348/
Iliasov, Alexei (2011) Generation of certifiably correct programs from formal models. In: 1st Int. Workshop on Software Certification. At the 22nd Int. Symposium on Software Reliability Engineering (ISSRE 2011). , November 30, 2011, Hiroshima, Japan. Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper)
http://deploy-eprints.ecs.soton.ac.uk/360/
Iliasov, Alexei and Romanovsky, Alexander (2011) Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper). In: 22nd IEEE International Symposium on Software Reliability Engineering, Nov 29 - Dec 2, 2011, Hiroshima, Japan. 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. Deriving Mode Logic for Fault-Tolerant Control Systems
http://deploy-eprints.ecs.soton.ac.uk/406/
Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Varpaaniemi, Kimmo and Latvala, Timo (2011) Deriving Mode Logic for Fault-Tolerant Control Systems. In: NODES Workshop (associated with the 5th IFIP International Conference on Trust Management (IFIPTM 2011)), Copenhagen, Denmark. 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. Shared Event Composition/Decomposition in Event-B
http://deploy-eprints.ecs.soton.ac.uk/399/
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. ProR, an Open Source Platform for Requirements Engineering based on RIF
http://deploy-eprints.ecs.soton.ac.uk/245/
Jastram, Michael (2010) ProR, an Open Source Platform for Requirements Engineering based on RIF. In: Systems Engineering Infrastructure Conference, 19 Oct 2010, Munich, Germany. Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
http://deploy-eprints.ecs.soton.ac.uk/242/
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) Towards Probabilistic Modelling in Event-B
http://deploy-eprints.ecs.soton.ac.uk/327/
Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Towards Probabilistic Modelling in Event-B. In: IFM 2010, Nancy. Specification Metrics for Event-B Developments
http://deploy-eprints.ecs.soton.ac.uk/249/
Olszewska, Marta and Sere, Kaisa (2010) Specification Metrics for Event-B Developments. In: CONQUEST 2010, 20-22 September 2010, Dresden, Germany. Ideas for a high-level proof strategy language
http://deploy-eprints.ecs.soton.ac.uk/276/
Jones, Cliff B. and Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. In: AFM'10 (Automated Formal Methods). Rewriting and Well-Definedness within a Proof System
http://deploy-eprints.ecs.soton.ac.uk/294/
Maamria, Issam and Butler, Michael (2010) Rewriting and Well-Definedness within a Proof System. In: Partiality and Recursion in Interactive Theorem Provers PAR-10. Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems
http://deploy-eprints.ecs.soton.ac.uk/231/
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) Applying Event-B Atomicity Decomposition to a Multi Media Protocol
http://deploy-eprints.ecs.soton.ac.uk/295/
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. System Architecture, Dependability and Modes
http://deploy-eprints.ecs.soton.ac.uk/214/
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. Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment
http://deploy-eprints.ecs.soton.ac.uk/325/
Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment. In: SERENE 2010, London. An EMF Framework for Event-B
http://deploy-eprints.ecs.soton.ac.uk/202/
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. On an Extensible Rule-based Prover for Event-B
http://deploy-eprints.ecs.soton.ac.uk/192/
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) Tool Support for Event-B Code Generation
http://deploy-eprints.ecs.soton.ac.uk/197/
Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation. In: WS-TBFM2010. (In Press) Event-B Decomposition for Parallel Programs
http://deploy-eprints.ecs.soton.ac.uk/206/
Hoang, Thai Son and Abrial, Jean-Raymond (2010) Event-B Decomposition for Parallel Programs. In: ABZ2010. (In Press) TIMING DIAGRAMS REQUIREMENTS MODELING USING EVENT-B FORMAL METHODS
http://deploy-eprints.ecs.soton.ac.uk/431/
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). Decomposition Tool for Event-B
http://deploy-eprints.ecs.soton.ac.uk/200/
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) Towards Event-B Specification Metrics
http://deploy-eprints.ecs.soton.ac.uk/250/
Olszewska, Marta and Sere, Kaisa (2010) Towards Event-B Specification Metrics. In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France. Formal Analysis of BPMN Models using Event-B
http://deploy-eprints.ecs.soton.ac.uk/237/
Bryans, Jeremy and Wei , Wei (2010) Formal Analysis of BPMN Models using Event-B. In: Formal Methods for Industrial Critical Systems 2010. (In Press) An Approach of Requirements Tracing in Formal Refinement
http://deploy-eprints.ecs.soton.ac.uk/236/
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) Supporting Reuse in Event B Development: Modularisation Approach
http://deploy-eprints.ecs.soton.ac.uk/172/
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. Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
http://deploy-eprints.ecs.soton.ac.uk/193/
Ireland, Andrew and Grov, Gudmund and Butler, Michael (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. In: ABZ 2010. (In Press) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
http://deploy-eprints.ecs.soton.ac.uk/194/
Turner, Edd and Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. In: ABZ 2010. (In Press) Verifying Mode Consistency for On-Board Satellite Software
http://deploy-eprints.ecs.soton.ac.uk/239/
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. Developing Mode-Rich Satellite Software by Refinement in Event B
http://deploy-eprints.ecs.soton.ac.uk/240/
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) On Fault Tolerance Reuse during Refinement
http://deploy-eprints.ecs.soton.ac.uk/253/
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). Tutorial on the Flow plugin for Event-B
http://deploy-eprints.ecs.soton.ac.uk/261/
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. Tutorial on the modularization plugin for Event-B
http://deploy-eprints.ecs.soton.ac.uk/263/
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. Model-based testing in the enterprise software domain - past and future initiatives
http://deploy-eprints.ecs.soton.ac.uk/269/
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". Improving Testing of Enterprise Systems by Model-based Testing on Graphical User Interfaces
http://deploy-eprints.ecs.soton.ac.uk/270/
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. Model-driven Service Integration Testing - A Case Study
http://deploy-eprints.ecs.soton.ac.uk/272/
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. Feature-Oriented Modelling Using Event-B
http://deploy-eprints.ecs.soton.ac.uk/430/
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). Local Enforceability and Inconsumable Messages in Choreography Models
http://deploy-eprints.ecs.soton.ac.uk/190/
Kozyura, Vitaly and Roth, Andreas and Wei, Wei (2009) Local Enforceability and Inconsumable Messages in Choreography Models. In: Proceedings of 4th South-East European Workshop on Formal Methods (SEEFM'09). Language and tool support for class and state machine refinement in UML-B
http://deploy-eprints.ecs.soton.ac.uk/434/
Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and tool support for class and state machine refinement in UML-B. In: Formal Methods 2009, November 2009, Eindhoven. Animation of UML-B State-machines
http://deploy-eprints.ecs.soton.ac.uk/435/
Savicks, Vitaly and Snook, Colin and Butler, Michael (2009) Animation of UML-B State-machines. In: Rodin workshop, 2009, Dusseldorf. Structuring Specifications with Modes
http://deploy-eprints.ecs.soton.ac.uk/105/
Iliasov, Alexei and Dotti, Fernando and Romanovsky, Alexander (2009) Structuring Specifications with Modes. In: Fourth Latin-American Symposium on Dependable Computing (LADC), September 1-4, 2009, Brazil. Feature composition - towards product lines of Event-B models
http://deploy-eprints.ecs.soton.ac.uk/432/
Gondal, Ali and Poppleton, Mike and Snook, Colin (2009) Feature composition - towards product lines of Event-B models. In: 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09). Fault Tolerant Middleware for Agent Systems: A Refinement Approach
http://deploy-eprints.ecs.soton.ac.uk/94/
Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2009) Fault Tolerant Middleware for Agent Systems: A Refinement Approach. In: 12th European Workshop on Dependable Computing (EWDC 2009), 14-15 May 2009, Toulouse, France. From Goal-Oriented Requirements to Event-B Specifications
http://deploy-eprints.ecs.soton.ac.uk/91/
Aziz, Benjamin and Arenas, Alvaro and Bicarregui, Juan and Ponsard, Christophe and Massonet, Philippe (2009) From Goal-Oriented Requirements to Event-B Specifications. In: First Nasa Formal Method Symposium, April 6 - 8, 2009 , Moffett Field, California . (In Press) Decomposition Structures for Event-B
http://deploy-eprints.ecs.soton.ac.uk/51/
Butler, Michael (2009) Decomposition Structures for Event-B. In: Integrated Formal Methods iFM2009. (In Press) Class and State Machine Refinement in UML-B
http://deploy-eprints.ecs.soton.ac.uk/433/
Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Class and State Machine Refinement in UML-B. In: Integration of Model-based Formal Methods and Tools (workshop at iFM 2009). SAL, Kodkod, and BDDs for Validation of B Models. Lessons and Outlook.
http://deploy-eprints.ecs.soton.ac.uk/133/
Plagge, Daniel and Leuschel, Michael and Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander (2009) SAL, Kodkod, and BDDs for Validation of B Models. Lessons and Outlook. In: AFM09 (Automated Formal Methods), 27 June 2009, Grenoble, France. (In Press) Counterexamples in Probabilistic LTL Model Checking for Markov Chains.
http://deploy-eprints.ecs.soton.ac.uk/147/
Schmalz, Matthias and Varacca, Daniele and Völzer, Hagen (2009) Counterexamples in Probabilistic LTL Model Checking for Markov Chains. In: Concur. Modal Systems: Specification, Refinement and Realisation
http://deploy-eprints.ecs.soton.ac.uk/153/
Dotti, Fernando and Iliasov, Alexei and Riberiro, Leila and Romanovsky, Alexander (2009) Modal Systems: Specification, Refinement and Realisation. In: International Conference on Formal Engineering Methods - ICFEM 09 , December 9 -12, 2009, Rio de Janeiro, Brazil. Learning from experts to aid the automation of proof search.
http://deploy-eprints.ecs.soton.ac.uk/179/
Bundy, Alan and Grov, Gudmund and Jones, Cliff B (2009) Learning from experts to aid the automation of proof search. In: 9th International Workshop on Automated Verification of Critical Systems: AVoCS 2009. (In Press) An outline of a proposed system that learns from experts how to discharge proof obligations automatically.
http://deploy-eprints.ecs.soton.ac.uk/180/
Bundy, Alan and Grov, Gudmund and Jones, Cliff B (2009) An outline of a proposed system that learns from experts how to discharge proof obligations automatically. In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Schloss Dagstuhl. (In Press) Abstraction is all we've got: auxiliary variables considered harmful.
http://deploy-eprints.ecs.soton.ac.uk/181/
Jones, Cliff B (2009) Abstraction is all we've got: auxiliary variables considered harmful. In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Dagstuhl. (In Press) Supporting Reuse of Event-B Developments through Generic Instantiation
http://deploy-eprints.ecs.soton.ac.uk/195/
Silva, Renato and Butler, Michael (2009) Supporting Reuse of Event-B Developments through Generic Instantiation. In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009. Precise Steps for Choreography Modeling for SOA Validation and Verification
http://deploy-eprints.ecs.soton.ac.uk/41/
Wieczorek, S. and Roth, A. and Stefanescu, A. and Charfi, A. (2008) Precise Steps for Choreography Modeling for SOA Validation and Verification. In: Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, Dec 18-19, Jhongli, Taiwan. Experimenting with Exception Propagation Mechanisms in Service-Oriented Architectures
http://deploy-eprints.ecs.soton.ac.uk/32/
Gorbenko, Anatoliy and Kharchenko, Vyacheslav and Romanovsky, Alexander and Mikhaylichenko, Alexey (2008) Experimenting with Exception Propagation Mechanisms in Service-Oriented Architectures. In: 4th International Workshop on Exception Handling (WEH.08), at ACM SIGSOFT 2008/FSE 16, 14 November, 2008, Atlanta, USA. (In Press) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability
http://deploy-eprints.ecs.soton.ac.uk/68/
Romanovsky, Alexander (2008) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. In: SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, Uk. Formal development of cooperative exception handling for mobile agent systems
http://deploy-eprints.ecs.soton.ac.uk/34/
Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2008) Formal development of cooperative exception handling for mobile agent systems. In: 1st Int. workshop on Software Engineering for Resilient Systems - SERENE 2008, November 17-19, 2008, Newcastle upon Tyne (UK). (In Press) Formal Refinement Automation
http://deploy-eprints.ecs.soton.ac.uk/33/
Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2008) Formal Refinement Automation. In: Eighth International Workshop on Automated Verification of Critical Systems, 30 September –1 October 2008, Glasgow. (Unpublished) 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) Towards Reuse with ``Feature-Oriented Event-B''
http://deploy-eprints.ecs.soton.ac.uk/436/
Poppleton, M. and Fischer, B. and Franklin, C. and Gondal, A. and Snook, C. and Sorge, J. (2008) Towards Reuse with ``Feature-Oriented Event-B''. In: McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering. UML-B: A plug-in for the Event-B tool set
http://deploy-eprints.ecs.soton.ac.uk/35/
Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. A Roadmap for the Rodin Toolset
http://deploy-eprints.ecs.soton.ac.uk/37/
Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2008) A Roadmap for the Rodin Toolset. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. UML-B: A plug-in for the Event-B tool set
http://deploy-eprints.ecs.soton.ac.uk/439/
Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. On the Purpose of Event-B Proof Obligations
http://deploy-eprints.ecs.soton.ac.uk/26/
Hallerstede, Stefan (2008) On the Purpose of Event-B Proof Obligations. In: ABZ2008, September 2008, London. (In Press) Towards Rigorous Engineering of Resilient Pervasive Systems
http://deploy-eprints.ecs.soton.ac.uk/24/
Iliasov, Alexei and Laibinis, Linas and Romanovsky, Alexander and Sere, Kaisa and Troubitsyna, Elena (2008) Towards Rigorous Engineering of Resilient Pervasive Systems. In: Seventh European Dependable Computing Conference (EDCC-7), May 7-9, 2008, Kaunas, Lithuania. Linking Event-B and Concurrent Object-Oriented Programs
http://deploy-eprints.ecs.soton.ac.uk/39/
Edmunds, Andrew and Butler, Michael (2008) Linking Event-B and Concurrent Object-Oriented Programs. In: Refine 2008 - International Refinement Workshop. UML-B and Event-B: an integration of languages and tools
http://deploy-eprints.ecs.soton.ac.uk/3/
Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008. (In Press) UML-B and Event-B: an integration of languages and tools
http://deploy-eprints.ecs.soton.ac.uk/438/
Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM
http://deploy-eprints.ecs.soton.ac.uk/28/
Macedo, Hugo Daniel and Larsen, Peter Gorm and Fitzgerald, John (2008) Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM. In: Formal Methods 2008, 28-30 May, 2008, Turku, Finland. Easy Graphical Animation and Formula Visualisation for Teaching B
http://deploy-eprints.ecs.soton.ac.uk/47/
Leuschel, Michael and Samia, Mireille and Bendisposto, Jens and Samia, Mireille (2008) Easy Graphical Animation and Formula Visualisation for Teaching B. In: The B Method : From Research to Teaching, June 16, 2008, Nantes, France. Refinement Patterns for Fault Tolerant Systems
http://deploy-eprints.ecs.soton.ac.uk/99/
Iliasov, Alexei and Romanovsky, Alexander (2008) Refinement Patterns for Fault Tolerant Systems. In: EDCC 7: the Seventh European Dependable Computing Conference (EDCC-7), May 7-9, 2008, Kaunas, Lithuania. Reflections on, and predictions for, support systems for the development of programs.
http://deploy-eprints.ecs.soton.ac.uk/178/
Jones, Cliff B (2008) Reflections on, and predictions for, support systems for the development of programs. In: ASE-08. The Rodin Formal Modelling Tool
http://deploy-eprints.ecs.soton.ac.uk/4/
Butler, Michael and Hallerstede, Stefan (2007) The Rodin Formal Modelling Tool. In: BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London. (In Press) On Exceptions, Exception Handling, Requirements and Software Lifecycle
http://deploy-eprints.ecs.soton.ac.uk/15/
Romanovsky, Alexander (2007) On Exceptions, Exception Handling, Requirements and Software Lifecycle. In: 10th International Symposium on High Assurance Systems Engineering, 14-16 November, 2007, Dallas, Texas. Comprehensibility of UML-based Formal Model ? A Series of Controlled Experiments
http://deploy-eprints.ecs.soton.ac.uk/442/
Razali, R and Snook, C. F. and Poppleton, M. R. (2007) Comprehensibility of UML-based Formal Model ? A Series of Controlled Experiments. In: 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech) 2007. Formal Methods in Safety-Critical Railway Systems
http://deploy-eprints.ecs.soton.ac.uk/8/
lecomte, thierry and servat, thierry (2007) Formal Methods in Safety-Critical Railway Systems. In: 10th Brasilian Symposium on Formal Methods, 29-31 August 2007, Ouro Preto (Brazil). Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One
http://deploy-eprints.ecs.soton.ac.uk/443/
Razali, R and Snook, C. F. and Poppleton, M. R. and Garratt, P. W. and Walters, R. J. (2007) Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One. In: 11th International Conference on Evaluation and Assessment in Software Engineering (EASE'07). Formal Development of the BepiColombo Pilot
http://deploy-eprints.ecs.soton.ac.uk/60/
Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Alexander, Romanovsky Formal Development of the BepiColombo Pilot. In: DEPLOY Planery Meeting, November 2008, Turku. (Unpublished) Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
http://deploy-eprints.ecs.soton.ac.uk/125/
Damchoom, Kriangsak and Butler, Michael Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. In: SBMF 2009, 19-21 August 2009, Gramado, Brazil. Design of QoS-aware Provisioning Systems
http://deploy-eprints.ecs.soton.ac.uk/233/
Michele, Mazzucco and Manuel , Mazzara and Nicola, Dragoni Design of QoS-aware Provisioning Systems. In: 4th Nordic Workshop on Dependability and Security (NODES 2010), Copenhagen, Denmark. Challenges in Applying Formal Methods -- An SME View
http://deploy-eprints.ecs.soton.ac.uk/164/
Clabaut, Mathieu Challenges in Applying Formal Methods -- An SME View. In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Dagstuhl. (Submitted) Presentation Slides - Tasking Event-B for Code Generation
http://deploy-eprints.ecs.soton.ac.uk/260/
Edmunds, Andrew and Butler, Michael Presentation Slides - Tasking Event-B for Code Generation. In: Deploy Plenary Meeting, October 2010, Zurich. (Unpublished) Design, Modelling and Analysis of a Workflow Reconfiguration
http://deploy-eprints.ecs.soton.ac.uk/313/
Mazzara, Manuel Design, Modelling and Analysis of a Workflow Reconfiguration. In: PNSE’11 – Petri Nets and Software Engineering. From Formal Specification in Event-B to Probabilistic Reliability Assessment
http://deploy-eprints.ecs.soton.ac.uk/326/
Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas From Formal Specification in Event-B to Probabilistic Reliability Assessment. In: DEPEND 2010, Venice. Reasoning about Liveness in Event-B
http://deploy-eprints.ecs.soton.ac.uk/351/
Hoang, Thai Son and Abrial, Jean-Raymond Reasoning about Liveness in Event-B. In: ICFEM 2011, Durham, UK. Efficient Reuse of Domain-Specific Test Knowledge: An Industrial Case in the Smart Card Domain
http://deploy-eprints.ecs.soton.ac.uk/381/
Devos, Nicolas and Ponsard, Christophe and Deprez, Jean-Christophe and Bauvin, Renaud and Moriau, Bénédicte and Anckaerts, Guy Efficient Reuse of Domain-Specific Test Knowledge: An Industrial Case in the Smart Card Domain. In: 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich. (In Press) Building on the DEPLOY legacy: code generation and simulation
http://deploy-eprints.ecs.soton.ac.uk/455/
Edmunds, Andrew and Colley, John and Butler, Michael Building on the DEPLOY legacy: code generation and simulation. In: DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B .