Articles with public access mandates - Jorge Sousa PintoLearn more
Available somewhere: 11
Logic-based schedulability analysis for compositional hard real-time embedded systems
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
ACM SIGBED Review 12 (1), 56-64, 2015
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
Testing for race conditions in distributed systems via SMT solving
JC Pereira, N Machado, J Sousa Pinto
International Conference on Tests and Proofs, 122-140, 2020
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
Studying verification conditions for imperative programs
CB Lourenço, SM Lamraoui, S Nakajima, JS Pinto
Electronic Communications of the EASST 72, 2015
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
A deductive reasoning approach for database applications using verification conditions
MI Alam, R Halder, JS Pinto
Journal of Systems and Software 175, 110903, 2021
Mandates: Department of Science & Technology, India, Fundação para a Ciência e a …
Monitoring for a Decidable Fragment of MTL
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
SMT-based Schedulability Analysis using RMTL-∫
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
ACM SIGBED Review 14 (3), 40-42, 2017
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
Formalizing single-assignment program verification: An adaptation-complete approach
C Belo Lourenço, MJ Frade, J Sousa Pinto
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
A generalized program verification workflow based on loop elimination and SA form
CB Lourenço, MJ Frade, JS Pinto
2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019
Mandates: Fundação para a Ciência e a Tecnologia, Portugal, Agence Nationale de la …
A generalized approach to verification condition generation
CB Lourenço, MJ Frade, S Nakajima, JS Pinto
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework.
MI Alam, R Halder, H Goswami, JS Pinto
ENASE, 359-366, 2018
Mandates: Department of Science & Technology, India
Real-time MTL with durations as SMT with applications to schedulability analysis
AM Pedro, M Leucker, D Pereira, JS Pinto
Institute of Electrical and Electronics Engineers (IEEE), 2020
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
Publication and funding information is determined automatically by a computer program