• 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

Edited books (1):

• Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, IGI Global, 2011.

Edited proceedings (3):

• Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings, Lecture Notes in Computer Science 6968, Springer, 2011.
• Luigia Petre, Kaisa Sere, Elena Troubitsyna, Einar Broch Johnsen (Eds.), NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security, B 37, Åbo Akademi Reports on Computer Science and Mathematics, 2007.
• Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna (Eds.), Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), University of Newcastle upon Tyne, School of Computing Science, 2005.

Articles in journals (11):

• Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna, Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems. Science of Computer Programming , 1–22, 2017.
• Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Facilitating Construction of Safety Cases from Formal Models in Event-B. Information and Software Technology 60, 51–76, 2015.
• Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis, Integrating Stochastic Reasoning Into Event-B Development. Formal Aspects of Computing 27(1), 53–77, 2015.
• Luigia Petre, Elena Troubitsyna, Marina Waldén, Kaisa Sere: In Memoriam.. Formal Aspects of Computing 26(2), 197–201, 2014.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala, Developing Mode-Rich Satellite Software by Refinement in Event-B. Science of Computer Programming 78(7), 884–905, 2013.
• 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.
• Yuliya Prokhorova, Elena Troubitsyna, A Survey of Safety-Oriented Model-Driven and Formal Development Approaches. International Journal of Critical Computer-Based Systems 4(2), 93–118, 2013.
• Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala, Deriving a Mode Logic Using Failure Modes and Effects Analysis. International Journal of Critical Computer-Based Systems 3(4), 305–328, 2012.
• Kashif Javed, Kashif Asifa, Elena Troubitsyna, Implementation of SPIN Model Checker for Formal Verification of Distance Vector Routing Protocol. International Journal of Computer Science and Information Security 8(3), 6, 2010.
• Elena Troubitsyna, Safety Analysis in Use Case Driven Development. Journal of Electronics and Computer Science 6(1), 15-27, 2004.
• Elena Troubitsyna, Reliability Assessment through Probabilistic Refinement. Nordic Journal of Computing 6(3), 320 – 342, 1999.

Articles in proceedings (96):

