Tetsuro Katayama
According to our database1,
Tetsuro Katayama
authored at least 79 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
2
3
5
4
2
4
2
4
8
4
1
1
1
1
2
5
4
5
1
2
3
2
1
1
2
1
1
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
RAGESS: A Tool for Real-time Automatic Generation of SwiftDiagram to Support iOS Application Development.
J. Robotics Netw. Artif. Life, 2024
J. Robotics Netw. Artif. Life, 2024
2023
Artif. Life Robotics, November, 2023
Artif. Life Robotics, November, 2023
Analysis of Self Determination Factors for Continuance Intention on Online Learning Management System.
J. Robotics Netw. Artif. Life, 2023
2022
J. Robotics Netw. Artif. Life, 2022
J. Robotics Netw. Artif. Life, 2022
Expansion of Application Scope and Addition of a Function for Operations into BWDM which is an Automatic Test Cases Generation Tool for VDM++ Specification.
J. Robotics Netw. Artif. Life, 2022
Artif. Life Robotics, 2022
Artif. Life Robotics, 2022
Proceedings of the 2022 27th OptoElectronics and Communications Conference (OECC) and 2022 International Conference on Photonics in Switching and Computing (PSC), 2022
2021
Measuring Test Suite Reusability Based on the Usage Frequency and Coverage of Reused Test Cases.
J. Robotics Netw. Artif. Life, 2021
Measuring Redundancy Score for Test Suite Evaluation by Using Test Cases Matching Approach.
J. Robotics Netw. Artif. Life, 2021
J. Robotics Netw. Artif. Life, 2021
Proceedings of the 3rd IEEE Global Conference on Life Sciences and Technologies, 2021
Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021
2020
Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification.
J. Robotics Netw. Artif. Life, 2020
Int. J. Grid Util. Comput., 2020
Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning.
Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020
Code Coverage Similarity Measurement Using Machine Learning for Test Cases Minimization.
Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020
Tree-based Keyword Search Algorithm over the Visual Paradigm's Class Diagram XML to Abstracting Class Information.
Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020
Identification of Manual Alphabets Based Gestures Using s-EMG for Realizing User Authentication.
Proceedings of the Advances in Internet, 2020
Evaluation of Yubimoji Based Gestures for Realizing User Authentication Method Using s-EMG.
Proceedings of the Web, Artificial Intelligence and Network Applications, 2020
2019
Implementation of Arduino Simulator ADVIS Visualizing the Value of Voltage on the Circuit.
J. Robotics Netw. Artif. Life, 2019
J. Robotics Netw. Artif. Life, 2019
Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification.
J. Robotics Netw. Artif. Life, 2019
Use of access characteristics to distinguish legitimate user traffic from DDoS attack traffic.
Artif. Life Robotics, 2019
State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing.
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019
Evaluation of Manual Alphabets Based Gestures for a User Authentication Method Using s-EMG.
Proceedings of the Advances in Networked-based Information Systems, 2019
Blockchain-Based Malware Detection Method Using Shared Signatures of Suspected Malware Files.
Proceedings of the Advances in Networked-based Information Systems, 2019
Introduction of Fingerspelling for Realizing a User Authentication Method Using s-EMG.
Proceedings of the Web, Artificial Intelligence and Network Applications, 2019
2018
RETUSS: Ensuring Traceability System between Class Diagram in UML and Java Source Code in Real Time.
J. Robotics Netw. Artif. Life, 2018
On applying support vector machines to a user authentication method using surface electromyogram signals.
Artif. Life Robotics, 2018
Evaluation of User Identification Methods for Realizing an Authentication System Using s-EMG.
Proceedings of the Advances in Network-Based Information Systems, 2018
Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018
Proceedings of the Advances in Internet, 2018
A Study on a User Identification Method Using Dynamic Time Warping to Realize an Authentication System by s-EMG.
Proceedings of the Advances in Internet, 2018
Proceedings of the Advances in Internet, 2018
2017
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example.
J. Robotics Netw. Artif. Life, 2017
BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++.
J. Robotics Netw. Artif. Life, 2017
Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA.
J. Robotics Netw. Artif. Life, 2017
Evaluation of feature values of surface electromyograms for user authentication on mobile devices.
Artif. Life Robotics, 2017
Proceedings of the Advances in Network-Based Information Systems, 2017
2016
Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016
Automated lung nodule classification by artificial neural network and fuzzy inference system.
Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016
2015
An Authentication Method Independent of Tap Operation on the Touchscreen of a Mobile Device.
J. Robotics Netw. Artif. Life, 2015
J. Robotics Netw. Artif. Life, 2015
J. Robotics Netw. Artif. Life, 2015
J. Robotics Netw. Artif. Life, 2015
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows.
J. Robotics Netw. Artif. Life, 2015
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs.
J. Robotics Netw. Artif. Life, 2015
Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA.
J. Robotics Netw. Artif. Life, 2015
J. Robotics Netw. Artif. Life, 2015
2014
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems.
J. Robotics Netw. Artif. Life, 2014
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification.
J. Robotics Netw. Artif. Life, 2014
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs.
J. Robotics Netw. Artif. Life, 2014
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net.
J. Robotics Netw. Artif. Life, 2014
2013
A Conversion Method from an ETSC to a Timed Petri Net to Improve the Matrix-based Discrete Event Controller and its Unified Support System.
Proceedings of the 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2011
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.
IEICE Trans. Inf. Syst., 2011
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.
Proceedings of the International Conference on Computational Science and Its Applications, 2011
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
2010
Model Checking of Software Design in State Transition Matrix.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010
2007
Implementation and Evaluation of an Automatic Visualization Tool "PGT" for Programming Education.
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007
2005
IEICE Trans. Inf. Syst., 2005
Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers.
Proceedings of the IASTED International Conference on Software Engineering, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
2002
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML.
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002
2000
J. Supercomput., 2000
Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
1999
Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
Generating a Device Driver with a Formal Specification Language.
Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999
1998
Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998
1997
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997
1996
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996
1995
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995