Anton Tarasyuk

Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study

Dominique Méry, Rushikesh Sawant, Anton Tarasyuk, 2015, MEDI.

Towards Probabilistic Modelling in Event-B

Elena Troubitsyna, Linas Laibinis, Anton Tarasyuk, 2010, IFM.

Quantitative Verification of System Safety in Event-B

Elena Troubitsyna, Linas Laibinis, Anton Tarasyuk, 2011, SERENE.

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, 2013, SERENE.

Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B

Elena Troubitsyna, Linas Laibinis, Anton Tarasyuk, 2012, IFM.

Formal Development and Assessment of a Reconfigurable On-board Satellite System

Elena Troubitsyna, Timo Latvala, Inna Pereverzeva, 2012, SAFECOMP.

Integrating stochastic reasoning into Event-B development

Elena Troubitsyna, Linas Laibinis, Anton Tarasyuk, 2014, Formal Aspects of Computing.

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation

Elena Troubitsyna, Timo Latvala, Inna Pereverzeva, 2015, SAFECOMP.