Items where Year is 2012

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

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

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

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)

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

Ponsard, Christophe and Flamand, Jacques and Deprez, Jean-Christophe (2012) Assessment of the Evolution of the RODIN Open Source platform. In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau.

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)

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)

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)

Lovell, Chris and Edmunds, Andy and Silva, Renato and Maamria, Issam and Butler, Michael (2012) Ensuring Extensibility within Code Generation. In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau. (Unpublished)

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)

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

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

Tarasyuk, Anton and Pereverzeva, Inna and Troubitsyna, Elena and Latvala, Timo and Nummila, Laura (2012) Formal development and assessment of a reconfigurable on-board satellite system. In: The 31th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Magdeburg, Germany. (In Press)

Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas (2012) Formal Development of Critical Multi-Agent Systems: A Refinement Approach. In: 9th European Dependable Computing Conference – EDCC 2012, Sibiu, Romania.

Troubitsyna, Elena and Romanovsky, Alexander (2012) Formal Engineering of Resilient Systems: Achievements and Challenges. In: The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012). Fast Abstract Track , Boston, USA.

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)

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)

Ponsard, Christophe and Deprez, Jean-Christophe and Delandtsheer, Renaud (2012) Is my Formal Method Tool Ready for the Industry ? In: AVOCS 2011, 12-14 September 2011, Newcastle, UK.

Dinca, Ionut and Ipate, Florentin and Mierla, Laurentiu and Stefanescu, Alin (2012) Learn and Test for Event-B - a Rodin Plugin. In: ABZ'12 Conference, June 19-21, 2012, Pisa, Italy.

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

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

Hallerstede, Stefan and Hoang, Thai Son (2012) Refinement by Interface Instantiation. In: ABZ 2012, 19-21 June 2012, Pisa, Italy.

Diaconescu, Denisa and Leustean, Ioana and Petre, Luigia and Sere, Kaisa and Stefanescu, Gheorghe (2012) Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. In: 9th International Conference on Integrated Formal Methods (iFM'12), June 19-21, 2012, Pisa. (In Press)

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

Butler, Michael and Hallerstede, Stefan and Lecomte, thierry and Leuschel, Michael and Romanovsky, Alexander and Voisin, Laurent (2012) Rodin User & Developer Workshop Proceedings. Newcastle University . (Unpublished)

Hoang, Thai Son (2012) Security Invariants in Discrete Transition Systems. Formal Aspects of Computing . (In Press)

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.

Varpaaniemi, Kimmo (2012) Some NuSMV Experiments on the Mode Synchronization Protocol in DSAOCSS. Space Systems Finland Ltd. (Unpublished)

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

Edmunds, Andrew and Lovell, Chris and Silva, Renato and Maamria, Issam and Butler, Michael (2012) Tooling: Code Generation Update. In: Rodin User and Developer Workshop 2012, 28-28 February 2012, Fontainebleau. (Unpublished)

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

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

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