Anton Tarasyuk

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Mathematical Theory

Top Venues

Formal Aspects Comput.

Publications

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Integrating stochastic reasoning into Event-B development. Formal Aspects Comput. 27 (1) (2015)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. SAFECOMP (2015)
Dominique Méry, Rushikesh Sawant, Anton Tarasyuk
Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study. MEDI (2015)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. SERENE (2013)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
Formal Development and Assessment of a Reconfigurable On-board Satellite System. SAFECOMP (2012)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. IFM (2012)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Quantitative Verification of System Safety in Event-B. SERENE (2011)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Towards Probabilistic Modelling in Event-B. IFM (2010)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Augmenting formal development of control systems with quantitative reliability assessment. SERENE (2010)