( en | de | ru )

 

Disambiguation of "Tanabe, Yoshinori"

Author of the publication

copydeleteadd this publication to your clipboard
Software Model Checking of UDP-based Distributed Applications.

, , , , , and . CANDAR, page 96-105. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yoshinori Aso

 

Other publications of authors with the same name

Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications., , , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 350-365. Springer, (2011)Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers., , , , , , , , and . Softw. Test. Verification Reliab., (2020)Model-Based Testing for MQTT Applications., , and . JCKBSE, volume 19 of Learning and Analytics in Intelligent Systems, page 47-59. Springer, (2020)Introduction of Virtualization Technology to Multi-Process Model Checking., , , , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 106-110. (2009)Fixed-Point Computations over Functions on Integers with Operations min, max and plus., and . FICS, page 108-115. Institute of Cybernetics, (2009)A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus., , , , and . TABLEAUX, volume 3702 of Lecture Notes in Computer Science, page 277-291. Springer, (2005)Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification., , , and . VSTTE, volume 4171 of Lecture Notes in Computer Science, page 518-527. Springer, (2005)Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants., , , and . SUZA, volume 564 of IFIP Advances in Information and Communication Technology, page 89-98. Springer, (2019)Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project., , and . ECSA Workshops, page 32:1-32:6. ACM, (2015)Automated Detection of Respiratory Movements for Image Quality Assurance., and . J. Medical Imaging Health Informatics, 10 (7): 1473-1478 (2020)