Vlad Rusu - 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]

Static Analysis Via Abstract Interpretation of the Happens-Before Memory ModelPietro Ferrara. tapsoft 2008: 116-133 [doi]

SAVE: static analysis on versioning entitiesBastian Braun. ICSE 2008: 25-32 [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]

Unleashing the Power of Static AnalysisManuvir Das. SAS 2006: 1-2 [doi]

Extracting a data flow analyser in constructive logicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. TCS, 342(1):56-78, 2005. [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 Analysis Symposium 2003Radhia Cousot. SCP, 58(1-2):1-2, 2005. [doi]

Extracting a Data Flow Analyser in Constructive LogicDavid Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu. ESOP 2004: 385-400 [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]

Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War StoryTobias Lindahl, Konstantinos F. Sagonas. aplas 2004: 91-106 [doi]

Static Analysis of the Frequency of ChangePeter Thiemann. gi 2004: 428-437

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]

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.

On the complexity analysis of static analysesDavid A. McAllester. JACM, 49(4):512-537, 2002. [doi]

Evaluating the precision of static reference analysis using profilingDonglin Liang, Maikel Pennings, Mary Jean Harrold. ISSTA 2002: 22-32 [doi]

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

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

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and AbstractionVlad Rusu, Eli Singerman. TACAS 1999: 178-192 [doi]

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 Yields Efficient Exact Integer Arithmetic for Computational GeometrySteven Fortune, Christopher J. Van Wyk. tog, 15(3):223-248, 1996. [doi]

Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical AssessmentAlfred Rosskopf. Ada-Europe 1996: 183-197

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

Undecidability of Static AnalysisWilliam Landi. loplas, 1(4):323-337, 1992.

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]

A petri net framework for automated static analysis of Ada tasking behaviorSol M. Shatz, Wing Kai Cheng. jss, 8(5):343-359, 1988. [doi]

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

runs on WebDSL