Teruo Higashino

According to our database1, Teruo Higashino
  • authored at least 207 papers between 1984 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
A holding access-point assignment algorithm for IEEE802.11 wireless local-area networks.
IJSSC, 2018

2017
Two-Tier VoI Prioritization System on Requirement-Based Data Streaming toward IoT.
Mobile Information Systems, 2017

Analysis of Accident Risks from Driving Behaviors.
Int. J. Intelligent Transportation Systems Research, 2017

Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety.
Proceedings of the 85th IEEE Vehicular Technology Conference, 2017

Crowd and event detection by fusion of camera images and micro blogs.
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

HeatWatch: Preventing heatstroke using a smart watch.
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017

A crowdsourcing and simulation based approach for fast and accurate Wi-Fi radio map construction in urban environment.
Proceedings of the 2017 IFIP Networking Conference, 2017

Poster: Smartwatch Knows How Much You Drink.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Localization of binary motion sensors in house.
Proceedings of the 13th International Wireless Communications and Mobile Computing Conference, 2017

Play recognition using spatio-temporal relationship of football tracking data.
Proceedings of the Tenth International Conference on Mobile Computing and Ubiquitous Network, 2017

Edge Computing and IoT Based Research for Building Safe Smart Cities Resistant to Disasters.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

EdgeCEP: Fully-Distributed Complex Event Processing on IoT Edges.
Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems, 2017

2016
Trajectory identification based on spatio-temporal proximity patterns between mobile phones.
Wireless Networks, 2016

TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics.
CoRR, 2016

A study on identification of laser-tracked vehicles using V2V-based velocity information.
Proceedings of the 17th IEEE International Symposium on A World of Wireless, 2016

Human thermal comfort estimation in indoor space by crowd sensing.
Proceedings of the 2016 IEEE International Conference on Smart Grid Communications, 2016

Travel estimation using Control Signal Records in cellular networks and geographical information.
Proceedings of the 9th IFIP Wireless and Mobile Networking Conference, 2016

Poster: Core Temperature Estimation During Exercise Using Wearable Sensors.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

Poster: Two-Steps Independent Solution for Rule-based CEP.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

In-home Activity and Micro-motion Logging Using Mobile Robot with Kinect.
Proceedings of the Adjunct Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing Networking and Services, 2016

Wi-Fi Channel Selection Based on Urban Interference Measurement.
Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, 2016

A Method for Identifying Laser-tracked Vehicles Using Velocity Data from V2V Messages.
Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, 2016

Player identification by motion features in sport videos using wearable sensors.
Proceedings of the Ninth International Conference on Mobile Computing and Ubiquitous Networking, 2016

Cloud-Assisted Dynamic Content Sharing among Vehicles.
Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016

2015
Scalable and robust channel allocation for densely-deployed urban wireless stations.
Perform. Eval., 2015

Mobile Devices as an Infrastructure: A Survey of Opportunistic Sensing Technology.
JIP, 2015

Edge-centric Computing: Vision and Challenges.
Computer Communication Review, 2015

A survey on formal active and passive testing with applications to the cloud.
Annales des Télécommunications, 2015

Special issue on formal active and passive testing of distributed and networked systems.
Annales des Télécommunications, 2015

Requirement-based prioritization system in multi-user IoT.
Proceedings of the 2nd IEEE World Forum on Internet of Things, 2015

Estimating core body temperature based on human thermal model using wearable sensors.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A novel estimation method of road condition for pedestrian navigation.
Proceedings of the 2015 IEEE International Conference on Pervasive Computing and Communication Workshops, 2015

Throughput and Delay Estimator for 2.4GHz WiFi APs: A Machine Learning-Based Approach.
Proceedings of the 8th IFIP Wireless and Mobile Networking Conference, 2015

A Scheduling Algorithm of Cell Zooming for Energy Efficiency in Disasters.
Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access, 2015

Real-Time Calibration of a Human Thermal Model with Solar Radiation Using Wearable Sensors.
Proceedings of the 2015 workshop on Wearable Systems and Applications, 2015

TweetGlue: Leveraging a crowd tracking infrastructure for mobile social augmented reality.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015

Prediction of Deceleration Amount of Vehicle Speed in Snowy Urban Roads Using Weather Information and Traffic Data.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Tracking motion context of railway passengers by fusion of low-power sensors in mobile devices.
Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015

Human crowd detection for physical sensing assisted geo-social multimedia mining.
Proceedings of the 2015 IEEE Conference on Computer Communications Workshops, 2015

Multi-dimensional sensor data aggregator for adaptive network management in M2M communications.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015

A cross validation of network system models for delay tolerant networks.
Proceedings of the Eighth International Conference on Mobile Computing and Ubiquitous Networking, 2015

A model-based approach to support smart and social home living.
Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2015

