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 debuggingengineering change order (ECO)sequential circuitsreachability 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 systemperformance analysisreachability analysisanalytic 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 netsmulti-agentobject-orientationreachability 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 protocolresponsivenessverificationvirtual system statereachability 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 understandingspecification acquisitionhypothesis-based reasoningreachability analysisartificial 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 softwaremessage sequence chartreverse engineeringreachability analysisspecification
 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 protocolcommunicating sequential machinessafety propertyverificationreachability 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 generationconcurrent programblack-box testingreachability analysis
 Summary | Full Text:PDF