( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Approach for Safe and Secure Software Protection Supported by Symbolic Execution

, , , , , и . Database and Expert Systems Applications - DEXA 2023 Workshops, стр. 67--78. Cham, Springer Nature Switzerland, (2023)

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.

Andrea Ferrarotti

Flávio Justino

Flavio Carsughi

Flávio Siebeneichler

Flavio Roces

 

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

Descriptive Complexity of Deterministic Polylogarithmic Time., , , , и . WoLLIC, том 11541 из Lecture Notes in Computer Science, стр. 208-222. Springer, (2019)A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time., , , и . CoRR, (2019)The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic., , , и . SYNASC, стр. 133-140. IEEE, (2018)A unifying logic for non-deterministic, parallel and concurrent abstract state machines., , , и . Ann. Math. Artif. Intell., 83 (3-4): 321-349 (2018)A Logic for Reflective ASMs., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 93-106. Springer, (2020)Fuzzing-based grammar learning from a minimal set of seed inputs., , и . J. Comput. Lang., (марта 2024)An Approach for Safe and Secure Software Protection Supported by Symbolic Execution., , , , , и . DEXA Workshops, том 1872 из Communications in Computer and Information Science, стр. 67-78. Springer, (2023)An Architecture for Automated Security Test Case Generation for MQTT Systems., , и . DEXA Workshops, том 1285 из Communications in Computer and Information Science, стр. 48-62. Springer, (2020)Behavioural Theory of Reflective Algorithms., и . ABZ, том 14010 из Lecture Notes in Computer Science, стр. 238-244. Springer, (2023)Evolving concurrent systems: behavioural theory and logic., , , , и . ACSW, стр. 77:1-77:10. ACM, (2017)