Activity recognition of railway passengers by fusion of low-power sensors in mobile phones.
Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2015

Estimation of core temperature based on a human thermal model using a wearable sensor.
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

2014
Mobile Node Localization Focusing on Stop-and-Go Behavior of Indoor Pedestrians.
IEEE Trans. Mob. Comput., 2014

Context-supported local crowd mapping via collaborative sensing with mobile phones.
Pervasive and Mobile Computing, 2014

A channel selection strategy for WLAN in urban areas by regression analysis.
Proceedings of the IEEE 10th International Conference on Wireless and Mobile Computing, 2014

Indoor Localization Utilizing Tracking Scanners and Motion Sensors.
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014

Detecting smoothness of pedestrian flows by participatory sensing with mobile phones.
Proceedings of the ISWC'14, 2014

An analysis model of queue length fluctuation at signals using vehicle trajectories.
Proceedings of the International Conference on Connected Vehicles and Expo, 2014

A neighbor collaboration mechanism for mobile crowd sensing in opportunistic networks.
Proceedings of the IEEE International Conference on Communications, 2014

Car-level congestion and position estimation for railway trips using mobile phones.
Proceedings of the 2014 ACM Conference on Ubiquitous Computing, UbiComp '14, Seattle, WA, 2014

2013
Quantifying relationship between relative position error of localization algorithms and object identification.
Wireless Networks, 2013

UPL: Opportunistic Localization in Urban Districts.
IEEE Trans. Mob. Comput., 2013

Twitter user profiling based on text and community mining for market analysis.
Knowl.-Based Syst., 2013

Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes.
JIP, 2013

Electronic triage system for continuously monitoring casualties at disaster scenes.
J. Ambient Intelligence and Humanized Computing, 2013

Accurate positioning of mobile phones in a crowd using laser range scanners.
Proceedings of the 9th IEEE International Conference on Wireless and Mobile Computing, 2013

Sensor Placement Optimization Method for People Tracking.
Proceedings of the Seventh International Conference on Next Generation Mobile Apps, 2013

A novel scheduling algorithm for densely-deployed wireless stations in urban areas.
Proceedings of the 16th ACM International Conference on Modeling, 2013

Mitigating location and speed errors in floating car data using context-based accuracy estimation.
Proceedings of the 13th International Conference on ITS Telecommunications, 2013

Data-centric programming environment for cooperative applications in WSN.
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Early Detection Method of Service Quality Reduction Based on Linguistic and Time Series Analysis of Twitter.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012
Trajectory estimation algorithm for mobile nodes using encounter information and geographical information.
Pervasive and Mobile Computing, 2012

Highlights: IEEE ITS Society Technical Committee on Mobile Communications Networks for ITS [Technical Committees].
IEEE Intell. Transport. Syst. Mag., 2012

Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution.
Proceedings of the Testing Software and Systems, 2012

Clearing a Crowd: Context-Supported Neighbor Positioning for People-Centric Navigation.
Proceedings of the Pervasive Computing - 10th International Conference, 2012

HumanS: A Human Mobility Sensing Simulator.
Proceedings of the 5th International Conference on New Technologies, 2012

Design and Architecture of Cloud-Based Mobile Phone Sensing Middleware.
Proceedings of the Second Symposium on Network Cloud Computing and Applications, 2012

Depth Limited Treatment Planning and Scheduling for Electronic Triage System in MCI.
Proceedings of the Wireless Mobile Communication and Healthcare, 2012

Simulating CSMA/CA behavior for performance evaluation of multi-hop wireless networks.
Proceedings of the 20th IEEE International Workshop on Quality of Service, 2012

A self-learning traffic signal control method for CO2 reduction using prediction of vehicle arrivals.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

A Study for Human Centric Cyber Physical System Based Sensing - Toward Safe and Secure Urban Life -.
Proceedings of the Information Search, Integration and Personalization, 2012

Performance evaluation of mobility-based energy-saving to control air-conditioning and lighting equipments.
Proceedings of the Sustainable Internet and ICT for Sustainability, 2012

Autonomous Recognition of Emergency Site by Wearable Sensors.
Proceedings of the 2012 IEEE International Conference on Green Computing and Communications, 2012

An Extension of Wireless Internet-Access Mesh Network Simulator for Use of Smart Antenna.
Proceedings of the 2012 Seventh International Conference on Broadband, 2012

2011
ALMware: A middleware for application layer multicast protocols.
Computer Communications, 2011

Cooperative Vehicle Positioning via V2V Communications and Onboard Sensors.
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

An efficient localization algorithm focusing on stop-and-go behavior of mobile nodes.
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement.
Proceedings of the IEEE 8th International Conference on Mobile Adhoc and Sensor Systems, 2011

A Comprehensive Test Strategy for Network Protocols in Diverse Environment.
Proceedings of the MASCOTS 2011, 2011

