• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 2,717 matches

• 2021
• 
  Jesús Correas, Pablo Gordillo, Guillermo Román-Díez:
  Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis. IEEE Access 9: 25495-25507 (2021)
• 
  Mithlesh Kumar, Banibrata Mukherjee, Siddhartha Sen:
  Analysis of static charge induced pull-in of an electrostatic MEMS. Commun. Nonlinear Sci. Numer. Simul. 96: 105690 (2021)
• 
  Sansit Patnaik, Sai Sidhardh, Fabio Semperlotti:
  Fractional-Order models for the static and dynamic analysis of nonlocal plates. Commun. Nonlinear Sci. Numer. Simul. 95: 105601 (2021)
• 
  Jia Yao, Yujia Huang, Jingwei Hu:
  Static Stability Analysis Based on Probabilistic Power Flow Calculation considering P2G Technology. Complex. 2021: 5536294:1-5536294:11 (2021)
• 
  Nizar Bel Hadj Ali, Ziyun Kan, Haijun Peng, Landolf Rhode-Barbarigos:
  On static analysis of tensile structures with sliding cables: the frictional sliding case. Eng. Comput. 37(2): 1429-1442 (2021)
• 
  Zhenduo Wang, Xingyu Chen, Xiaoyan Ning:
  BER Analysis of Integrated WFRFT-OTFS Waveform Framework Over Static Multipath Channels. IEEE Commun. Lett. 25(3): 754-758 (2021)
• 
  Zhongqi Cheng, Tim Schmidt, Rainer Dömer:
  Scaled Static Analysis and IP Reuse for Out-of-Order Parallel SystemC Simulation. Int. J. Parallel Program. 49(2): 200-215 (2021)
• 
  Cong Liu:
  A General Framework to Detect Design Patterns by Combining Static and Dynamic Analysis Techniques. Int. J. Softw. Eng. Knowl. Eng. 31(1): 21-54 (2021)
• 
  Sarunas Packevicius, Greta Rudzioniene, Eduardas Bareisa:
  Automated Visual Testing of Application User Interfaces Using Static Analysis of Screenshots. Int. J. Softw. Eng. Knowl. Eng. 31(2): 167-191 (2021)
• 
  Ismail Cantürk:
  Fuzzy recurrence plot-based analysis of dynamic and static spiral tests of Parkinson's disease patients. Neural Comput. Appl. 33(1): 349-360 (2021)
• 
  M. Ganesh, Anjan Kumar Dash, P. Venkitachalam, S. Shrinithi:
  Static Characteristic Analysis of Spatial (Non-Planar) Links in Planar Parallel Manipulator. Robotica 39(1): 88-106 (2021)
• 
  Katarzyna Filus, Pawel Boryszko, Joanna Domanska, Miltiadis G. Siavvas, Erol Gelenbe:
  Efficient Feature Selection for Static Analysis Vulnerability Prediction. Sensors 21(4): 1133 (2021)
• 
  Charalampos Marantos, Konstantinos Salapas, Lazaros Papadopoulos, Dimitrios Soudris:
  A Flexible Tool for Estimating Applications Performance and Energy Consumption Through Static Analysis. SN Comput. Sci. 2(1): 21 (2021)
• 
  Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto:
  Static analysis for discovering IoT vulnerabilities. Int. J. Softw. Tools Technol. Transf. 23(1): 71-88 (2021)
• 
  Sungjoong Kim, Seongkyu Yeom, Haengrok Oh, Dongil Shin, Dongkyoo Shin:
  Automatic Malicious Code Classification System through Static Analysis Using Machine Learning. Symmetry 13(1): 35 (2021)
• 
  Rong Gu, Zhiqiang Zuo, Xi Jiang, Han Yin, Zhaokang Wang, Linzhang Wang, Xuandong Li, Yihua Huang:
  Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation. IEEE Trans. Parallel Distributed Syst. 32(4): 867-883 (2021)
• 
  Derek Hwang, Vardhan Agarwal, Yuzi Lyu, Divyam Rana, Satya Ganesh Susarla, Adalbert Gerald Soosai Raj:
  A Qualitative Analysis of Lecture Videos and Student Feedback on Static Code Examples and Live Coding: A Case Study. ACE 2021: 147-157
• 
  Wei-Chieh Chao, Chung-Kuan Chen, Chen-Mou Cheng:
  Cryfind: Using Static Analysis to Identify Cryptographic Algorithms in Binary Executables. DSC 2021: 1-2
• 
  Matteo Maffei:
  Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. ICISSP 2021: 7
• 
  Alexander Trautsch, Steffen Herbold, Jens Grabowski:
  A Longitudinal Study of Static Analysis Warning Evolution and the Effects of PMD on Software Quality in Apache Open Source Projects. Software Engineering 2021: 107-108
• 
  Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau:
  Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. VaMoS 2021: 17:1-17:9
• 
  Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi:
  Twinning Automata and Regular Expressions for String Static Analysis. VMCAI 2021: 267-290
• 
  Wenhao Fan, Liang Zhao, Jiayang Wang, Ye Chen, Fan Wu, Yuan'an Liu:
  FamDroid: Learning-Based Android Malware Family Classification Using Static Analysis. CoRR abs/2101.03965 (2021)
• 
  Clara Schneidewind, Markus Scherer, Matteo Maffei:
  The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. CoRR abs/2101.05735 (2021)
• 
  Valentina Lenarduzzi, Savanna Lujan, Nyyti Saarimäki, Fabio Palomba:
  A Critical Comparison on Six Static Analysis Tools: Detection, Agreement, and Precision. CoRR abs/2101.08832 (2021)
• 
  Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey:
  Static Analysis of Quantum Programs via Gottesman Types. CoRR abs/2101.08939 (2021)
• 
  Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, Denys Poshyvanyk:
  μSE: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android. CoRR abs/2102.06823 (2021)
• 
  Amit Seal Ami, Kaushal Kafle, Kevin Moran, Adwait Nadkarni, Denys Poshyvanyk:
  Systematic Mutation-based Evaluation of the Soundness of Security-focused Android Static Analysis Techniques. CoRR abs/2102.06829 (2021)
• 
  Anh Nguyen-Duc, Manh Viet Do, Quan Luong Hong, Kiem Nguyen Khac:
  On the combination of static analysis for software security assessment - a case study of an open-source e-government project. CoRR abs/2103.08010 (2021)
• 
  Khashayar Etemadi, Nicolas Harrand, Simon Larsen, Haris Adzemovic, Henry Luong Phu, Ashutosh Verma, Fernanda Madeiral, Douglas Wikström, Martin Monperrus:
  Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations. CoRR abs/2103.12033 (2021)

skipping 2,687 more matches