Anton Tarasyuk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2010–2015
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | MEDI | Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study. | Dominique Mry, Rushikesh Sawant, Anton Tarasyuk |
| 2015 | SAFECOMP | The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala |
| 2012 | IFM | Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
| 2012 | SAFECOMP | Formal Development and Assessment of a Reconfigurable On-board Satellite System. | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila |
| 2010 | IFM | Towards Probabilistic Modelling in Event-B. | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |