Rajeev Alur - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged coverage

Symbolic analysis for improving simulation coverage of Simulink/Stateflow modelsRajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar. emsoft 2008: 89-98 [doi]

A state coverage tool for JUnitKen Koster. ICSE 2008: 965-966 [doi]

Evaluating Workloads Using Comparative Functional CoverageYoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur. hvc 2009: 84-98 [doi]

Automatic Boosting of Cross-Product Coverage Using Bayesian NetworksDorit Baras, Laurent Fournier, Avi Ziv. hvc 2009: 53-67 [doi]

Double Barrier Coverage in Dense Sensor NetworksCheng-Dong Jiang, Guo-Liang Chen. jcst, 23(1):154-165, 2008. [doi]

Fault-Tolerant Coverage Planning in Wireless NetworksSvilen Ivanov, Edgar Nett. srds 2008: 175-184 [doi]

Simple and Efficient k-Coverage Verification without Location InformationYigal Bejerano. infocom 2008: 291-295 [doi]

Evaluation of Ergodic Capacity Taking into Account of Area Coverage in a Multilink MIMO Cellular Network for Supporting Guaranteed QoSAkiyo Yoshimoto, Takeshi Hattori. ieicet, 90-A(7):1292-1299, 2007. [doi]

Multi Observer 3D Visual Area Coverage Scheduling Using Decomposition MethodologiesHelman Stern, Moshe Zofi, Moshe Kaspi. icai 2007: 114-120

Optimal Configuration of Multi-Faceted Phased Arrays for Wide Angle CoverageInas Khalifa, Rodney G. Vaughan. vtc 2007: 304-308 [doi]

Using Virtual Coverage to Hit Hard-To-Reach EventsLaurent Fournier, Avi Ziv. hvc 2008: 104-119 [doi]

A BIST TPG for Low Power Dissipation and High Fault CoverageSeongmoon Wang. tvlsi, 15(7):777-789, 2007. [doi]

Coordination of multiple vehicles for area coverage tasksGarrett Dean Winward, Nicholas S. Flann. iros 2007: 1351-1356 [doi]

Area Coverage of a Multi-Link MIMO System with Water Filling Power Allocation StrategyAkiyo Yoshimoto, Takeshi Hattori. vtc 2007: 1137-1141 [doi]

A study of the influence of coverage on the relationship between static and dynamic coupling metricsÁine Mitchell, James F. Power. SCP, 59(1-2):4-25, 2006. [doi]

Practical methods in coverage-oriented verification of the merom microprocessorAlon Gluska. dac 2006: 332-337 [doi]

Signal Coverage Computation in Formal VerificationHamid Shojaei, Mohammad Sayyaran. vlsi 2006: 92-97 [doi]

UMTS Coverage and Capacity Enhancement Using Repeaters and Remote RF HeadsPathma Rathinavelu, Gottfried Schapeler, Andreas Weber 0003. aina 2006: 400-404 [doi]

An Efficient K-Coverage Eligibility Algorithm on Sensor NetworksMeng-Chun Wueng, Shyh-In Hwang. ispa 2006: 418-429 [doi]

Multi Agent Visual Area Coverage Strategies using an Adaptive Queen Genetic AlgorithmHelman Stern, Yoash Chassidim, Moshe Zofi, Moshe Kaspi. aia 2005: 118-124

Efficient online computation of statement coverageMustafa M. Tikir, Jeffrey K. Hollingsworth. jss, 78(2):146-165, 2005. [doi]

Improvement of the Fault Coverage of the Pseudo-Random Phase in Column-Matching BISTPeter Filter, Hana Kubatova. dsdm 2005: 56-63 [doi]

Lustructu: A Tool for the Automatic Coverage Assessment of Lustre ProgramsAbdesselam Lakehal, Ioannis Parissis. issre 2005: 301-310 [doi]

Classifying product families using platform coverage and variation mechanismsJan Gerben Wijnstra. SPE, 35(5):413-444, 2005. [doi]

