Similar Items: Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
- Program Logics for Homogeneous Generative Run-Time Meta-Programming
- Analysis of Timed and Long-Run Objectives for Markov Automata
- Time2Graph: Dual Embedding and Nested-Graph Transformation for Performance Enhancement in Time Series Classification
- Polygraphic programs and polynomial-time functions
- Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
- Type Region Model and Its Application in Program Static Detection