The following pages link to Tevfik Bultan (Q344798):
Displaying 37 items.
- On deciding synchronizability for asynchronously communicating systems (Q344799) (← links)
- Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← links)
- Action language verifier: An infinite-state model checker for reactive software specifications (Q845244) (← links)
- A new mapping heuristic based on mean field annealing (Q1208578) (← links)
- Past pushdown timed automata and safety verification. (Q1426159) (← links)
- Automata-based model counting for string constraints (Q1702923) (← links)
- Counter machines and verification problems. (Q1853523) (← links)
- Circuit partitioning using mean field annealing (Q1898907) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- (Q2729083) (← links)
- (Q2754074) (← links)
- (Q2769577) (← links)
- (Q2769584) (← links)
- (Q2845501) (← links)
- Synchronizability for Verification of Asynchronously Communicating Systems (Q2891401) (← links)
- Deciding choreography realizability (Q2942872) (← links)
- Relational String Verification Using Multi-track Automata (Q3073648) (← links)
- RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA (Q3224956) (← links)
- Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services (Q3559795) (← links)
- Symbolic String Verification: Combining String Analysis and Size Analysis (Q3617765) (← links)
- (Q4411951) (← links)
- (Q4412570) (← links)
- (Q4417941) (← links)
- (Q4418627) (← links)
- (Q4428410) (← links)
- (Q4475639) (← links)
- (Q4536378) (← links)
- (Q4536602) (← links)
- (Q4737125) (← links)
- ON REACHABILITY AND SAFETY IN INFINITE-STATE SYSTEMS (Q5249293) (← links)
- Computer Aided Verification (Q5312910) (← links)
- Computer Aided Verification (Q5312941) (← links)
- Automated Technology for Verification and Analysis (Q5394169) (← links)
- Efficient Symbolic Representations for Arithmetic Constraints in Verification (Q5696928) (← links)
- Computer Aided Verification (Q5716583) (← links)
- Computer Aided Verification (Q5900682) (← links)
