Elena Troubitsynå

1.3k total citations
69 papers, 413 citations indexed

About

Elena Troubitsynå is a scholar working on Artificial Intelligence, Software and Computer Networks and Communications. According to data from OpenAlex, Elena Troubitsynå has authored 69 papers receiving a total of 413 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Artificial Intelligence, 25 papers in Software and 21 papers in Computer Networks and Communications. Recurrent topics in Elena Troubitsynå's work include Software Reliability and Analysis Research (19 papers), Formal Methods in Verification (19 papers) and Advanced Software Engineering Methodologies (16 papers). Elena Troubitsynå is often cited by papers focused on Software Reliability and Analysis Research (19 papers), Formal Methods in Verification (19 papers) and Advanced Software Engineering Methodologies (16 papers). Elena Troubitsynå collaborates with scholars based in Finland, Sweden and United Kingdom. Elena Troubitsynå's co-authors include Alexander Romanovsky, Linas Laibinis, Masoud Daneshtalab, Alexei Iliasov, Adnan Ashraf, Justin Coleman, Iván Porres, Michael Butler, Cliff B. Jones and Timo Latvala and has published in prestigious journals such as SHILAP Revista de lepidopterología, Information and Software Technology and Computers & Security.

In The Last Decade

Elena Troubitsynå

63 papers receiving 389 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Elena Troubitsynå Finland	11	159	154	126	117	104	69	413
Simos Gerasimou United Kingdom	11	279 1.8×	204 1.3×	84 0.7×	121 1.0×	113 1.1×	43	454
Cristina Seceleanu Sweden	11	159 1.0×	161 1.0×	183 1.5×	81 0.7×	71 0.7×	86	416
David P. Gluch United States	10	285 1.8×	292 1.9×	160 1.3×	135 1.2×	204 2.0×	37	689
Jan Olaf Blech Australia	12	167 1.1×	76 0.5×	165 1.3×	211 1.8×	61 0.6×	79	595
Jan Carlson Sweden	14	275 1.7×	188 1.2×	146 1.2×	209 1.8×	155 1.5×	106	677
Ludovic Apvrille France	12	138 0.9×	74 0.5×	40 0.3×	123 1.1×	132 1.3×	52	402
Darren Cofer United States	13	158 1.0×	175 1.1×	242 1.9×	87 0.7×	40 0.4×	50	517
Pierre de Saqui‐Sannes France	11	96 0.6×	77 0.5×	58 0.5×	91 0.8×	61 0.6×	47	334
Dazhi Wang China	13	239 1.5×	99 0.6×	38 0.3×	141 1.2×	94 0.9×	20	509
Thai Son Hoang United Kingdom	8	236 1.5×	197 1.3×	257 2.0×	101 0.9×	100 1.0×	42	482

Countries citing papers authored by Elena Troubitsynå

Since Specialization

Citations

This map shows the geographic impact of Elena Troubitsynå's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Elena Troubitsynå with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Elena Troubitsynå more than expected).

Fields of papers citing papers by Elena Troubitsynå

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Elena Troubitsynå. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Elena Troubitsynå. The network helps show where Elena Troubitsynå may publish in the future.

Co-authorship network of co-authors of Elena Troubitsynå

This figure shows the co-authorship network connecting the top 25 collaborators of Elena Troubitsynå. A scholar is included among the top collaborators of Elena Troubitsynå based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Elena Troubitsynå. Elena Troubitsynå is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Troubitsynå, Elena, et al.. (2023). Securing Optimized Code Against Power Side Channels. 99. 340–355. 1 indexed citations

Troubitsynå, Elena. (2023). Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical Systems. 1. 282–287.

Romanovsky, Alexander, et al.. (2019). Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. CERN Document Server (European Organization for Nuclear Research). 4 indexed citations

Troubitsynå, Elena, et al.. (2019). Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. Åbo Akademi University Research Portal. 58–65. 5 indexed citations

Troubitsynå, Elena, et al.. (2018). Formal Verification of Stateful Services with REST APIs Using Event-B. Åbo Akademi University Research Portal. 131–138. 3 indexed citations

Ashraf, Adnan, et al.. (2018). Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. Åbo Akademi University Research Portal. 101–108. 23 indexed citations

Laibinis, Linas, et al.. (2017). Formal reasoning about resilient goal-oriented multi-agent systems. Science of Computer Programming. 148. 66–87. 7 indexed citations

Troubitsynå, Elena. (2016). An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases. 614–615. 5 indexed citations

Iliasov, Alexei, Alexander Romanovsky, Linas Laibinis, Elena Troubitsynå, & Timo Latvala. (2012). Augmenting Event-B modelling with real-time verification. Formal Methods. 51–57. 3 indexed citations

10.

Iliasov, Alexei, et al.. (2012). Developing mode-rich satellite software by refinement in Event-B. Science of Computer Programming. 78(7). 884–905. 9 indexed citations

11.

Romanovsky, Alexander, et al.. (2011). Patterns for Representing FMEA in Formal Specification of Control Systems. School of Computing Science Technical Report Series. 5 indexed citations

12.

Troubitsynå, Elena. (2010). Developing Fault Tolerant Distributed Systems by Refinement. 178–183. 2 indexed citations

13.

Abrial, Jean-Raymond, et al.. (2009). 09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.. Royal Society Open Science. 5(8). 0–180241.

14.

Laibinis, Linas, Elena Troubitsynå, Alexei Iliasov, & Alexander Romanovsky. (2008). Formal development of cooperative exception handling for mobile agent systems. 39–48. 1 indexed citations

15.

Butler, Michael, et al.. (2007). Proceedings of the Workshop on Methods, Models and Tools for Fault Tolerance. School of Computing Science Technical Report Series. 2 indexed citations

16.

Butler, Michael, Cliff B. Jones, Alexander Romanovsky, & Elena Troubitsynå. (2005). Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005).. ePrints Soton (University of Southampton). 1 indexed citations

17.

Coleman, Justin, et al.. (2005). RODIN (Rigorous Open Development Environment for Complex Systems). School of Computing Science Technical Report Series. 41 indexed citations

18.

Laibinis, Linas & Elena Troubitsynå. (2004). Fault tolerance in a layered architecture: a general specification pattern in B. 346–355. 17 indexed citations

19.

Troubitsynå, Elena. (1999). Reliability assessment through probabilistic refinement. Nordic journal of computing. 6(3). 320–342. 8 indexed citations

20.

McIver, Annabelle, Carroll Morgan, & Elena Troubitsynå. (1998). The probabilistic steam boiler: a case study in probabilistic data refinement. 12. 233–6. 6 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact