María Alpuente - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged static analysis

Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. ProceedingsMaría Alpuente, Germán Vidal, editors, Volume 5079 of Lecture Notes in Computer Science, Springer, 2008.

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.

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]

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

Combining Static Concurrency Analysis with Symbolic ExecutionMichal Young, Richard N. Taylor. TSE, 14(10):1499-1511, 1988. [doi]

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

runs on WebDSL