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:20 +0000 Wed, 17 Jan 2018 12:23:20 +0000 en Wed, 18 Jul 2012 08:41:55 +0100 http://deploy-eprints.ecs.soton.ac.uk/423/ 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) Thu, 15 Mar 2012 09:44:44 +0000 http://deploy-eprints.ecs.soton.ac.uk/376/ 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). Tue, 08 May 2012 09:23:13 +0100 http://deploy-eprints.ecs.soton.ac.uk/394/ 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) Tue, 06 Mar 2012 18:52:06 +0000 http://deploy-eprints.ecs.soton.ac.uk/372/ 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. Mon, 13 Feb 2012 10:23:32 +0000 http://deploy-eprints.ecs.soton.ac.uk/368/ http://deploy-eprints.ecs.soton.ac.uk/368/ Hayes, Ian J. and Burns, Alan and Dongol, Brijesh and Jones, Cliff B. (2012) Comparing Models of Nondeterministic Expression Evaluation. The Computer Journal, (submi . (Submitted) Thu, 26 Jul 2012 15:19:17 +0100 http://deploy-eprints.ecs.soton.ac.uk/445/ 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 . Fri, 27 Apr 2012 14:42:34 +0100 http://deploy-eprints.ecs.soton.ac.uk/386/ http://deploy-eprints.ecs.soton.ac.uk/386/ Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo (2012) Developing Mode-Rich Satellite Software by Refinement in Event-B. Science of Computer Programming. Accepted. In press . (In Press) 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, 13 Feb 2012 10:21:31 +0000 http://deploy-eprints.ecs.soton.ac.uk/367/ http://deploy-eprints.ecs.soton.ac.uk/367/ Hayes, Ian J. and Jones, Cliff B. and Colvin, Robert J. (2012) Refining rely-guarantee thinking. Formal Aspects of Computing, (submi . (Submitted) Thu, 15 Mar 2012 09:45:38 +0000 http://deploy-eprints.ecs.soton.ac.uk/373/ 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. Mon, 13 Feb 2012 10:30:08 +0000 http://deploy-eprints.ecs.soton.ac.uk/370/ http://deploy-eprints.ecs.soton.ac.uk/370/ Hayes, Ian J. and Burns, Alan and Dongol, Brijesh and Jones, Cliff B. (2011) Comparing Models of Nondeterministic Expression Evaluation. Technical Report. School of Computing Science, University of Newcastle. Fri, 02 Sep 2011 08:43:33 +0100 http://deploy-eprints.ecs.soton.ac.uk/330/ 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. Sun, 04 Sep 2011 11:57:29 +0100 http://deploy-eprints.ecs.soton.ac.uk/329/ 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) Wed, 16 Nov 2011 09:32:55 +0000 http://deploy-eprints.ecs.soton.ac.uk/356/ 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. Fri, 06 May 2011 13:17:45 +0100 http://deploy-eprints.ecs.soton.ac.uk/303/ 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. Tue, 02 Aug 2011 12:57:38 +0100 http://deploy-eprints.ecs.soton.ac.uk/319/ http://deploy-eprints.ecs.soton.ac.uk/319/ Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander (2011) Correct-by-Construction Development of Fault Tolerant Systems (Tutorial at FM 2011). [Teaching Resource] Fri, 29 Jun 2012 07:54:30 +0100 http://deploy-eprints.ecs.soton.ac.uk/406/ 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. Mon, 13 Feb 2012 10:17:51 +0000 http://deploy-eprints.ecs.soton.ac.uk/365/ http://deploy-eprints.ecs.soton.ac.uk/365/ Jones, Cliff B. and Pierce, Ken G. (2011) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, 23 (3). pp. 289-306. Tue, 02 Aug 2011 10:47:15 +0100 http://deploy-eprints.ecs.soton.ac.uk/317/ http://deploy-eprints.ecs.soton.ac.uk/317/ Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2011) Formal Approach to Ensuring Interoperability of Mobile Agents. In: Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications. IGI Global. ISBN ISBN13: 9781615206551 Tue, 02 Aug 2011 13:08:31 +0100 http://deploy-eprints.ecs.soton.ac.uk/320/ 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. Wed, 05 Oct 2011 12:32:28 +0100 http://deploy-eprints.ecs.soton.ac.uk/348/ 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. Sun, 04 Sep 2011 11:57:36 +0100 http://deploy-eprints.ecs.soton.ac.uk/328/ http://deploy-eprints.ecs.soton.ac.uk/328/ Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2011) Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems. IGI GLobal. Mon, 14 Nov 2011 11:00:48 +0000 http://deploy-eprints.ecs.soton.ac.uk/354/ http://deploy-eprints.ecs.soton.ac.uk/354/ Jastram, Michael and Graf, Andreas (2011) Requirements Modeling Framework. Eclipse Magazin, 6.11 . Mon, 04 Jul 2011 12:44:57 +0100 http://deploy-eprints.ecs.soton.ac.uk/315/ 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 Sun, 04 Sep 2011 11:57:40 +0100 http://deploy-eprints.ecs.soton.ac.uk/327/ 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. Sun, 04 Sep 2011 11:57:15 +0100 http://deploy-eprints.ecs.soton.ac.uk/325/ 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. Thu, 14 Jan 2010 17:31:53 +0000 http://deploy-eprints.ecs.soton.ac.uk/187/ 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. Mon, 31 Jan 2011 17:19:46 +0000 http://deploy-eprints.ecs.soton.ac.uk/282/ http://deploy-eprints.ecs.soton.ac.uk/282/ Jones, C. B. and Pierce, K. G. (2010) Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Technical Report. Newcastle University . Mon, 31 Jan 2011 17:19:39 +0000 http://deploy-eprints.ecs.soton.ac.uk/283/ http://deploy-eprints.ecs.soton.ac.uk/283/ Jones, C. B. and Pierce, K. G. (2010) What Can the pi-calculus Tell Us About the Mondex Purse System? Technical Report. Newcastle University . Mon, 29 Nov 2010 11:54:15 +0000 http://deploy-eprints.ecs.soton.ac.uk/257/ http://deploy-eprints.ecs.soton.ac.uk/257/ Jones, Cliff B. and Pierce, Ken G. (2010) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, online . Thu, 21 Oct 2010 10:03:34 +0100 http://deploy-eprints.ecs.soton.ac.uk/248/ http://deploy-eprints.ecs.soton.ac.uk/248/ Bryans, Jeremy W. and Wei , Wei (2010) Formal Analysis of BPMN Models Using Event-B. Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems . pp. 33-49. Tue, 12 Jan 2010 10:11:34 +0000 http://deploy-eprints.ecs.soton.ac.uk/183/ http://deploy-eprints.ecs.soton.ac.uk/183/ Jones, Cliff B (2010) From problem frames to HJJ. In: Software Requirements and Design: The Work of Michael Jackson. Good Friends Publishing Company, pp. 357-372. ISBN 978-0-557-44467-0 Mon, 29 Nov 2010 11:55:36 +0000 http://deploy-eprints.ecs.soton.ac.uk/254/ http://deploy-eprints.ecs.soton.ac.uk/254/ Jones, C.B. and Roscoe, A.W. (2010) Insight, inspiration and collaboration. In: Reflections on the work of C.A.R. Hoare. Springer, pp. 1-32. Fri, 12 Nov 2010 08:53:11 +0000 http://deploy-eprints.ecs.soton.ac.uk/253/ 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). Mon, 29 Nov 2010 11:54:32 +0000 http://deploy-eprints.ecs.soton.ac.uk/256/ http://deploy-eprints.ecs.soton.ac.uk/256/ Jones, Cliff B and Roscoe, A W and Wood, Ken, eds. (2010) Reflections on the work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4 Mon, 29 Nov 2010 11:55:32 +0000 http://deploy-eprints.ecs.soton.ac.uk/255/ http://deploy-eprints.ecs.soton.ac.uk/255/ Jones, C. B. (2010) The role of auxiliary variables in the formal development of concurrent programs. In: Reflections on the work of C.A.R. Hoare. Springer, pp. 167-188. Tue, 07 Dec 2010 14:23:11 +0000 http://deploy-eprints.ecs.soton.ac.uk/261/ 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. Tue, 07 Dec 2010 14:29:00 +0000 http://deploy-eprints.ecs.soton.ac.uk/263/ 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. Wed, 14 Jul 2010 12:58:15 +0100 http://deploy-eprints.ecs.soton.ac.uk/239/ 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. Sat, 12 Dec 2009 16:28:19 +0000 http://deploy-eprints.ecs.soton.ac.uk/163/ http://deploy-eprints.ecs.soton.ac.uk/163/ Wright, Stephen (2009) PhD Thesis: Formal Construction of Instruction Set Architectures. [DEPLOY Interest Group Item] (Unpublished) Wed, 27 May 2009 20:31:51 +0100 http://deploy-eprints.ecs.soton.ac.uk/105/ 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. Wed, 27 May 2009 20:48:29 +0100 http://deploy-eprints.ecs.soton.ac.uk/106/ 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) Sat, 24 Jan 2009 18:35:27 +0000 http://deploy-eprints.ecs.soton.ac.uk/78/ http://deploy-eprints.ecs.soton.ac.uk/78/ Capozucca, Alfredo and Guelfi, Nicolas and Pelliccione, Patrizio and Romanovsky, Alexander and Zorzo, Avelino (2009) Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. Journal of Systems and Software, 82 . pp. 207-228. Tue, 12 Jan 2010 10:11:26 +0000 http://deploy-eprints.ecs.soton.ac.uk/181/ 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) Tue, 12 Jan 2010 10:11:20 +0000 http://deploy-eprints.ecs.soton.ac.uk/180/ 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) Tue, 12 Jan 2010 10:11:11 +0000 http://deploy-eprints.ecs.soton.ac.uk/184/ http://deploy-eprints.ecs.soton.ac.uk/184/ Jones, Cliff B and Pierce, Ken G (2009) Elucidating concurrent algorithms via layers of abstraction and reification. Technical Report. Newcastle University , Newcastle upon Tyne . Sun, 25 Oct 2009 17:48:19 +0000 http://deploy-eprints.ecs.soton.ac.uk/161/ 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. Sat, 06 Jun 2009 10:52:07 +0100 http://deploy-eprints.ecs.soton.ac.uk/110/ http://deploy-eprints.ecs.soton.ac.uk/110/ Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, Andreas (2009) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Proceedings 14th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2009. . pp. 68-77. Tue, 12 Jan 2010 10:11:30 +0000 http://deploy-eprints.ecs.soton.ac.uk/179/ 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) Tue, 12 Jan 2010 10:10:59 +0000 http://deploy-eprints.ecs.soton.ac.uk/185/ http://deploy-eprints.ecs.soton.ac.uk/185/ Jones, Cliff B (2009) The role of auxiliary variables in the formal development of concurrent programs. Technical Report. Newcastle University , Newcastle upon Tyne . Mon, 19 Jan 2009 10:50:44 +0000 http://deploy-eprints.ecs.soton.ac.uk/68/ 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. Tue, 20 Jan 2009 09:35:06 +0000 http://deploy-eprints.ecs.soton.ac.uk/69/ http://deploy-eprints.ecs.soton.ac.uk/69/ Guelfi, Nicolas and Muccini, Henry and Pelliccione, Patrizio and Romanovsky, Alexander (2008) SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. Newcastle upon Tyne, United Kingdom. ACM, USA. ISBN 978-1-60558-275-7 Mon, 19 Jan 2009 10:33:45 +0000 http://deploy-eprints.ecs.soton.ac.uk/67/ http://deploy-eprints.ecs.soton.ac.uk/67/ Guelfi, Nicolas and Muccini, Henry and Pelliccione, Patrizio and Romanovsky, Alexander (2008) Engineering Fault Tolerant Systems (Special issue). Computer Systems Science and Engineering, 23 (5). pp. 1-3. Fri, 11 Jul 2008 13:09:31 +0100 http://deploy-eprints.ecs.soton.ac.uk/27/ 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. Fri, 16 May 2008 14:51:33 +0100 http://deploy-eprints.ecs.soton.ac.uk/24/ 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. Tue, 12 Jan 2010 10:10:40 +0000 http://deploy-eprints.ecs.soton.ac.uk/182/ http://deploy-eprints.ecs.soton.ac.uk/182/ Bryans, Jeremy W. and Fitzgerald, John S. and Greathead, David and Jones, Cliff B and Payne, Richard (2008) A dynamic coalitions workbench: Final Report. Technical Report. Newcastle University , Newcastle upon Tyne . Wed, 06 Aug 2008 19:46:58 +0100 http://deploy-eprints.ecs.soton.ac.uk/30/ http://deploy-eprints.ecs.soton.ac.uk/30/ Fitzgerald, John S and Bryans, Jeremy W and Greathead, David and Jones, Clifff B and Payne, Richard (2008) Animation-based Validation of a Formal Model of Dynamic Virtual Organisations. Electronic Workshops in Computing, http:/ . Mon, 19 Jan 2009 10:05:52 +0000 http://deploy-eprints.ecs.soton.ac.uk/65/ 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). Wed, 06 Aug 2008 19:47:12 +0100 http://deploy-eprints.ecs.soton.ac.uk/28/ 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. Tue, 12 Jan 2010 10:11:16 +0000 http://deploy-eprints.ecs.soton.ac.uk/177/ http://deploy-eprints.ecs.soton.ac.uk/177/ Hughes, John R.D and Jones, Cliff B (2008) Reasoning about programes via operational semantics: Requirement for a support system. In: Automated Software Engineering. Springer. Wed, 06 May 2009 11:54:45 +0100 http://deploy-eprints.ecs.soton.ac.uk/99/ 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. Tue, 12 Jan 2010 10:11:06 +0000 http://deploy-eprints.ecs.soton.ac.uk/178/ 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. Mon, 31 Jan 2011 17:18:49 +0000 http://deploy-eprints.ecs.soton.ac.uk/274/ http://deploy-eprints.ecs.soton.ac.uk/274/ Jones, Cliff B. (2008) Some interdisciplinary observations about getting the ``right'' specification. In: Verified Software: Theories, Tools, Experiments. Lecture Notes in Computer Science (4171). Springer, pp. 64-69. Tue, 12 Jan 2010 10:10:28 +0000 http://deploy-eprints.ecs.soton.ac.uk/176/ http://deploy-eprints.ecs.soton.ac.uk/176/ Jones, Cliff B and Pierce, Ken G (2008) Splitting atoms with rely/guarantee conditions coupled with data reification. In: ABZ2008. Springer, LNCS, pp. 360-377. Thu, 13 Sep 2012 09:16:59 +0100 http://deploy-eprints.ecs.soton.ac.uk/455/ 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 . Fri, 06 May 2011 13:18:02 +0100 http://deploy-eprints.ecs.soton.ac.uk/304/ http://deploy-eprints.ecs.soton.ac.uk/304/ Edmunds, Andrew Event-B Project Archives, for Tasking Event-B Tutorial. University of Southampton. (Unpublished) Sun, 04 Sep 2011 11:57:43 +0100 http://deploy-eprints.ecs.soton.ac.uk/326/ 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. Fri, 29 Jan 2010 22:37:57 +0000 http://deploy-eprints.ecs.soton.ac.uk/198/ http://deploy-eprints.ecs.soton.ac.uk/198/ Manuel , Mazzara Proceedings of the First Deploy Technical Workshop. Newcastle University. Thu, 10 Nov 2011 17:31:25 +0000 http://deploy-eprints.ecs.soton.ac.uk/351/ 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. Wed, 08 Jul 2009 15:31:36 +0100 http://deploy-eprints.ecs.soton.ac.uk/134/ 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) Wed, 14 Oct 2009 10:25:46 +0100 http://deploy-eprints.ecs.soton.ac.uk/159/ 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) Tue, 18 Jan 2011 14:05:51 +0000 http://deploy-eprints.ecs.soton.ac.uk/268/ http://deploy-eprints.ecs.soton.ac.uk/268/ Iliasov, Alexei Training materials on the flow tool (release - Jan 2011). [Teaching Resource] (Unpublished)