( en | de | ru )

 

Disambiguation of "Troubitsyna, Elena"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.

, , , , and . RODIN Book, volume 4157 of Lecture Notes in Computer Science, page 261-287. Springer, (2006)

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

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)A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops., , , , and . MCSoC, page 281-287. IEEE, (2019)Multi-Concern Integrated Engineering of Dependable Intelligent Systems.. DASC/PiCom/DataCom/CyberSciTech, page 710-715. IEEE, (2019)Online Path Generation and Navigation for Swarms of UAVs., , and . CoRR, (2019)Securing Optimized Code Against Power Side Channels., , , and . CSF, page 340-355. IEEE, (2023)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)Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones., , , and . PDP, page 101-108. IEEE Computer Society, (2018)Reliability Assessment through Probabilistic Refinement.. Nord. J. Comput., 6 (3): 320-342 (1999)