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
Interface-based specification and verification of concurrency controllers	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/Q2769584	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2769577	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

This page was built for person: Tevfik Bultan