Implementation of a data collection mechanism in electronic triage system using wireless sensor devices.
Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks.
Proceedings of the International Conference on Complex, 2011

Electronic Triage System: Casualties Monitoring System in the Disaster Scene.
Proceedings of the 2011 International Conference on P2P, 2011

2010
An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles.
IEEE Trans. Vehicular Technology, 2010

Map estimation using GPS-equipped mobile wireless nodes.
Pervasive and Mobile Computing, 2010

Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services.
IJWMC, 2010

A WDS Clustering Algorithm for Wireless Mesh Networks.
IEICE Transactions, 2010

Local map generation using position and communication history of mobile nodes.
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

Message from the General Co-Chairs.
Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010

2009
Urban pedestrian mobility for mobile wireless network simulation.
Ad Hoc Networks, 2009

Adaptive location based TDM protocol for inter-vehicle communication.
Proceedings of the IEEE Vehicular Networking Conference, 2009

Self-estimation of Neighborhood Density for Mobile Wireless Nodes.
Proceedings of the Ubiquitous Intelligence and Computing, 6th International Conference, 2009

An integrated tool for development of overlay services.
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices.
Proceedings of the 23rd International Workshop on Principles of Advanced and Distributed Simulation, 2009

Real-time trajectory estimation in mobile ad hoc networks.
Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2009

2008
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks.
JIP, 2008

Realistic Mobility Aware Information Gathering in Disaster Areas.
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

Efficient VANET-Based Traffic Information Sharing using Buses on Regular Routes.
Proceedings of the 67th IEEE Vehicular Technology Conference, 2008

An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution).
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

Hybrid Testbed Enabling Run-Time Operations for Wireless Applications.
Proceedings of the 22st International Workshop on Principles of Advanced and Distributed Simulation, 2008

Hierarchical Logical Topology in WDM Ring Networks with Limited ADMs.
Proceedings of the NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, 2008

D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks.
Proceedings of the Management of Converged Multimedia Networks and Services, 2008

Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context.
Proceedings of IEEE International Conference on Communications, 2008

2007
Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information.
IEEE Trans. Intelligent Transportation Systems, 2007

Proposal of a hierarchical heuristic algorithm for node assignment in bidirectional Manhattan street networks.
Systems and Computers in Japan, 2007

A proposal of improved lip contour extraction method using deformable template matching and its application to dental treatment.
Systems and Computers in Japan, 2007

Performance evaluation of mobile wireless communication and services with modelling of real environment.
IJAHUC, 2007

Deriving protocol specifications from service specifications written as Predicate/Transition-nets.
Computer Networks, 2007

Mobility-Aware Data Management on Mobile Wireless Networks.
Proceedings of the 65th IEEE Vehicular Technology Conference, 2007

Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay.
Proceedings of the 3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, 2007

Ad-hoc Localization in Urban District.
Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007

2006
Symbolic model checking of extended finite state machines with linear constraints over integer variables.
Systems and Computers in Japan, 2006

A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks.
Systems and Computers in Japan, 2006

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata.
Int. J. Found. Comput. Sci., 2006

MANET Protocol for Information Gathering from Disaster Victims.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

Efficient and Robust Distributed Network Monitoring using Dynamic Group Formation.
Proceedings of the Management of Integrated End-to-End Communications and Services, 2006

A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication.
Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006

An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

A Technique for Information Sharing using Inter-Vehicle Communication with Message Ferrying.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

Demand-Oriented Information Retrieval Method on MANET.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

A real time budgeting method for module-level-pipelined bus based system using bus scenarios.
Proceedings of the 43rd Design Automation Conference, 2006

2005
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata.
IEICE Transactions, 2005

An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks.
IEICE Transactions, 2005

A formal approach to design optimized multimedia service overlay.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2005

Getting urban pedestrian flow from simple observation: realistic mobility generation in wireless network simulation.
Proceedings of the 8th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2005

MobiREAL Simulator Evaluating MANET Applications in Real Environments.
Proceedings of the 13th International Symposium on Modeling, 2005

Design and Implementation of Overlay Multicast Protocol for Multimedia Streaming.
Proceedings of the 34th International Conference on Parallel Processing (ICPP 2005), 2005

Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication.
Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, 2005

Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

A Testing Architecture for Designing High-Reliable MANET Protocols.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Automatic Decomposition of Java Program for Implementation on Mobile Terminals.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

Evaluation of Inter-Vehicle Ad Hoc Communication Protocol.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing.
Stud. Inform. Univ., 2004

A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications.
Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

A proposal of hierarchical chordal ring network topology for WDM networks.
Proceedings of the 12th IEEE International Conference on Networks, 2004

Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

