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:36 +0000Wed, 17 Jan 2018 12:23:36 +0000en Industrial deployment of system engineering methods providing high dependability and productivity.
http://deploy-eprints.ecs.soton.ac.uk/423/
Romanovsky, Alexander and Thomas, Martyn (2013) Industrial deployment of system engineering methods providing high dependability and productivity. Springer. (In Press) 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. 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. 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) 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. Rodin User & Developer Workshop Proceedings
http://deploy-eprints.ecs.soton.ac.uk/382/
Butler, Michael and Hallerstede, Stefan and Lecomte, thierry and Leuschel, Michael and Romanovsky, Alexander and Voisin, Laurent (2012) Rodin User & Developer Workshop Proceedings. Newcastle University . (Unpublished) 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) Augmenting formal development with use case reasoning
http://deploy-eprints.ecs.soton.ac.uk/372/
Iliasov, Alexei (2012) Augmenting formal development with use case reasoning. In: Proc. of the 17th International Conference on Reliable Software Technologies (Ada-Europe 2012). Stockholm, Sweden. June 11-15, 2012. Springer. Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project
http://deploy-eprints.ecs.soton.ac.uk/445/
Alexander, Romanovsky (2012) Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project. ACM SIGSOFT Software Engineering Notes, 5 . 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. 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. Proceedings of the 11th workshop on Automated Verification of Critical Systems
http://deploy-eprints.ecs.soton.ac.uk/330/
Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander (2011) Proceedings of the 11th workshop on Automated Verification of Critical Systems. Newcastle University. 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/303/
Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011. ProR - Eine Softwareplattform f"\ur Requirements Engineering
http://deploy-eprints.ecs.soton.ac.uk/352/
Jastram, Michael (2011) ProR - Eine Softwareplattform f"\ur Requirements Engineering. Softwaretechnik-Trends, 31 (1). Requirements Modeling Framework
http://deploy-eprints.ecs.soton.ac.uk/354/
Jastram, Michael and Graf, Andreas (2011) Requirements Modeling Framework. Eclipse Magazin, 6.11 . 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. Use case scenarios as verification conditions: Event-B/Flow approach
http://deploy-eprints.ecs.soton.ac.uk/315/
Iliasov, Alexei (2011) Use case scenarios as verification conditions: Event-B/Flow approach. In: Software Engineering for Resilient Systems, Proc. of 3rd International Workshop. September 29-30, 2011 Geneva, Switzerland. LNCS (6968). Springer, pp. 9-23. ISBN 978-3-642-24123-9 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. Rodin: An Open Toolset for Modelling and Reasoning in Event-B
http://deploy-eprints.ecs.soton.ac.uk/267/
Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Hoang, Thai Son and Mehta, Farhad and Voisin, Laurent (2010) Rodin: An Open Toolset for Modelling and Reasoning in Event-B. International Journal on Software Tools for Technology Transfer (STTT) . 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. 09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems
http://deploy-eprints.ecs.soton.ac.uk/187/
Abrial, Jean-Raymond and Butler, Michael and Joshi, Rajev and Troubitsyna, Elena and Woodcock, Jim C. P. (2010) 09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems. Dagstuhl Seminar Proceedings, 09381 (09381). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. 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) 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. 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. PhD Thesis: Formal Construction of Instruction Set Architectures
http://deploy-eprints.ecs.soton.ac.uk/163/
Wright, Stephen (2009) PhD Thesis: Formal Construction of Instruction Set Architectures. [DEPLOY Interest Group Item] (Unpublished) Industrial Practice in Formal Methods: a Review
http://deploy-eprints.ecs.soton.ac.uk/160/
Bicarregui, J. C. and Fitzgerald, J. S. and Larsen, P. G. and Woodcock, J. C. P. (2009) Industrial Practice in Formal Methods: a Review. FM 2009: Formal Methods, LNCS 5 . (In Press) 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) Language and Tool Support for Class and State Machine Refinement in UML-B
http://deploy-eprints.ecs.soton.ac.uk/95/
Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. [Rodin Archive] A Code Generation Example for Event-B: A Shared Channel with Concurrent Read/Writers
http://deploy-eprints.ecs.soton.ac.uk/143/
Edmunds, Andrew and Butler, Michael (2009) A Code Generation Example for Event-B: A Shared Channel with Concurrent Read/Writers. [Rodin Archive] Applying Model Checking to Generate Model-based Integration Tests from Choreography Models
http://deploy-eprints.ecs.soton.ac.uk/146/
Wieczorek, S. and Kozyura, V. and Roth, A. and Leuschel, Michael and Bendisposto, Jens and Plagge, Daniel and Schieferdecker, I. (2009) Applying Model Checking to Generate Model-based Integration Tests from Choreography Models. 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software TESTCOM/FATES 2009 . (In Press) Formal Methods: Practice and Experience
http://deploy-eprints.ecs.soton.ac.uk/161/
Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John S. (2009) Formal Methods: Practice and Experience. ACM Computing Surveys, 41 (4). pp. 1-36. Rodin: An Open Toolset for Modelling and Reasoning in Event-B
http://deploy-eprints.ecs.soton.ac.uk/130/
Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Hoang, Thai Son and Mehta, Farhad and Voisin, Laurent (2009) Rodin: An Open Toolset for Modelling and Reasoning in Event-B. Technical Report. DEPLOY Project. (Unpublished) 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. Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool
http://deploy-eprints.ecs.soton.ac.uk/44/
Leuschel, Michael and Fontaine, Marc (2008) Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool. In: Proceedings of ICFEM 2008. Springer-Verlag, pp. 278-297. 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. DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability
http://deploy-eprints.ecs.soton.ac.uk/27/
Romanovsky, Alexander (2008) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. ERCIM News (74). pp. 54-55. Declarative Programming for Verification: Lessons and Outlook
http://deploy-eprints.ecs.soton.ac.uk/42/
Leuschel, Michael (2008) Declarative Programming for Verification: Lessons and Outlook. In: Proceedings of PPDP'2008. ACM Press. DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability
http://deploy-eprints.ecs.soton.ac.uk/65/
Romanovsky, Alexander (2008) DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. SIGSOFT Software Engineering Notes, 33 (6). 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. 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. La validation de modèles Event-B avec le plug-in ProB pour RODIN
http://deploy-eprints.ecs.soton.ac.uk/46/
Bendisposto, Jens and Leuschel, Michael and Ligot, Olivier and Samia, Mireille (2008) La validation de modèles Event-B avec le plug-in ProB pour RODIN. TSI . pp. 1065-1084. ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
http://deploy-eprints.ecs.soton.ac.uk/45/
Spermann, Corinna and Leuschel, Michael (2008) ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. In: Proceedings of TASE 2008. IEEE Press, pp. 15-22. The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications
http://deploy-eprints.ecs.soton.ac.uk/43/
Leuschel, Michael (2008) The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications. In: Proceedings ABZ'2008. Springer-Verlag, pp. 4-23. A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study
http://deploy-eprints.ecs.soton.ac.uk/227/
Iliasov, Alexei A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study. [Teaching Resource] (Unpublished) Event-B Project Archives, for Tasking Event-B Tutorial
http://deploy-eprints.ecs.soton.ac.uk/304/
Edmunds, Andrew Event-B Project Archives, for Tasking Event-B Tutorial. University of Southampton. (Unpublished) Frameworks for developing Event-B modelling extensions in EMF
http://deploy-eprints.ecs.soton.ac.uk/463/
Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei Frameworks for developing Event-B modelling extensions in EMF. None. (Unpublished) 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) Proceedings of the First Deploy Technical Workshop
http://deploy-eprints.ecs.soton.ac.uk/198/
Manuel , Mazzara Proceedings of the First Deploy Technical Workshop. Newcastle University. Training materials on the flow tool (release - Jan 2011)
http://deploy-eprints.ecs.soton.ac.uk/268/
Iliasov, Alexei Training materials on the flow tool (release - Jan 2011). [Teaching Resource] (Unpublished)