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