Items where Year is 2009

Edmunds, Andrew and Butler, Michael (2009) A Code Generation Example for Event-B: A Shared Channel with Concurrent Read/Writers. [Rodin Archive]

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)

Savicks, Vitaly and Snook, Colin and Butler, Michael (2009) Animation of UML-B State-machines. In: Rodin workshop, 2009, Dusseldorf.

Wieczorek, S. and Kozyura, V. and Roth, A. and Leuschel, Michael and Bendisposto, Jens and Plagge, Daniel and Schieferdecker, I. (2009) Applying Model Checking to Generate Model-based Integration Tests from Choreography Models. 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software TESTCOM/FATES 2009 . (In Press)

Butler, Michael (2009) Bosch switch mini-pilot. [Rodin Archive]

Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Class and State Machine Refinement in UML-B. In: Integration of Model-based Formal Methods and Tools (workshop at iFM 2009).

Schmalz, Matthias and Varacca, Daniele and Völzer, Hagen (2009) Counterexamples in Probabilistic LTL Model Checking for Markov Chains. In: Concur.

Butler, Michael (2009) Decomposition Structures for Event-B. In: Integrated Formal Methods iFM2009. (In Press)

Hoang, Thai Son and Kuruma, Hironobu and Basin, David and Abrial, Jean-Raymond (2009) Developing Topology Discovery in Event-B. Integrated Formal Methods . pp. 1-19.

Hoang, Thai Son and Kuruma, Hironobu and Basin, David and Abrial, Jean-Raymond (2009) Developing topology discovery in Event-B. Science of Computer Programming, 74 (11-12). pp. 879-899.

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2009) Development of a Network Topology Discovery Algorithm. [Rodin Archive]

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

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

Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond (2009) Event-B Patterns and Their Tool Support. 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods . pp. 210-219.

Ilic, Dubravka and Varpaaniemi, Kimmo (2009) Event-B Project BepiColombo_Models_v5.0. [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena (2009) Event-B Project Modes_v2. [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2009) Fault Tolerant Middleware for Agent Systems: A Refinement Approach. In: 12th European Workshop on Dependable Computing (EWDC 2009), 14-15 May 2009, Toulouse, France.

Gondal, Ali and Poppleton, Mike and Snook, Colin (2009) Feature composition - towards product lines of Event-B models. In: 1st International Workshop on Model-Driven Product Line Engineering (MDPLE'09).

Russo Jr, Aryldo G (2009) Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East. [DEPLOY Associate Item] (Submitted)

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.

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.

Aziz, Benjamin and Arenas, Alvaro and Bicarregui, Juan and Ponsard, Christophe and Massonet, Philippe (2009) From Goal-Oriented Requirements to Event-B Specifications. In: First Nasa Formal Method Symposium, April 6 - 8, 2009 , Moffett Field, California . (In Press)

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

Castor Filho, Fernando and Romanovsky, Alexander and Rubira, Cecilia (2009) Improving reliability of cooperative concurrent systems with exception flow analysis. The Journal of Systems and Software, 82 . pp. 874-890.

Bicarregui, J. C. and Fitzgerald, J. S. and Larsen, P. G. and Woodcock, J. C. P. (2009) Industrial Practice in Formal Methods: a Review. FM 2009: Formal Methods, LNCS 5 . (In Press)

Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. [Rodin Archive]

Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and tool support for class and state machine refinement in UML-B. In: Formal Methods 2009, November 2009, Eindhoven.

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)

Kozyura, Vitaly and Roth, Andreas and Wei, Wei (2009) Local Enforceability and Inconsumable Messages in Choreography Models. In: Proceedings of 4th South-East European Workshop on Formal Methods (SEEFM'09).

Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena (2009) Methods, Models and Tools for Fault Tolerance. LNCS, 5454 . Springer.

Wright, Stephen (2009) MIDAS: A Formally Constructed Virtual Machine. [DEPLOY Interest Group Item] (Unpublished)

Dotti, Fernando and Iliasov, Alexei and Riberiro, Leila and Romanovsky, Alexander (2009) Modal Systems: Specification, Refinement and Realisation. In: International Conference on Formal Engineering Methods - ICFEM 09 , December 9 -12, 2009, Rio de Janeiro, Brazil.

Iliasov, Alexei (2009) On Event-B and Control Flow. DEPLOY Project. (Unpublished)

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

Samia, Mireille and Leuschel, Michael (2009) Pie Tree Visualization. In: Proceedings SEKE 2009. Knowledge Systems Institute Graduate School, pp. 400-405.

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

Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2009) Rodin User and Developer Workshop 2009 - Extended Abstracts. Technical Report. DEPLOY 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)

Plagge, Daniel and Leuschel, Michael and Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander (2009) SAL, Kodkod, and BDDs for Validation of B Models. Lessons and Outlook. In: AFM09 (Automated Formal Methods), 27 June 2009, Grenoble, France. (In Press)

Iliasov, Alexei and Arief, Budi and Romanovsky, Alexander (2009) Step-wise Development of Resilient Ambient Campus Scenarios. In: Methods, Models and Tools for Fault Tolerance. Springer, pp. 304-330.

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.

Silva, Renato and Butler, Michael (2009) Supporting Reuse of Event-B Developments through Generic Instantiation. In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009.

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

Butler, Michael (2009) Towards a Cookbook for Modelling and Refinement of Control Problems. Working Paper. ECS, University of Southampton. (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)

Wieczorek, S. and Roth, A. and Stefanescu, A. and Kozyura, V. and Charfi, A. and Kraft, F. M. and Schieferdecker, I. (2009) Viewpoints for Modeling Choreographies in Service-Oriented Architectures. Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture 2009 . (In Press)