| 2009 |
|---|
| 105 | EE | Yuki Sakai,
Akihito Hiromori,
Hirozumi Yamaguchi,
Khaled El-Fakih,
Teruo Higashino:
An integrated tool for development of overlay services.
SimuTools 2009: 61 |
| 104 | EE | Kumiko Maeda,
Akira Uchiyama,
Takaaki Umedu,
Hirozumi Yamaguchi,
Keiichi Yasumoto,
Teruo Higashino:
Urban pedestrian mobility for mobile wireless network simulation.
Ad Hoc Networks 7(1): 153-170 (2009) |
| 2008 |
|---|
| 103 | | Kenji Suzuki,
Teruo Higashino,
Andreas Ulrich,
Toru Hasegawa:
Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings
Springer 2008 |
| 102 | | Kenji Suzuki,
Teruo Higashino,
Keiichi Yasumoto,
Khaled El-Fakih:
Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings
Springer 2008 |
| 101 | EE | Thilmee M. Baduge,
Kazushi Ikeda,
Hirozumi Yamaguchi,
Teruo Higashino:
Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context.
ICC 2008: 5708-5714 |
| 100 | EE | Kazushi Ikeda,
Shunsuke Mori,
Yuya Ota,
Takaaki Umedu,
Akihito Hiromori,
Hirozumi Yamaguchi,
Teruo Higashino:
D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks.
MMNS 2008: 20-32 |
| 99 | EE | Tomoya Kitani,
Nobuo Funabiki,
Hirozumi Yamaguchi,
Teruo Higashino:
Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs.
Networking 2008: 326-337 |
| 98 | EE | Sae Fujii,
Akira Uchiyama,
Takaaki Umedu,
Hirozumi Yamaguchi,
Teruo Higashino:
An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution).
PerCom 2008: 117-124 |
| 97 | EE | Tomoya Kitani,
Takashi Shinkawa,
Naoki Shibata,
Keiichi Yasumoto,
Minoru Ito,
Teruo Higashino:
Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes.
VTC Spring 2008: 3031-3036 |
| 96 | EE | Masatoshi Nakamura,
Hiroaki Urabe,
Akira Uchiyama,
Takaaki Umedu,
Teruo Higashino:
Realistic Mobility Aware Information Gathering in Disaster Areas.
WCNC 2008: 3267-3272 |
| 95 | EE | Teruo Higashino:
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts.
Software-Intensive Systems and New Computing Paradigms 2008: 116-131 |
| 2007 |
|---|
| 94 | | Kedar S. Namjoshi,
Tomohiro Yoneda,
Teruo Higashino,
Yoshio Okamura:
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings
Springer 2007 |
| 93 | EE | Akira Uchiyama,
Sae Fujii,
Kumiko Maeda,
Takaaki Umedu,
Hirozumi Yamaguchi,
Teruo Higashino:
Ad-hoc Localization in Urban District.
INFOCOM 2007: 2306-2310 |
| 92 | EE | Akiko Yamasaki,
Hirozumi Yamaguchi,
Shinji Kusumoto,
Teruo Higashino:
Mobility-Aware Data Management on Mobile Wireless Networks.
VTC Spring 2007: 679-683 |
| 91 | EE | Hirozumi Yamaguchi,
Khaled El-Fakih,
Gregor von Bochmann,
Teruo Higashino:
Deriving protocol specifications from service specifications written as Predicate/Transition-nets.
Computer Networks 51(1): 258-284 (2007) |
| 90 | EE | Masashi Saito,
Jun Tsukamoto,
Takaaki Umedu,
Teruo Higashino:
Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information.
IEEE Transactions on Intelligent Transportation Systems 8(3): 379-390 (2007) |
| 89 | EE | Akira Uchiyama,
Kumiko Maeda,
Takaaki Umedu,
Hirozumi Yamaguchi,
Teruo Higashino:
Performance evaluation of mobile wireless communication and services with modelling of real environment.
IJAHUC 2(4): 239-249 (2007) |
| 88 | EE | Masataka Yonezu,
Nobuo Funabiki,
Tomoya Kitani,
Tokumi Yokohira,
Toru Nakanishi,
Teruo Higashino:
Proposal of a hierarchical heuristic algorithm for node assignment in bidirectional Manhattan street networks.
Systems and Computers in Japan 38(4): 74-83 (2007) |
| 87 | EE | Yujin Yokogawa,
Nobuo Funabiki,
Teruo Higashino,
Masashi Oda,
Yoshihide Mori:
A proposal of improved lip contour extraction method using deformable template matching and its application to dental treatment.
Systems and Computers in Japan 38(5): 80-89 (2007) |
| 2006 |
|---|
| 86 | EE | Tadaaki Tanimoto,
Seiji Yamaguchi,
Akio Nakata,
Teruo Higashino:
A real time budgeting method for module-level-pipelined bus based system using bus scenarios.
DAC 2006: 37-42 |
| 85 | EE | Makoto Enomoto,
Naoki Shibata,
Keiichi Yasumoto,
Minoru Ito,
Teruo Higashino:
Demand-Oriented Information Retrieval Method on MANET.
MDM 2006: 104 |
| 84 | EE | Shigeto Tajima,
Teruo Higashino,
Nobuo Funabiki,
Shoji Yoshida:
An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks.
MDM 2006: 112 |
| 83 | EE | Yoshitaka Nakamura,
Hirozumi Yamaguchi,
Teruo Higashino:
Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks.
MDM 2006: 117 |
| 82 | EE | Takashi Shinkawa,
Takashi Terauchi,
Tomoya Kitani,
Naoki Shibata,
Keiichi Yasumoto,
Minoru Ito,
Teruo Higashino:
A Technique for Information Sharing using Inter-Vehicle Communication with Message Ferrying.
MDM 2006: 130 |
| 81 | EE | Kumiko Maeda,
Takaaki Umedu,
Hirozumi Yamaguchi,
Keiichi Yasumoto,
Teruo Higashino:
MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility.
MDM 2006: 55 |
| 80 | EE | Kouji Nishigaki,
Keiichi Yasumoto,
Takaaki Umedu,
Teruo Higashino,
Minoru Ito:
Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation.
MDM 2006: 59 |
| 79 | EE | Akira Uchiyama,
Takaaki Umedu,
Keiichi Yasumoto,
Teruo Higashino:
Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation.
NOMS 2006 |
| 78 | EE | Takaaki Umedu,
Hiroaki Urabe,
Jun Tsukamoto,
Kazuki Sato,
Teruo Higashino:
MANET Protocol for Information Gathering from Disaster Victims.
PerCom Workshops 2006: 442-446 |
| 77 | EE | Akio Nakata,
Tadaaki Tanimoto,
Suguru Sasaki,
Teruo Higashino:
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata.
Int. J. Found. Comput. Sci. 17(4): 833-850 (2006) |
| 76 | EE | Thilmee M. Baduge,
Akihito Hiromori,
Hirozumi Yamaguchi,
Teruo Higashino:
A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks.
Systems and Computers in Japan 37(14): 15-24 (2006) |
| 75 | EE | Takashi Takenaka,
Kozo Okano,
Teruo Higashino,
Kenichi Taniguchi:
Symbolic model checking of extended finite state machines with linear constraints over integer variables.
Systems and Computers in Japan 37(6): 64-72 (2006) |
| 2005 |
|---|
| 74 | | Teruo Higashino:
Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
Springer 2005 |
| 73 | EE | Takaaki Umedu,
Shigeharu Urata,
Akio Nakata,
Teruo Higashino:
Automatic Decomposition of Java Program for Implementation on Mobile Terminals.
AINA 2005: 544-549 |
| 72 | EE | Masashi Saito,
Jun Tsukamoto,
Takaaki Umedu,
Teruo Higashino:
Evaluation of Inter-Vehicle Ad Hoc Communication Protocol.
AINA 2005: 78-83 |
| 71 | EE | Nobuo Funabiki,
Megumi Isogai,
Toru Nakanishi,
Teruo Higashino:
Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks.
AINA 2005: 999-1004 |
| 70 | EE | Teruo Higashino,
Hirozumi Yamaguchi:
A Testing Architecture for Designing High-Reliable MANET Protocols.
FORTE 2005: 20-23 |
| 69 | EE | Kouji Nishigaki,
Keiichi Yasumoto,
Naoki Shibata,
Minoru Ito,
Teruo Higashino:
Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances.
ICDCS Workshops 2005: 345-351 |
| 68 | EE | Yoshitaka Nakamura,
Guiquan Ren,
Masatoshi Nakamura,
Takaaki Umedu,
Teruo Higashino:
Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication.
ICME 2005: 1342-1345 |
| 67 | EE | Thilmee M. Baduge,
Akihito Hiromori,
Hirozumi Yamaguchi,
Teruo Higashino:
Design and Implementation of Overlay Multicast Protocol for Multimedia Streaming.
ICPP 2005: 41-48 |
| 66 | EE | Kazuki Konishi,
Kumiko Maeda,
Kazuki Sato,
Akiko Yamasaki,
Hirozumi Yamaguchi,
Teruo Higashino,
Keiichi Yasumoto:
MobiREAL Simulator Evaluating MANET Applications in Real Environments.
MASCOTS 2005: 499-502 |
| 65 | EE | Kumiko Maeda,
Kazuki Sato,
Kazuki Konishi,
Akiko Yamasaki,
Akira Uchiyama,
Hirozumi Yamaguchi,
Keiichi Yasumoto,
Teruo Higashino:
Getting urban pedestrian flow from simple observation: realistic mobility generation in wireless network simulation.
MSWiM 2005: 151-158 |
| 64 | EE | Hirozumi Yamaguchi,
Khaled El-Fakih,
Akihito Hiromori,
Teruo Higashino:
A formal approach to design optimized multimedia service overlay.
NOSSDAV 2005: 57-62 |
| 63 | EE | Tadaaki Tanimoto,
Akio Nakata,
Hideaki Hashimoto,
Teruo Higashino:
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata.
IEICE Transactions 88-A(11): 3007-3021 (2005) |
| 62 | EE | Nobuo Funabiki,
Jun Kawashima,
Toru Nakanishi,
Kiyohiko Okayama,
Teruo Higashino:
An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks.
IEICE Transactions 88-A(5): 1234-1240 (2005) |
| 2004 |
|---|
| 61 | EE | Tadaaki Tanimoto,
Suguru Sasaki,
Akio Nakata,
Teruo Higashino:
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.
ATVA 2004: 179-195 |
| 60 | EE | Hirozumi Yamaguchi,
Akihito Hiromori,
Teruo Higashino,
Kenichi Taniguchi:
An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree.
ICDCS 2004: 662-669 |
| 59 | EE | Kouji Nishigaki,
Keiichi Yasumoto,
Takaaki Umedu,
Teruo Higashino,
Minoru Ito:
Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications.
ICDCS Workshops 2004: 434-437 |
| 58 | EE | Kouji Nishigaki,
Keiichi Yasumoto,
Takaaki Umedu,
Teruo Higashino,
Minoru Ito:
Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications.
Mobile Data Management 2004: 170 |
| 57 | EE | Tomoya Kitani,
Yoshifumi Takamoto,
Keiichi Yasumoto,
Akio Nakata,
Teruo Higashino:
A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems.
RTSS 2004: 437-446 |
| 56 | EE | Takanori Mori,
Akio Nakata,
Teruo Higashino:
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing.
Stud. Inform. Univ. 3(2): 231- (2004) |
| 2003 |
|---|
| 55 | EE | Nobuo Funabiki,
Ayako Sugano,
Teruo Higashino:
A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks.
AINA 2003: 229-232 |
| 54 | EE | Tao Sun,
Keiichi Yasumoto,
Masaaki Mori,
Teruo Higashino:
QoS Functional Testing for Multi-media Systems.
FORTE 2003: 319-334 |
| 53 | EE | Hirozumi Yamaguchi,
Gregor von Bochmann,
Teruo Higashino:
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems.
FORTE 2003: 399-414 |
| 52 | EE | Tomoya Kitani,
Yoshifumi Takamoto,
Isao Naka,
Keiichi Yasumoto,
Akio Nakata,
Teruo Higashino:
Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking.
FPL 2003: 1145-1148 |
| 51 | EE | Hirozumi Yamaguchi,
Cao Man Letan,
Akihito Hiromori,
Takeshi Yamashita,
Keiichi Yasumoto,
Teruo Higashino,
Kenichi Taniguchi:
A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications.
ICDCS Workshops 2003: 531-536 |
| 50 | EE | Akihito Hiromori,
Hirozumi Yamaguchi,
Keiichi Yasumoto,
Teruo Higashino,
Kenichi Taniguchi:
Reducing the Size of Routing Tables for Large-scale Network Simulation.
PADS 2003: 115-122 |
| 49 | EE | Shigeto Tajima,
Ayako Sugano,
Nobuo Funabiki,
Teruo Higashino:
A Proposal of a Minimal-State Processing Search Algorithm for Link Scheduling Problems in Packet Radio Networks.
SAINT 2003: 128-135 |
| 48 | EE | Hirozumi Yamaguchi,
Khaled El-Fakih,
Gregor von Bochmann,
Teruo Higashino:
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets.
Distributed Computing 16(1): 21-35 (2003) |
| 47 | EE | Takanori Mori,
Hirotaka Otsuka,
Nobuo Funabiki,
Akio Nakata,
Teruo Higashino:
A test sequence generation method for communication protocols using the SAT algorithm.
Systems and Computers in Japan 34(11): 20-29 (2003) |
| 2002 |
|---|
| 46 | EE | Takaaki Umedu,
Yoshiki Terashima,
Keiichi Yasumoto,
Akio Nakata,
Teruo Higashino,
Kenichi Taniguchi:
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.
FME 2002: 607-624 |
| 45 | EE | Masayuki Kirimura,
Yoshifumi Takamoto,
Takanori Mori,
Keiichi Yasumoto,
Akio Nakata,
Teruo Higashino:
Design and Implementation of FPGA Circuits for High Speed Network Monitors.
FPL 2002: 393-403 |
| 44 | EE | Shigeto Tajima,
Masakazu Fujii,
Nobuo Funabiki,
Tokumi Yokohira,
Kazufumi Tsunemura,
Teruo Higashino:
An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems.
ICOIN (1) 2002: 193-202 |
| 43 | EE | Nobuo Funabiki,
Toru Nakanishi,
Tokumi Yokohira,
Shigeto Tajima,
Teruo Higashino:
A Proposal of a Quasi-Solution State Evolution Algorithm for Channel Assignment Problems.
ICOIN (2) 2002: 32-41 |
| 42 | EE | Makoto Yamada,
Takanori Mori,
Atsushi Fukada,
Akio Nakata,
Teruo Higashino:
A Method for Functional Testing of Media Synchronization Protocols.
ICOIN (2) 2002: 539-550 |
| 41 | EE | Akihito Hiromori,
Hirozumi Yamaguchi,
Keiichi Yasumoto,
Teruo Higashino,
Kenichi Taniguchi:
A Selection Technique for Replicated Multicast Video Servers.
ICPP 2002: 556- |
| 40 | EE | Keiichi Yasumoto,
Takaaki Umedu,
Hirozumi Yamaguchi,
Akio Nakata,
Teruo Higashino:
Protocol animation based on event-driven visualization scenarios in real-time LOTOS.
Computer Networks 40(5): 639-663 (2002) |
| 2001 |
|---|
| 39 | | Akio Nakata,
Teruo Higashino:
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas.
FORTE 2001: 151-168 |
| 38 | | Takanori Mori,
K. Tokuda,
Harumasa Tada,
Masahiro Higuchi,
Teruo Higashino:
A Method to Generate Conformance Test Sequences for FSM with Timer System Call.
FORTE 2001: 301-318 |
| 37 | EE | Atsushi Fukada,
Akio Nakata,
Junji Kitamichi,
Teruo Higashino,
Ana R. Cavalli:
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.
ICOIN 2001: 155-162 |
| 36 | EE | Takaaki Umedu,
Hirozumi Yamaguchi,
Keiichi Yasumoto,
Teruo Higashino:
Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment.
ICOIN 2001: 163-170 |
| 35 | EE | Kozo Okano,
Yuko Kitahama,
Akira Kitajima,
Teruo Higashino,
Kenichi Taniguchi:
Formal Verification of CPU in Laboratory Work.
MSE 2001: 32-34 |
| 34 | EE | Keiichi Yasumoto,
Teruo Higashino,
Kenichi Taniguchi:
A compiler to implement LOTOS specifications in distributed environments.
Computer Networks 36(2/3): 291-310 (2001) |
| 2000 |
|---|
| 33 | EE | Khaled El-Fakih,
Hirozumi Yamaguchi,
Gregor von Bochmann,
Teruo Higashino:
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources.
ASE 2000: 305-308 |
| 32 | EE | Hisaaki Katagiri,
Keiichi Yasumoto,
Akira Kitajima,
Teruo Higashino,
Kenichi Taniguchi:
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.
DAC 2000: 762-767 |
| 31 | | Hisaaki Katagiri,
Masayuki Kirimura,
Keiichi Yasumoto,
Teruo Higashino,
Kenichi Taniguchi:
Hardware implementation of Concurrent Periodic EFSM's.
FORTE 2000: 285-300 |
| 30 | EE | Akihito Hiromori,
Hirozumi Yamaguchi,
Keiichi Yasumoto,
Teruo Higashino,
Kenichi Taniguchi:
Fast and Optimal Multicast-Server Selection Based on Receivers' Preference.
IDMS 2000: 40-52 |
| 29 | | Yoshiki Terashima,
Keiichi Yasumoto,
Teruo Higashino,
Kota Abe,
Toshio Matsuura,
Kenichi Taniguchi:
Extension of SMIL with QoS Control and its Implementation.
IEEE International Conference on Multimedia and Expo (III) 2000: 1683-1686 |
| 1999 |
|---|
| 28 | EE | Takashi Takenaka,
Junji Kitamichi,
Teruo Higashino,
Kenichi Taniguchi:
Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.
ASP-DAC 1999: 177-180 |
| 27 | EE | Hirozumi Yamaguchi,
Keiichi Yasumoto,
Teruo Higashino,
Kenichi Taniguchi:
Receiver-Cooperative Bandwidth Management for Layered Multicast.
ICNP 1999: 43-50 |
| 26 | EE | Kozo Okano,
Satoshi Hattori,
Akira Yamamoto,
Teruo Higashino,
Kenichi Taniguchi:
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.
ICPP Workshops 1999: 576-581 |
| 25 | | Teruo Higashino,
Akio Nakata,
Kenichi Taniguchi,
Ana R. Cavalli:
Generating Test Cases for a Timed I/O Automaton Model.
IWTCS 1999: 197-214 |
| 1998 |
|---|
| 24 | | Atsushi Togashi,
Tadanori Mizuno,
Norio Shiratori,
Teruo Higashino:
Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan
Chapman & Hall 1998 |
| 23 | | Keiichi Yasumoto,
Akira Kitajima,
Teruo Higashino,
Kenichi Taniguchi:
Hardware synthesis from protocol specifications in LOTOS.
FORTE 1998: 405-420 |
| 22 | EE | Hiroharu Sakate,
Hirozumi Yamaguchi,
Keiichi Yasumoto,
Teruo Higashino,
Kenichi Taniguchi:
Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application.
ICNP 1998: 189- |
| 21 | EE | Kota Abe,
Toshio Matsuura,
Keiichi Yasumoto,
Teruo Higashino:
Design and Implementation of an Efficient I/O Method for a Real-Time User Level Thread Library.
RTCSA 1998: 117-120 |
| 20 | EE | Akio Nakata,
Teruo Higashino,
Kenichi Taniguchi:
Protocol Synthesis from Context-Free Processes Using Event Structures.
RTCSA 1998: 173-180 |
| 1997 |
|---|
| 19 | | Keiichi Yasumoto,
Kazuhiro Gotoh,
Hiroki Tatsumoto,
Teruo Higashino,
Kenichi Taniguchi:
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks.
FORTE 1997: 161-176 |
| 18 | EE | Hirozumi Yamaguchi,
Kozo Okano,
Teruo Higashino,
Kenichi Taniguchi:
Protocol Synthesis from Time Petri Net Based Service Specification.
ICPADS 1997: 236-243 |
| 1996 |
|---|
| 17 | | Akio Nakata,
Teruo Higashino,
Kenichi Taniguchi:
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.
FORTE 1996: 279-294 |
| 16 | | Christian Kant,
Teruo Higashino,
Gregor von Bochmann:
Deriving Protocol Specifications from Service Specifications Written in LOTOS.
Distributed Computing 10(1): 29-47 (1996) |
| 1995 |
|---|
| 15 | | Keiichi Yasumoto,
Teruo Higashino,
Kota Abe,
Toshio Matsuura,
Kenichi Taniguchi:
A LOTOS Compiler Generating Multi-threaded Object Codes.
FORTE 1995: 271-286 |
| 14 | | Teruo Higashino,
Akio Nakata,
Tatsuo Itoh,
Kenichi Taniguchi:
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.
FORTE 1995: 433-440 |
| 13 | | Hirozumi Yamaguchi,
Kozo Okano,
Teruo Higashino,
Kenichi Taniguchi:
Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.
ICDCS 1995: 510-517 |
| 12 | EE | Keiichi Yasumoto,
Teruo Higashino,
Toshio Matsuura,
Kenichi Taniguchi:
Protocol visualization using LOTOS multi-rendezvous mechanism.
ICNP 1995: 118-125 |
| 11 | EE | Akio Nakata,
Teruo Higashino,
Kenichi Taniguchi:
Protocol synthesis from timed and structured specifications.
ICNP 1995: 74- |
| 1994 |
|---|
| 10 | EE | Keiichi Yasumoto,
Teruo Higashino,
Kenichi Taniguchi:
Software Process Description Using LOTOS and Its Enaction.
ICSE 1994: 169-178 |
| 9 | | Teruo Higashino,
Keiichi Yasumoto,
Junji Kitamichi,
Kenichi Taniguchi:
Hardware synthesis from a restricted class of LOTOS expressions.
PSTV 1994: 379-386 |
| 8 | | Junji Kitamichi,
Sumio Morioka,
Teruo Higashino,
Kenichi Taniguchi:
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.
TPCD 1994: 165-184 |
| 7 | EE | Teruo Higashino,
Gregor von Bochmann:
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.
IEEE Trans. Software Eng. 20(1): 29-42 (1994) |
| 1993 |
|---|
| 6 | | Akio Nakata,
Teruo Higashino,
Kenichi Taniguchi:
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic.
FORTE 1993: 451-466 |
| 5 | | Teruo Higashino,
Kozo Okano,
Hiroshi Imajo,
Kenichi Taniguchi:
Deriving Protocol Specifications from Service Specifications in Extended FSM Models.
ICDCS 1993: 141-148 |
| 1992 |
|---|
| 4 | | Toshio Matsuura,
Tohru Nakamura,
Teruo Higashino,
Kenichi Taniguchi,
Sumio Masuda:
VTM: A Graph Editor for Large Trees.
IFIP Congress (1) 1992: 210-216 |
| 3 | | Teruo Higashino,
Gregor von Bochmann,
Xiangdong Li,
Keiichi Yasumoto,
Kenichi Taniguchi:
Test System for a Restricted Class of LOTOS Expressions with Data Parameters.
Protocol Test Systems 1992: 205-216 |
| 1989 |
|---|
| 2 | | Teruo Higashino,
Kiyoshi Ninomiya,
Tomohisa Kimoto,
Kenichi Taniguchi,
Masaaki Mori:
Automated Verification of Equivalence of Protocol Machines.
PSTV 1989: 235-246 |
| 1984 |
|---|
| 1 | | Teruo Higashino,
Masaaki Mori,
Yuji Sugiyama,
Kenichi Taniguchi,
Tadao Kasami:
An Algebraic Specification of HDLC Procedures and Its Verification.
IEEE Trans. Software Eng. 10(6): 825-836 (1984) |
