Serdar Tasiran
发表
Fast Monte Carlo Estimation of Timing Yield: Importance Sampling with Stochastic Logical Effort (ISLE)
pdf
Alper Demir,
Alp Arslan Bayrakci,
Serdar Tasiran,
2008,
ArXiv.
Serdar Tasiran,
2008
.
Serdar Tasiran,
Isil Dillig,
S. Tasiran,
2019,
Lecture Notes in Computer Science.
Serdar Tasiran,
Roman Dementiev,
Hassan Salehe Matar,
2014
.
Daniel Kroening,
Serdar Tasiran,
Mark R. Tuttle,
2018,
Formal Methods in System Design.
Alper Demir,
Alp Arslan Bayrakci,
Serdar Tasiran,
2010,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Serdar Tasiran,
Shaz Qadeer,
2005,
Electron. Notes Theor. Comput. Sci..
Gokcen Kestor,
Osman S. Unsal,
Serdar Tasiran,
2014,
EuroSys '14.
Serdar Tasiran,
Suha Orhun Mutluergil,
2016,
NETYS.
Thomas A. Henzinger,
Serdar Tasiran,
Sriram K. Rajamani,
1998,
TOPL.
Serdar Tasiran,
Erez Petrank,
Chris Hawblitzel,
2015,
CAV.
Serdar Tasiran,
Michael Emmi,
Burcu Kulahcioglu Ozkan,
2014,
SPIN.
Serdar Tasiran,
Michael Emmi,
Burcu Kulahcioglu Ozkan,
2015,
CAV.
Serdar Tasiran,
Tayfun Elmas,
2007,
RV.
Robert K. Brayton,
Serdar Tasiran,
S. Tasiran,
1998
.
Brian Huffman,
Serdar Tasiran,
Byron Cook,
2018,
CAV.
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,
Daniel Schwartz-Narbonne,
Byron Cook,
2018,
VSTTE.
Omer Subasi,
Serdar Tasiran,
Ali Sezgin,
2010,
TACAS.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2010,
Commun. ACM.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2007,
PLDI '07.
Robert K. Brayton,
Serdar Tasiran,
1997,
CAV.
Szu-Tsung Cheng,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli,
1994,
31st Design Automation Conference.
Benjamin Livshits,
Serdar Tasiran,
Erdal Mutlu,
2015,
ESEC/SIGSOFT FSE.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2009,
POPL '09.
Gokcen Kestor,
Osman S. Unsal,
Serdar Tasiran,
2015,
TOPC.
Omer Subasi,
Serdar Tasiran,
Tim Harris,
2012
.
Alper Demir,
Serdar Tasiran,
Soner Yaldiz,
2008,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Serdar Tasiran,
Ali Sezgin,
2015,
VSTTE.
Isil Dillig,
Serdar Tasiran,
S. Tasiran,
2019,
Lecture Notes in Computer Science.
Serdar Tasiran,
Shaz Qadeer,
2002
.
Serdar Tasiran,
Erdal Mutlu,
Burcu Kulahcioglu Ozkan,
2014,
PaPEC '14.
Cagatay Basdogan,
Serdar Tasiran,
Nesra Yannier,
2008,
IEEE Transactions on Haptics.
Robert K. Brayton,
Serdar Tasiran,
Ramin Hojati,
1995,
CHARME.
Serdar Tasiran,
Shaz Qadeer,
2011,
International Journal on Software Tools for Technology Transfer.
Thomas A. Henzinger,
Serdar Tasiran,
Sriram K. Rajamani,
1998,
FMCAD.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2007
.
Serdar Tasiran,
David R. Cok,
S. Tasiran,
2018,
VSTTE.
Leslie Lamport,
Serdar Tasiran,
Mark R. Tuttle,
2003,
Formal Methods Syst. Des..
Dan Grossman,
Serdar Tasiran,
Daniel Schwartz-Narbonne,
2017,
Proc. ACM Program. Lang..
Michael D. Ernst,
Serdar Tasiran,
Martin Schäf,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Serdar Tasiran,
Ali Sezgin,
Shaz Qadeer,
2010,
VSTTE.
Serdar Tasiran,
Ali Sezgin,
Shaz Qadeer,
2009,
PADTAD '09.
Serdar Tasiran,
Ali Sezgin,
Shaz Qadeer,
2009,
Design and Validation of Concurrent Systems.
Serdar Tasiran,
Didem Unat,
Hassan Salehe Matar,
2018,
Parallel Comput..
Serdar Tasiran,
Constantin Enea,
Ahmed Bouajjani,
2018,
CAV.
Serdar Tasiran,
Isil Dillig,
S. Tasiran,
1991,
Lecture Notes in Computer Science.
Serdar Tasiran,
Yuan Yu,
Brannon Batson,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Serdar Tasiran,
M. Erkan Keremoglu,
Tayfun Elmas,
2006,
PADTAD '06.
Serdar Tasiran,
2005
.
Serdar Tasiran,
Didem Unat,
Hassan Salehe Matar,
2017,
RV.
Serdar Tasiran,
Tayfun Elmas,
Semih Okur,
2011
.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2006
.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2006,
FATES/RV.
Serdar Tasiran,
David L. Dill,
Ellen Sentovich,
1999,
International Conference on Computer Aided Design.
Serdar Tasiran,
Constantin Enea,
Ahmed Bouajjani,
2017,
ESOP.
Serdar Tasiran,
Tamara Munzner,
Li Zhang,
2003,
ACM Trans. Graph..
Alper Demir,
Yusuf Leblebici,
Paolo Ienne,
2005,
3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005..
Serdar Tasiran,
Yuan Yu,
Brannon Batson,
2004,
IEEE Design & Test of Computers.
Serdar Tasiran,
M. Erkan Keremoglu,
Tayfun Elmas,
2005,
FATES.
Osman S. Unsal,
Serdar Tasiran,
Adrián Cristal,
2014,
RV.
Serdar Tasiran,
Shaz Qadeer,
S. Tasiran,
2002,
Proceedings International Symposium on Quality Electronic Design.
Serdar Tasiran,
David L. Dill,
Ellen M. Sentovich,
1999,
ICCAD '99.
Benjamin Livshits,
Serdar Tasiran,
Erdal Mutlu,
2014,
Dyla'14.
Serdar Tasiran,
Tayfun Elmas,
Ismail Kuru,
2014
.
Thomas A. Henzinger,
Rajeev Alur,
Serdar Tasiran,
1998,
CAV.
Serdar Tasiran,
Shaz Qadeer,
Tayfun Elmas,
2005,
PLDI '05.
Robert K. Brayton,
Serdar Tasiran,
Adnan Aziz,
1994,
31st Design Automation Conference.
Serdar Tasiran,
Tayfun Elmas,
2006,
Electron. Notes Theor. Comput. Sci..
Serdar Tasiran,
M. Erkan Keremoglu,
Kivanç Muslu,
2011,
Empirical Software Engineering.
Serdar Tasiran,
Zvonimir Rakamaric,
Erdal Mutlu,
2018,
SOEN.
Serdar Tasiran,
Suha Orhun Mutluergil,
2018,
Computing.
Serdar Tasiran,
Ali Sezgin,
Kivanç Muslu,
2010,
RV.
Kurt Keutzer,
Serdar Tasiran,
S. Tasiran,
2001,
IEEE Des. Test Comput..
Serdar Tasiran,
Ali Sezgin,
Shaz Qadeer,
2009
.
Gokcen Kestor,
Osman S. Unsal,
Serdar Tasiran,
2015,
Transactional Memory.
Robert K. Brayton,
Rajeev Alur,
Serdar Tasiran,
1996,
CONCUR.
Serdar Tasiran,
Tayfun Elmas,
2007
.
Serdar Tasiran,
Mark R. Tuttle,
Daniel Schwartz-Narbonne,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Serdar Tasiran,
Tayfun Elmas,
Semih Okur,
2012
.
Serdar Tasiran,
Andrew Warfield,
Brendan Cully,
2021,
SOSP.
Alper Demir,
Serdar Tasiran,
2006
.
Serdar Tasiran,
Hadis Morkoç,
M. S. Unlu,
1993
.
Alper Demir,
Serdar Tasiran,
.