Home

  • LASIGE
    • News
    • About LASIGE
    • Mission
    • Organisation
    • Internationalisation
    • Innovation Ecosystem
    • Awards
    • Contacts
  • Research Lines
    • Accessibility and Ageing
    • Cyber‐Physical Systems
    • Data and Systems Intelligence
    • Health and Biomedical Informatics
    • Reliable Software Systems
    • Resilient Distributed and Networked Systems
  • Research Activity
    • Software and Tools
    • Projects
    • Publications
  • Members
    • Integrated Researchers
    • Phd Collaborators
    • Collaborators
    • PhD Students
    • MSc Students
    • Staff
    • Former Members
  • Open Positions
  • Events

You are here

Home » Home

Home

Primary tabs

  • Projects
  • Publications(active tab)
2015
Santos, C., F. Martins, and V. T. Vasconcelos, "Deductive Verification of Parallel Programs Using Why3", Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015., 2015.
  • Google Scholar
  • BibTex
2014
Marques, E. R. B., F. Martins, V. T. Vasconcelos, C. Santos, N. Ng, and N. Yoshida, Protocol-based verification of MPI programs, , 2014.
  • Google Scholar
  • BibTex
Vasconcelos, V. T., F. Martins, E. R. B. Marques, H. A. López, C. Santos, and N. Yoshida, Type-based verification of message-passing parallel programs, , 2014.
  • Google Scholar
  • BibTex
2013
Martins, N. Dias, C. Santos, E. R. B. Marques, F. Martins, and V. T. Vasconcelos, "Especificação e Verificação de Protocolos para Programas MPI", INFORUM, 2013.
  • Google Scholar
  • BibTex
Marques, E. R. B., F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida, Specification and Verification of Protocols for MPI Programs, , 2013.
  • Google Scholar
  • BibTex

LASIGE is supported by FCT, project UID/CEC/00408/2019

 

Member login

Copyright © 2019, . Theme by Devsaran.