Items where Year is Not Specified

Hoang, Thai Son A Club Management System. [Rodin Archive]

Mazzara, Manuel and Dragoni, Nicola A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way. WSFM 2009 .

Wright, Stephen A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor. [DEPLOY Associate Item]

Iliasov, Alexei A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond A Mechanical Press Controller. [Teaching Resource] (Unpublished)

Pascal, Carine A-Style Decomposition Examples. [Rodin Archive]

Damchoom, Kriangsak An Incremental Refinement Approach to a Development of Flash File System in Event-B. [Rodin Archive]

Damchoom, Kriangsak and Butler, Michael Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. In: SBMF 2009, 19-21 August 2009, Gramado, Brazil.

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander and Latvala, Timo Augmenting Event-B Modelling with Real-Time Verification. In: Proc. of Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches held in conjunction with ICSE 2012. 2 June 2012, Zurich, Switzerland. ACM.

Leuschel, Michael and Falampin, Jérôme and Fabian, Fritz and Daniel, Plagge Automated Property Verification for Large Scale B Models. In: Proceedings FM 2009. Springer-Verlag. (In Press)

Hoang, Thai Son Bucharest DEPLOY 2-day course. [Teaching Resource] (Unpublished)

Clabaut, Mathieu Challenges in Applying Formal Methods -- An SME View. In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Dagstuhl. (Submitted)

Abrial, Jean-Raymond Concurrent Program Development. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Controlling Cars on a Bridge. [Teaching Resource] (Unpublished)

Russo Jr, Aryldo G DA Associate Program - AeS Proposal Ongoing development. [DEPLOY Associate Item]

Mazzara, Manuel Deriving Specifications of Dependable Systems: toward a Method. EWDC 2009 .

Michele, Mazzucco and Manuel , Mazzara and Nicola, Dragoni Design of QoS-aware Provisioning Systems. In: 4th Nordic Workshop on Dependability and Security (NODES 2010), Copenhagen, Denmark.

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

Mazzara, Manuel Design, Modelling and Analysis of a Workflow Reconfiguration. In: PNSE’11 – Petri Nets and Software Engineering.

Hudon, Simon and Hoang, Thai Son Development of a Signal Control System. [Rodin Archive]

Hoang, Thai Son Development of Question/Response Protocol with using pattern approach. [Rodin Archive]

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

Bryans, Jeremy W. Develpoment of the Floodset algorithm. [Rodin Archive]

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

Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive]

Hoang, Thai Son Duelling Cowboys development (qualitative reasoning). [Rodin Archive]

Devos, Nicolas and Ponsard, Christophe and Deprez, Jean-Christophe and Bauvin, Renaud and Moriau, Bénédicte and Anckaerts, Guy Efficient Reuse of Domain-Specific Test Knowledge: An Industrial Case in the Smart Card Domain. In: 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich. (In Press)

Abrial, Jean-Raymond Electronic Circuits Development. [Teaching Resource] (Unpublished)

Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive]

Fürst, Andreas Event-B model of the Order/Supply Chain A2A Communication. [Rodin Archive]

Ilic, Dubravka and Varpaaniemi, Kimmo Event-B Models BepiColombo pilot (by SSF). [Rodin Archive]

Edmunds, Andrew Event-B Project Archives, for Tasking Event-B Tutorial. University of Southampton. (Unpublished)

Iliasov, Alexei Event-B Project SSF Mini-pilot. [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena Event-B Project SSF Mini-pilot (Aabo). [Rodin Archive]

Abrial, Jean-Raymond File Transfer Protocol. [Teaching Resource] (Unpublished)

Hoang, Thai Son FindP Development using Decomposition. [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Alexander, Romanovsky Formal Development of the BepiColombo Pilot. In: DEPLOY Planery Meeting, November 2008, Turku. (Unpublished)

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas From Formal Specification in Event-B to Probabilistic Reliability Assessment. In: DEPEND 2010, Venice.

Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive]

Abrial, Jean-Raymond Introduction. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Leader Election on a Ring-shaped Network. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Location Access Controller. [Teaching Resource] (Unpublished)

Jastram, Michael and Leuschel, Michael and Bendisposto, Jens and Russo Jr, Aryldo G Mapping Requirements to B models. UNSPECIFIED. (Unpublished)

Laibinis, Linas New Event-B Project for SSF Pilot. [Rodin Archive] (Unpublished)

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

Mazzara, Manuel and Bhattacharyya, Anirban On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. Proceedings of DEPEND 2010 .

Hallerstede, Stefan and Hoang, Thai Son Post-material for Bucharest DEPLOY 2-day Course. [Teaching Resource] (Unpublished)

Hoang, Thai Son Pre-reading material for the Bucharest DEPLOY 2-day Course. [Teaching Resource] (Unpublished)

Edmunds, Andrew and Butler, Michael Presentation Slides - Tasking Event-B for Code Generation. In: Deploy Plenary Meeting, October 2010, Zurich. (Unpublished)

Manuel , Mazzara Proceedings of the First Deploy Technical Workshop. Newcastle University.

Bendisposto, Jens and Leuschel, Michael Proof Assisted Model Checking for B. [Rodin Archive]

Hoang, Thai Son Proof of correctness for interface instantiation. [Rodin Archive]

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 Rabin's Choice Coordination Development (qualitative reasoning). [Rodin Archive]

Hoang, Thai Son and Abrial, Jean-Raymond Reasoning about Liveness in Event-B. In: ICFEM 2011, Durham, UK.

Hallerstede, Stefan and Leuschel, Michael and Plagge, Daniel Refinement-Animation for Event-B - Towards a Method of Validation. In: Proceedings ABZ 2010. LNCS . Springer-Verlag. (In Press)

Bryans, Jeremy W. Response Coalition Normative. [Rodin Archive]

Bryans, Jeremy W. Responsive Coalition Perturbed. [Rodin Archive]

Abrial, Jean-Raymond Routing Algorithm for Mobile Agent. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Sequential Program Development. [Teaching Resource] (Unpublished)

Snook, Colin Slides on UML-B used for Deploy Associate Training. [Teaching Resource] (Unpublished)

Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive]

Dotti, Fernando and Iliasov, Alexei and Romanovsky, Alexander Specifying Modal Systems using Event-B. (Technical report). (Unpublished)

Hallerstede, Stefan Structured Event-B Models and Proofs. [Rodin Archive]

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo Supporting Reuse in Event B Development: Modularisation Approach. Aabo Akademi, Finland. (Unpublished)

Abrial, Jean-Raymond Synchronizing Processes on a Tree Network. [Teaching Resource] (Unpublished)

Falampin, Jerome SYRAMS Requirement Table (STS). N/A. (Unpublished)

Abrial, Jean-Raymond The Bounded Re-transmission Protocol. [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond The Leader Election Protocol (IEEE1394). [Teaching Resource] (Unpublished)

Abrial, Jean-Raymond Train System. [Teaching Resource] (Unpublished)

Laibinis, Linas and Troubitsyna, Elena Training material: A Simple Lyra Project. [Rodin Archive]

Iliasov, Alexei Training materials on the flow tool (release - Jan 2011). [Teaching Resource] (Unpublished)

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