Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tevfik Bultan

Compatibility Checking for Asynchronously Communicating Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Analyzing Interactions of Asynchronously Communicating Software Components

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Bounded Verification of Ruby on Rails Data Models

2011English

Experimenting With Software Testbeds for Evaluating New Technologies

Empirical Software Engineering
Software
2007English

Reachability Analysis for Some Models of Infinite-State Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Widening Arithmetic Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Generating Interface Grammars From WSDL for Automated Verification of Web Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy