Items where Year is 2011

Edmunds, Andrew and Rezazadeh, Abdolbaghi and Butler, Michael (2011) From Event-B Models to Code: Sensing, Actuating, and the Environment. In: SBMF2011, Sept 2011, Sao Paulo, Brazil.

Deprez, Jean-Christophe and Ponsard, Christophe and Fitzgerald, John S. (2011) A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage. In: FM2011 / Industry Day, 20-24 June 2011, Limerick (Ireland).

Hoang, Thai Son and Iliasov, Alexei and Silva, Renato and Wei , Wei (2011) A Survey on Event-B Decomposition. ECEASST, 46 .

Fathabadi, Asieh Salehi and Rezazadeh, Abdolbaghi and Butler, Michael (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. In: THIRD NASA FORMAL METHODS SYMPOSIUM. (In Press)

Hoang, Thai Son and McIver, Annabelle and Meinicke, Larrisa and Sloane, Anthony and Susatyo, Enrico (2011) Automated Analysis of Non-Interference Security by Refinement. In: CryptoForma 2011. (Submitted)

Ponsard, Christophe and Deprez, Jean-Christophe (2011) Collaborative Building of an Open Evidence Repository to Drive the Adoption of Formal Engineering Methods. In: FM2011, 20-24 June 2011, Limerick (Ireland).

Hayes, Ian J. and Burns, Alan and Dongol, Brijesh and Jones, Cliff B. (2011) Comparing Models of Nondeterministic Expression Evaluation. Technical Report. School of Computing Science, University of Newcastle.

Gondal, Ali and Poppleton, Mike and Butler, Michael (2011) Composing Event-B Specifications - Case-Study Experience. In: 10th International Conference on Software Composition.

Boström, Pontus and Degerlund, Fredrik and Sere, Kaisa and Waldén, Marina (2011) Concurrent Scheduling of Event-B Models. In: 15th International Refinement Workshop (associated with Formal Methods 2011), 20th June 2011, Limerick, Ireland.

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander (2011) Correct-by-Construction Development of Fault Tolerant Systems (Tutorial at FM 2011). [Teaching Resource]

Silva, Renato and Pascal, Carine and Hoang, Thai Son and Butler, Michael (2011) Decomposition Tool for Event-B. Software: Practice and Experience, 41 (2). pp. 199-208.

Mazzara, Manuel and Dragoni, Nicola and Zhou, Mu (2011) Dependable Workflow Reconfiguration in WS-BPEL. In: NODES 2011.

Varpaaniemi, Kimmo (2011) DEPLOY Work Package 3 Software Requirements Document for a Distributed System for Attitude and Orbit Control for a Single Spacecraft (DEP-RP-SSF-R-006, Issue 1.3). Documentation. Space Systems Finland Ltd. (Unpublished)

Prokhorova, Yuliya and Laibinis, Linas and Troubitsyna, Elena and Varpaaniemi, Kimmo and Latvala, Timo (2011) Derivation and Formal Verification of a Mode Logic for Layered Control Systems. In: The 18th Asia-Pacific Software Engineering Conference (APSEC 2011), Ho Chi Minh, Vietnam.

Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Varpaaniemi, Kimmo and Latvala, Timo (2011) Deriving Mode Logic for Fault-Tolerant Control Systems. In: NODES Workshop (associated with the 5th IFIP International Conference on Trust Management (IFIPTM 2011)), Copenhagen, Denmark.

Bryans, Jeremy W. (2011) Developing a Consensus Algorithm Using Stepwise Refinement. Proceedings of the 13th international conference on Formal methods and software engineering, LNCS (6991). pp. 553-568.

Hudon, Simon and Hoang, Thai Son (2011) Development of Control Systems Guided by Models of Their Environment. Electronic Notes in Theoretical Computer Science, 280 . pp. 57-68.

Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Kharchenko, Vyacheslav (2011) Development of Safety-Critical Control Systems in Event-B Using FMEA. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems. IGI Global, IGI Global Publishing, USA, pp. 75-91. ISBN 978-1-60960-747-0

Jones, Cliff B. and Pierce, Ken G. (2011) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, 23 (3). pp. 289-306.

Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond (2011) Event-B Patterns and Their Tool Support. Software and Systems Modelling .

Varpaaniemi, Kimmo (2011) Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic. [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2011) Formal Approach to Ensuring Interoperability of Mobile Agents. In: Handbook of Research on Mobile Software Engineering: Design Implementation and Emergent Applications. IGI Global. ISBN ISBN13: 9781615206551

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander (2011) Formal Derivation of a Distributed Program in Event B. In: Proc of ICFEM 2011: 13th International Conference on Formal Engineering Methods. 26th—28th October 2011, Durham, United Kingdom. Springer.

Grotsev, Denis and Iliasov, Alexei and Romanovsky, Alexander (2011) Formal Stepwise Development of Scalable and Reliable Multiagent Systems. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems. IGI Global. ISBN ISBN13: 9781609607470

Su, Wen and Abrial, Jean-Raymond and Huang, Runlei and Zhu, Huibiao (2011) From Requirements to Development: Methodology and Example. In: ICFEM 2011, Durham, UK. (In Press)

Ponsard, Christophe and Devroey, Xavier (2011) Generating High-Level Event-B System Models from KAOS Requirements Models. In: InforSID 2011, 24-26 May 2011, Lille (France).

Iliasov, Alexei (2011) Generation of certifiably correct programs from formal models. In: 1st Int. Workshop on Software Certification. At the 22nd Int. Symposium on Software Reliability Engineering (ISSRE 2011). , November 30, 2011, Hiroshima, Japan.

Snook, Colin (2011) Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines. In: B2011.

Dinca, Ionut (2011) Multi-Objective Test Suite Optimization for Event-B Models. In: ICIEIS'11, Springer CCIS Series vol. 251 , 11-14 November 2011, Malaysia.

Mazzara, Manuel (2011) On Methods for the Formal Specification of Fault Tolerant Systems. In: DEPEND 2011.

Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander and Prokhorova, Yuliya and Troubitsyna, Elena (2011) Patterns for Representing FMEA in Formal Specification of Control Systems. In: The 13th IEEE International High Assurance Systems Engineering Symposium, Boca Raton, FL, November 10-12, 2011, Boca Raton, USA.

Mazzara, Manuel and Marraffa, Antonio and Biselli , Luca and Chiarabini, Luca (2011) Polidoxa: a Sinergic Approach of a Social Network and a Search Engine to Offer Trustworthy News. In: INTRUSO 2011.

Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander (2011) Proceedings of the 11th workshop on Automated Verification of Critical Systems. Newcastle University.

Jastram, Michael (2011) ProR - Eine Softwareplattform f"\ur Requirements Engineering. Softwaretechnik-Trends, 31 (1).

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2011) Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems. IGI GLobal.

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2011) Quantitative Verification of System Safety in Event-B. In: SERENE 2011. (In Press)

