Tevfik Bultan

Available identifiers

zbMath Open bultan.tevfikMaRDI QIDQ344798

List of research outcomes

Publication	Date of Publication	Type
Automata-based model counting for string constraints	2018-03-01	Paper
On deciding synchronizability for asynchronously communicating systems	2016-11-24	Paper
Deciding choreography realizability	2015-09-11	Paper
ON REACHABILITY AND SAFETY IN INFINITE-STATE SYSTEMS	2015-04-30	Paper
Automata-based symbolic string analysis for vulnerability detection	2014-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2845501	2013-08-30	Paper
Synchronizability for Verification of Asynchronously Communicating Systems	2012-06-15	Paper
RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA	2012-03-13	Paper
Relational String Verification Using Multi-track Automata	2011-02-11	Paper
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services	2010-05-07	Paper
Computer Aided Verification	2010-04-20	Paper
Action language verifier: An infinite-state model checker for reactive software specifications	2010-02-05	Paper
Symbolic String Verification: Combining String Analysis and Size Analysis	2009-03-31	Paper
Highly dependable concurrent programming using design for verification	2007-08-23	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Computer Aided Verification	2006-01-10	Paper
Efficient Symbolic Representations for Arithmetic Constraints in Verification	2005-10-19	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
Conversation protocols: a formalism for specification and verification of reactive electronic services	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4737125	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4475639	2004-08-09	Paper
Past pushdown timed automata and safety verification.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4428410	2003-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4418627	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4417941	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4412570	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4411951	2003-07-13	Paper
Counter machines and verification problems.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4536602	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4536378	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q2769577	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2769584	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754074	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2729083	2001-11-06	Paper
Circuit partitioning using mean field annealing	1995-09-25	Paper
A new mapping heuristic based on mean field annealing	1993-05-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tevfik Bultan