Items where Subject is "ADVANCE Project"

Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive]

Butler, Michael (2012) Mastering System Analysis and Design through Abstraction and Refinement. [Teaching Resource] (Submitted)

Fathabadi, Asieh Salehi and Butler, Michael and Rezazadeh, Abdolbaghi (2012) A Systematic Approach to Atomicity Decomposition in Event-B. In: SEFM.

Colley, John (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design. [Teaching Resource] (Unpublished)

Butler, Michael (2012) Abstraction, Refinement and Decomposition for Systems Engineering. [Teaching Resource] (Unpublished)

Voisin, Laurent (2012) More Abstraction. In: AI meets Formal Software Development, 01-06.07.2012, Schloss Dagstuhl, Germany.

Edmunds, Andrew and Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: Tasking Event-B. In: Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Stockholm. (In Press)

Mohammad Reza, Sarshogh and Michael, Butler (2012) Extending Event-B with Discrete Timing Properties. Special Issue on Automated Verification of Critical Systems . (Submitted)

Yeganefard, Sanaz and Butler, Michael (2012) Control systems: phenomena and structuring functional requirement documents. In: 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012).. (In Press)

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)

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

Butler, Michael (2012) External and internal choice with event groups in Event-B. FORMAL ASPECTS OF COMPUTING, 24 (4-6). pp. 555-567.

Déharbe, David and Fontaine, Pascal and Guyot, Yoann and Voisin, Laurent (2012) SMT Solvers for Rodin. In: ABZ 2012, 19-21 June 2012, Pisa, Italy.

Jastram, Michael (2012) The ProR Approach: Traceability of Requirements and System Descriptions. PhD thesis, UNSPECIFIED.

Hansen, Dominik and Leuschel, Michael (2012) Translating TLA+ to B for Validation with ProB. In: Proceedings iFM'2012.

Plagge, Daniel and Leuschel, Michael (2012) Validating B, Z and TLA+ using ProB and Kodkod. In: Proceedings FM'2012, August, 2012, Paris.

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

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 .

Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei Frameworks for developing Event-B modelling extensions in EMF. None. (Unpublished)