| 2026 | COMPSAC | Resource-Explicit Goal-Oriented Modelling of Multi-Agent Systems. | Elena Troubitsyna |
| 2025 | COMPSAC | Towards Supporting Modelling of Fault Tolerant Behaviour Using Behaviour Trees. | Elena Troubitsyna |
| 2025 | ICFEM | Formal Modelling of Fault Tolerant Robotic Missions. | Manon Lecart, Elena Troubitsyna |
| 2024 | COMPSAC | Goal-Oriented Modeling in Fault Tolerant Service-Oriented Multi-Agent Systems. | Elena Troubitsyna |
| 2024 | SAFECOMP | Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety. | Ehsan Poorhadi, Elena Troubitsyna |
| 2023 | SAFECOMP | Utilising Redundancy to Enhance Security of Safety-Critical Systems. | Elena Troubitsyna |
| 2022 | CoDIT | Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems. | Elena Troubitsyna |
| 2021 | PAAMS | Formal Specification of Fault-Tolerant Multi-agent Systems. | Elena Troubitsyna |
| 2020 | COMPSAC | Analysing Privacy-Preserving Constraints in Microservices Architecture. | Inna Vistbakka, Elena Troubitsyna |
| 2020 | CRiSIS | Modelling and Verification of Safety of Access Control in SCADA Systems. | Inna Vistbakka, Elena Troubitsyna |
| 2020 | ICFEM | Formalising Privacy-Preserving Constraints in Microservices Architecture. | Inna Vistbakka, Elena Troubitsyna |
| 2020 | PAAMS | Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B. | Inna Vistbakka, Elena Troubitsyna |
| 2019 | DASC | Multi-Concern Integrated Engineering of Dependable Intelligent Systems. | Elena Troubitsyna |
| 2018 | CEC | Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. | Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab |
| 2018 | DSN | Generating Cloud Monitors from Models to Secure Clouds. | Elena Troubitsyna, Irum Rauf |
| 2018 | EDCC | Towards a Formal Approach to Analysing Security of Safety-Critical Systems. | Inna Vistbakka, Elena Troubitsyna |
| 2018 | ICFEM | Deriving Mode Logic for Autonomous Resilient Systems. | Inna Vistbakka, Amin Majd, Elena Troubitsyna |
| 2018 | ICWS | Formal Verification of Stateful Services with REST APIs Using Event-B. | Irum Rauf, Inna Vistbakka, Elena Troubitsyna |
| 2018 | PDP | Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. | Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab |
| 2018 | SAFECOMP | Deriving and Formalising Safety and Security Requirements for Control Systems. | Elena Troubitsyna, Inna Vistbakka |
| 2018 | SAFECOMP | Multi-layered Approach to Safe Navigation of Swarms of Drones. | Inna Vistbakka, Amin Majd, Elena Troubitsyna |
| 2018 | VECoS | Modelling and Verification of Dynamic Role-Based Access Control. | Inna Vistbakka, Elena Troubitsyna |
| 2017 | ISSRE | Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones. | Amin Majd, Elena Troubitsyna |
| 2017 | UIC | Optimizing scheduling for heterogeneous computing systems using combinatorial meta-heuristic solution. | Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna |
| 2017 | SAFECOMP | Safety-Aware Control of Swarms of Drones. | Amin Majd, Elena Troubitsyna, Masoud Daneshtalab |
| 2016 | COMPSAC | An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases. | Elena Troubitsyna |
| 2016 | ICFEM | A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. | Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns |
| 2016 | SAFECOMP | Towards Security-Explicit Formal Modelling of Safety-Critical Systems. | Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala |
| 2015 | HPCC | Towards Visualisation of Resilience Assessment for Large-Scale Systems. | Elena Troubitsyna, Linas Laibinis |
| 2015 | SAFECOMP | The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala |
| 2015 | SETTA | From Requirements Engineering to Safety Assurance: Refinement Approach. | Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky |
| 2014 | IFM | Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud. | Linas Laibinis, Benjamin Byholm, Inna Pereverzeva, Elena Troubitsyna, Kuan Eeik Tan, Ivan Porres |
| 2014 | SAFECOMP | Modelling Resilient Systems-of-Systems in Event-B. | Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna |
| 2014 | SEFM | Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. | Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frdric Migeon, Ahmed Hadj Kacem |
| 2013 | ICFEM | Formal Modelling of Resilient Data Storage in Cloud. | Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pri |
| 2013 | SAFECOMP | Formalisation of an Industrial Approach to Monitoring Critical Data. | Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala |
| 2012 | EDCC | Formal Development of Critical Multi-agent Systems: A Refinement Approach. | Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis |
| 2012 | ICSE | Augmenting Event-B modelling with real-time verification. | Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala |
| 2012 | IFM | Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
| 2012 | SAFECOMP | Formal Development and Assessment of a Reconfigurable On-board Satellite System. | Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila |
| 2011 | APSEC | Derivation and Formal Verification of a Mode Logic for Layered Control Systems. | Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala |
| 2011 | ICFEM | Formal Derivation of a Distributed Program in Event B. | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky |
| 2010 | FMICS | Developing Mode-Rich Satellite Software by Refinement in Event B. | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
| 2010 | ICSEA | Developing Fault Tolerant Distributed Systems by Refinement. | Elena Troubitsyna |
| 2010 | IFM | Towards Probabilistic Modelling in Event-B. | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
| 2010 | SAFECOMP | Verifying Mode Consistency for On-Board Satellite Software. | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Visnen, Dubravka Ilic, Timo Latvala |
| 2008 | ICSE | MASTAC: new curriculum for master and doctoral studies in critical software and computing. | Vyacheslav Kharchenko, Chris Phillips, Peter T. Popov, Oksana Pomorova, Alexander B. Romanovsky, Elena Troubitsyna |
| 2007 | ISORC | On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna |
| 2006 | ISoLA | Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppnen |
| 2005 | ICFEM | Formal Model-Driven Development of Communicating Systems. | Linas Laibinis, Elena Troubitsyna, Sari Leppnen, Johan Lilius, Qaisar A. Malik |
| 2005 | PRDC | Formal Development of Software for Tolerating Transient Faults. | Dubravka Ilic, Elena Troubitsyna |
| 2004 | SAFECOMP | Refinement of Fault Tolerant Control Systems in B. | Linas Laibinis, Elena Troubitsyna |
| 2004 | SEFM | Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. | Linas Laibinis, Elena Troubitsyna |
| 1999 | FM | Safety Analysis in Formal Specification. | Kaisa Sere, Elena Troubitsyna |
| 1999 | PRDC | Enhancing Dependability via Parameterized Refinement. | Elena Troubitsyna |
| 1999 | SAFECOMP | Hazard Analysis in Formal Specification. | Kaisa Sere, Elena Troubitsyna |