• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (1):

• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Integrating Stochastic Reasoning Into Event-B Development. Formal Aspects of Computing 27(1), 53–77, 2015.

Articles in proceedings (9):

• Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. In: Floor Koornneef, Coen van Gulijk (Eds.), Computer Safety, Reliability, and Security (SAFECOMP), Lecture Notes in Computer Science 9337, 29–43, Springer International Publishing Switzerland, 2015.
• Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Formal Development and Quantitative Assessment of a Resilient Multi-Robotic System. In: Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko (Eds.), Proceedings of the 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013), Lecture Notes in Computer Science 8166, 109–124, Springer-Verlag Berlin Heidelberg, 2013.
• Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila, Formal Development and Assessment of a Reconfigurable On-Board Satellite System. In: Frank Ortmeier, Peter Daniel (Eds.), Proceedings of 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Lecture Notes in Computer Science 7612, 210–222, Springer-Verlag Berlin Heidelberg , 2012.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. In: John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (Eds.), Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012, Lecture Notes in Computer Science 7321, 237–252, Springer, 2012.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Quantitative Verification of System Safety in Event-B. In: Elena Troubitsyna (Ed.), Proceedings of SERENE 2011, The 3rd International Workshop on Software Engineering for Resilient Systems, Lecture Notes in Computer Science, 24–39, Springer , 2011.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment. In: Proceedings of 2nd Int. Workshop on Software Engineering for Resilient Systems - SERENE 2010, ACM, 2010.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, From Formal Specification in Event-B to Probabilistic Reliability Assessment. In: Proceedings of DEPEND 2010, the 3rd International Conference on Dependability, IEEE Computer Society's Conference Publishing Services, 2010.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Towards Probabilistic Modelling in Event-B. In: Dominique Mery, Stephan Merz (Eds.), Proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, Lecture Notes in Computer Science 6396, 275–289, Springer, 2010.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Reliability Assessment in Event-B Development. In: Mikael Asplund, Simin Nadjm-Tehrani, Luigia Petre (Eds.), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009, 41, 11-20, Linköping University Electronic Press, Linköpings universitet, 2009.

Chapters in edited books (1):

• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach. In: Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, 459–472, IGI Global, 2011.

Ph.D. thesis (1):

• Anton Tarasyuk, Formal Development and Quantitative Verification of Dependable Systems. TUCS Dissertations 156. 2013.

Technical reports (6):

• Inna Pereverzeva, Anton Tarasyuk, Linas Laibinis, Integrating Formal Development and Quantitative Assessment for a Resilient Multi-Robotic System. TUCS Technical Reports 1134, 2015.
• Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. TUCS Technical Reports 1137, TUCS Technical report, 2015.
• Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila, Formal Development and Assessment of Reconfigurable On-Board Satellite System. TUCS Technical Reports 1038, Turku Centre for Computer Science, 2012.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Quantitative Verification of System Safety in Event-B. TUCS Technical Reports 1010, Turku Centre for Computer Science, 2011.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Integrating Reliability Assessment into Formal Development by Refinement. CS-TR No1187, 2010.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Reliability Assessment in Event-B. TUCS Technical Reports 932, Turku Centre for Computer Science, 2009.