S. Tasiran
发表
Leslie Lamport,
Serdar Tasiran,
Mark R. Tuttle,
2003,
Formal Methods Syst. Des..
Cagatay Basdogan,
Serdar Tasiran,
Nesra Yannier,
2008,
IEEE Transactions on Haptics.
Benjamin Livshits,
Serdar Tasiran,
Erdal Mutlu,
2015,
ESEC/SIGSOFT FSE.
Kurt Keutzer,
Serdar Tasiran,
S. Tasiran,
2001,
IEEE Des. Test Comput..
S. Tasiran,
K. Keutzer,
D. Chinnery,
2001
.
Daniel Kroening,
Mark R. Tuttle,
Byron Cook,
2018,
Formal methods in system design.
S. Tasiran,
Semih Okur,
Tayfun Elmas,
2012
.
S. Tasiran,
C. Hawblitzel,
S. Qadeer,
2015
.
S. Tasiran,
R. Brayton,
2016
.
S. Tasiran,
S. Qadeer,
Tayfun Elmas,
2010
.
Felipe R. Monteiro,
S. Tasiran,
M. Tuttle,
2021,
Softw. Pract. Exp..
S. Tasiran,
K. Keutzer,
D. Chinnery,
2001
.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2006,
FATES/RV.
Serdar Tasiran,
Tamara Munzner,
Li Zhang,
2003,
ACM Trans. Graph..
Isil Dillig,
Serdar Tasiran,
S. Tasiran,
2019,
Lecture Notes in Computer Science.
Serdar Tasiran,
Mark R. Tuttle,
Daniel Schwartz-Narbonne,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Daniel Kroening,
Serdar Tasiran,
Mark R. Tuttle,
2018,
Formal Methods in System Design.
Brian Huffman,
Serdar Tasiran,
Byron Cook,
2018,
CAV.
Serdar Tasiran,
Isil Dillig,
S. Tasiran,
1991,
Lecture Notes in Computer Science.
Szu-Tsung Cheng,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
1994,
31st Design Automation Conference.
Alper Demir,
Serdar Tasiran,
Soner Yaldiz,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Thomas A. Henzinger,
Rajeev Alur,
Serdar Tasiran,
1998,
CAV.
Serdar Tasiran,
Shaz Qadeer,
S. Tasiran,
2002,
Proceedings International Symposium on Quality Electronic Design.
Robert K. Brayton,
Serdar Tasiran,
Adnan Aziz,
1994,
31st Design Automation Conference.
Serdar Tasiran,
David L. Dill,
Ellen Sentovich,
1999,
International Conference on Computer Aided Design.
Jacob Van Geffen,
R. Joshi,
S. Tasiran,
2021,
SOSP.
David G. Chinnery,
Kurt Keutzer,
Serdar Tasiran,
2001,
Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2009,
POPL '09.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2007,
PLDI '07.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2006
.
Thomas A. Henzinger,
Serdar Tasiran,
Sriram K. Rajamani,
1998,
TOPL.
Serdar Tasiran,
Daniel Schwartz-Narbonne,
Byron Cook,
2018,
VSTTE.
Serdar Tasiran,
Didem Unat,
Hassan Salehe Matar,
2018,
Parallel Comput..
Serdar Tasiran,
Erez Petrank,
Chris Hawblitzel,
2015,
CAV.
Serdar Tasiran,
Yuan Yu,
Brannon Batson,
2004,
IEEE Design & Test of Computers.
Serdar Tasiran,
Yuan Yu,
Brannon Batson,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Serdar Tasiran,
David R. Cok,
S. Tasiran,
2018,
VSTTE.
Dan Grossman,
Serdar Tasiran,
Daniel Schwartz-Narbonne,
2017,
Proc. ACM Program. Lang..
Serdar Tasiran,
Isil Dillig,
S. Tasiran,
2019,
Lecture Notes in Computer Science.
Serdar Tasiran,
Zvonimir Rakamaric,
Erdal Mutlu,
2018,
SOEN.
Serdar Tasiran,
Erdal Mutlu,
Burcu Kulahcioglu Ozkan,
2014,
PaPEC '14.
Robert K. Brayton,
Serdar Tasiran,
S. Tasiran,
1998
.
Serdar Tasiran,
Didem Unat,
Hassan Salehe Matar,
2017,
RV.
Osman S. Unsal,
Serdar Tasiran,
Adrián Cristal,
2014,
RV.
Serdar Tasiran,
Ali Sezgin,
Kivanç Muslu,
2010,
RV.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2005,
PLDI '05.
Michael D. Ernst,
Serdar Tasiran,
Martin Schäf,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).