( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Static Analysis of Android Apps Interaction with Automotive CAN.

, , , , и . SmartCom, том 11344 из Lecture Notes in Computer Science, стр. 114-123. Springer, (2018)

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.

Antonio Cortesi

Agostino Mazziotta

Bernhard Cortesi

Agostino Sottili

Agostino Portera

 

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

Automated Verification of Behavioural Properties of Prolog Programs., , , и . ASIAN, том 1345 из Lecture Notes in Computer Science, стр. 225-238. Springer, (1997)Casanova: A Simple, High-Performance Language for Game Development., , , , , и . JCSG, том 9090 из Lecture Notes in Computer Science, стр. 123-134. Springer, (2015)BANANA - A Tool for Boundary Ambients Nesting ANAlysis., , , , , и . TACAS, том 2619 из Lecture Notes in Computer Science, стр. 437-441. Springer, (2003)A uniform representation of multi-variant data in intensive-query databases., , и . Innov. Syst. Softw. Eng., 12 (3): 163-176 (2016)The abstract domain of Trapezoid Step Functions., , и . Comput. Lang. Syst. Struct., (2015)Operational and Abstract Semantics of a Query Language for Semi-Structured Information., , , и . DDLP, том 22 из GMD Report, стр. 127-140. (1998)Driving the Technology Value Stream by Analyzing App Reviews., , , и . IEEE Trans. Software Eng., 49 (7): 3753-3770 (июля 2023)Twinning automata and regular expressions for string static analysis., , , и . CoRR, (2020)Context-aware OLAP for textual data warehouses., , и . Int. J. Inf. Manag. Data Insights, 2 (2): 100129 (2022)Property Driven Program Slicing Refinement., и . ICSOFT (2), стр. 149-155. SciTePress, (2011)