Browse by Type

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.

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. (In Press)

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

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

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

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.

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

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)

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. (In Press)

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

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)

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

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.

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.

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

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.

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

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)

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

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.

Jastram, Michael (2010) ProR, an Open Source Platform for Requirements Engineering based on RIF. In: Systems Engineering Infrastructure Conference, 19 Oct 2010, Munich, Germany.

Fitzgerald, John S. and Larsen, Peter Gorm and Pierce, Ken G and Verhoef, Marcel and Wolff, Sune (2010) Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. In: Integrated Formal Methods iFM 2010, 11-14 october 2010, Nancy, France. (In Press)

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Towards Probabilistic Modelling in Event-B. In: IFM 2010, Nancy.

Olszewska, Marta and Sere, Kaisa (2010) Specification Metrics for Event-B Developments. In: CONQUEST 2010, 20-22 September 2010, Dresden, Germany.

Jones, Cliff B. and Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. In: AFM'10 (Automated Formal Methods).

Maamria, Issam and Butler, Michael (2010) Rewriting and Well-Definedness within a Proof System. In: Partiality and Recursion in Interactive Theorem Provers PAR-10.

Ponsard, Christophe and De Landtsheer, Renaud (2010) Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems. In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, 15 June 2010, Paris, Université Pierre et Marie Curie. (In Press)

Fathabadi, Asieh Salehi and Butler, Michael (2010) Applying Event-B Atomicity Decomposition to a Multi Media Protocol. In: FMCO Formal Methods for Components and Objects.

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2010) System Architecture, Dependability and Modes. In: Eighth European Dependable Computing Conference (Fast Abstract Track), April 28-30, 2010, Valencia, Spain.

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2010) Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment. In: SERENE 2010, London.

Snook, Colin and Fritz, Fabian and Illisaov, Alexei (2010) An EMF Framework for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference, 22/02/2010, Orford, Canada.

Maamria, Issam and Butler, Michael and Edmunds, Andrew and Rezazadeh, Abdolbaghi (2010) On an Extensible Rule-based Prover for Event-B. In: ABZ2010. (In Press)

Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation. In: WS-TBFM2010. (In Press)

Hoang, Thai Son and Abrial, Jean-Raymond (2010) Event-B Decomposition for Parallel Programs. In: ABZ2010. (In Press)

Silva, Renato and Pascal, Carine and Hoang, T. Son and Butler, Michael (2010) Decomposition Tool for Event-B. In: Workshop on Tool Building in Formal Methods - ABZ Conference. (In Press)

Olszewska, Marta and Sere, Kaisa (2010) Towards Event-B Specification Metrics. In: First Deploy Technical Workshop, 21-23 October 2009, Aix-en-Provence, France.

Bryans, Jeremy and Wei , Wei (2010) Formal Analysis of BPMN Models using Event-B. In: Formal Methods for Industrial Critical Systems 2010. (In Press)

Jastram, Michael and Hallerstede, Stefan and Leuschel, Michael and Russo Jr, Aryldo G (2010) An Approach of Requirements Tracing in Formal Refinement. In: VSTTE’10 Verified Software: Theories, Tools and Experiments, 16th-19th August 2010, Edinburgh, UK. (In Press)

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo (2010) Supporting Reuse in Event B Development: Modularisation Approach. In: Abstract State Machines (ASM), Alloy, B and Z Conference (ABZ 2010), February 22-25, 2010, Orford, Québec, Canada.

Ireland, Andrew and Grov, Gudmund and Butler, Michael (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. In: ABZ 2010. (In Press)

Turner, Edd and Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. In: ABZ 2010. (In Press)

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Väisänen, Pauli and Ilic, Dubravka and Latvala, Timo (2010) Verifying Mode Consistency for On-Board Satellite Software. In: The 29th International Conference on Computer Safety, Reliability and Security (Safecomp 2010), 14 - 17 September 2010, Vienna, Austria.

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo (2010) Developing Mode-Rich Satellite Software by Refinement in Event B. In: 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), September 20-21, 2010, Antwerp, Belgium. (In Press)

Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander (2010) On Fault Tolerance Reuse during Refinement. In: 2nd International Workshop on Software Engineering for Resilient Systems, April 13-16, 2010, Birkbeck College (London, United Kingdom).

Iliasov, Alexei (2010) Tutorial on the Flow plugin for Event-B. In: Workshop on B Dissemination [WOBD] Satellite event of SBMF 2010 , November 8th-9th 2010, Natal, Brazil.

