Personal information
Activities
Education and qualifications (3)
Professional activities (1)
Funding (12)
Works (38)
cv-prod-id-1829980
2-s2.0-85075638537
2-s2.0-85079062203
cv-prod-id-1818866
2-s2.0-85028004115
2-s2.0-85013444377
cv-prod-id-906512
André de Matos Pedro, David Pereira, Luís Miguel Pinho, and Jorge Sousa Pinto. 2017. SMT-based schedulability analysis using RMTL-¿. SIGBED Rev. 14, 3 (November 2017), 40-42.
2-s2.0-84996483346
2-s2.0-85012929062
2-s2.0-85011650189
2-s2.0-84996490222
2-s2.0-84969257751
2-s2.0-84947911174
cv-prod-id-906513
cv-prod-id-906516
2-s2.0-84952918103
2-s2.0-84949883481
2-s2.0-84938689336
cv-prod-id-906518
A. M. Pedro, D. Pereira, L. M. Pinho, and J. S. Pinto. Logic-based schedulability analysis for compositional hard real-time embedded systems. In M. Behnam and G. Buttazzo, editors, Proceedings of the 6th International Workshop on Compositional Theory and
A. M. Pedro, D. Pereira, L. M. Pinho, and J. S. Pinto. Logic-based schedulability analysis for compositional hard real-time embedded systems. In M. Behnam and G. Buttazzo, editors, Proceedings of the 6th International Workshop on Compositional Theory and
2-s2.0-84950324017
2-s2.0-84949520365
2-s2.0-84960919182
cv-prod-id-906511
2-s2.0-84949489320
2-s2.0-84901660486
2-s2.0-84905508995
2-s2.0-84903629798
cv-prod-id-906517
cv-prod-id-906521
D. Pereira, A. Pedro, L. M. Pinho, and J. S. Pinto. Towards specification and verification frameworks for concurrent real-time systems. Poster presented at High Integrity Language Technology, ACM SIGAdas Annual International Conference (HILT2012), 2012.
D. Pereira, A. Pedro, L. M. Pinho, and J. S. Pinto. Towards specification and verification frameworks for concurrent real-time systems. Poster presented at High Integrity Language Technology, ACM SIGAda’s Annual International Conference (HILT’2012), 2012.