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:22 +0000Wed, 17 Jan 2018 12:23:22 +0000en 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. 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. 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. 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) Decomposition Tool for Event-B
http://deploy-eprints.ecs.soton.ac.uk/293/
Silva, Renato and Pascal, Carine and Hoang, Thai Son and Butler, Michael (2011) Decomposition Tool for Event-B. Software: Practice and Experience, 41 (2). pp. 199-208. A Survey on Event-B Decomposition
http://deploy-eprints.ecs.soton.ac.uk/420/
Hoang, Thai Son and Iliasov, Alexei and Silva, Renato and Wei , Wei (2011) A Survey on Event-B Decomposition. ECEASST, 46 . 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. Event-B Patterns and Their Tool Support
http://deploy-eprints.ecs.soton.ac.uk/412/
Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond (2011) Event-B Patterns and Their Tool Support. Software and Systems Modelling . Formal Derivation of a Distributed Program in Event B
http://deploy-eprints.ecs.soton.ac.uk/320/
Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander (2011) Formal Derivation of a Distributed Program in Event B. In: Proc of ICFEM 2011: 13th International Conference on Formal Engineering Methods. 26th—28th October 2011, Durham, United Kingdom. Springer. Formal Stepwise Development of Scalable and Reliable Multiagent Systems
http://deploy-eprints.ecs.soton.ac.uk/318/
Grotsev, Denis and Iliasov, Alexei and Romanovsky, Alexander (2011) Formal Stepwise Development of Scalable and Reliable Multiagent Systems. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems. IGI Global. ISBN ISBN13: 9781609607470 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. 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. 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. 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. 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. A Basis for Feature-Oriented Modelling in Event-B
http://deploy-eprints.ecs.soton.ac.uk/252/
Sorge, Jennifer and Poppleton, Michael and Butler, Michael (2010) A Basis for Feature-Oriented Modelling in Event-B. Springer, ABZ2010. 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) 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) An Event-B model of the Attitude and Orbit Control System
http://deploy-eprints.ecs.soton.ac.uk/213/
Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena (2010) An Event-B model of the Attitude and Orbit Control System. [Rodin Archive] 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) 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). Patterns for Modelling Time and Consistency in Business Information Systems
http://deploy-eprints.ecs.soton.ac.uk/207/
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. Patterns for Refinement Automation
http://deploy-eprints.ecs.soton.ac.uk/259/
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 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. 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. Event-B Patterns and Their Tool Support
http://deploy-eprints.ecs.soton.ac.uk/204/
Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond (2009) Event-B Patterns and Their Tool Support. 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods . pp. 210-219. 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). Towards Automated Refinement: Patterns in Event B
http://deploy-eprints.ecs.soton.ac.uk/106/
Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander (2009) Towards Automated Refinement: Patterns in Event B. Working Paper. Technical Report. (Unpublished) Event Model Decomposition
http://deploy-eprints.ecs.soton.ac.uk/109/
Abrial, Jean-Raymond (2009) Event Model Decomposition. Technical Report. ETH Zurich. (Unpublished) 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) Methods, Models and Tools for Fault Tolerance
http://deploy-eprints.ecs.soton.ac.uk/89/
Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena (2009) Methods, Models and Tools for Fault Tolerance. LNCS, 5454 . Springer. 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. 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. 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) Incremental Design of Distributed Systems with Event-B
http://deploy-eprints.ecs.soton.ac.uk/49/
Butler, Michael (2008) Incremental Design of Distributed Systems with Event-B. In: Marktoberdorf Summer School 2008 Lecture Notes. IoS. (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) 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. 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. A-Style Decomposition Examples
http://deploy-eprints.ecs.soton.ac.uk/139/
Pascal, Carine A-Style Decomposition Examples. [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] 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) Proof of correctness for interface instantiation
http://deploy-eprints.ecs.soton.ac.uk/364/
Hoang, Thai Son Proof of correctness for interface instantiation. [Rodin Archive] Specifying Modal Systems using Event-B
http://deploy-eprints.ecs.soton.ac.uk/134/
Dotti, Fernando and Iliasov, Alexei and Romanovsky, Alexander Specifying Modal Systems using Event-B. (Technical report). (Unpublished) Structured Event-B Models and Proofs
http://deploy-eprints.ecs.soton.ac.uk/229/
Hallerstede, Stefan Structured Event-B Models and Proofs. [Rodin Archive] Supporting Reuse in Event B Development: Modularisation Approach
http://deploy-eprints.ecs.soton.ac.uk/159/
Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo Supporting Reuse in Event B Development: Modularisation Approach. Aabo Akademi, Finland. (Unpublished)