Anton Tarasyuk

According to our database, Anton Tarasyuk authored at least 9 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Integrating stochastic reasoning into Event-B development.

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis

Formal Aspects Comput., 2015

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation.

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala

Proceedings of the Computer Safety, Reliability, and Security, 2015

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

Dominique Méry, Rushikesh Sawant, Anton Tarasyuk

Proceedings of the Model and Data Engineering - 5th International Conference, 2015

2013

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

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013

2012

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

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila

Proceedings of the Computer Safety, Reliability, and Security, 2012

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

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

Quantitative Verification of System Safety in Event-B.

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis

Proceedings of the Software Engineering for Resilient Systems, 2011

2010

Augmenting formal development of control systems with quantitative reliability assessment.

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

Towards Probabilistic Modelling in Event-B.

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010