( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis of interacting BPEL web services.

, , и . WWW, стр. 621-630. ACM, (2004)

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.

Tevfik Manavoglu

Tevfik Aytemiz

Tevfik Cibik

Tevfik Manavoglu

Tevfik Ayan

 

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

Experimenting with software testbeds for evaluating new technologies., , , , , , , , , и 7 other автор(ы). Empirical Software Engineering, 12 (4): 417-444 (2007)Compatibility Checking for Asynchronously Communicating Software., , и . FACS, том 8348 из Lecture Notes in Computer Science, стр. 310-328. Springer, (2013)A Library for Composite Symbolic Representations., , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 52-66. Springer, (2001)Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper).. FMOODS/FORTE, том 7892 из Lecture Notes in Computer Science, стр. 1-4. Springer, (2013)Semantic differential repair for input validation and sanitization., , и . ISSTA, стр. 225-236. ACM, (2014)Inductive verification of data model invariants in web applications using first-order logic., , и . Autom. Softw. Eng., 26 (2): 379-416 (2019)Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines., , , и . ASE, стр. 235-244. ACM, (2010)Choreography Modeling and Analysis with Collaboration Diagrams., и . IEEE Data Eng. Bull., 31 (3): 27-30 (2008)Scalable Software Model Checking Using Design for Verification, и . (2008)Obtaining Information Leakage Bounds via Approximate Model Counting., , , , и . Proc. ACM Program. Lang., 7 (PLDI): 1488-1509 (2023)