Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
static analysis
Papers
Design Optimization of Aircraft Fuel Tank by Finite Element Analysis
Yaragarla Vinod Kumar
and
S Shailesh Babu
EasyChair Preprint no. 5054
Advance Malware Analysis Using Static And Dynamic Methodology
Saurabh Chaudhary
EasyChair Preprint no. 3373
SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis
Zihan Zhou
,
Yan Xiong
,
Wenchao Huang
and
Lu Ma
EasyChair Preprint no. 3332
CWE Pattern Recognition Algorithm in Any-Language Source Code
Sergiu Zaharia
EasyChair Preprint no. 2147
An abstract domain for objects in dynamic programming languages
Vincenzo Arceri
,
Michele Pasqua
and
Isabella Mastroeni
EasyChair Preprint no. 1501
Analyzing JavaScript Programs Using Octagon Domain
Nabil Almashfi
and
Lunjin Lu
In
:
Proceedings of 34th International Conference on Computers and Their Applications
Automatic Space Bound Analysis for Functional Programs with Garbage Collection
Yue Niu
and
Jan Hoffmann
In
:
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Future Mechanism and Information Flow Security
Farzane Karami
,
Christian Johansen
,
Olaf Owe
and
Gerardo Schneider
EasyChair Preprint no. 499
A FOOLish Encoding of the Next State Relations of Imperative Programs
Evgenii Kotelnikov
,
Laura Kovács
and
Andrei Voronkov
EasyChair Preprint no. 98
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs
Nasrine Damouche
and
Matthieu Martel
In
:
Automated Formal Methods
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations
Antoine Miné
In
:
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation
Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs.
Rachid Rebiha
,
Nadir Matringe
and
Arnaldo Moura
In
:
SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Tropical linear programming and parametric mean payoff games
Stéphane Gaubert
,
Ricardo D. Katz
and
Sergei Sergeev
In
:
WING 2010. Workshop on Invariant Generation 2010
Loopfrog — loop summarization for static analysis
Daniel Kroening
,
Natasha Sharygina
,
Stefano Tonetta
,
Aliaksei Tsitovich
and
Christoph M. Wintersteiger
In
:
WING 2010. Workshop on Invariant Generation 2010
Copyright © 2012-2021 easychair.org. All rights reserved.