From post

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.

 

Другие публикации лиц с тем же именем

Scalable QoE Prediction for Service Composition., и . ESaaSA@CLOSER, стр. 16-26. SciTePress, (2015)Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines., , , и . QRS, стр. 315-322. IEEE, (2016)Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines., и . EWDTS, стр. 1-4. IEEE Computer Society, (2015)On using ABC for deriving distinguishing sequences for Verilog-descriptions., , , и . EWDTS, стр. 1-4. IEEE Computer Society, (2015)On Source Code Optimization for Interpreted Languages using State Models., , и . ENASE, стр. 282-287. SciTePress, (2016)Towards Model based Testing for Software Defined Networks., , , , и . ENASE, стр. 440-446. SciTePress, (2018)On the Length of Homing Sequences for Nondeterministic Finite State Machines., и . CIAA, том 7982 из Lecture Notes in Computer Science, стр. 220-231. Springer, (2013)On adaptive experiments for nondeterministic finite state machines., , , и . Int. J. Softw. Tools Technol. Transf., 18 (3): 251-264 (2016)Homing Sequence Derivation with Quantified Boolean Satisfiability., , , и . ICTSS, том 10533 из Lecture Notes in Computer Science, стр. 230-242. Springer, (2017)A Model Checking Based Approach for Detecting SDN Races., , , , и . ICTSS, том 11812 из Lecture Notes in Computer Science, стр. 194-211. Springer, (2019)