Items where Subject is "Tool developments > Rodin plug-ins"

Dinca, Ionut and Ipate, Florentin and Mierla, Laurentiu and Stefanescu, Alin (2012) Learn and Test for Event-B - a Rodin Plugin. In: ABZ'12 Conference, June 19-21, 2012, Pisa, Italy.

Edmunds, Andrew and Butler, Michael and Maamria, Issam and Silva, Renato and Lovell, Chris (2012) Event-B code generation: type extension with theories. In: ABZ 2012, 19-21 June 2012, Pisa, Italy. (In Press)

Iliasov, Alexei (2012) Augmenting formal development with use case reasoning. In: Proc. of the 17th International Conference on Reliable Software Technologies (Ada-Europe 2012). Stockholm, Sweden. June 11-15, 2012. Springer.

Hoang, Thai Son (2012) Security Invariants in Discrete Transition Systems. Formal Aspects of Computing . (In Press)

Déharbe, David and Fontaine, Pascal and Guyot, Yoann and Voisin, Laurent (2012) SMT Solvers for Rodin. In: ABZ 2012, 19-21 June 2012, Pisa, Italy.

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

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

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

Silva, Renato and Butler, Michael (2010) Shared Event Composition/Decomposition in Event-B. In: Formal Methods for Components and Objects 2010, November 2010, Graz, Austria.

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.

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)

Yilmaz, Emre and Hoang, Thai Son (2010) Development of Rabin's Choice Coordination algorithm in Event-B. ECEASST, 35 .

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.

Wieczorek, S. and Kozyura, V. and Roth, A. and Leuschel, Michael and Bendisposto, Jens and Plagge, Daniel and Schieferdecker, I. (2009) Applying Model Checking to Generate Model-based Integration Tests from Choreography Models. 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software TESTCOM/FATES 2009 . (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)

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.

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.

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)

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

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.

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 .

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

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

Yilmaz, Emre and Hoang, Thai Son Rabin's Choice Coordination Development (qualitative reasoning). [Rodin Archive]

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)

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