Sen, Alper - Department of Computer Engineering, Bogazi�i University

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Sen, Alper - Department of Computer Engineering, Bogazi�i University

Applications of Lattice Theory to Distributed Vijay K. Garg
Detecting Temporal Logic Predicates on the Happened-Before Model Alper Sen and Vijay K. Garg
Solving Computation Slicing Using Predicate Detection
Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits
Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design
Predictive Runtime Verification of Multi-Processor SoCs in Freescale Semiconductor Inc.
Runtime Verification of k-Mutual Exclusion for Dept. of Electrical and Computer Engineering
Error Diagnosis in Equivalence Checking of High Performance Microprocessors
DOI: 10.1142/S0129054110007209 International Journal of Foundations of Computer Science
Electronic Notes in Theoretical Computer Science 89 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 22 pages
Parallel Cycle Based Logic Simulation using Graphics Processing Units Alper Sen, Baris Aksanli, Murat Bozkurt, and Melih Mert
On Checking Whether a Predicate Definitely Holds Alper Sen and Vijay K. Garg
Establishing Latch Correspondence for Embedded Circuits of Microprocessors
Formal Verification of Simulation Traces Using Computation Slicing
Coverage Metrics for Verification of Concurrent SystemC Designs Using Mutation Testing