DYANA: An Environment for Embedded System Design and Analysis
No abstract available.
Related papers
- Field level analysis for heap space optimization in embedded java environments ISMM 2004
- Secure Scripting with CHERIoT MicroPython CC 2025
- Prototyping a Real-Time Embedded System in Smalltalk OOPSLA 1989
- Automatically enforcing fresh and consistent inputs in intermittent systems PLDI 2021
- Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC TOPLAS 2023
- Rewriting a shallow DSL using a GHC compiler extension GPCE 2017
- Weaving concurrency in executable domain-specific modeling languages SLE 2015
- WCET-aware static locking of instruction caches CGO 2012