Amanote Research
Register
Sign In
Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization
doi 10.1109/emsoft.2015.7318260
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2015
Authors
Xueguang Wu
Liqian Chen
Antoine Mine
Wei Dong
Ji Wang
Publisher
IEEE
Related search
Static Analysis of Android Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Static Analysis of Ravenscar Programs
ACM SIGAda Ada Letters
Numerical Modeling of Reinforced Concrete Structures: Static and Dynamic Analysis
Revista Escola de Minas
Materials Science
Waste Management
Petrology
Disposal
Geology
Geochemistry
Economic Geology
Numerical Analysis of Urea Decomposition With Static Mixers in Marine SCR System
Journal of Clean Energy Technologies
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Variational and Numerical Analysis of a Static Thermo-Electro-Elastic Problem With Friction
Mathematical Problems in Engineering
Mathematics
Engineering
Data-Driven Partitioning of Power Networks via Koopman Mode Analysis
IEEE Transactions on Power Systems
Electronic Engineering
Power Technology
Electrical
Energy Engineering
Reverse Engineering of Java Programs Through Static and Dynamic Analysis to Generate Scenario Diagrams
Seismic Assessment of Masonry Cross Vaults Through Numerical Nonlinear Static and Dynamic Analysis