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.

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

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)

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 .

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.

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

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)

Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei Frameworks for developing Event-B modelling extensions in EMF. None. (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)

MAMMAR, AMEL and Laleau, Régine Modeling a Landing Gear System in Event-B.

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)