Jan Vitek - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged static analysis

Using Static Analysis to Find BugsNathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William Pugh. IEEE Software, 25(5):22-29, 2008. [doi]

Radial spline collocation method for static analysis of beamsLai-Yun Wu, Lap-Loi Chung, Hsu-Hui Huang. amc, 201(1-2):184-199, 2008. [doi]

90 Perspiration: Engineering Static Analysis Techniques for Industrial ApplicationsPaul Anderson. SCAM 2008: 3-12 [doi]

Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, ProceedingsHanne Riis Nielson, Gilberto Filé, editors, Volume 4634 of Lecture Notes in Computer Science, Springer, 2007.

Extracting queries by static analysis of transparent persistenceBen Wiedermann, William R. Cook. POPL 2007: 199-210 [doi]

Why we need statistical static timing analysisCristiano Forzan, Davide Pandini. iccd 2007: 91-96 [doi]

A Framework for Static Analysis of VHDL CodeMarc Schlickling, Markus Pister. wcet 2007: [doi]

Integrated Static Analysis for Linux Device Driver VerificationHendrik Post, Wolfgang Küchlin. IFM 2007: 518-537 [doi]

Practical and Accurate Throughput Analysis with the Cyclo Static Dataflow ModelArno Moonen, Marco Bekooij, Rene van den Berg, Jef L. van Meerbergen. mascots 2007: 238-245 [doi]

Static Code AnalysisPanagiotis Louridas. IEEE Software, 23(4):58-61, 2006. [doi]

Improving your software using static analysis to find bugsBrian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William Pugh, Kristin Stephens. OOPSLA 2006: 673-674 [doi]

Static Analysis of a Model of the LDL Degradation PathwayHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson. Dagstuhl 2006: [doi]

Using Static Analysis to Reduce Dynamic Analysis OverheadSuan Hsi Yong, Susan Horwitz. fmsd, 27(3):313-334, 2005. [doi]

Towards the Integration of Symbolic and Numerical Static AnalysisArnaud Venet. vstte 2008: 227-236 [doi]

Link-time static analysis for efficient separate compilation of object-oriented languagesJean Privat, Roland Ducournau. PASTE 2005: 20-27 [doi]

Evaluating and tuning a static analysis to find null pointer bugsDavid Hovemeyer, Jaime Spacco, William Pugh. PASTE 2005: 13-19 [doi]

Static Timing Analysis of Irreversible Crosstalk Noise Pulse FaultsMarong Phadoongsidhi, Kewal K. Saluja. vlsid 2004: 437-442 [doi]

On the Performance Analysis of Space-Time Codes in Quasi-Static Rayleigh-Fading ChannelsM.-K. Byun, D. Park, B. G. Lee. TIT, 50(11):2865-2873, 2004.

On Static WCET Analysis vs. Run-Time Monitoring of Execution TimeCharles Cavanaugh. ipps 2004: [doi]

Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, ProceedingsRadhia Cousot, editor, Volume 2694 of Lecture Notes in Computer Science, Springer, 2003.

Static analysis of aspectsDamien Sereni, Oege de Moor. AOSD 2003: 30-39 [doi]

Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis ApproximationsTed Kremenek, Dawson R. Engler. SAS 2003: 295-315 [doi]

Neuro-finite element static analysis of structures by assembling elemental neuro-modelersAbdolreza Joghataie. eusflat 2003: 414-419 [doi]

Static Electromigration Analysis for Signal InterconnectsChanhee Oh, David Blaauw, Murat R. Becer, Vladimir Zolotov, Rajendran Panda, Aurobindo Dasgupta. isqed 2003: 377 [doi]

Hybrid Analysis: Static & Dynamic Memory Reference AnalysisSilvius Rus, Lawrence Rauchwerger, Jay Hoeflinger. ijpp, 31(4):251-283, 2003. [doi]

Integrity Static Analysis of COTS/SOUPPeter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones. safecomp 2003: 63-76 [doi]

Hypergraph Construction and its Application to the Static Analysis of Concurrent SystemsBarbara König. mscs, 12(2):149-175, 2002.

Hybrid analysis: static & dynamic memory reference analysisSilvius Rus, Lawrence Rauchwerger, Jay Hoeflinger. ics 2002: 274-284 [doi]

Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-CalculusRichard Kennaway, Zurab Khasidashvili, Adolfo Piperno. RTA 2002: 51-65 [doi]

Performance Analysis of Static RA Grouping to Reduce the Location Traffic in Wireless NetworksDongChun Lee. join, 2(1):131-146, 2001.

Static memory allocation by pointer analysis and coloringJianwen Zhu. date 2001: 785-790 [doi]

Static Analysis for Stack InspectionMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari. ENTCS, 54:69-80, 2001. [doi]

Slope Propagation in Static Timing AnalysisDavid Blaauw, Vladimir Zolotov, Savithri Sundareswaran, Chanhee Oh, Rajendran Panda. iccad 2000: 338-343

Static Analysis, 5th International Symposium, SAS 98, Pisa, Italy, September 14-16, 1998, ProceedingsGiorgio Levi, editor, Volume 1503 of Lecture Notes in Computer Science, Springer, 1998.

Static Analysis of Interaction Nets for Distributed ImplementationsIan Mackie. SAS 1997: 217-231

Static Analysis Yields Efficient Exact Integer Arithmetic for Computational GeometrySteven Fortune, Christopher J. Van Wyk. tog, 15(3):223-248, 1996. [doi]

On the Analysis of Petri Nets with Static PrioritiesFalko Bause. ACTA, 33(7):669-685, 1996.

Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract)Philip Wadler. iwmm 1995: 117

Static Analysis, First International Static Analysis Symposium, SAS 94, Namur, Belgium, September 28-30, 1994, ProceedingsBaudouin Le Charlier, editor, Volume 864 of Lecture Notes in Computer Science, Springer, 1994.

Static Analysis of PostScript CodeR. Nigel Horspool, Jan Vitek. Comp. Lang., Syst. \& Struct., 19(2):65-78, 1993.

Demonstration: Static Analysis of AKLDan Sahlin, Thomas Sjöland. SAS 1993: 282-283

Metric-Driven Reengineering for Static Concurrency AnalysisDavid L. Levine, Richard N. Taylor. ISSTA 1993: 40-50 [doi]

Static analysis of PostScript codeR. Nigel Horspool, Jan Vitek. iccl 1992: 14-23 [doi]

LILK - Static Analysis of REDUCE CodeBrian D. Brunswick. disco 1993: 35-43

Static and dynamic analysis of real-time systemsWael M. Elseaidy. ACMse 1992: 368-376 [doi]

Static force analysis of a three-cylindric robot using the theory of screwsGordon R. Pennock, Bilal Arif Oncu. ras, 9(4):201-211, 1992. [doi]

Static Inter-Module Analysis for Determining Processor Co-ResidencyCarole M. McNamee, Ronald A. Olsson. icpp 1992: 200-207

Static Analysis of Real-Time Distributed SystemsLeo Yuhsiang Liu, R. K. Shyamasundar. TSE, 16(4):373-388, 1990. [doi]

Static Analysis of Real-time Distributed SystemsLeo Yuhsiang Liu, R. K. Shyamasundar. ftrtft 1988: 134-138

Static Analysis of Concurrent Processes for Dynamic Properties Using Petri NetsOtthein Herzog. scc 1979: 66-90

runs on WebDSL