BibSLEIGH — Tevfik

Travelled to:

1 × Austria
1 × Belgium
1 × Croatia
1 × Cyprus
1 × France
1 × India
1 × Ireland
1 × Israel
1 × New Zealand
1 × Poland
1 × South Africa
1 × Spain
1 × Sweden
19 × USA
2 × Canada
2 × Switzerland
3 × Germany
3 × United Kingdom
4 × Italy

Collaborated with:

F.Yu C.Bartzis M.Alkhalaf T.Yavuz-Kahveci I.Bocic A.Aydin J.Nijjar O.H.Ibarra S.Basu J.Su L.Bang ∅ R.Gerber X.Fu S.Hallé A.Betin-Can M.Ouederni T.Brennan G.Salaün Z.Stengel E.Barlas G.Hughes S.B.0001 Z.Dang R.A.Kemmerer W.Eiers J.L.Gallegos E.Peterson M.Tuncer C.League W.Pugh J.Fischer T.Ettema C.Bunch C.Wang A.Gupta R.Hull S.Saha M.Lindvall B.Lux S.Topp Q.Phan C.S.Pasareanu N.Tsiskaridze N.Rosner S.R.Choudhary M.Fazzini A.Orso C.Krügel M.Gavrilov

Talks about:

verif (19) model (16) analysi (12) string (11) use (10) automata (9) check (8) constraint (7) concurr (6) system (6)

♂ Person: Tevfik Bultan

DBLP: Bultan:Tevfik

Facilitated 9 volumes:

PrCo

PrCh

DSCh

PrCo

PrCo

SaEventsCh

WoCh

Contributed to:

2015

2014

2013

2012

2011

2010

2011

2010

2009

2008

2007

2005

2004

2003

2002

2001

2000

1998

1997

1996

2015

2016

2017

2018

2019

2016

Wrote 56 papers:

