Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Ru-San Tan
Maria Concetta Palumbo
Hyun-geun Byun
Yunyong Ko
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
TOSHIFUSA SEKIZAWA
Author Info
Open Visualization
Name
Affiliation
Papers
TOSHIFUSA SEKIZAWA
Osaka Univ, Grad Sch Informat Sci & Technol, 2-2 Yamadaoka, Suita, Osaka 5650871, Japan
11
Collaborators
Citations
PageRank
17
3
3.78
Referers
Referees
References
10
107
48
Search Limit
100
107
Publications (11 rows)
Collaborators (17 rows)
Referers (10 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model
0
0.34
2019
Consistency Checking Between Java Equals And Hashcode Methods Using Software Analysis Workbench
0
0.34
2019
Analysis of Specification in Japanese Using Natural Language Processing.
0
0.34
2018
Probabilistic Position Estimation And Model Checking For Resource-Constrained Iot Devices
0
0.34
2018
Towards Verification of Robot Design for Self-localization.
0
0.34
2017
Safety Verification Of Multiple Autonomous Systems By Formal Approach
0
0.34
2014
A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing
1
0.36
2013
Probabilistic Symmetry Reduction For A System With Ring Buffer
0
0.34
2011
Pre- And Post-Conditions Expressed In Variants Of The Modal Mu-Calculus
1
0.36
2009
Probabilistic Model Checking Of The One-Dimensional Ising Model
0
0.34
2009
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic
1
0.35
2008
1