17 results on '"Matos Pedro, André"'
Search Results
2. Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
3. Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
4. Runtime verification of autopilot systems using a fragment of MTL-∫
5. Monitoring for a Decidable Fragment of MTL-
6. Towards a Runtime Verification Framework for the Ada Programming Language
7. A Compositional Monitoring Framework for Hard Real-Time Systems
8. Learning Stochastic Timed Automata from Sample Executions
9. Monitoring for a Decidable Fragment of MTL- $$\int $$
10. Towards a Runtime Verification Framework for the Ada Programming Language
11. Learning Stochastic Timed Automata from Sample Executions
12. SMT-based schedulability analysis using RMTL-∫
13. Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫
14. Logic-based schedulability analysis for compositional hard real-time embedded systems
15. Monitoring for a Decidable Fragment of MTL- $\INT$.
16. SMT-based schedulability analysis using RMTL-∫.
17. Implementation of Task Types in AVR-Ada.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.