Browsing by Author Pinho,LM
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) |
2014 | A Compositional Monitoring Framework for Hard Real-Time Systems | Pedro,AD; Pereira,D; Pinho,LM; Jorge Sousa Pinto |
2015 | Logic-based schedulability analysis for compositional hard real-time embedded systems | Pedro,AdM; Pereira,D; Pinho,LM; Jorge Sousa Pinto |
2015 | Monitoring for a Decidable Fragment of MTL-integral | Pedro,AD; Pereira,D; Pinho,LM; Jorge Sousa Pinto |
2017 | SMT-based schedulability analysis using RMTL-? | Matos Pedro,Ad; Pereira,D; Pinho,LM; Jorge Sousa Pinto |
2014 | Towards a Runtime Verification Framework for the Ada Programming Language | Pedro,AD; Pereira,D; Pinho,LM; Jorge Sousa Pinto |