Kenichi Taniguchi

60 papers A* 2A 5B 10C 7Journal 22Unranked 12
YearRankTypeTitle / Venue / Authors
2006 J jnl
Symbolic model checking of extended finite state machines with linear constraints over integer variables.
Syst. Comput. Jpn.
Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
2004 A conf
An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree.
ICDCS
Hirozumi Yamaguchi, Akihito Hiromori, Teruo Higashino, Kenichi Taniguchi
2004 B conf
Cost-conscious geographic multicast on MANET.
SECON
Akira Mizumoto, Hirozumi Yamaguchi, Kenichi Taniguchi
2003 — conf
A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications.
ICDCS Workshops
Hirozumi Yamaguchi, Cao Man Letan, Akihito Hiromori, Takeshi Yamashita, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2003 A conf
On designing end-user multicast for multiple video sources.
ICME
Yoshitaka Nakamura, Hirozumi Yamaguchi, Akihito Hiromori, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2003 B conf
Reducing the Size of Routing Tables for Large-scale Network Simulation.
PADS
Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2002 — conf
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.
FME
Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi
2002 B conf
A Selection Technique for Replicated Multicast Video Servers.
ICPP
Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2001 J jnl
A compiler to implement LOTOS specifications in distributed environments.
Comput. Networks
Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2001 — conf
Formal Verification of CPU in Laboratory Work.
MSE
Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
2000 A conf
Extension of SMIL with QoS Control and its Implementation.
IEEE International Conference on Multimedia and Expo (III)
Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi
2000 — conf
Fast and Optimal Multicast-Server Selection Based on Receivers' Preference.
IDMS
Akihito Hiromori, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2000 C conf
Hardware implementation of Concurrent Periodic EFSM's.
FORTE
Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
2000 A* conf
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.
DAC
Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
1999 — conf
Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.
ASP-DAC
Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi
1999 — conf
Generating Test Cases for a Timed I/O Automaton Model.
IWTCS
Teruo Higashino, Akio Nakata, Kenichi Taniguchi, Ana R. Cavalli
1999 B conf
Receiver-Cooperative Bandwidth Management for Layered Multicast.
ICNP
Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
1999 — conf
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.
ICPP Workshops
Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi
1998 C conf
Hardware synthesis from protocol specifications in LOTOS.
FORTE
Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
1998 B conf
Protocol Synthesis from Context-Free Processes Using Event Structures.
RTCSA
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1998 B conf
Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application.
ICNP
Hiroharu Sakate, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
1997 C conf
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks.
FORTE
Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi
1997 B conf
Protocol Synthesis from Time Petri Net Based Service Specification.
ICPADS
Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
1996 J jnl
Proof method for correctness of refinements of algebraic specification in abstract sequential machine style.
Syst. Comput. Jpn.
Kozo Okano, Teruo Higashino, Kenichi Taniguchi
1996 C conf
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.
FORTE
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1995 C conf
A LOTOS Compiler Generating Multi-threaded Object Codes.
FORTE
Keiichi Yasumoto, Teruo Higashino, Kota Abe, Toshio Matsuura, Kenichi Taniguchi
1995 B conf
Protocol synthesis from timed and structured specifications.
ICNP
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1995 B conf
Protocol visualization using LOTOS multi-rendezvous mechanism.
ICNP
Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi
1995 A conf
Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.
ICDCS
Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
1995 C conf
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.
FORTE
Teruo Higashino, Akio Nakata, Tatsuo Itoh, Kenichi Taniguchi
1994 — conf
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.
TPCD
Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi
1994 — conf
Hardware synthesis from a restricted class of LOTOS expressions.
PSTV
Teruo Higashino, Keiichi Yasumoto, Junji Kitamichi, Kenichi Taniguchi
1994 A* conf
Software Process Description Using LOTOS and Its Enaction.
ICSE
Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
1993 J jnl
A graph editor for large trees with browsing and zooming capabilities.
Syst. Comput. Jpn.
Toshio Matsuura, Kenichi Taniguchi, Sumio Masuda, Tohru Nakamura
1993 A conf
Deriving Protocol Specifications from Service Specifications in Extended FSM Models.
ICDCS
Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi
1993 C conf
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic.
FORTE
Akio Nakata, Teruo Higashino, Kenichi Taniguchi
1992 J jnl
ASL program written in abstract sequential machine style and its compiler.
Syst. Comput. Jpn.
Masahiro Ooashi, Kenichi Taniguchi, Yuji Sugiyama
1992 — conf
Test System for a Restricted Class of LOTOS Expressions with Data Parameters.
Protocol Test Systems
Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi
1992 — conf
VTM: A Graph Editor for Large Trees.
IFIP Congress (1)
Toshio Matsuura, Tohru Nakamura, Teruo Higashino, Kenichi Taniguchi, Sumio Masuda
1991 — ch.
An Algebraic Method For Verifying Progress Property of Communication Protocols.
Software Science and Engineering
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
1991 — ch.
On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/.
Software Science and Engineering
Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
1990 J jnl
A Support System for Constructing Rule Base for Speech Synthesis by Rule. Automatic Extraction of Synthesis Rules.
Syst. Comput. Jpn.
Yoichi Yamashita, Riichiro Mizoguchi, Osamu Kakusho, Kenichi Taniguchi, Masuzo Yanagida
1989 — conf
Automated Verification of Equivalence of Protocol Machines.
PSTV
Teruo Higashino, Kiyoshi Ninomiya, Tomohisa Kimoto, Kenichi Taniguchi, Masaaki Mori
1989 J jnl
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.
Syst. Comput. Jpn.
Teruo Higashino, Mamoru Fujii, Kenichi Taniguchi, Tadao Kasami, Masaaki Mori
1987 J jnl
Decision problem concerning security for cryptographic protocols.
Syst. Comput. Jpn.
Toru Fujiwara, Kenichi Taniguchi, Tadao Kasami
1987 J jnl
Principles of algebraic language ASL.
Syst. Comput. Jpn.
Tadao Kasami, Kenichi Taniguchi, Yuji Sugiyama, Hiroyuki Seki
1987 J jnl
Verification of progress property of algebraically specified communication protocols.
Syst. Comput. Jpn.
Teruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori
1986 J jnl
Compiling and Optimizing Methods for the Functional Language ASL/F.
Sci. Comput. Program.
Katsuro Inoue, Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
1986 J jnl
Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions.
Theor. Comput. Sci.
Ichiro Suzuki, Y. Motohashi, Kenichi Taniguchi, Tadao Kasami, Tatsuaki Okamoto
1985 J jnl
Optimization of functional language ASL/F programs.
Syst. Comput. Jpn.
Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami
1984 J jnl
An Algebraic Specification of HDLC Procedures and Its Verification.
IEEE Trans. Software Eng.
Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami
1984 J jnl
Membership Problems for Data Dependencies in Relational Expressions.
Theor. Comput. Sci.
Minoru Ito, Motoaki Iwasaki, Kenichi Taniguchi, Tadao Kasami
1983 J jnl
Membership Problem for Embedded Multivalued Dependencies under some Restricted Conditions.
Theor. Comput. Sci.
Minoru Ito, Kenichi Taniguchi, Tadao Kasami
1979 J jnl
Decision Problems for Multivalued Dependencies in Relational Databases.
SIAM J. Comput.
Kenichi Hagihara, Minoru Ito, Kenichi Taniguchi, Tadao Kasami
1979 B conf
On equivalence of safe Petri nets.
FCT
Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami
1976 J jnl
A Result on the Equivalence Problem for Deterministic Pushdown Automata.
J. Comput. Syst. Sci.
Kenichi Taniguchi, Tadao Kasami
1976 J jnl
An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts.
Acta Informatica
Kenichi Taniguchi, Tadao Kasami
1970 J jnl
Reduction of Context-Free Grammars
Inf. Control.
Kenichi Taniguchi, Tadao Kasami
1969 J jnl
A Note on Computing Time for the Recognition of Context-Free Languages by a Single-Tape Turing Machine
Inf. Control.
Kenichi Taniguchi, Tadao Kasami
1967 J jnl
A search procedure for finding optimum group codes for the binary symmetric channel.
IEEE Trans. Inf. Theory
Nobuki Tokura, Kenichi Taniguchi, Tadao Kasami