Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P. N. Amey
Static Analysis of Ravenscar Programs
ACM SIGAda Ada Letters
Related publications
Static Analysis of Android Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reverse Engineering of Java Programs Through Static and Dynamic Analysis to Generate Scenario Diagrams
On the Analysis of Random Replacement Caches Using Static Probabilistic Timing Methods for Multi-Path Programs
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
Static Mapping of Functional Programs: An Example in Signal Processing
Scientific Programming
Computer Science Applications
Software
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Static Approach for Compiling Communications in Paranel Scientific Programs
Scientific Programming
Computer Science Applications
Software
Comparison of Various Static Rc Structural Computation Programs for Seismic Performance Evaluation
Journal of Structural and Construction Engineering
Building
Construction
Architecture
