Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2024/05/01 Vol. E107-ANo. 5pp. 786-792 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: interdependent networks, cascading failures, satisfiability, integer programming, critical entities,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2020/08/01 Vol. E103-DNo. 8pp. 1794-1805 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: model checking, program slicing, automotive control systems, SPIN model checker,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2020/06/01 Vol. E103-DNo. 6pp. 1309-1318 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: requirements analysis, goal models, interactive tools,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2018/07/01 Vol. E101-ANo. 7pp. 1074-1082 Type of Manuscript: PAPER Category: Graphs and Networks Keyword: power distribution systems, SCADA network, aggregation point,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2018/06/01 Vol. E101-DNo. 6pp. 1466-1466 Type of Manuscript: FOREWORD Category: Keyword:
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2016/09/01 Vol. E99-DNo. 9pp. 2229-2238 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: pair-wise testing, constraints, linguistic approach, collective intelligence,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/02/01 Vol. E97-DNo. 2pp. 344-348 Type of Manuscript: LETTER Category: Information Network Keyword: time-triggered systems, faults, membership,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/09/01 Vol. E95-ANo. 9pp. 1501-1505 Type of Manuscript: Special Section LETTER (Special Section on Software Reliability Engineering) Category: Keyword: SAT, software testing, pairwise testing, test set generation, constraints,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/06/01 Vol. E93-DNo. 6pp. 1540-1548 Type of Manuscript: PAPER Category: Information Network Keyword: P2P application, overlay network, proximity, distributed algorithm,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/12/01 Vol. E86-DNo. 12pp. 2579-2587 Type of Manuscript: Special Section PAPER (Special Issue on Dependable Computing) Category: Dependable Communication Keyword: bounded model checking, SAT, feature interaction,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/12/01 Vol. E85-ANo. 12pp. 2946-2949 Type of Manuscript: LETTER Category: Algorithms and Data Structures Keyword: factor covering design, software testing, finite field,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/11/01 Vol. E85-ANo. 11pp. 2414-2425 Type of Manuscript: Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems) Category: Keyword: symbolic model checking, fault tolerance, SMV, concurrent system, guarded command,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1997/01/25 Vol. E80-DNo. 1pp. 3-9 Type of Manuscript: Special Section PAPER (Special Issue on Fault-Tolerant Computing) Category: Distributed Systems Keyword: distributed system, distributed programs, reliability, 3-mode failure, file spanning tree,