Number of items at this level: 17.
Dinca, Ionut and Ipate, Florentin and Mierla, Laurentiu and Stefanescu, Alin
Learn and Test for Event-B - a Rodin Plugin.
In: ABZ'12 Conference, June 19-21, 2012, Pisa, Italy.
Augmenting formal development with use case reasoning.
Proc. of the 17th International Conference on Reliable Software Technologies (Ada-Europe 2012). Stockholm, Sweden. June 11-15, 2012.
Ponsard, Christophe and Devroey, Xavier
Generating High-Level Event-B System Models from KAOS Requirements Models.
In: InforSID 2011, 24-26 May 2011, Lille (France).
Silva, Renato and Pascal, Carine and Hoang, Thai Son and Butler, Michael
Decomposition Tool for Event-B.
Software: Practice and Experience, 41
Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander
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.
Use case scenarios as verification conditions: Event-B/Flow approach.
Software Engineering for Resilient Systems, Proc. of 3rd International Workshop. September 29-30, 2011 Geneva, Switzerland.
Springer, pp. 9-23.
Silva, Renato and Butler, Michael
Shared Event Composition/Decomposition in Event-B.
In: Formal Methods for Components and Objects 2010, November 2010, Graz, Austria.
Olszewska, Marta and Sere, Kaisa
Specification Metrics for Event-B Developments.
In: CONQUEST 2010, 20-22 September 2010, Dresden, Germany.
Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander
System Architecture, Dependability and Modes.
In: Eighth European Dependable Computing Conference (Fast Abstract Track), April 28-30, 2010, Valencia, Spain.
Silva, Renato and Pascal, Carine and Hoang, T. Son and Butler, Michael
Decomposition Tool for Event-B.
In: Workshop on Tool Building in Formal Methods - ABZ Conference.
Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena
An Event-B model of the Attitude and Orbit Control System.
Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo
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.
Aziz, Benjamin and Arenas, Alvaro and Bicarregui, Juan and Ponsard, Christophe and Massonet, Philippe
From Goal-Oriented Requirements to Event-B Specifications.
In: First Nasa Formal Method Symposium, April 6 - 8, 2009 , Moffett Field, California .
A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study.
A-Style Decomposition Examples.
Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander and Latvala, Timo
Augmenting Event-B Modelling with Real-Time Verification.
Proc. of Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches held in conjunction with ICSE 2012. 2 June 2012, Zurich, Switzerland.
Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei
Frameworks for developing Event-B modelling extensions in EMF.