Research output per year
Research output per year
Personal profile
Education/Academic qualification
Computer Science, Doctorate
Award Date: 10 Dec 2018
Fingerprint
Dive into the research topics where Mário José Parreira Pereira is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable
Barroso, P., Pereira, M. & Ravara, A., 1 Feb 2023, Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers. Lal, A. & Tonetta, S. (eds.). Cham: Springer, p. 20-32 13 p. (Lecture Notes in Computer Science; vol. 13800).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols
Gondelman, L., Hinrichsen, J. K., Pereira, M., Timany, A. & Birkedal, L., 30 Aug 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, p. 847-877 31 p., 217.Research output: Contribution to journal › Article › peer-review
Open AccessFile4 Citations (Scopus)31 Downloads (Pure) -
Cameleer: A Deductive Verification Tool for OCaml
Pereira, M. & Ravara, A., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Cham: Springer, p. 677-689 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12760 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access4 Citations (Scopus) -
Animated logic: Correct functional conversion to conjunctive normal form
Barroso, P., Pereira, M. & Ravara, A., 2020, In: CEUR Workshop Proceedings. 2752, p. 1-20 20 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 Citation (Scopus)34 Downloads (Pure) -
A tool for proving Michelson Smart Contracts in WHY3
Arrojado Da Horta, L. P., Santos Reis, J., De Sousa, S. M. & Pereira, M., Nov 2020, Proceedings - 2020 IEEE International Conference on Blockchain, Blockchain 2020. Institute of Electrical and Electronics Engineers (IEEE), p. 409-414 6 p. 9284726Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
6 Citations (Scopus)