FTC turns back challenge on patent coverageRichard H. Stern. micro, 24(4), 2004. [doi]

Fault detection and recovery coverage improvement by optimal clock diversityNobuyasu Kanekawa, Shinichiro Yamaguchi, Yosuke Shima. scjapan, 35(1):58-66, 2004. [doi]

Coverage-oriented verification of baniasAlon Gluska. dac 2003: 280-285 [doi]

Estimating Residual Faults from Code CoveragePeter G. Bishop. safecomp 2002: 163-174 [doi]

Automatic Bias Generation Using Pipeline Instruction State Coverage for Biased Random Instruction GenerationMrinal Bose, Elizabeth M. Rudnick, Magdy S. Abadir. iolts 2001: 65 [doi]

Aggressive Morphology for Robust Lexical CoverageWilliam A. Woods. anlp 2000: 218-223 [doi]

How Should Fault Coverage Be Defined?T. W. Williams, Stephen K. Sunter. vts 2000: 325-328 [doi]

On Maximizing the Coverage of Catastrophic and Parametric FaultsAnna Maria Brosa, Joan Figueras. et, 16(3):251-258, 2000. [doi]

Assessing Error Detection Coverage by Simulated Fault InjectionCristian Constantinescu. edcc 1999: 161-170 [doi]

Toward the uniform coverage of surfaces by scanning curvesHon-Yuen Tam. cad, 31(9):585-596, 1999. [doi]

EGREGION: a branch coverage tool for APLRobert Bernecky. aplas 1998: 3-14 [doi]

Coverage Processes in Physical Mapping by Anchoring Random ClonesSophie Schbath. jcb, 4(1):61-82, 1997.

Hierarchical Polygon Tiling with Coverage MasksNed Greene. siggraph 1996: 65-74 [doi]

Removal of all Faulty Nodes from a Fault-Tolerant Service by means of Distributed Diagnosis with Imperfect Fault CoverageAndré Postma, Gerie Hartman, Thijs Krol. edcc 1996: 385-402

Coverage of Transistor-Level and Gate-Level Stuck-at Faults in CMOS CheckersPeter Lidén, Peter Dahlgren. iscas 1995: 2124-2127

Coverage of Delay Faults: When 13 and 99 Mean the SameAndrzej Krasniewski, Leszek B. Wronski. edcc 1994: 178-195

A Method for Consistent Fault Coverage ReportingWarren H. Debany Jr., Kevin A. Kwiat, Sami A. Al-Arian. dt, 10(3):68-79, 1993. [doi]

The Total Delay Fault Model and Statistical Delay Fault CoverageEun Sei Park, M. Ray Mercer, Thomas W. Williams. TC, 41(6):688-698, 1992.

A Freely Available Wide Coverage Morphological Analyzer for EnglishDaniel Karp, Yves Schabes, Martin Zaidel, Dania Egedi. COLING 1992: 950-955 [doi]

Broad Coverage Automatic Morphological Segmentation of German WordsT. Pachunke, O. Mertineit, Klaus Wothke, Rudolf Schmidt. COLING 1992: 1218-1222 [doi]

Coverage masks and convolution tables for fast area samplingEugene Fiume. cvgip, 53(1):25-30, 1991. [doi]

Using functional fault simulation and the difference fault model to estimate implementation fault coverageGabriel M. Silberman, Ilan Y. Spillinger. tcad, 9(12):1335-1343, 1990. [doi]

Self-Checking Coverage of Components of a Distributed Real-Time SystemAndreas Damm. icftcs 1989: 308-319

In Defense of Coverage CriteriaElaine J. Weyuker. ICSE 1989: 361

Statistical Delay Fault Coverage and Defect Level for Delay FaultsEun Sei Park, Thomas W. Williams, M. Ray Mercer. itc 1988: 492-499

The Difference Fault Model : Using Functional Fault Simulation to Obtain Implementation Fault CoverageGabriel M. Silberman, Ilan Y. Spillinger. itc 1986: 332-339

runs on WebDSL