Luís Pedro Félix Ferreirinha

mr. Luís Pedro Félix Ferreirinha, MSc

 https://orcid.org/0009-0002-1295-2079

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Research

Researching Formal Methods for Software Verification.

Interests:

  • Type Theory
  • Model Checking

Academic qualification

Physics, Bachelor, University of Lisbon

Computer Science, Master, University of Lisbon

Keywords

  • QA75 Electronic computers. Computer science
  • Formal Verification

Fingerprint

Dive into the research topics where Luís Pedro Félix Ferreirinha is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

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
Explore network further
  • 1 Conference contribution

  • On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs

    Ferreirinha, L. & Medeiros, I., 2024, Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024. Kaindl, H., Kaindl, H., Kaindl, H., Mannion, M., Maciaszek, L. & Maciaszek, L. (eds.). Science and Technology Publications, Lda, p. 719-726 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review