トップページ  >  教員個別情報  >  発表論文
鈴木　正人 （SUZUKI, Masato）准教授
情報科学, 次世代デジタル社会基盤研究領域, 情報科学研究科

発表論文

13件
SDVerifier: A tool for verification of sequence diagrams using the process algebra CSP
Tomohiro Kaizu, Masato Suzuki, Yoshinao Isobe
Computer Software, 32, 234-252, 2015
Improving the quality of AspectJ application: Translating name-based pointcuts to analysis-based pointcuts
Lin Wang, Tomoyuki Aotani, Masato Suzuki
2014 14TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2014), 27-36, 2014
Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP
Tomohiro Kaizu, Yoshinao Isobe, Masato Suzuki
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E96A, 2, 495-504, 2013
Feature selection for clustering based aspect mining
Lin Wang, Tomoyuki Aotani, Masato Suzuki
VariComp 2013 - Proceedings of the 4th International Workshop on Variability and Composition, 7-11, 2013
Interaction awareness for aspect refactoring
Lin Wang, Tomoyuki Aotani, Masato Suzuki
AOAsia 2013: Proceedings of the 8th International Workshop on Advanced Modularization Techniques - AOAsia/Pacific, 15-17, 2013
A FRAMEWORK FOR PROTECTING EJB APPLICATIONS FROM MALICIOUS COMPONENTS
Hieu Dinh Vo, Masato Suzuki
ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL DISI, DISI, 264-269, 2008
An approach for specifying access control policy in J2EE applications
Hieu Dinh Vo, Masato Suzuki
Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 422-429, 2007
Incremental Software Development method based on Abstract Interpretation
N Yoshioka, M Suzuki, T Katayama
NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS, 126-134, 1998
A novel replication technique for detecting and masking failures for parallel software: Active parallel replication
A Cherif, M Suzuki, T Katayama
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E80D, 9, 886-892, 1997
An implementation of the FTAG model in concurrent ML
M Suzuki, T Katayama, RD Schlichting
PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 229-234, 1997
A replication technique based on a functional and attribute grammar computation model
A Cherif, M Suzuki, T Katayama
SEVENTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 266-273, 1996
IMPLEMENTING FAULT-TOLERANCE WITH AN ATTRIBUTE AND FUNCTIONAL BASED MODEL
M SUZUKI, T KATAYAMA, RD SCHLICHTING
FTCS-24 - THE TWENTY-FOURTH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 244-253, 1994
A formal model of re-execution in software process
Masato Suzuki, Atsushi Iwai, Takuya Katayama
Proceedings of the 2nd International Conference on the Software Process: Continuous Software Process Improvement, SPCON 1993, 84-99, 1993