


Остановите войну!
for scientists:
Elena Troubitsyna
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c86]Elena Troubitsyna:
Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems. CoDIT 2022: 1438-1443 - [i6]Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna, Panagiotis Papadimitratos:
Securing Optimized Code Against Power Side Channels. CoRR abs/2207.02614 (2022) - 2021
- [j13]Inna Vistbakka
, Elena Troubitsyna:
Modelling resilient collaborative multi-agent systems. Computing 103(4): 535-557 (2021) - [c85]Elena Troubitsyna:
Formal Specification of Fault-Tolerant Multi-agent Systems. PAAMS 2021: 291-302 - 2020
- [j12]Adnan Ashraf
, Amin Majd, Elena Troubitsyna:
Online Path Generation and Navigation for Swarms of UAVs. Sci. Program. 2020: 8530763:1-8530763:14 (2020) - [c84]Inna Vistbakka, Elena Troubitsyna:
Analysing Privacy-Preserving Constraints in Microservices Architecture. COMPSAC 2020: 1089-1090 - [c83]Inna Vistbakka, Elena Troubitsyna:
Modelling and Verification of Safety of Access Control in SCADA Systems. CRiSIS 2020: 354-364 - [c82]Inna Vistbakka, Elena Troubitsyna:
Formalising Privacy-Preserving Constraints in Microservices Architecture. ICFEM 2020: 308-317 - [c81]Inna Vistbakka
, Elena Troubitsyna:
Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B. PAAMS 2020: 327-339 - [e10]Brijesh Dongol
, Elena Troubitsyna:
Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings. Lecture Notes in Computer Science 12546, Springer 2020, ISBN 978-3-030-63460-5 [contents]
2010 – 2019
- 2019
- [j11]Irum Rauf, Elena Troubitsyna, Ivan Porres:
A systematic mapping study of API usability evaluation methods. Comput. Sci. Rev. 33: 49-68 (2019) - [c80]Elena Troubitsyna:
Multi-Concern Integrated Engineering of Dependable Intelligent Systems. DASC/PiCom/DataCom/CyberSciTech 2019: 710-715 - [c79]Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna:
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments. ECBS 2019: 13:1-13:9 - [c78]Inna Vistbakka, Elena Troubitsyna, Amin Majd:
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. HASE 2019: 58-65 - [c77]Inna Vistbakka, Elena Troubitsyna:
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. IMBSA 2019: 363-378 - [c76]Amin Majd, Mohammad Loni, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna:
A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops. MCSoC 2019: 281-287 - [c75]Inna Vistbakka
, Elena Troubitsyna:
Modelling Autonomous Resilient Multi-robotic Systems. SERENE 2019: 29-45 - [e9]Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch:
Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings. Lecture Notes in Computer Science 11698, Springer 2019, ISBN 978-3-030-26600-4 [contents] - [e8]Alexander B. Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch:
Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. Lecture Notes in Computer Science 11699, Springer 2019, ISBN 978-3-030-26249-5 [contents] - [i5]Adnan Ashraf, Amin Majd, Elena Troubitsyna:
Online Path Generation and Navigation for Swarms of UAVs. CoRR abs/1912.09288 (2019) - 2018
- [c74]Inna Vistbakka, Mikhail Barash, Elena Troubitsyna:
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. ABZ 2018: 386-391 - [c73]Amin Majd, Adnan Ashraf
, Elena Troubitsyna, Masoud Daneshtalab:
Using Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones. CEC 2018: 1-8 - [c72]Elena Troubitsyna, Irum Rauf:
Generating Cloud Monitors from Models to Secure Clouds. DSN 2018: 526-533 - [c71]Inna Vistbakka, Elena Troubitsyna:
Towards a Formal Approach to Analysing Security of Safety-Critical Systems. EDCC 2018: 182-189 - [c70]Inna Vistbakka, Amin Majd, Elena Troubitsyna:
Deriving Mode Logic for Autonomous Resilient Systems. ICFEM 2018: 320-336 - [c69]Irum Rauf, Inna Vistbakka, Elena Troubitsyna:
Formal Verification of Stateful Services with REST APIs Using Event-B. ICWS 2018: 131-138 - [c68]Mohammad Loni, Amin Majd, Abdolah Loni, Masoud Daneshtalab, Mikael Sjödin, Elena Troubitsyna:
Designing Compact Convolutional Neural Network for Embedded Stereo Vision Systems. MCSoC 2018: 244-251 - [c67]Amin Majd, Adnan Ashraf
, Elena Troubitsyna, Masoud Daneshtalab:
Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. PDP 2018: 101-108 - [c66]Elena Troubitsyna, Inna Vistbakka:
Deriving and Formalising Safety and Security Requirements for Control Systems. SAFECOMP 2018: 107-122 - [c65]Inna Vistbakka, Amin Majd, Elena Troubitsyna:
Multi-layered Approach to Safe Navigation of Swarms of Drones. SAFECOMP Workshops 2018: 112-125 - [c64]Inna Vistbakka, Elena Troubitsyna:
Modelling and Verification of Dynamic Role-Based Access Control. VECoS 2018: 48-63 - [e7]Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna:
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. EPTCS 271, 2018 [contents] - 2017
- [j10]Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna:
Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148: 66-87 (2017) - [c63]Amin Majd, Elena Troubitsyna:
Data-driven approach to ensuring fault tolerance and efficiency of swarm systems. IEEE BigData 2017: 4792-4794 - [c62]Adnan Ashraf
, Amin Majd, Elena Troubitsyna:
Towards a realtime, collision-free motion coordination and navigation system for a UAV fleet. ECBS 2017: 11:1-11:9 - [c61]Amin Majd, Masoud Daneshtalab, Elena Troubitsyna, Golnaz Sahebi:
Optimal smart mobile access point placement for maximal coverage and minimal communication. ECBS 2017: 21:1-21:2 - [c60]Amin Majd, Elena Troubitsyna:
Integrating Safety-Aware Route Optimisation and Run-Time Safety Monitoring in Controlling Swarms of Drones. ISSRE Workshops 2017: 94-95 - [c59]Amin Majd, Elena Troubitsyna, Masoud Daneshtalab
:
Safety-Aware Control of Swarms of Drones. SAFECOMP Workshops 2017: 249-260 - [c58]Irum Rauf, Elena Troubitsyna:
Towards a Model-Driven Security Assurance of Open Source Components. SERENE 2017: 65-80 - [c57]Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala:
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. SERENE 2017: 96-114 - [c56]Amin Majd, Golnaz Sahebi, Masoud Daneshtalab, Elena Troubitsyna:
Optimizing scheduling for heterogeneous computing systems using combinatorial meta-heuristic solution. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017: 1-8 - [c55]Irum Rauf, Elena Troubitsyna:
Securing Open Source Clouds Using Models. IMPEX/FM&MDD 2017: 80-94 - [c54]Inna Vistbakka, Elena Troubitsyna:
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. IMPEX/FM&MDD 2017: 105-116 - [e6]Alexander B. Romanovsky, Elena Troubitsyna:
Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. Lecture Notes in Computer Science 10479, Springer 2017, ISBN 978-3-319-65947-3 [contents] - 2016
- [c53]Elena Troubitsyna:
An Integrated Approach to Deriving Safety and Security Requirements from Safety Cases. COMPSAC Workshops 2016: 614-615 - [c52]Alexei Iliasov, Alexander B. Romanovsky, Elena Troubitsyna, Linas Laibinis:
Formalisation-Driven Development of Safety-Critical Systems. HASE 2016: 165-172 - [c51]Linas Laibinis, Elena Troubitsyna, Inna Pereverzeva, Ian Oliver, Silke Holtmanns:
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks. ICFEM 2016: 141-158 - [c50]Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala:
Towards Security-Explicit Formal Modelling of Safety-Critical Systems. SAFECOMP 2016: 213-225 - [p3]Linas Laibinis, Elena Troubitsyna:
A Contract-Based Approach to Ensuring Component Interoperability in Event-B. From Action Systems to Distributed Systems 2016: 81-96 - [e5]Ivica Crnkovic, Elena Troubitsyna:
Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. Lecture Notes in Computer Science 9823, Springer 2016, ISBN 978-3-319-45891-5 [contents] - 2015
- [j9]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Integrating stochastic reasoning into Event-B development. Formal Aspects Comput. 27(1): 53-77 (2015) - [j8]Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna:
Facilitating construction of safety cases from formal models in Event-B. Inf. Softw. Technol. 60: 51-76 (2015) - [c49]Elena Troubitsyna, Linas Laibinis:
Towards Visualisation of Resilience Assessment for Large-Scale Systems. HPCC/CSS/ICESS 2015: 924 - [c48]Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala:
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation. SAFECOMP 2015: 29-43 - [c47]Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander B. Romanovsky:
From Requirements Engineering to Safety Assurance: Refinement Approach. SETTA 2015: 201-216 - 2014
- [j7]Luigia Petre, Elena Troubitsyna, Marina Waldén:
Kaisa Sere: In Memoriam. Formal Aspects Comput. 26(2): 197-201 (2014) - [c46]Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna:
Formal Derivation of Distributed MapReduce. ABZ 2014: 238-254 - [c45]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. IFM 2014: 103-119 - [c44]Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna:
Modelling Resilient Systems-of-Systems in Event-B. SAFECOMP Workshops 2014: 157-166 - [c43]Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem:
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B. SEFM 2014: 363-377 - [c42]Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov:
Modelling Resilience of Data Processing Capabilities of CPS. SERENE 2014: 55-70 - 2013
- [j6]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
A refinement-based approach to developing critical multi-agent systems. Int. J. Crit. Comput. Based Syst. 4(1): 69-91 (2013) - [j5]Yuliya Prokhorova, Elena Troubitsyna:
A survey of safety-oriented model-driven and formal development approaches. Int. J. Crit. Comput. Based Syst. 4(2): 93-118 (2013) - [j4]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. 78(7): 884-905 (2013) - [c41]Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri:
Formal Modelling of Resilient Data Storage in Cloud. ICFEM 2013: 363-379 - [c40]Elena Troubitsyna:
Performance challenge to resilience: A formal view. HPCS 2013: 555 - [c39]Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala:
Formalisation of an Industrial Approach to Monitoring Critical Data. SAFECOMP 2013: 57-69 - [c38]Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis:
A Case Study in Refinement-Based Modelling of a Resilient Control System. SERENE 2013: 79-93 - [c37]Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. SERENE 2013: 109-124 - [p2]Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi:
Deployment in the Space Sector. Industrial Deployment of System Engineering Methods 2013: 45-62 - [i4]Maritta Heisel, Mohamed Kaâniche, Alexander B. Romanovsky, Elena Troubitsyna:
Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). Dagstuhl Reports 3(1): 30-46 (2013) - 2012
- [j3]Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala:
Deriving a mode logic using failure modes and effects analysis. Int. J. Crit. Comput. Based Syst. 3(4): 305-328 (2012) - [c36]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Goal-Oriented Development of Resilient MAS in Event-B. Ada-Europe 2012: 147-161 - [c35]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Development of Critical Multi-agent Systems: A Refinement Approach. EDCC 2012: 156-161 - [c34]Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala:
Augmenting Event-B modelling with real-time verification. FormSERA@ICSE 2012: 51-57 - [c33]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. IFM 2012: 237-252 - [c32]Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila:
Formal Development and Assessment of a Reconfigurable On-board Satellite System. SAFECOMP 2012: 210-222 - [c31]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. SERENE 2012: 16-31 - [c30]Yuliya Prokhorova, Elena Troubitsyna:
Linking Modelling in Event-B with Safety Cases. SERENE 2012: 47-62 - [i3]Elena Troubitsyna:
Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements. CoRR abs/1210.7032 (2012) - [i2]Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. CoRR abs/1210.7035 (2012) - 2011
- [c29]Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala:
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. APSEC 2011: 49-56 - [c28]Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna:
Patterns for Representing FMEA in Formal Specification of Control Systems. HASE 2011: 146-151 - [c27]Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky:
Formal Derivation of a Distributed Program in Event B. ICFEM 2011: 420-436 - [c26]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Quantitative Verification of System Safety in Event-B. SERENE 2011: 24-39 - [e4]Elena Troubitsyna:
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, ISBN 978-3-642-24123-9 [contents] - 2010
- [j2]Linas Laibinis, Elena Troubitsyna, Sari Leppänen:
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. Int. J. Embed. Real Time Commun. Syst. 1(2): 61-85 (2010) - [c25]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
Supporting Reuse in Event B Development: Modularisation Approach. ASM 2010: 174-188 - [c24]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala:
Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS 2010: 50-66 - [c23]Elena Troubitsyna:
Developing Fault Tolerant Distributed Systems by Refinement. ICSEA 2010: 178-183 - [c22]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Towards Probabilistic Modelling in Event-B. IFM 2010: 275-289 - [c21]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala:
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP 2010: 126-141 - [c20]Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Augmenting formal development of control systems with quantitative reliability assessment. SERENE 2010: 61-70
2000 – 2009
- 2009
- [c19]Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky:
Patterns for Refinement Automation. FMCO 2009: 70-88 - [p1]Linas Laibinis, Elena Troubitsyna, Sari Leppänen:
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. Methods, Models and Tools for Fault Tolerance 2009: 130-151 - [e3]Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock
:
Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Dagstuhl Seminar Proceedings 09381, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [e2]Michael J. Butler
, Cliff B. Jones
, Alexander B. Romanovsky, Elena Troubitsyna:
Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science 5454, Springer 2009, ISBN 978-3-642-00866-5 [contents] - [i1]Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock
:
09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems. Refinement Based Methods for the Construction of Dependable Systems 2009 - 2008
- [c18]Elena Troubitsyna:
Elicitation and Specification of Safety Requirements. ICONS 2008: 202-207 - [c17]Vyacheslav Kharchenko
, Chris Phillips, Peter T. Popov
, Oksana Pomorova
, Alexander B. Romanovsky, Elena Troubitsyna:
MASTAC: new curriculum for master and doctoral studies in critical software and computing. SEESE@ICSE 2008: 59-64 - [c16]Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky:
Formal development of cooperative exception handling for mobile agent systems. SERENE 2008: 39-48 - 2007
- [c15]Alexei Iliasov, Alexander B. Romanovsky, Budi Arief
, Linas Laibinis, Elena Troubitsyna:
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. ISORC 2007: 141-145 - 2006
- [c14]Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen:
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. ISoLA 2006: 425-432 - [c13]Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook:
Formal Development of Mechanisms for Tolerating Transient Faults. RODIN Book 2006: 189-209 - [c12]Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky:
Rigorous Development of Fault-Tolerant Agent Systems. RODIN Book 2006: 241-260 - [c11]Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book 2006: 261-287 - [e1]Michael J. Butler, Cliff B. Jones
, Alexander B. Romanovsky, Elena Troubitsyna:
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Lecture Notes in Computer Science 4157, Springer 2006, ISBN 3-540-48265-2 [contents] - 2005
- [c10]Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius
, Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems. ICFEM 2005: 188-203 - [c9]Dubravka Ilic, Elena Troubitsyna:
Formal Development of Software for Tolerating Transient Faults. PRDC 2005: 140-150 - [c8]Linas Laibinis, Elena Troubitsyna:
Formal Development of Reactive Fault Tolerant Systems. RISE 2005: 234-249 - 2004
- [c7]Linas Laibinis, Elena Troubitsyna:
Refinement of Fault Tolerant Control Systems in B. SAFECOMP 2004: 254-268 - [c6]Linas Laibinis, Elena Troubitsyna:
Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. SEFM 2004: 346-355 - [c5]Elena Troubitsyna:
A Formal Approach to Fault Tolerance in Parallel Systems. Software Engineering Research and Practice 2004: 510-515 - 2003
- [c4]Elena Troubitsyna:
Integrating Safety Analysis into Formal Specification of Dependable Systems. IPDPS 2003: 215
1990 – 1999
- 1999
- [j1]Elena Troubitsyna:
Reliability Assessment through Probabilistic Refinement. Nord. J. Comput. 6(3): 320-342 (1999) - [c3]Kaisa Sere, Elena Troubitsyna:
Safety Analysis in Formal Specification. World Congress on Formal Methods 1999: 1564-1583 - [c2]Elena Troubitsyna:
Enhancing Dependability via Parameterized Refinement. PRDC 1999: 120- - [c1]Kaisa Sere, Elena Troubitsyna:
Hazard Analysis in Formal Specification. SAFECOMP 1999: 350-360