Bryans, Jeremy W. and Fitzgerald, John S. and McCutcheon, Tom (2011) Refinement-based techniques in the analysis of information flow policies for dynamic virtual organisations. In: PRO-VE 2011 - 12th IFIP Working Conference on VIRTUAL ENTERPRISES, 17-19 October, Sao Paulo, Brazil. (Submitted)

Hallerstede, Stefan and Snook, Colin (2011) Refining Nodes and Edges of State Machines. In: ICFEM 2011: 13th International Conference on Formal Engineering Methods.

Jastram, Michael and Graf, Andreas (2011) Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF). In: FIRST TOPCASED DAYS TOULOUSE 2011, 2 Feb - 4 Feb 2011, Toulouse, France.

Jastram, Michael and Graf, Andreas (2011) Requirements Modeling Framework. Eclipse Magazin, 6.11 .

Jastram, Michael and Graf, Andreas (2011) Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF). Dagstuhl-Workshop MBEES: Model-Based Development of Embedded Systems . fortiss GmbH, München, Germany.

Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander (2011) Rigorous Development of Dependable Systems using Fault Tolerance Views. In: The 22nd annual International Symposium on Software Reliability Engineering (ISSRE 2011), Nov 29 - Dec 2, 2011, Hiroshima, Japan.

Iliasov, Alexei and Romanovsky, Alexander (2011) Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper). In: 22nd IEEE International Symposium on Software Reliability Engineering, Nov 29 - Dec 2, 2011, Hiroshima, Japan.

Mohammad Reza, Sarshogh and Michael, Butler (2011) Specification and refinement of discrete timing properties in Event-B. Automated Verification of Critical Systems 2011, 46 . ISSN 1863-2122

Yeganefard, Sanaz and Butler, Michael (2011) Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. Technical Report. University of Southampton. (Unpublished)

Yeganefard, Sanaz and Butler, Michael (2011) Structuring functional requirements of control systems to facilitate refinement-based formalisation. In: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS 2011).

Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011. (In Press)

Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011.

Schmalz, Matthias (2011) Term Rewriting in Logics of Partial Functions. Proceedings of ICFEM 2011 . (In Press)

Dinca, Ionut and Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina (2011) Test Data Generation for Event-B Models using Genetic Algorithms. In: 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11), June 27-29, 2011, Malaysia.

Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina (2011) Towards Search-based Testing for Event-B Models. In: 4th International Workshop on Search-Based Software Testing, 21 Mar 2011, Berlin.

Silva, Renato (2011) Towards the Composition of Specifications in Event-B. In: B 2011 Workshop, 20-24 June 2011, Lero, Limerick, Ireland.

Iliasov, Alexei (2011) Use case scenarios as verification conditions: Event-B/Flow approach. In: Software Engineering for Resilient Systems, Proc. of 3rd International Workshop. September 29-30, 2011 Geneva, Switzerland. LNCS (6968). Springer, pp. 9-23. ISBN 978-3-642-24123-9

Snook, Colin and Savicks, Vitaly and Butler, Michael (2011) Verification of UML models by translation to UML-B. In: Formal Methods for Components and Objects, 29 Nov 2010, Graz.