Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mitsuharu Yamamoto
Model Checking of Concurrent Algorithms: From Java to C
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Verifying Networked Programs Using a Model Checker Extension
Related publications
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Real Time Java Using Java PathFinder
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Validation of Object-Oriented Concurrent Designs by Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Effective Stateless Model Checking for C/C++ Concurrency
Proceedings of the ACM on Programming Languages
Controllable Self-Checking Checkers for Conditional Concurrent Checking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Byte Code Verification for Java Smart Cards Based on Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Concurrent Quantum Protocols by Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
