Items where Year is 2008

Langbacka, Thomas (2008) A Description of a Smallish Part of the BepiColombo (BC) MIXS/SIXS Onboard Instrument SW. Documentation. N/A. (Unpublished)

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 .

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.

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.

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

Ilic, Dubravka and Latvala, Timo and Varpaaniemi, Kimmo (2008) BepiColombo - Modelling Approach (Issue I). N/A. (Unpublished)

Leuschel, Michael (2008) Declarative Programming for Verification: Lessons and Outlook. In: Proceedings of PPDP'2008. ACM Press.

Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Exercises. [DEPLOY Deliverable]

Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Lecture Materials. [DEPLOY Deliverable]

Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives. [DEPLOY Deliverable]

Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials. [DEPLOY Deliverable]

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

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

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.

Latvala, Timo (2008) Deployment in the Space Sector (Slides for DEPLOY Newcastle Kick-off Meeting). N/A. (Unpublished)

Latvala, Timo (2008) Deployment in the Space Sector (WP3 Meeting in Newcastle). N/A. (Unpublished)

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.

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.

Gorbenko, Anatoliy and Kharchenko, Vyacheslav and Romanovsky, Alexander and Mikhaylichenko, Alexey (2008) Experimenting with Exception Propagation Mechanisms in Service-Oriented Architectures. In: 4th International Workshop on Exception Handling (WEH.08), at ACM SIGSOFT 2008/FSE 16, 14 November, 2008, Atlanta, USA. (In Press)

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2008) Formal development of cooperative exception handling for mobile agent systems. In: 1st Int. workshop on Software Engineering for Resilient Systems - SERENE 2008, November 17-19, 2008, Newcastle upon Tyne (UK). (In Press)

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)

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)

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

Butler, Michael (2008) Incremental Design of Distributed Systems with Event-B. In: Marktoberdorf Summer School 2008 Lecture Notes. IoS. (In Press)

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.

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.

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive]

Edmunds, Andrew and Butler, Michael (2008) Linking Event-B and Concurrent Object-Oriented Programs. In: Refine 2008 - International Refinement Workshop.

Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System. In: ICFEM 2008. (In Press)

Hallerstede, Stefan (2008) On the Purpose of Event-B Proof Obligations. In: ABZ2008, September 2008, London. (In Press)

Wieczorek, S. and Roth, A. and Stefanescu, A. and Charfi, A. (2008) Precise Steps for Choreography Modeling for SOA Validation and Verification. In: Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, Dec 18-19, Jhongli, Taiwan.

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.

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.

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.

Varpaaniemi, Kimmo (2008) Problems in using RODIN platform in DEPLOY WP3. Discussion Paper. N/A. (Unpublished)

Dony, Christophe and Garcia, Alessandro and Kienzle, Joerg and Romanovsky, Alexander (2008) Proceedings of the Fourth International Workshop on Exception Handling Co-located with the Sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering. Atlanta, USA. ACM. ISBN 978-1-60558-229-0

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.

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.

Ilic, Dubravka and Varpaaniemi, Kimmo (2008) RODIN platform archive of SSF pilot (by SSF). [Rodin Archive]

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

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.

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.

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.

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.

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.

Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008. (In Press)

Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008.

Butler, Michael (2008) UML-B Version of SSF Mini-pilot. [Rodin Archive]

Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. In: Abstract State Machines, B and Z, First International Conference ABZ 2008.

Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. In: Abstract State Machines, B and Z, First International Conference ABZ 2008.

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 .