Publications

Export 11 results:
Filters: Author is Yoshida, Nobuko  [Clear All Filters]
2017
Vasconcelos, V. T., F. Martins, E. R. B. Marques, N. Yoshida, and N. Ng, "Deductive Verification of MPI Protocols", Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
Gay, S., V. T. Vasconcelos, P. Wadler, and N. Yoshida, "Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)", Dagstuhl Reports, vol. 7, no. 1: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
2014
Marques, E. R. B., F. Martins, V. T. Vasconcelos, C. Santos, N. Ng, and N. Yoshida, Protocol-based verification of MPI programs, , 2014.
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.
2013
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.
2012
Honda, K., E. R. B. Marques, F. Martins, N. Ng, V. T. Vasconcelos, and N. Yoshida, "Verification of MPI programs using session types", Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.
2010
Vasconcelos, V. T., M. Giunti, N. Yoshida, and K. Honda, "Type safety without subject reduction for session types", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.
2009
Yoshida, N., V. T. Vasconcelos, H. Paulino, and K. Honda, "Session-based compilation framework for multicore programming", Formal Methods for Components and Objects: Springer Berlin Heidelberg, pp. 226–246, 2009.
Giunti, M., K. Honda, V. T. Vasconcelos, and N. Yoshida, "Session-based type discipline for pi calculus with matching", In the preproceedings of PLACES, vol. 9, 2009.
Honda, K., V. T. Vasconcelos, and N. Yoshida, "Type-directed compilation for multicore programming", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 101–111, 2009.
2007
Yoshida, N., and V. T. Vasconcelos, "Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication", Electronic Notes in Theoretical Computer Science, vol. 171, no. 4: Elsevier, pp. 73–93, 2007.