@article{SenOzt:2011:SP, author = {Alper Sen and Can {\"O}zturan}, title = {{Special Issue on the 9th International Symposium on Parallel and Distributed Computing}}, journal = {Scientific Programming}, volume = {19}, number = {1}, year = {2011}, pages = {1}, } @article{SenAks+:2011:IJPP, author = {Alper Sen and Baris Aksanli and Murat Bozkurt}, title = {{Speeding Up Cycle Based Logic Simulation Using Graphics Processing Units}}, journal = {International Journal of Parallel Programming}, volume = {39}, number = {5}, year = {2011}, pages = {639-661}, } @article{Sen:2011:TODAES, author = {Alper Sen}, title = {{Concurrency-oriented Verification and Coverage of System-Level Designs}}, journal = {ACM Transactions on Design Automation of Electronic Systems}, volume = {16}, number = {4}, year = {2011}, pages = {37:1--37:25}, } @article{LitWal+:2010:IJFCS, author = {Scott Little and David Walter and Kevin Jones and Chris J. Myers and Alper Sen}, title = {{Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces}}, journal = {Int. J. Found. Comput. Sci.}, volume = {21}, number = {2}, year = {2010}, pages = {191-210}, } @article{SenGar:2007:TC, author = "A. Sen and V. K. Garg", title = {{Formal Verification of Simulation Traces Using Computation Slicing}}, journal = {IEEE Transactions on Computers}, volume = 56, number = 4, year = 2007, pages = {511-527}, } @article{MitSen+:2007:TPDS, author = "N. Mittal and A. Sen and V. K. Garg", title = {{Solving Computation Slicing using Predicate Detection}}, journal = {IEEE Transactions on Parallel and Distributed Systems}, volume = 18, number = 12, year = 2007, pages = {1700-1713}, } %------------------------ @inproceedings{SenAks+:2010:ISPDC, author = {Alper Sen and Baris Aksanli and Murat Bozkurt and Melih Mert}, title = {{Parallel Cycle Based Logic Simulation using Graphics Processing Units}}, booktitle = {Proceedings of the International Symposium on Parallel and Distributed Computing (ISPDC)}, year = {2010}, pages = {71-78}, } @inproceedings{SenAks+:2010:MTV, author = {Alper Sen and Baris Aksanli and Murat Bozkurt}, title = {{Using Graphics Processing Units for Logic Simulation of Electronic Designs}}, booktitle = {Proceedings of the International Workshop on Microprocessor Test and Verification (MTV)}, year = {2010}, pages = {73-76}, } @inproceedings{SenAba:2010:HLDVT, author = {Alper Sen and Magdy S. Abadir}, title = {{Coverage Metrics for Verification of Concurrent SystemC Designs using Mutation Testing}}, booktitle = {Proceedings of the IEEE International High-Level Design Validation and Test Workshop (HLDVT 2010)}, year = {2010}, pages = {75-81}, } @inproceedings{FenYur+:2010:CIT, author = {Dogan Fennibay and Arda Yurdakul and Alper Sen}, title = {{Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems}}, booktitle = {10th IEEE International Conference on Computer and Information Technology (CIT)}, year = {2010}, pages = {1902-1909}, } @inproceedings{Sen:2009:MTV, author = "Alper Sen", title = {{Mutation Operators for Concurrent SystemC Designs}}, booktitle = {Proceedings of the International Workshop on Microprocessor Test and Verification (MTV)}, year = 2009, pages = {27-31}, } @inproceedings{FenYur+:2009:UYMS, author = {Dogan Fennibay and Arda Yurdakul and Alper Sen}, title = {{Endustriyel Uygulamalar icin SystemC ile Dongu Icinde Donanim (in Turkish)}}, booktitle = {4th National Software Engineering Symposium (UYMS)}, year = {2009}, } @inproceedings{SenOga+:2008:DAC, author = "A. Sen and V. Ogale and M. S. Abadir", title = {{Predictive Runtime Verification of Multi-Processor SoCs in SystemC}}, booktitle = {Proceedings of the ACM/EDAC/IEEE Design Automation Conference (DAC 2008)}, pages = {948--953}, year = 2008, } @inproceedings{IkiSen+:2007:MTV, author = "S. Ikiz and A. Sen", title = {{Runtime Verification of k-Mutual Exclusion for SoC's}}, booktitle = {Proceedings of the International Workshop on Microprocessor Test and Verification (MTV 2007)}, year = 2007, } @inproceedings{LitSen+:2007:MTV, author = "S. Little and A. Sen and C. Myers", title = {{Application of Automated Model Generation Techniques to Analog Mixed Signal Circuits}}, booktitle = {Proceedings of the International Workshop on Microprocessor Test and Verification (MTV 2007)}, year = 2007, } @article{Sen:2007:ENTCS, author = "A. Sen", title = {{Error Diagnosis in Equivalence Checking of High Performance Microprocessors}}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {4}, year = {2007}, pages = {9--18}, } @inproceedings{GarMit+:2006:AMS, author = "V. K. Garg and N. Mittal and A. Sen", title = {{Using Order in Distributed Computing}}, booktitle = {Proceedings of the American Mathematical Society (AMS) National Meeting}, year = 2006, } @inproceedings{AnaBha+:2007:HLDVT, author = "H. Anand and J. Bhadra and A. Sen and M. S. Abadir and K. G. Davis", title = {{Establishing Latch Correspondence for Embedded Circuits of PowerPC Microprocessors}}, booktitle = {Proceedings of the IEEE International High-Level Design Validation and Test Workshop (HLDVT 2005)}, year = 2005, } @inproceedings{SenGar+:2004:ITC, author = "A. Sen and V. K. Garg and J. Bhadra and J. A. Abraham", title = {{Formal Verification of a System-on-Chip Using Computation Slicing}}, booktitle = {Proceedings of the International Test Conference (ITC)}, pages = {810-819}, year = 2004, } @inproceedings{MitSen+:2004:IPDPS, author = "N. Mittal and A. Sen and V. K. Garg and R. Atreya", title = {{Finding Satisfying Global States: All for One and One for All}}, booktitle = {Proceedings of the 18th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2004)}, year = 2004, } @inproceedings{SenGar:2003:OPODIS, author = "A. Sen and V. K. Garg", title = {{Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing}}, booktitle = {Proceedings of the 7th International Conference on Principles of Distributed Systems (OPODIS)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, volume = {3144}, pages = {338-345}, year = 2003, } @inproceedings{SenGar:2003:FATES, author ="A. Sen and V. K. Garg", title = {{On Checking Whether a Predicate Definitely Holds}}, booktitle = {Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES)}, pages = {15-29}, volume = {2931}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, year = 2003, } @article{GarMit+:2003:SIGACT, author = "V. K. Garg and N. Mittal and A. Sen", title = {{Applications of Lattice Theory to Distributed Computing}}, journal = {ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) News}, volume = 34, number = 3, pages = {40-61}, year = 2003, } @inproceedings{SenGar:2003:RV, author = "A. Sen and V. K. Garg", title = {{Partial Order Trace Analyzer (POTA) for Distributed Programs}}, booktitle = {Proceedings of the 3rd Runtime Verification Workshop}, volume = {89}, issue = {2}, pages = {22-43}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, year = 2003, } @inproceedings{SenGar:2002:IPDPS, author = "A. Sen and V. K. Garg", title = "{D}etecting {T}emporal {L}ogic {P}redicates on the {H}appened-{B}efore {M}odel", booktitle = {Proceedings of the 16th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2002)}, pages = {76-83}, year = 2002, } @phdthesis{Sen:2004:Thesis, author = {A. Sen}, title = {{T}echniques for {F}ormal {V}erification of {C}oncurrent and {D}istributed {P}rogram {T}races}, school = {The University of Texas at Austin}, year = 2004, month = MAY, } @mastersthesis{Sen:1997:Thesis, author = {A. Sen}, title = {{Verification of SDL Systems with Partial Order Methods}}, school = {Middle East Technical University}, year = 1997, month = MAY, }