CAV-2015-AydinBB #constraints #string: Automata-Based Model Counting for String Constraints (AA, LB, TB), pp. 255–272.
ESEC-FSE-2015-BangAB #automation #complexity #source code: Automatically computing path complexity of programs (LB, AA, TB), pp. 61–72.
ICSE-v1-2015-BocicB #performance #verification: Coexecutability for Efficient Verification of Data Model Updates (IB, TB), pp. 744–754.
ASE-2014-BasuB #automation #bound #interactive #verification: Automatic verification of interactions in asynchronous systems with unbounded buffers (SB, TB), pp. 743–754.
ICSE-2014-BocicB #induction #invariant #verification #web: Inductive verification of data model invariants for web applications (IB, TB), pp. 620–631.
ICST-2014-AydinAB #automation #generative #testing: Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
ISSTA-2014-AlkhalafAB #difference #semantics #validation: Semantic differential repair for input validation and sanitization (MA, AA, TB), pp. 225–236.
ISSTA-2013-NijjarB: Data model property inference and repair (JN, TB), pp. 202–212.
ASE-2012-NijjarB #bound #smt #using #verification: Unbounded data model verification using SMT solvers (JN, TB), pp. 210–219.
ICSE-2012-AlkhalafBG #analysis #string #using #validation #verification: Verifying client-side input validation functions using string analysis (MA, TB, JLG), pp. 947–957.
ISSTA-2012-AlkhalafCFBOK #analysis #consistency #difference #named #nondeterminism #string #validation: ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies (MA, SRC, MF, TB, AO, CK), pp. 56–66.
POPL-2012-BasuBO: Deciding choreography realizability (SB, TB, MO), pp. 191–202.
VMCAI-2012-BasuBO #communication #verification: Synchronizability for Verification of Asynchronously Communicating Systems (SB, TB, MO), pp. 56–71.
ICSE-2011-YuAB #synthesis: Patching vulnerabilities with sanitization synthesis (FY, MA, TB), pp. 251–260.
ISSTA-2011-NijjarB #bound #modelling #ruby #verification: Bounded verification of Ruby on Rails data models (JN, TB), pp. 67–77.
ASE-2010-HalleEBB #fault #model checking #navigation #runtime #state machine #web: Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines (SH, TE, CB, TB), pp. 235–244.
CIAA-2010-YuBI #automaton #multi #relational #string #using #verification: Relational String Verification Using Multi-track Automata (FY, TB, OHI), pp. 290–299.
CIAA-J-2010-YuBI11 #automaton #multi #relational #string #using #verification: Relational String Verification Using Multi-Track Automata (FY, TB, OHI), pp. 1909–1924.
FSE-2010-HalleB #analysis #interactive #message passing #using: Realizability analysis for message-based interactions using shared-state projections (SH, TB), pp. 27–36.
TACAS-2010-YuAB #analysis #named #php #string: Stranger: An Automata-Based String Analysis Tool for PHP (FY, MA, TB), pp. 154–157.
ASE-2009-YuAB #analysis #generative #source code #string #using: Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses (FY, MA, TB), pp. 605–609.
IFM-2009-SalaunB #algebra #encoding #process #using: Realizability of Choreographies Using Process Algebra Encodings (GS, TB), pp. 167–182.
ISSTA-2009-StengelB #contract: Analyzing singularity channel contracts (ZS, TB), pp. 13–24.
TACAS-2009-YuBI #analysis #string #verification: Symbolic String Verification: Combining String Analysis and Size Analysis (FY, TB, OHI), pp. 322–336.
FSE-2008-YuWGB #composition #encoding #performance #summary #using #verification #web #web service: Modular verification of web services using efficient symbolic encoding and summarization (FY, CW, AG, TB), pp. 192–202.
ASE-2007-BarlasB #distributed #framework #java #named #verification: Netstub: a framework for verification of distributed java applications (EB, TB), pp. 24–33.
ESEC-FSE-2007-YuBP #analysis #automation #ocl: Automated size analysis for OCL (FY, TB, EP), pp. 331–340.
ISSTA-2007-HughesB #composition #interface #model checking: Interface grammars for modular software model checking (GH, TB), pp. 39–49.
ASE-2005-Betin-CanBLLT #concurrent #design #verification: Application of design for verification with concurrency controllers to air traffic control software (ABC, TB, ML, BL, ST), pp. 14–23.
CAV-2005-Yavuz-KahveciBB #verification: Action Language Verifier, Extended (TYK, CB, TB), pp. 413–417.
ASE-2004-Betin-CanB #concurrent #programming #using: Verifiable Concurrent Programming Using Concurrency Controllers (ABC, TB), pp. 248–257.
CAV-2004-BartzisB #automaton: Widening Arithmetic Automata (CB, TB), pp. 321–333.
CAV-2004-FuBS #analysis #formal method #named #web #web service: WSAT: A Tool for Formal Analysis of Web Services (XF, TB, JS), pp. 510–514.
CAV-2003-BartzisB #image #infinity #model checking #performance: Efficient Image Computation in Infinite State Model Checking (CB, TB), pp. 249–261.
CIAA-2003-FuBS #protocol #specification #verification: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services (XF, TB, JS), pp. 188–200.
TACAS-2003-BartzisB #bound #constraints #performance: Construction of Efficient BDDs for Bounded Arithmetic Constraints (CB, TB), pp. 394–408.
CIAA-2002-BartzisB #automation #constraints #verification: Automata-Based Representations for Arithmetic Constraints in Automated Verification (CB, TB), pp. 282–288.
ISSTA-2002-Yavuz-KahveciB #component #concurrent #specification #synthesis #verification: Specification, verification, and synthesis of concurrency control components (TYK, TB), pp. 169–179.
SAS-2002-Yavuz-KahveciB #automation #concurrent #verification: Automated Verification of Concurrent Linked Lists with Counters (TYK, TB), pp. 69–84.
ASE-2001-BultanY #verification: Action Language Verifier (TB, TYK), pp. 382–386.
CIAA-2001-DangBIK #automaton: Past Pushdown Timed Automata (ZD, TB, OHI, RAK), pp. 74–86.
TACAS-2001-FuBHS #verification #workflow: Verification of Vortex Workflows (XF, TB, RH, JS), pp. 143–157.
TACAS-2001-Yavuz-KahveciTB #library: A Library for Composite Symbolic Representations (TYK, MT, TB), pp. 52–66.
CAV-2000-DangIBKS #analysis #automaton #reachability: Binary Reachability Analysis of Discrete Pushdown Timed Automata (ZD, OHI, TB, RAK, JS), pp. 69–84.
ICSE-2000-Bultan #model checking #specification: Action Language: a specification language for model checking reactive systems (TB), pp. 335–344.
TACAS-2000-Bultan #concurrent #constraints #evaluation #model checking: BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems (TB), pp. 441–455.
ISSTA-1998-BultanGL #approach #constraints #integer #verification: Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach (TB, RG, CL), pp. 113–123.
CAV-1997-BultanGP #infinity #model checking #using: Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic (TB, RG, WP), pp. 400–411.
ISSTA-1996-BultanFG #composition #model checking #verification: Compositional Verification by Model Checking for Counter-Examples (TB, JF, RG), pp. 224–238.
ASE-2015-BocicB #logic #performance #verification: Efficient Data Model Verification with Many-Sorted Logic (T) (IB, TB), pp. 42–52.
ASE-2016-BocicB #data access #debugging #web: Finding access control bugs in web applications with CanCheck (IB, TB), pp. 155–166.
FSE-2016-BangAPPB #analysis #string: String analysis for side channels with segmented oracles (LB, AA, QSP, CSP, TB), pp. 193–204.
ESEC-FSE-2017-BrennanTRAB #constraints #normalisation #program analysis: Constraint normalization and parameterized caching for quantitative program analysis (TB, NT, NR, AA, TB), pp. 535–546.
ESEC-FSE-2018-AydinEBBGBY #constraints #string: Parameterized model counting for string and numeric constraints (AA, WE, LB, TB, MG, TB, FY), pp. 400–410.
ASE-2019-EiersSBB #program analysis: Subformula Caching for Model Counting and Quantitative Program Analysis (WE, SS, TB, TB), pp. 453–464.
FASE-2016-BasuB #automation: Automated Choreography Repair (SB0, TB), pp. 13–30.