Research Output 2003 2017

Filter
Paper
2014
4 Citations (Scopus)

An SMT-based accurate algorithm for the K-coverage problem in sensor network

Kong, W., Li, M., Han, L. & Fukuda, A., Jan 1 2014, p. 240-245. 6 p.

Research output: Contribution to conferencePaper

Sensor networks
Wireless sensor networks
Quality of service
Sensors
2013
3 Citations (Scopus)

A survey of acceleration techniques for SMT-based bounded model checking

Liu, L., Kong, W., Ando, T., Yatsu, H. & Fukuda, A., Jan 1 2013, p. 554-559. 6 p.

Research output: Contribution to conferencePaper

Surface mount technology
Model checking
Binary decision diagrams
Temporal logic
Switches