Elena Troubitsyna

138 papers A 4B 19C 20Misc 6Journal 24Unranked 52

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops - CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings SAFECOMP (Workshops) Martin Törngren, Barbara Gallina, Erwin Schoitsch, Elena Troubitsyna, Friedemann Bitsch
2025	C	`conf`	Formal Modelling of Fault Tolerant Robotic Missions. ICFEM Manon Lecart, Elena Troubitsyna
2025	—	`conf`	Modelling Collaborative Resilient Behavior of Multi-Agent Systems. ACSOS-C Elena Troubitsyna
2025	J	`jnl`	Protecting Cryptographic Libraries Against Side-Channel and Code-Reuse Attacks. IEEE Secur. Priv. Rodothea-Myrsini Tsoupidi, Elena Troubitsyna, Panos Papadimitratos
2025	B	`conf`	Towards Supporting Modelling of Fault Tolerant Behaviour Using Behaviour Trees. COMPSAC Elena Troubitsyna
2024	—	`conf`	Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety. SAFECOMP (Workshops) Ehsan Poorhadi, Elena Troubitsyna
2024	—	`ch.`	Formal Analysis of Interactions Between Safety and Security Requirements. The Practice of Formal Methods (II) Elena Troubitsyna
2024	B	`conf`	Goal-Oriented Modeling in Fault Tolerant Service-Oriented Multi-Agent Systems. COMPSAC Elena Troubitsyna
2024	J	`jnl`	Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151). Dagstuhl Reports Elena Troubitsyna, Ignacio J. Alvarez, Philip Koopman, Mario Trapp
2024	J	`jnl`	Protecting Cryptographic Libraries against Side-Channel and Code-Reuse Attacks. CoRR Rodothea-Myrsini Tsoupidi, Elena Troubitsyna, Panos Papadimitratos
2023	—	`conf`	Automating an Analysis of Safety-Security Interactions for Railway Systems. RSSRail Ehsan Poorhadi, Elena Troubitsyna
2023	—	`conf`	Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical Systems. DSA Elena Troubitsyna
2023	A	`conf`	Securing Optimized Code Against Power Side Channels. CSF Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos
2023	J	`jnl`	Thwarting Code-Reuse and Side-Channel Attacks in Embedded Systems. CoRR Rodothea-Myrsini Tsoupidi, Elena Troubitsyna, Panagiotis Papadimitratos
2023	J	`jnl`	Thwarting code-reuse and side-channel attacks in embedded systems. Comput. Secur. Rodothea-Myrsini Tsoupidi, Elena Troubitsyna, Panagiotis Papadimitratos
2023	—	`conf`	Utilising Redundancy to Enhance Security of Safety-Critical Systems. SAFECOMP Workshops Elena Troubitsyna
2022	—	`conf`	Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. IMBSA Ehsan Poorhadi, Elena Troubitsyna, György Dán
2022	—	`conf`	Assessing Dependability of Multi-robotic Systems within Formal Development. ICSRS Elena Troubitsyna
2022	C	`conf`	Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems. CoDIT Elena Troubitsyna
2022	J	`jnl`	Introduction to the Special Section on iFM 2020. Formal Aspects Comput. Brijesh Dongol, Elena Troubitsyna
2022	J	`jnl`	Securing Optimized Code Against Power Side Channels. CoRR Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos
2022	—	`conf`	Verifying Safety of Behaviour Trees in Event-B. FMAS/ASYDE@SEFM Matteo Tadiello, Elena Troubitsyna
2021	Misc	`conf`	Formal Specification of Fault-Tolerant Multi-agent Systems. PAAMS Elena Troubitsyna
2021	J	`jnl`	Modelling resilient collaborative multi-agent systems. Computing Inna Vistbakka, Elena Troubitsyna
2020	B	`conf`	Analysing Privacy-Preserving Constraints in Microservices Architecture. COMPSAC Inna Vistbakka, Elena Troubitsyna
2020	C	`conf`	Formalising Privacy-Preserving Constraints in Microservices Architecture. ICFEM Inna Vistbakka, Elena Troubitsyna
2020	B	`ed.`	Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings IFM Brijesh Dongol, Elena Troubitsyna
2020	C	`conf`	Modelling and Verification of Safety of Access Control in SCADA Systems. CRiSIS Inna Vistbakka, Elena Troubitsyna
2020	J	`jnl`	Online Path Generation and Navigation for Swarms of UAVs. Sci. Program. Adnan Ashraf, Amin Majd, Elena Troubitsyna
2020	Misc	`conf`	Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B. PAAMS Inna Vistbakka, Elena Troubitsyna
2019	—	`conf`	A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops. MCSoC Amin Majd, Mohammad Loni, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna
2019	J	`jnl`	A systematic mapping study of API usability evaluation methods. Comput. Sci. Rev. Irum Rauf, Elena Troubitsyna, Ivan Porres
2019	B	`ed.`	Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings SAFECOMP Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch
2019	—	`ed.`	Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings SAFECOMP Workshops Alexander B. Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
2019	—	`conf`	Modelling Autonomous Resilient Multi-robotic Systems. SERENE Inna Vistbakka, Elena Troubitsyna
2019	—	`conf`	Multi-Concern Integrated Engineering of Dependable Intelligent Systems. DASC/PiCom/DataCom/CyberSciTech Elena Troubitsyna
2019	—	`conf`	Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. HASE Inna Vistbakka, Elena Troubitsyna, Amin Majd
2019	—	`conf`	Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. ECBS Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna
2019	J	`jnl`	Online Path Generation and Navigation for Swarms of UAVs. CoRR Adnan Ashraf, Amin Majd, Elena Troubitsyna
2019	—	`conf`	Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. IMBSA Inna Vistbakka, Elena Troubitsyna
2018	C	`conf`	Deriving Mode Logic for Autonomous Resilient Systems. ICFEM Inna Vistbakka, Amin Majd, Elena Troubitsyna
2018	B	`conf`	Deriving and Formalising Safety and Security Requirements for Control Systems. SAFECOMP Elena Troubitsyna, Inna Vistbakka
2018	—	`conf`	Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems. MCSoC Mohammad Loni, Amin Majd, Abdolah Loni, Masoud Daneshtalab, Mikael Sjödin, Elena Troubitsyna
2018	A	`conf`	Formal Verification of Stateful Services with REST APIs Using Event-B. ICWS Irum Rauf, Inna Vistbakka, Elena Troubitsyna
2018	A	`conf`	Generating Cloud Monitors from Models to Secure Clouds. DSN Elena Troubitsyna, Irum Rauf
2018	C	`conf`	Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. PDP Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab
2018	C	`conf`	Modelling and Verification of Dynamic Role-Based Access Control. VECoS Inna Vistbakka, Elena Troubitsyna
2018	—	`conf`	Multi-layered Approach to Safe Navigation of Swarms of Drones. SAFECOMP Workshops Inna Vistbakka, Amin Majd, Elena Troubitsyna
2018	—	`ed.`	Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017. IMPEX/FM&MDD Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna
2018	C	`conf`	Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. ABZ Inna Vistbakka, Mikhail Barash, Elena Troubitsyna
2018	Misc	`conf`	Towards a Formal Approach to Analysing Security of Safety-Critical Systems. EDCC Inna Vistbakka, Elena Troubitsyna
2018	B	`conf`	Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. CEC Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab
2017	—	`conf`	Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. SERENE Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala
2017	—	`conf`	Data-driven approach to ensuring fault tolerance and efficiency of swarm systems. IEEE BigData Amin Majd, Elena Troubitsyna
2017	J	`jnl`	Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
2017	—	`conf`	Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones. ISSRE Workshops Amin Majd, Elena Troubitsyna
2017	—	`conf`	Optimal smart mobile access point placement for maximal coverage and minimal communication. ECBS Amin Majd, Masoud Daneshtalab, Elena Troubitsyna, Golnaz Sahebi
2017	—	`conf`	Optimizing scheduling for heterogeneous computing systems using combinatorial meta-heuristic solution. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna
2017	—	`conf`	Safety-Aware Control of Swarms of Drones. SAFECOMP Workshops Amin Majd, Elena Troubitsyna, Masoud Daneshtalab
2017	—	`conf`	Securing Open Source Clouds Using Models. IMPEX/FM&MDD Irum Rauf, Elena Troubitsyna
2017	—	`ed.`	Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings SERENE Alexander B. Romanovsky, Elena Troubitsyna
2017	—	`conf`	Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. IMPEX/FM&MDD Inna Vistbakka, Elena Troubitsyna
2017	—	`conf`	Towards a Model-Driven Security Assurance of Open Source Components. SERENE Irum Rauf, Elena Troubitsyna
2017	—	`conf`	Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet. ECBS Adnan Ashraf, Amin Majd, Elena Troubitsyna
2016	—	`ch.`	A Contract-Based Approach to Ensuring Component Interoperability in Event-B. From Action Systems to Distributed Systems Linas Laibinis, Elena Troubitsyna
2016	C	`conf`	A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. ICFEM Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns
2016	—	`conf`	An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases. COMPSAC Workshops Elena Troubitsyna
2016	—	`conf`	Formalisation-Driven Development of Safety-Critical Systems. HASE Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis
2016	—	`ed.`	Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings SERENE Ivica Crnkovic, Elena Troubitsyna
2016	B	`conf`	Towards Security-Explicit Formal Modelling of Safety-Critical Systems. SAFECOMP Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala
2015	J	`jnl`	Facilitating construction of safety cases from formal models in Event-B. Inf. Softw. Technol. Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
2015	Misc	`conf`	From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky
2015	J	`jnl`	Integrating stochastic reasoning into Event-B development. Formal Aspects Comput. Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
2015	B	`conf`	The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. SAFECOMP Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
2015	—	`conf`	Towards Visualisation of Resilience Assessment for Large-Scale Systems. HPCC/CSS/ICESS Elena Troubitsyna, Linas Laibinis
2014	C	`conf`	Formal Derivation of Distributed MapReduce. ABZ Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
2014	B	`conf`	Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. SEFM Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem
2014	B	`conf`	Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. IFM Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres
2014	J	`jnl`	Kaisa Sere: In Memoriam. Formal Aspects Comput. Luigia Petre, Elena Troubitsyna, Marina Waldén
2014	—	`conf`	Modelling Resilience of Data Processing Capabilities of CPS. SERENE Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov
2014	—	`conf`	Modelling Resilient Systems-of-Systems in Event-B. SAFECOMP Workshops Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
2013	—	`conf`	A Case Study in Refinement-Based Modelling of a Resilient Control System. SERENE Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
2013	J	`jnl`	A refinement-based approach to developing critical multi-agent systems. Int. J. Crit. Comput. Based Syst. Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2013	J	`jnl`	A survey of safety-oriented model-driven and formal development approaches. Int. J. Crit. Comput. Based Syst. Yuliya Prokhorova, Elena Troubitsyna
2013	—	`ch.`	Deployment in the Space Sector. Industrial Deployment of System Engineering Methods Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi
2013	J	`jnl`	Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2013	J	`jnl`	Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Dagstuhl Reports Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna
2013	—	`conf`	Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. SERENE Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2013	C	`conf`	Formal Modelling of Resilient Data Storage in Cloud. ICFEM Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri
2013	B	`conf`	Formalisation of an Industrial Approach to Monitoring Critical Data. SAFECOMP Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala
2013	—	`conf`	Performance challenge to resilience: A formal view. HPCS Elena Troubitsyna
2012	—	`conf`	A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. SERENE Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2012	—	`conf`	Augmenting Event-B modelling with real-time verification. FormSERA@ICSE Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala
2012	J	`jnl`	Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements CoRR Elena Troubitsyna
2012	J	`jnl`	Deriving a mode logic using failure modes and effects analysis. Int. J. Crit. Comput. Based Syst. Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
2012	J	`jnl`	Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B CoRR Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2012	B	`conf`	Formal Development and Assessment of a Reconfigurable On-board Satellite System. SAFECOMP Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
2012	Misc	`conf`	Formal Development of Critical Multi-agent Systems: A Refinement Approach. EDCC Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2012	Misc	`conf`	Formal Goal-Oriented Development of Resilient MAS in Event-B. Ada-Europe Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2012	B	`conf`	Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. IFM Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
2012	—	`conf`	Linking Modelling in Event-B with Safety Cases. SERENE Yuliya Prokhorova, Elena Troubitsyna
2011	C	`conf`	Derivation and Formal Verification of a Mode Logic for Layered Control Systems. APSEC Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
2011	C	`conf`	Formal Derivation of a Distributed Program in Event B. ICFEM Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky
2011	—	`conf`	Patterns for Representing FMEA in Formal Specification of Control Systems. HASE Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
2011	—	`conf`	Quantitative Verification of System Safety in Event-B. SERENE Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
2011	—	`ed.`	Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings SERENE Elena Troubitsyna
2010	—	`conf`	Augmenting formal development of control systems with quantitative reliability assessment. SERENE Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
2010	C	`conf`	Developing Fault Tolerant Distributed Systems by Refinement. ICSEA Elena Troubitsyna
2010	C	`conf`	Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2010	J	`jnl`	Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. Int. J. Embed. Real Time Commun. Syst. Linas Laibinis, Elena Troubitsyna, Sari Leppänen
2010	—	`conf`	Supporting Reuse in Event B Development: Modularisation Approach. ASM Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2010	B	`conf`	Towards Probabilistic Modelling in Event-B. IFM Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
2010	B	`conf`	Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
2009	—	`conf`	09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. Refinement Based Methods for the Construction of Dependable Systems Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock
2009	—	`ch.`	Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. Methods, Models and Tools for Fault Tolerance Linas Laibinis, Elena Troubitsyna, Sari Leppänen
2009	—	`book`	Methods, Models and Tools for Fault Tolerance Methods, Models and Tools for Fault Tolerance Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna
2009	—	`conf`	Patterns for Refinement Automation. FMCO Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky
2009	—	`ed.`	Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009 Refinement Based Methods for the Construction of Dependable Systems Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock
2008	—	`conf`	Elicitation and Specification of Safety Requirements. ICONS Elena Troubitsyna
2008	—	`conf`	Formal development of cooperative exception handling for mobile agent systems. SERENE Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky
2008	—	`conf`	MASTAC: new curriculum for master and doctoral studies in critical software and computing. SEESE@ICSE Vyacheslav Kharchenko, Chris Phillips, Peter T. Popov, Oksana Pomorova, Alexander B. Romanovsky, Elena Troubitsyna
2007	C	`conf`	On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna
2006	—	`conf`	Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook
2006	—	`conf`	Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
2006	C	`conf`	Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. ISoLA Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen
2006	—	`ed.`	Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] RODIN Book Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna
2006	—	`conf`	Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky
2005	—	`conf`	Formal Development of Reactive Fault Tolerant Systems. RISE Linas Laibinis, Elena Troubitsyna
2005	C	`conf`	Formal Development of Software for Tolerating Transient Faults. PRDC Dubravka Ilic, Elena Troubitsyna
2005	C	`conf`	Formal Model-Driven Development of Communicating Systems. ICFEM Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
2004	—	`conf`	A Formal Approach to Fault Tolerance in Parallel Systems. Software Engineering Research and Practice Elena Troubitsyna
2004	B	`conf`	Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. SEFM Linas Laibinis, Elena Troubitsyna
2004	B	`conf`	Refinement of Fault Tolerant Control Systems in B. SAFECOMP Linas Laibinis, Elena Troubitsyna
2003	A	`conf`	Integrating Safety Analysis into Formal Specification of Dependable Systems. IPDPS Elena Troubitsyna
1999	C	`conf`	Enhancing Dependability via Parameterized Refinement. PRDC Elena Troubitsyna
1999	B	`conf`	Hazard Analysis in Formal Specification. SAFECOMP Kaisa Sere, Elena Troubitsyna
1999	J	`jnl`	Reliability Assessment through Probabilistic Refinement. Nord. J. Comput. Elena Troubitsyna
1999	—	`conf`	Safety Analysis in Formal Specification. World Congress on Formal Methods Kaisa Sere, Elena Troubitsyna