Vesselin Petkov

Introduction

Short CV

insert short SV here

Full profile

This is the longer CV, presenting education, work experience, etc.

Publications
Hong, Y.S., and H.W. Goo. "A fault-tolerant scheduling scheme for hybrid tasks in distributed real-time systems." In Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05). Seattle, WA, USA, 2005.
Gerlich, Ralf, and Christian R. Prause. Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation In 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Porto, Portugal, Portugal, 2020.
Wassyng, Alan, Mark S. Lawford, and Thomas S. E. Maibaum. Software certification experience in the canadian nuclear industry: lessons for the future In Software certification experience in the canadian nuclear industry: lessons for the future., 2011.
Deng, Chang Jian, Hong Yang Hu, and Jian Zhong Ling. "Software Test of Wireless Vibration Nodes of Nuclear Power Plants." In Applied Mechanics and Materials. Vol. 336-338., 2013.
Odarushchenko, Oleg, and Elena Odarushchenko. "Tool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling." In Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems., 2020.
Gurevich, Yuri, and Saharon Shelah. "Fixed-point extensions of first-order logic." Annals of Pure and Applied Logic 32 (1986): 265-280.
Janani, V., and K. Krishnamoorty. "Cloud Testing as a Service (CTaaS) – Analysis, Design and Implementation ." International Journal of Applied Engineering Research 10, no. 12 (2015): 30393-30405.
Starov, O., and S. Vilkomir. "Cloud Services and Tools for Mobile Testing." Радіоелектронні i Комп’ютерні Системи, no. 64 (2013).
Yao, Jia, Babak Maleki Shoja, and Nasseh Tabrizi. "An Overview of Cloud Computing Testing Research." In International Conference on Cloud Computing – CLOUD 2019., 2019.

Pages