Yannis Smaragdakis - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged static analysis

Expressive and safe static reflection with MorphJShan Shan Huang, Yannis Smaragdakis. PLDI 2008: 79-89 [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 by abstract interpretation: application to the detection of heap overflowsXavier Allamigeon, Charles Hymans. virology, 4(1):5-23, 2008. [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.

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 Region Analysis for MercuryQuan Phan, Gerda Janssens. ICLP 2007: 317-332 [doi]

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

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

Statistical Static Timing Analysis Considering the Impact of Power Supply Noise in {VLSI} CircuitsHyun-Sung Kim, D. M. H. Walker. mtv 2006: 76-82 [doi]

Statically Safe Program Generation with SafeGenShan Shan Huang, David Zook, Yannis Smaragdakis. GPCE 2005: 309-326 [doi]

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

Static Analysis Symposium 2003Radhia Cousot. SCP, 58(1-2):1-2, 2005. [doi]

Static Noise Margin Analysis of Sub-threshold SRAM Cells in Deep Sub-micron TechnologyArmin Wellig, Julien Zory. patmos 2005: 488-497 [doi]

Efficient static timing analysis and applications using edge masksMike Hutton, David Karchmer, Bryan Archell, Jason Govig. fpga 2005: 174-183 [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]

Processor Pipelines and Their Properties for Static WCET AnalysisJakob Engblom, Bengt Jonsson. emsoft 2002: 334-348 [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

Static Timing Analysis Taking Crosstalk into AccountMatthias Ringe, Thomas Lindenkreuz, Erich Barke. date 2000: 451 [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.

Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code AnalysisPeter E. Obermayer, Joachim Schröer, Georg Schüer, Achilles Klimek, Peter Kompalla, Rudolf Landwehr. Ada-Europe 1994: 483-488

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.

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]

runs on WebDSL