Tevfik Bultan
发表
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2004,
Proceedings. IEEE International Conference on Web Services, 2004..
Tevfik Bultan,
Tegan Brennan,
Seemanta Saha,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Fang Yu,
Tevfik Bultan,
Aysu Betin Can,
2010,
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Tevfik Bultan,
Fang Yu,
Muath Alkhalaf,
2017
.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2005,
IEEE Transactions on Software Engineering.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2004
.
Jianwen Su,
Tevfik Bultan,
Xiang Fu,
2004
.
Tevfik Bultan,
Graham Hughes,
T. Bultan,
2007,
IEEE Transactions on Software Engineering.
Tevfik Bultan,
Aysu Betin Can,
2005,
IEEE International Conference on Web Services (ICWS'05).
Will Tracz,
Martin P. Robillard,
Tevfik Bultan,
2012,
FSE 2012.
Tevfik Bultan,
Ivan Bocic,
Nicolás Rosner,
2018,
Automated Software Engineering.
Tevfik Bultan,
Constantinos Bartzis,
T. Bultan,
2004,
CAV.
Tevfik Bultan,
Roger Villemaire,
Sylvain Hallé,
2010,
Computer.
Fang Yu,
Tevfik Bultan,
Yu-Fang Chen,
2016,
ISSTA.
Gabor Karsai,
Tevfik Bultan,
Corina S. Pasareanu,
2020
.
Mario Bravetti,
Tevfik Bultan,
2008
.
Zhe Dang,
Tevfik Bultan,
Richard A. Kemmerer,
2000
.
Tevfik Bultan,
Cevdet Aykanat,
C. Aykanat,
1992,
J. Parallel Distributed Comput..
Tevfik Bultan,
Cevdet Aykanat,
C. Aykanat,
1991,
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing.
Oscar H. Ibarra,
Zhe Dang,
Jianwen Su,
2000,
MFCS.
Fang Yu,
Tevfik Bultan,
Muath Alkhalaf,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Forrest Shull,
Tevfik Bultan,
Paolo Donzelli,
2007,
Empirical Software Engineering.
Tevfik Bultan,
2019,
SOEN.
Chao Wang,
Fang Yu,
Tevfik Bultan,
2008,
SIGSOFT '08/FSE-16.
Tevfik Bultan,
Nicolás Rosner,
İsmet Burak Kadron,
2020,
ISSTA.
Tevfik Bultan,
Ivan Bocic,
T. Bultan,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Tevfik Bultan,
Constantinos Bartzis,
T. Bultan,
2002,
CIAA'02.
Fang Yu,
Tevfik Bultan,
Tegan Brennan,
2018,
ESEC/SIGSOFT FSE.
Xiang Fu,
Tevfik Bultan,
Aysu Betin Can,
2005,
WWW '05.
Fang Yu,
Tevfik Bultan,
Muath Alkhalaf,
2010,
TACAS.
Tevfik Bultan,
Ivan Bocic,
2015,
NFM.
Tevfik Bultan,
Joseph McMahan,
Timothy Sherwood,
2018,
ATVA.
Tevfik Bultan,
Tuba Yavuz-Kahveci,
T. Bultan,
2002,
SAS.
Giorgio Delzanno,
Tevfik Bultan,
2001,
CP.
Tevfik Bultan,
Graham Hughes,
2004
.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2004,
WWW '04.
Tevfik Bultan,
Corina S. Pasareanu,
Pasquale Malacaria,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Richard Gerber,
Tevfik Bultan,
Christopher League,
1999,
TSEM.
Jie-Hong Roland Jiang,
Fang Yu,
Tevfik Bultan,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Samik Basu,
Tevfik Bultan,
Meriem Ouederni,
2012,
POPL '12.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2003,
WWW '03.
Tevfik Bultan,
Muath Alkhalaf,
Abdulbaki Aydin,
2014,
ISSTA 2014.
Tevfik Bultan,
T. Bultan,
2000,
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2007,
Test and Analysis of Web Services.
Tevfik Bultan,
Muath Alkhalaf,
Abdulbaki Aydin,
2017
.
Oscar H. Ibarra,
Fang Yu,
Tevfik Bultan,
2014,
Formal Methods Syst. Des..
Tevfik Bultan,
Hiranya Jayathilaka,
Chandra Krintz,
2014,
2014 IEEE International Conference on Cloud Engineering.
Tevfik Bultan,
Muath Alkhalaf,
Graham Hughes,
2008,
TAV-WEB '08.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2001,
TACAS.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2007,
WS-FM.
Tevfik Bultan,
T. Bultan,
2019,
VSTTE.
Fang Yu,
Tevfik Bultan,
Erik Peterson,
2007,
ESEC-FSE '07.
Tevfik Bultan,
Tao Xie,
2008,
TAV-WEB.
Oscar H. Ibarra,
Zhe Dang,
Tevfik Bultan,
2004,
Theor. Comput. Sci..
Tevfik Bultan,
Muath Alkhalaf,
Abdulbaki Aydin,
2014,
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.
Oscar H. Ibarra,
Fang Yu,
Tevfik Bultan,
2010,
CIAA.
Richard Gerber,
Tevfik Bultan,
Christopher League,
1998,
ISSTA '98.
Tevfik Bultan,
Tuba Yavuz-Kahveci,
T. Bultan,
2009,
Formal Methods Syst. Des..
Tevfik Bultan,
Gwen Salaün,
Meriem Ouederni,
2013,
FACS.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2003,
CIAA.
Tevfik Bultan,
Aysu Betin Can,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2005,
Int. J. Web Serv. Res..
Xiang Fu,
Tevfik Bultan,
Chris Ferguson,
2009,
2009 IEEE International Conference on Web Services.
Fang Yu,
Tevfik Bultan,
Muath Alkhalaf,
2017
.
Tevfik Bultan,
T. Bultan,
2008,
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
Tevfik Bultan,
Ivan Bocic,
T. Bultan,
2014,
ICSE.
Side Channel Analysis Using a Model Counting Constraint Solver and Symbolic Execution (Invited Talk)
Tevfik Bultan,
2016,
FSTTCS.
Tevfik Bultan,
Tuba Yavuz-Kahveci,
T. Bultan,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Tevfik Bultan,
Fang Yu,
Muath Alkhalaf,
2017
.
Tevfik Bultan,
Gwen Salaün,
Nima Roohi,
2012,
IEEE Trans. Serv. Comput..
Tevfik Bultan,
Constantinos Bartzis,
T. Bultan,
2006,
International Journal on Software Tools for Technology Transfer.
Oscar H. Ibarra,
Zhe Dang,
Jianwen Su,
2000,
CAV.
Tevfik Bultan,
Seemanta Saha,
Lucas Bang,
2019,
SOEN.
Tevfik Bultan,
Tuba Yavuz-Kahveci,
2005,
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2004,
ISSTA '04.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2002,
WES.
Oscar H. Ibarra,
Fang Yu,
Tevfik Bultan,
2008,
SPIN.
Oscar H. Ibarra,
Fang Yu,
Tevfik Bultan,
2009,
TACAS.
Tevfik Bultan,
Constance L. Heitmeyer,
C. Heitmeyer,
2006,
Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Tevfik Bultan,
Fang Yu,
Muath Alkhalaf,
2017
.
Andreas Zeller,
Tevfik Bultan,
2017,
Automated Software Engineering.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2006,
IEEE Internet Computing.
Tevfik Bultan,
Elliot Barlas,
2007,
ASE '07.
Pao-Ann Hsiung,
Tevfik Bultan,
2011
.
Xiang Fu,
Tevfik Bultan,
2008,
IEEE Data Eng. Bull..
Tevfik Bultan,
Constantinos Bartzis,
Tuba Yavuz-Kahveci,
2005,
CAV.
Tevfik Bultan,
Sylvain Hallé,
Chris Bunch,
2010,
ASE '10.
Oscar H. Ibarra,
Zhe Dang,
Jianwen Su,
2002,
Theor. Comput. Sci..
Tevfik Bultan,
Aysu Betin-Can,
T. Bultan,
2005
.
Samik Basu,
Tevfik Bultan,
Meriem Ouederni,
2012,
VMCAI.
Tevfik Bultan,
2006
.
Sarfraz Khurshid,
Ji Wang,
Koushik Sen,
2020,
ACM SIGSOFT Softw. Eng. Notes.
Tevfik Bultan,
Sylvain Hallé,
2010,
FSE '10.
Pao-Ann Hsiung,
Tevfik Bultan,
2011,
Lecture Notes in Computer Science.
Tevfik Bultan,
Tuba Yavuz-Kahveci,
T. Bultan,
2003,
International Journal on Software Tools for Technology Transfer.
Tevfik Bultan,
Cevdet Aykanat,
Ismail Haritaoglu,
1998,
Neural Networks.
Tevfik Bultan,
Zachary Stengel,
T. Bultan,
2009,
ISSTA.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2004,
ATVA.
Tevfik Bultan,
Aysu Betin-Can,
2004
.
Tevfik Bultan,
2010,
FoSER '10.
Tevfik Bultan,
Corina S. Pasareanu,
Abdulbaki Aydin,
2016,
SIGSOFT FSE.
Tevfik Bultan,
Abdulbaki Aydin,
Lucas Bang,
2015,
ESEC/SIGSOFT FSE.
Tevfik Bultan,
Abdulbaki Aydin,
Lucas Bang,
2015,
CAV.
Oscar H. Ibarra,
Jianwen Su,
Tevfik Bultan,
2001,
Int. J. Found. Comput. Sci..
Tevfik Bultan,
Constance L. Heitmeyer,
C. Heitmeyer,
2008,
Des. Autom. Embed. Syst..
Fang Yu,
Tevfik Bultan,
Muath Alkhalaf,
2017
.
Tevfik Bultan,
Lucas Bang,
Nicolás Rosner,
2018,
2018 IEEE European Symposium on Security and Privacy (EuroS&P).
Tevfik Bultan,
Graham Hughes,
2007,
AFM '07.
Tevfik Bultan,
Jaideep Nijjar,
2011,
ISSTA '11.
Tevfik Bultan,
Tegan Brennan,
Nicolás Rosner,
2020,
2020 IEEE Symposium on Security and Privacy (SP).
Tevfik Bultan,
Fang Yu,
T. Bultan,
2010
.
Tevfik Bultan,
Ivan Bocic,
Jaideep Nijjar,
2015,
ACM Trans. Softw. Eng. Methodol..
Tevfik Bultan,
Roger Villemaire,
Sylvain Hallé,
2009
.
Tevfik Bultan,
T. Bultan,
2000,
SOEN.
Tevfik Bultan,
Aysu Betin Can,
Mikael Lindvall,
2007,
Automated Software Engineering.
Richard Gerber,
Tevfik Bultan,
Jeffrey Fischer,
1996,
ISSTA '96.
Tevfik Bultan,
Ivan Bocic,
T. Bultan,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Tevfik Bultan,
Aysu Betin Can,
T. Bultan,
2007,
Formal Aspects of Computing.
Richard Gerber,
William Pugh,
Tevfik Bultan,
1999,
TOPL.
Tevfik Bultan,
Constantinos Bartzis,
T. Bultan,
2003,
Int. J. Found. Comput. Sci..
Tevfik Bultan,
T. Bultan,
2000,
TACAS.
Tevfik Bultan,
Tuba Yavuz-Kahveci,
Murat Tuncer,
2001,
TACAS.
Tevfik Bultan,
Tegan Brennan,
Seemanta Saha,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Tevfik Bultan,
Tuba Yavuz-Kahveci,
T. Bultan,
2002,
ISSTA '02.
Pao-Ann Hsiung,
Tevfik Bultan,
T. Bultan,
2011
.
Tevfik Bultan,
Ivan Bocic,
Jaideep Nijjar,
2013,
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Fang Yu,
Tevfik Bultan,
Muath Alkhalaf,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Tao Xie,
Tevfik Bultan,
Tao Xie,
2008,
ISSTA '08.
Tevfik Bultan,
Shriram Krishnamurthi,
2005,
SOEN.
Tevfik Bultan,
Jaideep Nijjar,
T. Bultan,
2013,
ISSTA.
Alessandro Orso,
Christopher Krügel,
Tevfik Bultan,
2012,
ISSTA 2012.
William Pugh,
Tevfik Bultan,
Richard Gerber,
1998
.
Tevfik Bultan,
Constance L. Heitmeyer,
John O'Leary,
2005,
MEMOCODE.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2003
.
Tevfik Bultan,
Graham Hughes,
2008,
IEEE Trans. Software Eng..
Tevfik Bultan,
Cevdet Aykanat,
C. Aykanat,
1995,
Neurocomputing.
Tevfik Bultan,
2006,
TAV-WEB.
Tevfik Bultan,
Tao Xie,
Tao Xie,
2008
.
Oscar H. Ibarra,
Zhe Dang,
Tevfik Bultan,
2001,
CIAA.
Tevfik Bultan,
Aysu Betin Can,
2005,
VSTTE.
Mario Bravetti,
Tevfik Bultan,
2011,
WS-FM.
Tevfik Bultan,
Seemanta Saha,
Lucas Bang,
2019,
ArXiv.
Tevfik Bultan,
Graham Hughes,
T. Bultan,
2008,
International Journal on Software Tools for Technology Transfer.
Tevfik Bultan,
Fang Yu,
Muath Alkhalaf,
2017
.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2008
.
Samik Basu,
Tevfik Bultan,
2016,
FASE.
Fang Yu,
Tevfik Bultan,
Ben Hardekopf,
2011,
SPIN.
Fang Yu,
Tevfik Bultan,
Muath Alkhalaf,
2017
.
Tevfik Bultan,
Ben Rubinger,
2010,
TAV-WEB.
Tevfik Bultan,
Aysu Betin Can,
2003,
Electron. Notes Theor. Comput. Sci..
Tevfik Bultan,
2011
.
Tevfik Bultan,
Ivan Bocic,
T. Bultan,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Tevfik Bultan,
Tegan Brennan,
Seemanta Saha,
2018,
ISSTA.
Tevfik Bultan,
Gwen Salaün,
2012,
IEEE Transactions on Services Computing.
Samik Basu,
Tevfik Bultan,
T. Bultan,
2016,
Theor. Comput. Sci..
Andreas Zeller,
Tevfik Bultan,
Ewen Denney,
2013
.
Tevfik Bultan,
Constantinos Bartzis,
T. Bultan,
2003,
TACAS.
Tevfik Bultan,
Tuba Yavuz-Kahveci,
T. Bultan,
2002,
FroCoS.
Tevfik Bultan,
Tegan Brennan,
Nestan Tsiskaridze,
2017,
ESEC/SIGSOFT FSE.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2004,
CAV.
Tevfik Bultan,
Lucas Bang,
Nicolás Rosner,
2019,
NDSS.
Valérie Issarny,
Dongmei Zhang,
David S. Rosenblum,
2015,
IEEE Softw..
Sandeep K. Shukla,
Tevfik Bultan,
Constance L. Heitmeyer,
2004,
MEMOCODE.
Xiang Fu,
Tevfik Bultan,
2007,
SOCA.
Tevfik Bultan,
Muath Alkhalaf,
Jose L. Gallegos,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Xiang Fu,
Tevfik Bultan,
T. Bultan,
2007,
IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07).
Fang Yu,
Tevfik Bultan,
Muath Alkhalaf,
2018,
Springer International Publishing.
Samik Basu,
Tevfik Bultan,
T. Bultan,
2011,
WWW.
Tevfik Bultan,
Seemanta Saha,
Lucas Bang,
2019,
SOEN.
Xiang Fu,
Jianwen Su,
Tevfik Bultan,
2003,
Theor. Comput. Sci..
Tevfik Bultan,
2013,
FMOODS/FORTE.
Tevfik Bultan,
Tegan Brennan,
Seemanta Saha,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Fang Yu,
Tevfik Bultan,
Muath Alkhalaf,
2017
.
Samik Basu,
Tevfik Bultan,
2014,
ASE.
Oscar H. Ibarra,
Fang Yu,
Tevfik Bultan,
2011,
Int. J. Found. Comput. Sci..
Tevfik Bultan,
Sylvain Hallé,
Muath Alkhalaf,
2009,
ICSOC/ServiceWave.
Koushik Sen,
Tevfik Bultan,
Koushik Sen,
2017,
ISSTA.
Oscar H. Ibarra,
Jianwen Su,
Tevfik Bultan,
2000,
CONCUR.
Tevfik Bultan,
2015,
SPIN.
Tevfik Bultan,
Aysu Betin Can,
Mikael Lindvall,
2005,
ASE.
Tevfik Bultan,
Jaideep Nijjar,
2012,
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
Tevfik Bultan,
Aysu Betin-Can,
Sylvain Halle,
2013,
IEEE Transactions on Services Computing.
Tevfik Bultan,
Ivan Bocic,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Tevfik Bultan,
2008,
CONCUR.
Tevfik Bultan,
Constantinos Bartzis,
T. Bultan,
2003,
CAV.
Richard Gerber,
William Pugh,
Tevfik Bultan,
1997,
CAV.
Tevfik Bultan,
Ismet Burak Kadron,
Chaofan Shou,
2021,
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Tevfik Bultan,
Constantinos Bartzis,
2004
.
Tevfik Bultan,
Graham Hughes,
2007
.
Richard Gerber,
Tevfik Bultan,
R. Gerber,
1998
.
Samik Basu,
Tevfik Bultan,
2015
.