2017
Overcoming IoT Language Barriers Using Smartphone SDRs.
IEEE Trans. Mob. Comput., 2017
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.
J. Log. Algebraic Methods Program., 2017
2016
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures.
IEEE Trans. Ind. Informatics, 2016
A Verification Method of SDN Firewall Applications.
IEICE Trans. Commun., 2016
Geographic scheduling of directional transmission for periodic safety messages in IEEE WAVE.
Comput. Commun., 2016
2015
Formal synthesis of application and platform behaviors of embedded software systems.
Softw. Syst. Model., 2015
2014
Resolving the Unfairness of Distributed Rate Control in the IEEE WAVE Safety Messaging.
IEEE Trans. Veh. Technol., 2014
Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems.
J. Univers. Comput. Sci., 2014
2011
Generating composite behavior of embedded software components based on UML behavioral model and process algebra.
ACM SIGSOFT Softw. Eng. Notes, 2011
2010
Timed and Resource-oriented Statecharts for Embedded Software.
IEEE Trans. Ind. Informatics, 2010
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.
J. Univers. Comput. Sci., 2010
Analysis of the Rate-Based Channel Access Prioritization for Drive-Thru Applications in the IEEE 802.11p WAVE.
IEICE Trans. Commun., 2010
2008
Secure Vehicular Communication for Safety Applications - A Measurement Study.
Proceedings of the 67th IEEE Vehicular Technology Conference, 2008
A snooping rate adaptation algorithm for IEEE 802.11 WLANs.
Proceedings of the Third International Symposium on Wireless Pervasive Computing, 2008
Hop-by-Hop Frame Aggregation for VoIP on Multi-Hop Wireless Networks.
Proceedings of IEEE International Conference on Communications, 2008
2007
100+ VoIP Calls on 802.11b: The Power of Combining Voice Frame Aggregation and Uplink-Downlink Bandwidth Control in Wireless LANs.
IEEE J. Sel. Areas Commun., 2007
2006
Formal Verification of Security Model Using SPR Tool.
Comput. Artif. Intell., 2006
Squeezing 100+ VoIP calls out of 802.11b WLANs.
Proceedings of the 2006 International Symposium on a World of Wireless, 2006
Improving VoIP Call Capacity of Multi-Hop Wireless Networks through Self-Controlled Frame Aggregation.
Proceedings of the 64th IEEE Vehicular Technology Conference, 2006
On the Cross-Layer Impact of TCP ACK Thinning on IEEE 802.11 Wireless MAC Dynamics.
Proceedings of the 64th IEEE Vehicular Technology Conference, 2006
A Simple Congestion-Resilient Link Adaptation Algorithm for IEEE 802.11 WLANs.
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006
Secrecy Analysis of Purchase Transaction in Electronic Purses.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006
2005
Preventing Session Table Explosion in Packet Inspection Computers.
IEEE Trans. Computers, 2005
Resolving 802.11 performance anomalies through QoS differentiation.
IEEE Commun. Lett., 2005
Model-Based Analysis of Money Accountability in Electronic Purses.
Proceedings of the Internet and Network Economics, First International Workshop, 2005
2004
Real-time visualization of network attacks on high-speed links.
IEEE Netw., 2004
Fast Classification, Calibration, and Visualization of Network Attacks on Backbone Links.
Proceedings of the Information Networking, 2004
On the functional validity of the worm-killing worm.
Proceedings of IEEE International Conference on Communications, 2004
2003
Taming Large Classifiers with Rule Reference Locality.
Proceedings of the Information Networking, 2003
Determining embryonic connection timeout in stateful inspection.
Proceedings of IEEE International Conference on Communications, 2003
On the effectiveness of Martian address filtering and its extensions.
Proceedings of the Global Telecommunications Conference, 2003
2002
Measurement-based multi-call voice frame grouping in Internet telephony.
IEEE Commun. Lett., 2002
2001
Reducing TCP response time in face of wireless uplink losses.
Proceedings of the 54th IEEE Vehicular Technology Conference, 2001
2000
An Efficient State Space Generation for the Analysis of Real-Time Systems.
IEEE Trans. Software Eng., 2000
Equivalence Checking of Two Statechart Specifications.
Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), 2000
1999
TREAT: Timed REachability Analysis Tool.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
1996
An Efficient State Space Generation for Analysis of Real-Time Systems.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996