Browse by Type

Hoang, Thai Son and Itoh, Shinji and Oyama, Kyohei and Miyazaki, Kunihiko and Kuruma, Hironobu and Sato, Naoto (2015) Validating the Consistency of Specification Rules. Technical Report. N/A. (Unpublished)

Hallerstede, Stefan and Jastram, Michael and Ladenberger, Lukas (2012) A Method and Tool for Tracing Requirements into Specifications. Working Paper. UNSPECIFIED. (Submitted)

Varpaaniemi, Kimmo (2011) DEPLOY Work Package 3 Software Requirements Document for a Distributed System for Attitude and Orbit Control for a Single Spacecraft (DEP-RP-SSF-R-006, Issue 1.3). Documentation. Space Systems Finland Ltd. (Unpublished)

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.

Yeganefard, Sanaz and Butler, Michael (2011) Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. Technical Report. University of Southampton. (Unpublished)

Varpaaniemi, Kimmo (2010) DEPLOY Work Package 3 Attitude and Orbit Control System Software Requirements Document (DEP-RP-SSF-R-005, Issue 1.0). Documentation. Space Systems Finland Ltd. (Unpublished)

Räsänen, Tuomas and Nummila, Laura (2010) DEPLOY Training Evaluation Document. Technical Report. Space Systems Finland Ltd. (Unpublished)

Jones, C. B. and Lovert, M. J. (2010) Semantic Models for a Logic of Partial Functions. Technical Report. Newcastle University .

Butler, Michael and Maamria, Issam (2010) Mathematical Extension in Event-B through the Rodin Theory Component. Technical Report. Deploy Project. (Unpublished)

Hoang, Thai Son (2010) How to Interpret Failed Proofs in Event-B. Technical Report. ETH Zurich, Switzerland, Zurich. (Unpublished)

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 Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. Technical Report. School of Computing Science, Newcastle University.

Grov, Gudmund and Jones, Cliff B. (2010) AI4FM: A New Project Seeking Challenges! Technical Report. Newcastle University .

Delandtsheer, Renaud and Ponsard, Christophe (2009) Goal-Oriented Requirements Engineering in Action in the Transportation Sector. Technical Report. DEPLOY. (Unpublished)

Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2009) Rodin User and Developer Workshop 2009 - Extended Abstracts. Technical Report. DEPLOY Project. (Unpublished)

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

Butler, Michael (2009) Using Event-B Refinement to Verify a Control Strategy. Working Paper. ECS, University of Southampton. (Unpublished)

Abrial, Jean-Raymond (2009) Event Model Decomposition. Technical Report. ETH Zurich. (Unpublished)

Butler, Michael (2009) Towards a Cookbook for Modelling and Refinement of Control Problems. Working Paper. ECS, University of Southampton. (Unpublished)

Abrial, Jean-Raymond and Metayer, Christophe and Voisin, Laurent (2009) Rodin Manual and Language Definition. Manual. RODIN Project. (Unpublished)

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)

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

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

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

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 .

Mazzara, Manuel and Bhattacharyya, Anirban On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. Technical Report. Newcastle University.

Mazzara, Manuel Different Perspectives for Reasoning about Problems and Faults. Technical Report. University of Newcastle upon Tyne.

Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Leuschel, Michael and Schmalz, Matthias and Voisin, Laurent Proposals for Mathematical Extensions for Event-B. Technical Report. . (Unpublished)

Yilmaz, Emre and Hoang, Thai Son Development of Rabin's Choice Coordination Algorithm in Event-B. Technical Report. University of Düsseldorf, Dusseldorf, Germany.

Mazzara, Manuel and Abouzaid, Faisal and Dragoni, Nicola and Bhattacharyya, Anirban Design, Modelling and Analysis of a Workflow Reconfiguration. Technical Report. Newcastle University.

Konrad, Matthias and Voisin, Laurent Translation from Set-Theory to Predicate Calculus. Technical Report. ETH Zurich. (Unpublished)

Hoang, Thai Son and Hudon, Simon Developing Control Systems with Some Fragile Environment. Technical Report. ETH Zurich, Zurich, Switzerland.

Weigelt, Ingo Architectures for an Extensible Text Editor for Rodin. Technical Report. UNSPECIFIED.