• Inna Vistbakka, Elena Troubitsyna, Amin Majd, Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. In: Dongjin Yu, Vu Nguyen, Congfeng Jiang (Eds.), 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, 58–65, IEEE, 2019.
• Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab, Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. In: Carlos Coello Coello, Hisao Ishibuchi, Xiaodong Li, Fernando Von Zuben (Eds.), 2018 IEEE Congress on Evolutionary Computation (CEC), 1–8, IEEE, 2018.
• Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab, Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. In: Ivan Merelli, Pietro Lio, Igor Kotenko (Eds.), 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 101–108, IEEE, 2018.
• Irum Rauf, Elena Troubitsyna, Securing Open Source Clouds Using Models. In: Fuyuki Ishikawa, Patrizio Pelliccione, Elena Troubitsyna (Eds.), nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 50–65, Electronic Proceedings in Theoretical Computer Science, 2018.
• Irum Rauf, Inna Vistbakka, Elena Troubitsyna, Formal Verification of Stateful Services with REST APIs Using Event-B. In: Bhavani Thuraisingham, Yushun Fan (Eds.), 2018 IEEE International Conference on Web Services, ICWS 2018, San Francisco, CA, USA, July 2-7, 2018, 131–138, IEEE, 2018.
• Elena Troubitsyna, Inna Vistbakka, Deriving and Formalising Safety and Security Requirements for Control Systems. In: Barbara Gallina, Amund Skavhaug, Friedemann Bitsch (Eds.), Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21,2018, Proceedings, Lecture Notes in Computer Science 11093, 107–122, Springer, 2018.
• Inna Vistbakka, Mikhail Barash, Elena Troubitsyna, Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. In: Michael J. Butler, Alexander Raschk, Thai Son Hoang, Klaus Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Lecture Notes in Computer Science 10817, 386–391, Springer, 2018.
• Inna Vistbakka, Amin Majd, Elena Troubitsyna, Deriving Mode Logic for Autonomous Resilient Systems. In: Jing Sun, Meng Sun (Eds.), Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, {ICFEM} 2018, Lecture Notes in Computer Science 11232, 320–336, Springer, 2018.
• Inna Vistbakka, Elena Troubitsyna, Modelling and Verification of Dynamic Role-Based Access Control. In: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (Eds.), Verification and Evaluation of Computer and Communication Systems -- 12th International Conference, VECoS 2018, Lecture Notes in Computer Science 11181, 48–63, Springer, 2018.
• Inna Vistbakka, Elena Troubitsyna, Towards a Formal Approach to Analysing Security of Safety-Critical Systems. In: Emanuel Onica, Pascal Felber (Eds.), Towards a Formal Approach to Analysing Security of Safety-Critical Systems, 182–189, IEEE Computer Society, 2018.
• Adnan Ashraf, Amin Majd, Elena Troubitsyna, Towards a Realtime, Collision-Free Motion Coordination and Navigation System for a UAV Fleet. In: Ondrej Rysavy, Valentino Vranić (Eds.), Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, ECBS '17, 11:1–11:9, ACM, 2017.
• Irum Rauf, Elena Troubitsyna, Towards a Model-Driven Security Assurance of Open Source Components. In: Alexander Romanovsky, Elena Troubitsyna (Eds.), 9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017) September 4-5, 2017, Geneva, Switzerland. Proceedings, LNCS-10479, 65–80, SpringerLink, 2017.
• Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala, Co-Engineering Safety and Security in Industrial Control Systems: A Formal Outlook. In: Alexander B. Romanovsky, Elena Troubitsyna (Eds.), Software Engineering for Resilient Systems - 9th International Workshop, {SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings, Lecture Notes in Computer Science 10479, 96–114, Springer, 2017.
• Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis, Formalisation-Driven Development of Safety-Critical Systems. In: Radu Babiceanu, Helene Waeselynck (Eds.), HASE 2016 -- IEEE High Assurance Systems Engineering Symposium, 165–172, IEEE, 2016.
• 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.
• Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky, From Requirements Engineering to Safety Assurance: Refinement Approach. In: Li Xuandong, Liu Zhiming, Yi Wang (Eds.), Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, Lecture Notes in Computer Science 9409, 201–216, Springer, 2015.
• 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.
• Elena Troubitsyna, Linas Laibinis, Towards Visualisation of Resilience Assessment for Large-Scale Systems. In: Yongxin Zhu, Tarek El-Ghazawi, Meikang Qiu, Sun-Yuan Kung, Jack Dongarra (Eds.), 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015, 924, IEEE, 2015.
• Kashif Javed, Elena Troubitsyna, Towards Systematic Design of Adaptive Fault Tolerant Systems. In: David Musliner, Elena Troubitsyna, Dan Tamir (Eds.), The Sixth International Conference on Adaptive and Self-Adaptive Systems and Applications, 15 – 21, IARIA 2014, 2014.
• Kashif Javed, Elena Troubitsyna, A Structured Approach to Architecting Fault Tolerant Services. In: Guadaloupe Ortiz, Elena Troubitsyna, Sergio De Agostino (Eds.), The Ninth International Conference on Internet and Web Applications and Services, 99 – 104, IARIA 2014, 2014.
• 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, Dmitry Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov, Modelling Resilience of Data Processing Capabilities of CPS. In: Istvan Majzik, Marco Vieira (Eds.), Software Engineering for Resilient Systems, Lecture Notes in Computer Science 8785, 55–70, 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.
• Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frederic Migeon, Ahmed Hadj Kacem, Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. In: D. Giannakopoulou, G. Salaun (Eds.), Software Engineering and Formal Methods (SEFM 2014), Lecture Notes in Computer Science 8702, 363–377, 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.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala, Formalisation of an Industrial Approach to Monitoring Critical Data. In: Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (Eds.), Proceedings of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Lecture Notes in Computer Science 8153, 57–69, Springer-Verlag Berlin Heidelberg, 2013.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Supporting Formal Modelling in Event-B with Safety Cases. In: Michael Butler, Stefan Hallerstede, Marina Waldén (Eds.), Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes 18, 8–11, TUCS, 2013.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, A Case Study in Refinement-Based Modelling of a Resilient Control 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, 79–93, 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.
• Elena Troubitsyna, Towards Formal Specification of Autonomic Control Systems. In: Dini Petre, Elena Troubitsyna (Eds.), The Fourth International Conference on Adaptive and Self-Adaptive Systems and Applications, 109–114, IEEE Computer Press, 2013.
• Elena Troubitsyna, Safety Analysis for Architecting Safety-Critical Systems. In: Dave West (Ed.), Proceedings of 30th International System Safety Conference, 250–261, System Safety Society, 2013.
• Kashif Javed, Elena Troubitsyna, Modelling a Fault-Tolerant Distributed Satellite System. In: Lasse Berntzen, Katya Toneva, Abdulrahman Yarali (Eds.), The Second International Conference on Advanced Collaborative Networks, Systems and Applications, 35 to 41, IEEE Computer Press, 2012.
• Kashif Javed, Elena Troubitsyna, Designing a Fault-Tolerant Satellite System in SystemC. In: Hermann Kaindl, Leszek Koszalka, Herwig Mannaert, Marko Jäntti, Petre Dini (Eds.), ICONS 2012, The Seventh International Conference on Systems, 49–54, IEEE Computer Press, 2012.