Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bernd Burgstaller
Symbolic Reaching Definitions Analysis of Ada Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Requirements Analysis for Large Ada Programs: Lessons Learned on CCPDS- R
Dynamic Analysis of Programs With Graphical User Interface Based on Symbolic Execution
Proceedings of the Institute for System Programming of the RAS
Symbolic Conditioning of Arrays in Probabilistic Programs
Proceedings of the ACM on Programming Languages
Recursive Programs as Definitions in First-Order Logic
SIAM Journal on Computing
Mathematics
Computer Science
Loop-Level Parallelism in Numeric and Symbolic Programs
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
SEDGE: Symbolic Example Data Generation for Dataflow Programs
Runtime Exception Detection in Java Programs Using Symbolic Execution
Acta Cybernetica
Electronic Engineering
Information Systems
Pattern Recognition
Management Science
Computer Vision
Management
Electrical
Computer Science
Mathematics
Computational Theory
Theoretical Computer Science
Operations Research
Software
Finding Errors in Python Programs Using Dynamic Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ada Unseen // Invisible Ada
Ecozon@: European Journal of Literature, Culture and Environment
