Keyword : reachability analysis

Signal Selection Methods for Debugging Gate-Level Sequential Circuits
Yusuke KIMURA Amir Masoud GHAREHBAGHI Masahiro FUJITA 
Publication:   
Publication Date: 2019/12/01
Vol. E102-A  No. 12 ; pp. 1770-1780
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: 
Keyword: 
logic debugging, engineering change order (ECO), sequential circuits, reachability analysis, 
 Summary | Full Text:PDF
Exact Cost Performance Analysis of Piecewise Affine Systems
Ravi GONDHALEKAR Jun-ichi IMURA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/11/01
Vol. E91-A  No. 11 ; pp. 3253-3260
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
piecewise affine system, performance analysis, reachability analysis, analytic geometry, 
 Summary | Full Text:PDF
On Reachability Analysis of Multi Agent Nets
Toshiyuki MIYAMOTO Masaki SAKAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/10/01
Vol. E90-A  No. 10 ; pp. 2257-2260
Type of Manuscript:  Special Section LETTER (Special Section on Nonlinear Theory and its Applications)
Category: Systems Theory and Control
Keyword: 
Petri nets, multi-agent, object-orientation, reachability analysis, 
 Summary | Full Text:PDF
A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol
Shin'ichi NAGANO Yoshiaki KAKUDA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4 ; pp. 596-604
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
communication protocol, responsiveness, verification, virtual system state, reachability analysis, 
 Summary | Full Text:PDF
Requirement Specification Acquisition of Communications Services
Akira TAKURA Yoshihiro UEDA Tsuneki HAIZUKA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1996/12/25
Vol. E79-D  No. 12 ; pp. 1716-1725
Type of Manuscript:  PAPER
Category: Artificial Intelligence and Cognitive Science
Keyword: 
requirements understanding, specification acquisition, hypothesis-based reasoning, reachability analysis, artificial intelligence and cognitive science, 
 Summary | Full Text:PDF
Reverse Engineering in Communication Protocol Design
Kenji OTOMO Noriyasu ARAKAWA Yutaka HIRAKAWA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1996/06/25
Vol. E79-B  No. 6 ; pp. 842-848
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
communications software, message sequence chart, reverse engineering, reachability analysis, specification, 
 Summary | Full Text:PDF
A Method of Composing Communication Protocols with Priority Service
Masahiro HIGUCHI Hiroyuki SEKI Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1032-1042
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
communication protocol, communicating sequential machines, safety property, verification, reachability analysis, 
 Summary | Full Text:PDF
A Test Case Generation Method for Black Box Testing of Concurrent Programs
Noriyasu ARAKAWA Terunao SONEOKA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1081-1089
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
test case generation, concurrent program, black-box testing, reachability analysis, 
 Summary | Full Text:PDF