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

• 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.
• Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, Formal Development of Wireless Sensor–Actor Networks. Science of Computer Programming 80 Part A, 25–49, 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.
• Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, A Distributed Design of a Network Recovery Algorithm. International Journal of Critical Computer-Based Systems 4(1), 45–68, 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, 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.
• Qaisar A. Malik, Linas Laibinis, Dragos Truscan, Johan Lilius, Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development. International Journal On Advances in Software 3(1 & 2), 147–160, 2010.

Articles in proceedings (59):

• 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.
• 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.
• 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.
• 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, 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.
• Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky, Formal Derivation of a Distributed Program in Event B. In: Shengchao Qin, Zongyan Qiu (Eds.), Formal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Lecture Notes in Computer Science 6991, 420 – 436, Springer, 2011.
• 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.
• Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala, Derivation and Formal Verification of a Mode Logic for Layered Control Systems. In: Tran Dan Thu, Karl Leung (Eds.), Proceedings of the 18th Asia-Pacific Software Engineering Conference (APSEC 2011), 49–56, IEEE Conference Publishing Services (CPS), 2011.
• Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Kimmo Varpaaniemi, Timo Latvala, Deriving Mode Logic for Fault-Tolerant Control Systems. 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), 309-323, Technical University of Denmark, 2011.
• 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.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Patterns for Refinement Automation. In: Frank de Boer, Marcello Bonsangue, Stefan Hallerstede, Michael Leuschel (Eds.), Post-proceedings of FMCO 2009, Symposium on Formal Methods for Components and Objects 2009, Lecture Notes for Computer Science, Springer, 2010.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timmo Latvala, Supporting Reuse in Event B Development: Modularisation Approach. In: Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.), Proceedings of ABZ 2010, Lecture Notes in Computer Science 5977, 174–188, Springer, 2010.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala, Developing Mode-Rich Satellite Software by Refinement in Event B . In: Stefan Kowalewski, Marco Roveri (Eds.), Proceedings of FMICS 2010, the 15th International Workshop on Formal Methods for Industrial Critical Systems, Lecture Notes in Computer Science 6371, 50–66, Springer, 2010.
• Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timmo Latvala, Verifying Mode Consistency for On-Board Satellite Software. In: Erwin Schoitsch (Ed.), Proceedings of SAFECOMP 2010, The 29th International Conference on Computer Safety, Reliability and Security, September 14-17, Vienna, Austria, Lecture Notes in Computer Science 6351, 126–141, Springer, 2010.
• Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, Reconstructing Coordination Links in Sensor-Actor Networks. In: In Proceedings of the 4th Nordic Workshop on Dependability and Security, NODES 10, 2010.
• Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, Self-Recovering Sensor-Actor Networks. In: Mohammadreza Mousavi, Gwen Salaün (Eds.), Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Electronic Proceedings in Theoretical Computer Science 30, 47–61, EPTCS , 2010.
• Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. In: International Journal on Embedded and Real-Time Communication Systems (IJERTCS), IGI Global, 2010.
• 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.
• Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky, Fault Tolerant Middleware for Agent Systems: A Refinement Approach. In: Electronic Proceedings of 12th European Workshop on Dependable Computing (EWDC 2009), Toulouse, France, 14-15 May 2009, LAAS-CNRS, 2009.
• Qaisar A. Malik, Johan Lilius, Linas Laibinis, Scenario-based Test Case Generation Using Event-B Models. In: In proceedings of International IEEE Conference on Advances in System Testing and Validation Lifecycle (VALID 2009), IEEE Computer Society, 2009.
• 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.
• Alexei Iliasov, Linas Laibinis, Alexander Romanovsky, Kaisa Sere, Elena Troubitsyna, Towards Rigorous Engineering of Resilient Pervasive Systems. In: Ricardo Jiménez-Peris Algirdas Avizienis (Ed.), Proceedings of Seventh European Dependable Computing Conference (EDCC-7), IEEE Press, 2008.
• Alexei Iliasov, Elena Troubitsyna, Alexander Romanovsky, Linas Laibinis, Formal Refinement Automation. In: Muffy Calder Alice Miller (Ed.), Proceedings of Eighth International Workshop on Automated Verification of Critical Systems (AVOCS 2008), ENTCS, 2008.
• Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky, Formal Development of Cooperative Exception Handling for Mobile Agent Systems. In: Henry Muccini Patrizio Pelliccione Alexander Romanovsky Nicolas Guelfi (Ed.), Proceedings of 1st Int. Workshop on Software Engineering for Resilient Systems - SERENE 2008, ACM Digital Library, ACM, 2008.