• 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 (2):

• Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems. Science of Computer Programming , 1–22, 2017.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, A Refinement-Based Approach to Developing Critical Multi-Agent Systems. International Journal of Critical Computer-Based Systems 4(1), 69–91, 2013.

Articles in proceedings (14):

• Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns, A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. In: Kazuhiro Ogata, Mark Lawford, Shaoying Liu (Eds.), Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, Lecture Notes in Computer Science 10009, 141–158, Springer, 2016.
• Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala, Towards Security-Explicit Formal Modelling of Safety-Critical Systems. In: Amund Skavhaug, Jeremie Guiochet, Friedemann Bitsch (Eds.), Computer Safety, Reliability, and Security - 35th International Conference, {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, Lecture Notes in Computer Science 9922, 213–225, Springer, Cham, 2016.
• 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.
• Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres, Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. In: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods, 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, Lecture Notes in Computer Science 8739, 103–119, Springer, 2014.
• Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Modelling Resilient Systems-of-Systems in Event-B. In: Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier (Eds.), Computer Safety, Reliability, and Security, Lecture Notes in Computer Science 8696, 157–166, Springer, 2014.
• Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna, Formal Derivation of Distributed MapReduce. In: Y. Ait Ameur, K.-D. Schewe (Eds.), Proceedings of ABZ 2014, Lecture Notes in Computer Science 8477, 238–254, Springer, 2014.
• Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri, Formal Modelling of Resilient Data Storage in Cloud. In: Lindsay Groves, Jing Sun (Eds.), Proceedings of 15th 1. 15th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, 364–380, Springer-Verlag Berlin Heidelberg, 2013.
• 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.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System. In: Paris Avgeriou (Ed.), Proceedings of the 4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Lecture Notes in Computer Science 7527, 16–31, Springer-Verlag Berlin Heidelberg, 2012.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Formal Goal-Oriented Development of Resilient MAS in Event-B. In: Mats Brorsson, Luís Miguel Pinho (Eds.), 17th International Conference on Reliable Software Technologies (Ada-Europe 2012) , Lecture Notes in Computer Science 7308, 147–161, Springer, Heidelberg, 2012.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. In: Fuyuki Ishikawa, Alexander Romanovsky (Eds.), Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, 1–7, ACM CoRR, 2012.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Formal Development of Critical Multi-Agent Systems: A Refinement Approach. In: Cristian Constatinescu Miguel Pupo Correia (Ed.), 9th European Dependable Computing Conference (EDCC 2012), 156–161, IEEE Computer Society, 2012.
• 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.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Development of a Dependable Multi-Agent System by Refinement in Event-B. In: Naveed Ahmed, Daniele Quercia, Christian D. Jensen (Eds.), Workshop Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011), 339-355, Technical University of Denmark, 2011.

Ph.D. thesis (1):

• Inna Pereverzeva, Formal Development of Resilient Distributed Systems. TUCS Dissertations 203. Åbo Akademi University, 2015.

Technical reports (9):

• Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems. TUCS Technical Reports 1133, TUCS , 2015.
• 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.
• Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabad, Linas Laibinis, Elena Troubitsyna, Formal Derivation of Distributed MapReduce. TUCS Technical Reports 1099, Turku Centre for Computer Science, 2014.
• Inna Pereverzeva, Linas Laibnis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri, Formal Modelling of Resilient Data Storage in the Cloud. TUCS Technical Reports 1076, 978-952-12-2887-2, 2013.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Formal Goal-Oriented Development of Resilient MAS in Event-B. TUCS Technical Reports 1033, Turku Centre for Computer Science, 2012.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, A Case Study in a Formal Development of a Fault Tolerant Multi-Robotic System. TUCS Technical Reports 1052, Turku Centre for Computer Science, 2012.
• 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.
• Inna Pereverzeva, Elena Troubitsyna, Linas Laibnis, Rigorous Development of a Safe Multi-Agent System. TUCS Technical Reports 1004, Turku Centre for Computer Science, 2011.