A. Tarasyuk

Quantitative Verification of System Safety in Event-B

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

From Formal Specification in Event-B to Probabilistic Reliability Assessment

Elena Troubitsyna, Linas Laibinis, Anton Tarasyuk, 2010, 2010 Third International Conference on Dependability.

Augmenting formal development of control systems with quantitative reliability assessment

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

Reliability Assessment in Event-B Development

Elena Troubitsyna, Linas Laibinis, Anton Tarasyuk, 2009 .

Reliability Assessment in Event-B

Elena Troubitsyna, Linas Laibinis, Anton Tarasyuk, 2009 .

Integrating stochastic reasoning into Event-B development

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

Towards Probabilistic Modelling in Event-B

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

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

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

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

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

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

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