( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analyzing tabular requirements specifications using infinite state model checking.

, и . MEMOCODE, стр. 7-16. IEEE Computer Society, (2006)

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 Sezi

 

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

Semantic differential repair for input validation and sanitization., , и . ISSTA, стр. 225-236. ACM, (2014)Conversation protocols: a formalism for specification and verification of reactive electronic services., , и . Theor. Comput. Sci., 328 (1-2): 19-37 (2004)Specification of realizable service conversations using collaboration diagrams., и . Serv. Oriented Comput. Appl., 2 (1): 27-39 (2008)Synchronizability of Conversations among Web Services., , и . IEEE Trans. Software Eng., 31 (12): 1042-1055 (2005)Roundtable: The Future of Software Engineering for Internet Computing., , , , , , и . IEEE Softw., 32 (1): 91-97 (2015)Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines., , , и . ASE, стр. 235-244. ACM, (2010)Obtaining Information Leakage Bounds via Approximate Model Counting., , , , и . Proc. ACM Program. Lang., 7 (PLDI): 1488-1509 (2023)Choreography Modeling and Analysis with Collaboration Diagrams., и . IEEE Data Eng. Bull., 31 (3): 27-30 (2008)Parameterized model counting for string and numeric constraints., , , , , , и . ESEC/SIGSOFT FSE, стр. 400-410. ACM, (2018)Verifying client-side input validation functions using string analysis., , и . ICSE, стр. 947-957. IEEE Computer Society, (2012)