Items where Subject is "Methodology"

Romanovsky, Alexander and Thomas, Martyn (2013) Industrial deployment of system engineering methods providing high dependability and productivity. Springer. (In Press)

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).

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)

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.

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)

Alexander, Romanovsky (2012) Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project. ACM SIGSOFT Software Engineering Notes, 5 .

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)

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.

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)

Hayes, Ian J. and Jones, Cliff B. and Colvin, Robert J. (2012) Refining rely-guarantee thinking. Formal Aspects of Computing, (submi . (Submitted)

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.

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.

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.

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2011) Quantitative Verification of System Safety in Event-B. In: SERENE 2011. (In Press)

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.

Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011.

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]

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.

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.

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

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.

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.

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.

Jastram, Michael and Graf, Andreas (2011) Requirements Modeling Framework. Eclipse Magazin, 6.11 .

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

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Towards Probabilistic Modelling in Event-B. In: IFM 2010, Nancy.

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment. In: SERENE 2010, London.

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.

Jones, C. B. and Pierce, K. G. (2010) Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Technical Report. Newcastle University .

Jones, C. B. and Pierce, K. G. (2010) What Can the pi-calculus Tell Us About the Mondex Purse System? Technical Report. Newcastle University .

Jones, Cliff B. and Pierce, Ken G. (2010) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, online .

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.

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

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.

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).

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

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.

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.

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.

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.

Wright, Stephen (2009) PhD Thesis: Formal Construction of Instruction Set Architectures. [DEPLOY Interest Group Item] (Unpublished)

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.

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander (2009) Towards Automated Refinement: Patterns in Event B. Working Paper. Technical Report. (Unpublished)

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.

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)

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)

Jones, Cliff B and Pierce, Ken G (2009) Elucidating concurrent algorithms via layers of abstraction and reification. Technical Report. Newcastle University , Newcastle upon Tyne .

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.

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.

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)

Jones, Cliff B (2009) The role of auxiliary variables in the formal development of concurrent programs. Technical Report. Newcastle University , Newcastle upon Tyne .

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.

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

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.

Romanovsky, Alexander (2008) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. ERCIM News (74). pp. 54-55.

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.

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 .

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:/ .

Romanovsky, Alexander (2008) DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. SIGSOFT Software Engineering Notes, 33 (6).

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.

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.

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.

Jones, Cliff B (2008) Reflections on, and predictions for, support systems for the development of programs. In: ASE-08.

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.

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.

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 .

Edmunds, Andrew Event-B Project Archives, for Tasking Event-B Tutorial. University of Southampton. (Unpublished)

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas From Formal Specification in Event-B to Probabilistic Reliability Assessment. In: DEPEND 2010, Venice.

Manuel , Mazzara Proceedings of the First Deploy Technical Workshop. Newcastle University.

Hoang, Thai Son and Abrial, Jean-Raymond Reasoning about Liveness in Event-B. In: ICFEM 2011, Durham, UK.

Dotti, Fernando and Iliasov, Alexei and Romanovsky, Alexander Specifying Modal Systems using Event-B. (Technical report). (Unpublished)

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)

Iliasov, Alexei Training materials on the flow tool (release - Jan 2011). [Teaching Resource] (Unpublished)