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:50 +0000Wed, 17 Jan 2018 12:23:50 +0000en Extending Event-B with Discrete Timing Properties
http://deploy-eprints.ecs.soton.ac.uk/401/
Mohammad Reza, Sarshogh and Michael, Butler (2012) Extending Event-B with Discrete Timing Properties. Special Issue on Automated Verification of Critical Systems . (Submitted) Refining rely-guarantee thinking
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) Comparing Models of Nondeterministic Expression Evaluation
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) Developing Mode-Rich Satellite Software by Refinement in Event-B
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) Security Invariants in Discrete Transition Systems
http://deploy-eprints.ecs.soton.ac.uk/415/
Hoang, Thai Son (2012) Security Invariants in Discrete Transition Systems. Formal Aspects of Computing . (In Press) Abstractions of Non-interference Security: Probabilistic versus Possibilistic
http://deploy-eprints.ecs.soton.ac.uk/414/
Hoang, Thai Son and McIver, Annabelle and Meinicke, Larrisa and Morgan, Carroll and Sloane, Anthony and Susatyo, Enrico (2012) Abstractions of Non-interference Security: Probabilistic versus Possibilistic. Formal Aspects of Computing . (In Press) External and internal choice with event groups in Event-B
http://deploy-eprints.ecs.soton.ac.uk/422/
Butler, Michael (2012) External and internal choice with event groups in Event-B. FORMAL ASPECTS OF COMPUTING, 24 (4-6). pp. 555-567. 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 . Development of Control Systems Guided by Models of Their Environment
http://deploy-eprints.ecs.soton.ac.uk/418/
Hudon, Simon and Hoang, Thai Son (2011) Development of Control Systems Guided by Models of Their Environment. Electronic Notes in Theoretical Computer Science, 280 . pp. 57-68. Developing a Consensus Algorithm Using Stepwise Refinement
http://deploy-eprints.ecs.soton.ac.uk/363/
Bryans, Jeremy W. (2011) Developing a Consensus Algorithm Using Stepwise Refinement. Proceedings of the 13th international conference on Formal methods and software engineering, LNCS (6991). pp. 553-568. 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. Term Rewriting in Logics of Partial Functions
http://deploy-eprints.ecs.soton.ac.uk/324/
Schmalz, Matthias (2011) Term Rewriting in Logics of Partial Functions. Proceedings of ICFEM 2011 . (In Press) 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 . Elucidating concurrent algorithms via layers of abstraction and reification
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. Specification and refinement of discrete timing properties in Event-B
http://deploy-eprints.ecs.soton.ac.uk/400/
Mohammad Reza, Sarshogh and Michael, Butler (2011) Specification and refinement of discrete timing properties in Event-B. Automated Verification of Critical Systems 2011, 46 . ISSN 1863-2122 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 . 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 . Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B
http://deploy-eprints.ecs.soton.ac.uk/209/
Yeganefard, Sanaz and Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. NASA Formal Methods Symposium 2010 . (In Press) 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) . Formal Analysis of BPMN Models Using Event-B
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. Elucidating concurrent algorithms via layers of abstraction and reification
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 . Development of Rabin's Choice Coordination algorithm in Event-B
http://deploy-eprints.ecs.soton.ac.uk/417/
Yilmaz, Emre and Hoang, Thai Son (2010) Development of Rabin's Choice Coordination algorithm in Event-B. ECEASST, 35 . Developing topology discovery in Event-B
http://deploy-eprints.ecs.soton.ac.uk/203/
Hoang, Thai Son and Kuruma, Hironobu and Basin, David and Abrial, Jean-Raymond (2009) Developing topology discovery in Event-B. Science of Computer Programming, 74 (11-12). pp. 879-899. 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. 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) Developing Topology Discovery in Event-B
http://deploy-eprints.ecs.soton.ac.uk/205/
Hoang, Thai Son and Kuruma, Hironobu and Basin, David and Abrial, Jean-Raymond (2009) Developing Topology Discovery in Event-B. Integrated Formal Methods . pp. 1-19. Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
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. Improving reliability of cooperative concurrent systems with exception flow analysis
http://deploy-eprints.ecs.soton.ac.uk/88/
Castor Filho, Fernando and Romanovsky, Alexander and Rubira, Cecilia (2009) Improving reliability of cooperative concurrent systems with exception flow analysis. The Journal of Systems and Software, 82 . pp. 874-890. Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
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. Viewpoints for Modeling Choreographies in Service-Oriented Architectures
http://deploy-eprints.ecs.soton.ac.uk/145/
Wieczorek, S. and Roth, A. and Stefanescu, A. and Kozyura, V. and Charfi, A. and Kraft, F. M. and Schieferdecker, I. (2009) Viewpoints for Modeling Choreographies in Service-Oriented Architectures. Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture 2009 . (In Press) 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. From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems
http://deploy-eprints.ecs.soton.ac.uk/40/
Ponsard, Christophe and Dallons, Gautier and Philippe, Massonet (2008) From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems. ERCIM News (75). pp. 22-23. ISSN ISSN 0926-4981 Engineering Fault Tolerant Systems (Special issue)
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. 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. The connection between two ways of reasoning about partial functions
http://deploy-eprints.ecs.soton.ac.uk/29/
Fitzgerald, John S and Jones, Cliff B (2008) The connection between two ways of reasoning about partial functions. Information Processing Letters, 107 (3-4). pp. 128-132. An Incremental Development of the Mondex System in Event-B
http://deploy-eprints.ecs.soton.ac.uk/38/
Butler, Michael and Yadav, Divakar (2008) An Incremental Development of the Mondex System in Event-B. Formal Aspects of Computing, 20 (1). pp. 61-77. Rigorous engineering of product-line requirements: a case study in failure management
http://deploy-eprints.ecs.soton.ac.uk/440/
Snook, Colin and Poppleton, Michael and Johnson, Ian (2008) Rigorous engineering of product-line requirements: a case study in failure management. Information and Software Technology, 50 (1-2). pp. 112-129. ProB: An Automated Analysis Toolset for the B Method
http://deploy-eprints.ecs.soton.ac.uk/5/
Leuschel, Michael and Butler, Michael (2008) ProB: An Automated Analysis Toolset for the B Method. International Journal on Software Tools for Technology Transfer, 10 (2). pp. 185-203. Animation-based Validation of a Formal Model of Dynamic Virtual Organisations
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:/ . 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. 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). Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework
http://deploy-eprints.ecs.soton.ac.uk/437/
Razali, Rozilawati and Snook, Colin and Poppleton, Michael and Garratt, Paul (2008) Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments . Deriving Specifications of Dependable Systems: toward a Method
http://deploy-eprints.ecs.soton.ac.uk/157/
Mazzara, Manuel Deriving Specifications of Dependable Systems: toward a Method. EWDC 2009 . A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way
http://deploy-eprints.ecs.soton.ac.uk/158/
Mazzara, Manuel and Dragoni, Nicola A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way. WSFM 2009 . On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
http://deploy-eprints.ecs.soton.ac.uk/218/
Mazzara, Manuel and Bhattacharyya, Anirban On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. Proceedings of DEPEND 2010 . Modeling a Landing Gear System in Event-B
http://deploy-eprints.ecs.soton.ac.uk/467/
MAMMAR, AMEL and Laleau, Régine Modeling a Landing Gear System in Event-B.