Searching for authors named Teruo Higashino – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

34 documents found, showing 1 through 10. Next 10 →

Deriving Parameter Conditions For Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas
by Akio Nakata, Teruo Higashino — 2001 — Proc. of 21st IFIP Int’l .Conf. on Formal Techniques for Networked and Distributed Systems (FORTE2001
… FORMULAS # Akio Nakata and Teruo Higashino Dept. of Informatics and Mathematical Science…
Cited by 3 (3 self) – Add To MetaCart

Certification of Secure Encounter History Among Low Power Mobile Sensors
by Takurou Sakai, Akira Uchiyama, Yoshitaka Nakamura, Teruo Higashino, Takurou Sakai, Akira Uchiyama, Teruo Higashino, Takurou Sakai, Akira Uchiyama, Yoshitaka Nakamura, Teruo Higashino
… Uchiyama, Yoshitaka Nakamura and Teruo Higashino Abstract In this paper, we propose a technique…
Add To MetaCart

Design and Implementation of an Efficient I/O Method for a Real-time User Level Thread Library
by Kota Abe, Toshio Matsuura, Keiichi Yasumoto, Teruo HIGASHINO — 1998 — In Proc. IEEE 5th Int. Workshop on Real-Time Computing Systems and Applications (RTCSA’98
… Kota ABE Toshio MATSUURA Keiichi YASUMOTO Teruo HIGASHINO Media Center Faculty of Economics Graduate…
Cited by 2 (1 self) – Add To MetaCart

Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers
by Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi — 1995 — Proc. ICDCS-15
… with Registers Hirozumi Yamaguchi Kozo Okano Teruo Higashino Kenichi Taniguchi Department of Information…
Cited by 8 (5 self) – Add To MetaCart

Hardware synthesis from protocol specifications in LOTOS
by Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi — 1998 — In Proc. 1998 IFIP Joint Intl. Conf. on Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE/PSTV’98
… , Teruo Higashino 2 , and Kenichi Taniguchi 2 1Dept. of Information Processing and Management, Shiga Univ…
Cited by 4 (2 self) – Add To MetaCart

Protocol Synthesis from Time Petri Net Based Service Specifications
by Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi — 1997 — Proc. of 1997 Int. Conf. on Parallel and Distributed Systems (ICPADS'97
… Teruo Higashino Kenichi Taniguchi Department of Information and Computer Sciences Osaka University…
Cited by 5 (4 self) – Add To MetaCart

Protocol Synthesis from Timed and Structured Specifications
by Akio Nakata, Teruo Higashino, Kenichi Taniguchi — 1995 — Proc. of 1995 Int. Conf. on Network Protocols (ICNP'95
…Protocol Synthesis from Timed and Structured Specifications Akio Nakata Teruo Higashino Kenichi…
Cited by 7 (3 self) – Add To MetaCart

Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters
by Teruo Higashino, Gregor V. Bochmann — 1994 — IEEE Trans. on Software Eng
… Parameters * Teruo Higashino and Gregor v. Bochmann 30th November 1992 : Department of Information…
Cited by 7 (0 self) – Add To MetaCart

Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence
by Akio Nakata, Teruo Higashino, Kenichi Taniguchi — 1996 — in Proc. of Joint Int'l Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'96
… Equivalence Akio Nakata, Teruo Higashino, and Kenichi Taniguchi Department of Information and Computer…
Cited by 3 (3 self) – Add To MetaCart

Protocol Visualization using LOTOS Multi-Rendezvous Mechanism
by Keiichi Yasumoto, Teruo Higashino, Toshio Matsuura, Kenichi Taniguchi — 1995
…Protocol Visualization using LOTOS Multi-Rendezvous Mechanism Keiichi Yasumoto y Teruo Higashino…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB