( en | de | ru )

 

Disambiguierung von "Bultan, Tevfik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Construction of Efficient BDDs for Bounded Arithmetic Constraints.

, und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 394-408. Springer, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tevfik Manavoglu

Tevfik Aytemiz

Tevfik Cibik

Tevfik Manavoglu

Tevfik Sezi

 

Weitere Publikationen von Autoren mit dem selben Namen

Semantic differential repair for input validation and sanitization., , und . ISSTA, Seite 225-236. ACM, (2014)Compatibility Checking for Asynchronously Communicating Software., , und . FACS, Volume 8348 von Lecture Notes in Computer Science, Seite 310-328. Springer, (2013)A Library for Composite Symbolic Representations., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 52-66. Springer, (2001)Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper).. FMOODS/FORTE, Volume 7892 von Lecture Notes in Computer Science, Seite 1-4. Springer, (2013)Roundtable: The Future of Software Engineering for Internet Computing., , , , , , und . IEEE Softw., 32 (1): 91-97 (2015)Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines., , , und . ASE, Seite 235-244. ACM, (2010)Verifying client-side input validation functions using string analysis., , und . ICSE, Seite 947-957. IEEE Computer Society, (2012)Obtaining Information Leakage Bounds via Approximate Model Counting., , , , und . Proc. ACM Program. Lang., 7 (PLDI): 1488-1509 (2023)Choreography Modeling and Analysis with Collaboration Diagrams., und . IEEE Data Eng. Bull., 31 (3): 27-30 (2008)Scalable Software Model Checking Using Design for Verification, und . (2008)