Serdar Tasiran

	2009
29		Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: A calculus of atomic actions. POPL 2009: 2-15
	2008
28		Alp Arslan Bayrakci, Alper Demir, Serdar Tasiran: Fast Monte Carlo Estimation of Timing Yield: Importance Sampling with Stochastic Logical Effort (ISLE) CoRR abs/0805.2627: (2008)
27		Soner Yaldiz, Alper Demir, Serdar Tasiran: Stochastic Modeling and Optimization for Energy Management in Multicore Systems: A Video Decoding Case Study. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1264-1277 (2008)
	2007
26		Oleg Sokolsky, Serdar Tasiran: Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers Springer 2007
25		Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: a race and transaction-aware java runtime. PLDI 2007: 245-255
24		Serdar Tasiran, Tayfun Elmas: Rollback Atomicity. RV 2007: 188-201
	2006
23		Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV 2006: 193-208
22		M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas: A classification of concurrency bugs in java benchmarks by developer intent. PADTAD 2006: 23-26
21		Tayfun Elmas, Serdar Tasiran: VyrdMC: Driving Runtime Refinement Checking with Model Checkers. Electr. Notes Theor. Comput. Sci. 144(4): 41-56 (2006)
	2005
20		Soner Yaldiz, Alper Demir, Serdar Tasiran, Paolo Ienne, Yusuf Leblebici: Characterizing and Exploiting Task-Load Variability and Correlation for Energy Management in multi-core systems. ESTImedia 2005: 135-140
19		Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu: A Novel Test Coverage Metric for Concurrently-Accessed Software Components. FATES 2005: 62-71
18		Tayfun Elmas, Serdar Tasiran, Shaz Qadeer: VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI 2005: 27-37
17		Serdar Tasiran, Shaz Qadeer: Runtime Refinement Checking of Concurrent Data Structures. Electr. Notes Theor. Comput. Sci. 113: 163-179 (2005)
	2004
16		Serdar Tasiran, Yuan Yu, Brannon Batson: Linking Simulation with Formal Verification at a Higher Level. IEEE Design & Test of Computers 21(6): 472-482 (2004)
	2003
15		Serdar Tasiran, Yuan Yu, Brannon Batson: Using a formal specification and a model checker to monitor and direct simulation. DAC 2003: 356-361
14		Tamara Munzner, François Guimbretière, Serdar Tasiran, Li Zhang, Yunhong Zhou: TreeJuxtaposer: scalable tree comparison using Focus+Context with guaranteed visibility. ACM Trans. Graph. 22(3): 453-462 (2003)
13		Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu: Checking Cache-Coherence Protocols with TLA+. Formal Methods in System Design 22(2): 125-131 (2003)
	2002
12		Shaz Qadeer, Serdar Tasiran: Promising Directions in Hardware Design Verification (invited). ISQED 2002: 381-387
11		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: An assume-guarantee rule for checking simulation. ACM Trans. Program. Lang. Syst. 24(1): 51-64 (2002)
	2001
10		Serdar Tasiran, Farzan Fallah, David G. Chinnery, Scott J. Weber, Kurt Keutzer: A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage. ICCD 2001: 82-88
9		Serdar Tasiran, Kurt Keutzer: Coverage Metrics for Functional Validation of Hardware Designs. IEEE Design & Test of Computers 18(4): 36-45 (2001)
	1999
8		Ellen Sentovich, David L. Dill, Serdar Tasiran: Formal verification meets simulation (tutorial abstract). ICCAD 1999: 221
	1998
7		Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: MOCHA: Modularity in Model Checking. CAV 1998: 521-525
6		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: An Assume-Guarantee Rule for Checking Simulation. FMCAD 1998: 421-432
	1997
5		Serdar Tasiran, Robert K. Brayton: STARI: A Case Study in Compositional and Hierarchical Timing Verification. CAV 1997: 191-201
	1996
4		Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton: Verifying Abstractions of Timed Systems. CONCUR 1996: 546-562
	1995
3		Serdar Tasiran, Ramin Hojati, Robert K. Brayton: Language containment of non-deterministic omega-automata. CHARME 1995: 261-277
	1994
2		Adnan Aziz, Serdar Tasiran, Robert K. Brayton: BDD Variable Ordering for Interacting Finite State Machines. DAC 1994: 283-288
1		Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: HSIS: A BDD-Based Environment for Formal Verification. DAC 1994: 454-459

Coauthor Index

1	Rajeev Alur	[4] [7]
2	Adnan Aziz	[1] [2]
3	Felice Balarin	[1]
4	Brannon Batson	[15] [16]
5	Alp Arslan Bayrakci	[28]
6	Guven Bolukbasi	[19]
7	Robert K. Brayton	[1] [2] [3] [4] [5]
8	Szu-Tsung Cheng	[1]
9	David G. Chinnery	[10]
10	Alper Demir	[20] [27] [28]
11	David L. Dill	[8]
12	Tayfun Elmas	[18] [19] [21] [22] [23] [24] [25] [29]
13	Farzan Fallah	[10]
14	François Guimbretière	[14]
15	Thomas A. Henzinger	[6] [7] [11]
16	Ramin Hojati	[1] [3]
17	Paolo Ienne	[20]
18	Rajeev Joshi	[13]
19	Timothy Kam	[1]
20	M. Erkan Keremoglu	[19] [22]
21	Kurt Keutzer	[9] [10]
22	Sriram C. Krishnan	[1]
23	Robert P. Kurshan	[4]
24	Leslie Lamport	[13]
25	Yusuf Leblebici	[20]
26	Freddy Y. C. Mang	[7]
27	John Matthews	[13]
28	Tamara Munzner	[14]
29	Shaz Qadeer	[6] [7] [11] [12] [17] [18] [23] [25] [29]
30	Sriram K. Rajamani	[6] [7] [11]
31	Rajeev K. Ranjan	[1]
32	Alberto L. Sangiovanni-Vincentelli	[1]
33	Ellen Sentovich (Ellen M. Sentovich)	[8]
34	Thomas R. Shiple	[1]
35	Vigyan Singhal	[1]
36	Oleg Sokolsky	[26]
37	Mark R. Tuttle	[13]
38	Huey-Yih Wang	[1]
39	Scott J. Weber	[10]
40	Soner Yaldiz	[20] [27]
41	Yuan Yu	[13] [15] [16]
42	Li Zhang	[14]
43	Yunhong Zhou	[14]