( en | de | ru )

 

Disambiguation of "Troubitsyna, Elena"

Author of the publication

copydeleteadd this publication to your clipboard
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.

, , , , , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 103-119. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claudia Ines Elena de Theissen

Adrien Elena

Anaxagoras Elenas

Claudia Ines Elena Theissen

Claudia Ines Elena Theissen

 

Other publications of authors with the same name

Online Path Generation and Navigation for Swarms of UAVs., , and . CoRR, (2019)Multi-Concern Integrated Engineering of Dependable Intelligent Systems.. DASC/PiCom/DataCom/CyberSciTech, page 710-715. IEEE, (2019)A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops., , , , and . MCSoC, page 281-287. IEEE, (2019)Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach., , and . Int. J. Embed. Real Time Commun. Syst., 1 (2): 61-85 (2010)Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B., , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 386-391. Springer, (2018)Augmenting formal development of control systems with quantitative reliability assessment., , and . SERENE, page 61-70. ACM, (2010)Kaisa Sere: In Memoriam., , and . Formal Asp. Comput., 26 (2): 197-201 (2014)Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems., , and . Methods, Models and Tools for Fault Tolerance, volume 5454 of Lecture Notes in Computer Science, Springer, (2009)Formal Development of Critical Multi-agent Systems: A Refinement Approach., , and . EDCC, page 156-161. IEEE Computer Society, (2012)Securing Open Source Clouds Using Models., and . IMPEX/FM&MDD, volume 271 of EPTCS, page 80-94. (2017)