Iliasov, Alexei (2010) Tutorial on the modularization plugin for Event-B. In: Workshop on B Dissemination [WOBD] Satellite event of SBMF 2010, November 8th-9th 2010, Natal, Brazil.

Wieczorek, Sebastian and Stefanescu, Alin (2010) Model-based testing in the enterprise software domain - past and future initiatives. In: Dagstuhl-Seminar 10421 "Model-Based Testing in Practice".

Wieczorek, Sebastian and Stefanescu, Alin (2010) Improving Testing of Enterprise Systems by Model-based Testing on Graphical User Interfaces. In: in Proceedings of 7th Workshop on Systems Testing and Validation.

Wieczorek, Sebastian and Stefanescu, Alin and Roth, Andreas (2010) Model-driven Service Integration Testing - A Case Study. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology.

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

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.

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.

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)

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

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)

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

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.

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)

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)

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)

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.

Wieczorek, S. and Roth, A. and Stefanescu, A. and Charfi, A. (2008) Precise Steps for Choreography Modeling for SOA Validation and Verification. In: Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, Dec 18-19, Jhongli, Taiwan.

Gorbenko, Anatoliy and Kharchenko, Vyacheslav and Romanovsky, Alexander and Mikhaylichenko, Alexey (2008) Experimenting with Exception Propagation Mechanisms in Service-Oriented Architectures. In: 4th International Workshop on Exception Handling (WEH.08), at ACM SIGSOFT 2008/FSE 16, 14 November, 2008, Atlanta, USA. (In Press)

Romanovsky, Alexander (2008) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. In: SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, Uk.

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2008) Formal development of cooperative exception handling for mobile agent systems. In: 1st Int. workshop on Software Engineering for Resilient Systems - SERENE 2008, November 17-19, 2008, Newcastle upon Tyne (UK). (In Press)

Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2008) Formal Refinement Automation. In: Eighth International Workshop on Automated Verification of Critical Systems, 30 September –1 October 2008, Glasgow. (Unpublished)

Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System. In: ICFEM 2008. (In Press)

Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. In: Abstract State Machines, B and Z, First International Conference ABZ 2008.

Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2008) A Roadmap for the Rodin Toolset. In: Abstract State Machines, B and Z, First International Conference ABZ 2008.

Hallerstede, Stefan (2008) On the Purpose of Event-B Proof Obligations. In: ABZ2008, September 2008, London. (In Press)

Iliasov, Alexei and Laibinis, Linas and Romanovsky, Alexander and Sere, Kaisa and Troubitsyna, Elena (2008) Towards Rigorous Engineering of Resilient Pervasive Systems. In: Seventh European Dependable Computing Conference (EDCC-7), May 7-9, 2008, Kaunas, Lithuania.

Edmunds, Andrew and Butler, Michael (2008) Linking Event-B and Concurrent Object-Oriented Programs. In: Refine 2008 - International Refinement Workshop.

Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008. (In Press)

Macedo, Hugo Daniel and Larsen, Peter Gorm and Fitzgerald, John (2008) Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM. In: Formal Methods 2008, 28-30 May, 2008, Turku, Finland.

Leuschel, Michael and Samia, Mireille and Bendisposto, Jens and Samia, Mireille (2008) Easy Graphical Animation and Formula Visualisation for Teaching B. In: The B Method : From Research to Teaching, June 16, 2008, Nantes, France.

Iliasov, Alexei and Romanovsky, Alexander (2008) Refinement Patterns for Fault Tolerant Systems. In: EDCC 7: the Seventh European Dependable Computing Conference (EDCC-7), May 7-9, 2008, Kaunas, Lithuania.

Jones, Cliff B (2008) Reflections on, and predictions for, support systems for the development of programs. In: ASE-08.

Butler, Michael and Hallerstede, Stefan (2007) The Rodin Formal Modelling Tool. In: BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London. (In Press)

Romanovsky, Alexander (2007) On Exceptions, Exception Handling, Requirements and Software Lifecycle. In: 10th International Symposium on High Assurance Systems Engineering, 14-16 November, 2007, Dallas, Texas.

lecomte, thierry and servat, thierry (2007) Formal Methods in Safety-Critical Railway Systems. In: 10th Brasilian Symposium on Formal Methods, 29-31 August 2007, Ouro Preto (Brazil).

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)

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.

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.

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)

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

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

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 and Abrial, Jean-Raymond Reasoning about Liveness in Event-B. In: ICFEM 2011, Durham, UK.