An Autonomous and Decentralized Protocol for Delay Sensitive Overlay Multicast Tree.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
A test sequence generation method for communication protocols using the SAT algorithm.
Systems and Computers in Japan, 2003

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets.
Distributed Computing, 2003

A Proposal of a Minimal-State Processing Search Algorithm for Link Scheduling Problems in Packet Radio Networks.
Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003

Reducing the Size of Routing Tables for Large-scale Network Simulation.
Proceedings of the 17th Workshop on Parallel and Distributed Simulation, 2003

A two-stage hierarchical algorithm for wavelength assignment in WDM-based Bidirectional Manhattan Street Networks.
Proceedings of the 11th IEEE International Conference on Networks, 2003

On designing end-user multicast for multiple video sources.
Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003

A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking.
Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003

Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

QoS Functional Testing for Multi-media Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks.
Proceedings of the 17th International Conference on Advanced Information Networking and Applications (AINA'03), 2003

2002
Protocol animation based on event-driven visualization scenarios in real-time LOTOS.
Computer Networks, 2002

A Selection Technique for Replicated Multicast Video Servers.
Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002

A Method for Functional Testing of Media Synchronization Protocols.
Proceedings of the Information Networking, 2002

An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems.
Proceedings of the Information Networking, 2002

A Proposal of a Quasi-Solution State Evolution Algorithm for Channel Assignment Problems.
Proceedings of the Information Networking, 2002

Design and Implementation of FPGA Circuits for High Speed Network Monitors.
Proceedings of the Field-Programmable Logic and Applications, 2002

A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.
Proceedings of the FME 2002: Formal Methods, 2002

2001
A compiler to implement LOTOS specifications in distributed environments.
Computer Networks, 2001

Formal Verification of CPU in Laboratory Work.
Proceedings of the 2001 International Conference on Microelectronics Systems Education, 2001

Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment.
Proceedings of the 15th International Conference on Information Networking, 2001

A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.
Proceedings of the 15th International Conference on Information Networking, 2001

Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

A Method to Generate Conformance Test Sequences for FSM with Timer System Call.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Fast and Optimal Multicast-Server Selection Based on Receivers' Preference.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 2000

Extension of SMIL with QoS Control and its Implementation.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

Hardware implementation of Concurrent Periodic EFSM's.
Proceedings of the Formal Techniques for Distributed System Development, 2000

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.
Proceedings of the 37th Conference on Design Automation, 2000

1999
Generating Test Cases for a Timed I/O Automaton Model.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

A gradual neural network approach for broadcast scheduling in packet radio networks.
Proceedings of the International Joint Conference Neural Networks, 1999

Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.
Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

Receiver-Cooperative Bandwidth Management for Layered Multicast.
Proceedings of the Seventh Annual International Conference on Network Protocols, 1999

Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.
Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999

1998
Protocol Synthesis from Context-Free Processes Using Event Structures.
Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Design and Implementation of an Efficient I/O Method for a Real-Time User Level Thread Library.
Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application.
Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998

Hardware synthesis from protocol specifications in LOTOS.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997
Protocol Synthesis from Time Petri Net Based Service Specification.
Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 1997

Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996
Proof method for correctness of refinements of algebraic specification in abstract sequential machine style.
Systems and Computers in Japan, 1996

Deriving Protocol Specifications from Service Specifications Written in LOTOS.
Distributed Computing, 1996

Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
Protocol visualization using LOTOS multi-rendezvous mechanism.
Proceedings of the 1995 International Conference on Network Protocols, 1995

Protocol synthesis from timed and structured specifications.
Proceedings of the 1995 International Conference on Network Protocols, 1995

Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

A LOTOS Compiler Generating Multi-threaded Object Codes.
Proceedings of the Formal Description Techniques VIII, 1995

Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.
Proceedings of the Formal Description Techniques VIII, 1995

1994
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.
IEEE Trans. Software Eng., 1994

Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.
Proceedings of the Theorem Provers in Circuit Design, 1994

Hardware synthesis from a restricted class of LOTOS expressions.
Proceedings of the Protocol Specification, 1994

Software Process Description Using LOTOS and Its Enaction.
Proceedings of the 16th International Conference on Software Engineering, 1994

1993
Deriving Protocol Specifications from Service Specifications in Extended FSM Models.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992
Test System for a Restricted Class of LOTOS Expressions with Data Parameters.
Proceedings of the Protocol Test Systems, V, 1992

VTM: A Graph Editor for Large Trees.
Proceedings of the Algorithms, Software, Architecture, 1992

1989
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.
Systems and Computers in Japan, 1989

Automated Verification of Equivalence of Protocol Machines.
Proceedings of the Protocol Specification, 1989

1987
Verification of progress property of algebraically specified communication protocols.
Systems and Computers in Japan, 1987

1984
An Algebraic Specification of HDLC Procedures and Its Verification.
IEEE Trans. Software Eng., 1984


  Loading...