A theory of two-dimensional linear recurring arrays. - Tamiya Nomura; Hiroshi Miyakawa; Hideki Imai; Akira Fukuda (IEEE Trans. Inf. Theory, 1972)

Prescription Order Service in Kanto Teishin Hospital Information System. - Jun-ichiro Yokoyama; Akira Fukuda (IFIP Congress, 1980)

Equilibrium point analysis of memory interference in multiprocessor systems. - Akira Fukuda (Syst. Comput. Jpn., 1986)

M/M/K systems with M-phase fluctuations of traffic intensity. - Walter Sotelo; Kaiji Mukumoto; Akira Fukuda (INFOCOM, 1988)

An overview of the Kyushu University reconfigurable parallel processor. - Kazuaki J. Murakami; Akira Fukuda; Toshinori Sueyoshi; Shinji Tomita (SIGARCH Comput. Archit. News, 1988)

The Kyushu University reconfigurable parallel processor: design of memory and intercommunicaiton architectures. - Kazuaki J. Murakami; Shin-ichiro Mori; Akira Fukuda; Toshinori Sueyoshi; Shinji Tomita (ICS, 1989)

The Kyushu University Reconfigurable Parallel Processor - Design Philosophy and Architecture. - Kazuaki J. Murakami; Shin-ichiro Mori; Akira Fukuda; Toshinori Sueyoshi; Shinji Tomita (IFIP Congress, 1989)

Toward advanced parallel processing: exploiting parallelism at task and instruction levels. - Akira Fukuda; Kazuaki J. Murakami; Shinji Tomita (IEEE Micro, 1991)

Two-level processor scheduling for multiprogrammed NUMA multiprocessors. - Akira Fukuda; Ryousuke Fujiki; Hisa-aki Kai (COMPSAC, 1993)

Optimal number of processors in parallel processing of a single doacross loop for different execution times of iterations. - Akira Fukuda (Syst. Comput. Jpn., 1993)

Organization scheme of system servers in microkernel-based operating systems-multi-process and multi-thread methods. - Masayuki Kuwayama; Keizo Saisho; Akira Fukuda (COMPSAC, 1994)

Parallel Pthread library (PPL): user-level thread library with parallelism and portability. - Teruki Miyazaki; Chikara Sakamoto; Masayuki Kuwayama; Keizo Saisho; Akira Fukuda (COMPSAC, 1994)

The Data Partitioning Graph: Extending Data and Control Dependencies for Data Partitioning. - Tsuneo Nakanishi; Kazuki Joe; Akira Fukuda; Keijiro Araki; Hideki Saito 001; Constantine D. Polychronopoulos (LCPC, 1994)

A loop parallelization technique for linear dependence vector. - Teruaki Kitasuka; Kazuki Joe; Dale Schouten; Akira Fukuda; Keijiro Araki (PACT, 1995)

The CDP2 Partitioning Algorithm a Combined End Program Partitioning Algorithm on the Data Partitioning Graph. - Tsuneo Nakanishi; Kazuki Joe; Hideki Saito 001; Akira Fukuda; Keijiro Araki (ICPP (2), 1995)

Design and Implementation of Dynamically Reconstructing System Software. - Kazuhiko Kashiwagi; Keizo Saisho; Akira Fukuda (APSEC, 1996)

Applying the Semi-Markov Memory and Cache Coherence Interference Model to an Updating Based Cache Coherence Protocol. - Kazuki Joe; Akira Fukuda (Euro-Par, Vol. II, 1996)

Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies. - Tsuneo Nakanishi; Kazuki Joe; Constantine D. Polychronopoulos; Keijiro Araki; Akira Fukuda (ICPP, Vol. 3, 1996)

Estimating Minimum Execution Time of Perfect Loop Nests with Loop-Carried Dependences. - Tsuneo Nakanishi; Kazuki Joe; Constantine D. Polychronopoulos; Keijiro Araki; Akira Fukuda (LCPC, 1996)

A Data Block Mapping Method to Reduce Cache Coherence Overhead. - Takahiro Koita; Kazuki Joe; Akira Fukuda (PDPTA, 1996)

Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. - Noriki Ogura; Keizo Saisho; Akira Fukuda (APSEC, 1997)

A Parallelizing Compiler by Object Oriented Design. - Yoichi Omori; Kazuki Joe; Akira Fukuda (COMPSAC, 1997)

The Architecture of OCMP and its Evaluation. - Keizo Saisho; Takeshi Sano; Keniti Iwata; Akira Fukuda (ISPAN, 1997)

A Copy Update Mechanism for a Mobile Information Announcement System.- Transmitting Non-storage Type Resources with Redundancy -. - Shigeaki Tagashira; Keizo Saisho; Fumitake Inada; Akira Fukuda (ER Workshops, 1998)

Design and Implementation of a Copy Update Mechanism on a Mobile Information Announcement System. - Shigeaki Tagashira; Fumitake Inada; Keizo Saisho; Akira Fukuda (ICPADS, 1998)

Performance evaluation of Two-level Scheduling algorithms for NUMA multiprocessors. - Yukio Ohishi; Keizo Saisho; Akira Fukuda (Syst. Comput. Jpn., 1998)

Design and implementation of a Parallel Pthread Library (PPL) with parallelism and portability. - Chikara Sakamoto; Teruki Miyazaki; Masayuki Kuwayama; Keizo Saisho; Akira Fukuda (Syst. Comput. Jpn., 1998)

The Modulo Interval: A Simple and Practical Representation for Program Analysis. - Tsuneo Nakanishi; Kazuki Joe; Constantine D. Polychronopoulos; Akira Fukuda (IEEE PACT, 1999)

Evaluation of Caching Algorithm for NetNews. - Junichi Funasaka; Keizo Saisho; Akira Fukuda (Applied Informatics, 1999)

A Dynamically Reconfigurable Operating System Server with Protection. - Kazuhiko Kashiwagi; Keizo Saisho; Akira Fukuda (Applied Informatics, 1999)

Generating a Device Driver with a Formal Specification Language. - Tetsuro Katayama; Keizo Saisho; Akira Fukuda (Applied Informatics, 1999)

Automatic Selecting of Required NetNews Articles. - Junichi Funasaka; Keizo Saisho; Akira Fukuda (APSEC, 1999)

Proposal of a Support System for Device Driver Generation. - Tetsuro Katayama; Keizo Saisho; Akira Fukuda (APSEC, 1999)

Design and Evaluation of an Information Announcement Mechanism for Mobile Computers. - Shigeaki Tagashira; Fumitake Inada; Keizo Saisho; Akira Fukuda (MDA, 1999)

A spatio-temporal resource allocation protocol (STRAP) with mobility specification: simulation and performance evaluation. - Kenya Sato; Keizo Saisho; Akira Fukuda (MSWiM, 1999)

Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors. - Takahiro Koita; Tetsuro Katayama; Keizo Saisho; Akira Fukuda (PDPTA, 1999)

A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. - Kenya Sato; Keizo Saisho; Akira Fukuda (PDPTA, 1999)

A Cache System of Location Dependent Data for a Mobile Computer with Mobility Specification. - Shigeaki Tagashira; O. Yasuda; Keizo Saisho; Akira Fukuda (PDPTA, 1999)

Estimating minimum parallel execution time of loops with loop-carried dependencies. - Tsuneo Nakanishi; Kazuki Joe; Constantine D. Polychronopoulos; Keijiro Araki; Akira Fukuda (Syst. Comput. Jpn., 1999)

An Object-Oriented Framework for Loop Parallelization. - Yoichi Omori; Akira Fukuda; Kazuki Joe (J. Supercomput., 1999)

Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors. - Takahiro Koita; Tetsuro Katayama; Keizo Saisho; Akira Fukuda (PDPTA, 2000)

Design and Implementation of a Flexible Scheduling Mechanism on User-Level Thread Library PPL. - Keizo Saisho; Shuichi Kitaguchiy; Shinji Matsuuraz; Akira Fukuda (PDPTA, 2000)

Genetic Algorithm Based Data and Program Partitioning. - Tetsuya Saito; Tsuneo Nakanishi; Yoshitoshi Kunieda; Akira Fukuda (PDPTA, 2000)

Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors. - Takahiro Koita; Tetsuro Katayama; Keizo Saisho; Akira Fukuda (J. Supercomput., 2000)

Adaptive acquisition collision avoidance multiple access for multihop ad hoc wireless networks. - Kai Liu 021; Jiandong Li 001; Akira Fukuda (GLOBECOM, 2001)

Efficiently Announcing Multimedia Information from Mobile Computers with the WOR Toolkit. - Shigeaki Tagashira; Akira Fukuda; Keizo Saisho (ISADS, 2001)

Performance Modeling of Layered-Data Delivery for Mobile Users through Broadcast/On-Demand Hybrid Communication. - Kenya Sato; Soichi Hasegawa; Shigeaki Tagashira; Keizo Saisho; Akira Fukuda (Mobile Data Management, 2001)

Design and Implementation of an Information Announcement Toolkit for Mobile Computers. - Shigeaki Tagashira; Keizo Saisho; Akira Fukuda (Mobile Data Management, 2001)

Performance analysis of flexible hierarchical cellular systems with a bandwidth-efficient handoff scheme. - Bo Li 089; Chengke Wu 001; Akira Fukuda (IEEE Trans. Veh. Technol., 2001)

Evaluation of a Location Management System for Wireless Communicating Mobile Computers. - Hideki Shimada; Shigeaki Tagashira; Tsuneo Nakanishi; Akira Fukuda (ICOIN (2), 2002)

Redundant Scheduling: An Algorithm for Scheduling Parameter Sweep Applications in Grid Environment. - Sadao Ikebe; Tsuneo Nakanishi; Akira Fukuda (PDPTA, 2002)

A Power Aware Paging Scheme with Power Controlling Each Memory Bank. - Satomi Kobayashi; Tsuneo Nakanishi; Akira Fukuda (PDPTA, 2002)

A Data-flow Genome Array Processor RING to Accelerate Homology Analysis. - Takamichi Mizuhara; Tsuneo Nakanishi; Akira Fukuda (PDPTA, 2002)

Design and implementation of the Lambda mu-kernel based operating system for embedded systems. - Kenji Hisazumi; Tsuneo Nakanishi; Teruaki Kitasuka; Akira Fukuda (ACM SIGOPS European Workshop, 2002)

Adaptive acquisition multiple access protocol in wireless multihop mobile ad hoc networks. - Kai Liu 021; Jiandong Li 001; Pengyu Huang; Akira Fukuda (VTC Spring, 2002)

Implementation and Evaluation of Resource Allocation for a Genomic Application Program on the Grid. - Takahiro Koita; Yasuyo Kofune; Yusuke Inoue; Akira Fukuda (Applied Informatics, 2003)

A Context-Aware Middleware Mapping Processes and User-Context Subspaces. - Kenji Hisazumi; Tsuneo Nakanishi; Teruaki Kitasuka; Akira Fukuda (PDPTA, 2003)

Design of a Context-Aware Email Delivery System. - Koya Imanishi; Kenji Hisazumi; Tsuneo Nakanishi; Teruaki Kitasuka; Akira Fukuda (PDPTA, 2003)

Proposal of Wireless Peer-to-Peer System Using the Wireless Multi-Hop Network to Access Wireless Hot Spot. - Hideki Shimada; Shigeaki Tagashira; Teruaki Kitasuka; Tsuneo Nakanishi; Akira Fukuda (PDPTA, 2003)

A Proposal and Evaluation of the Fast reconnect Ad-Hoc Network Routing Protocol. - Kazuhiro Mizoguchi; Shinichi Furusho; Teruaki Kitasuka; Tsuneo Nakanishi; Akira Fukuda (Int. J. Comput., 2003)

Product Line Based Component Unification and Exploiting Unified Components in FORM. - Tsuneo Nakanishi; Minoru Hatamoto; Michihiro Matsumoto; Susumu Yamazaki; Teruaki Kitasuka; Akira Fukuda (APSEC, 2004)

Design of a Context-aware Message Exchange System in an Ad-hoc Network. - Koya Imanishi; Kenji Hisazumi; Tsuneo Nakanishi; Teruaki Kitasuka; Akira Fukuda (PDPTA, 2004)

Performance Evaluation of MPI-HMMER on the OBIGrid. - Yasuyo Kofune; Takahiro Koita; Akira Fukuda (PDPTA, 2004)

A design of flash memory file system for embedded systems. - Noritaka Ishizumi; Keizo Saisho; Akira Fukuda (Syst. Comput. Jpn., 2004)

Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. - Teruaki Kitasuka; Kenji Hisazumi; Tsuneo Nakanishi; Akira Fukuda (PSC, 2005)

WiPS: Location and Motion Sensing Technique of IEEE 802.11 Devices. - Teruaki Kitasuka; Kenji Hisazumi; Tsuneo Nakanishi; Akira Fukuda (ICITA (2), 2005)

Access Point Determination Method Considering Route Stability on the Hybrid Ad-hoc Network. - Hideki Shimada; Teruaki Kitasuka; Akira Fukuda; Hideki Sunahara (ICWN, 2005)

Position Estimation for Goods Tracking System Using Mobile Detectors. - Hiroshi Mineno; Kazuo Hida; Miho Mizutani; Naoto Miyauchi; Kazuhiro Kusunoki; Akira Fukuda; Tadanori Mizuno (KES (1), 2005)

Heuristic Scheduling Schemes for a Genomic Application on the Grid. - Yusuke Inoue; Takahiro Koita; Akira Fukuda (PDPTA, 2005)

Heuristic Scheduling and Process Migration on the Grid. - Kenya Sato; Akira Fukuda; Takahiro Koita; Yusuke Inoue (GCA, 2006)

Performance analysis of a service-dependent handoff scheme in voice/data integrated cellular mobile systems. - Bo Li 089; Roberto Battiti; Akira Fukuda (Comput. Networks, 2006)

On the M-CubITS Pedestrian WYSIWYAS Navigation Using Tile Carpets. - Tetsuya Manabe; Takaaki Hasegawa; Yoshihiro Matsuoka; Seiji Furukawa; Akira Fukuda (ITSC, 2007)

A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. - Masahiko Watanabe; Akira Fukuda; Michihiro Matsumoto; Hirokazu Yatsu; Ichiro Hosotani; Shigeyuki Kido (QSIC, 2007)

Broadcasted Location-Aware Data Cache for Vehicular Application. - Kenya Sato; Takahiro Koita; Akira Fukuda (EURASIP J. Embed. Syst., 2007)

Name Resolution Middleware Using Relative Positional Relationship to Support Wireless Visible Area Communication. - Atsushi Noda; Teruaki Kitasuka; Shigeaki Tagashira; Tsuneo Nakanishi; Akira Fukuda (AINA, 2009)

Large Scale Business-academia Collaboration in Master Education Course. - Noriaki Sakamoto; Mitsuaki Fukase; Tsunenori Mine; Shigeru Kusakabe; Tsuneo Nakanishi; Yoichi Omori; Mohammad Mesbah Uddin; Keijiro Araki; Akira Fukuda; Hiroto Yasuura; Teruaki Kitasuka (CSEDU (2), 2009)

SIP method escalation algorithm for NGN application network interface. - Kiyoshi Ueda; Hitoshi Shimizu; Tetsuya Iwata; Hiroshi Sunaga; Akira Fukuda (ICT, 2009)

Highly efficient multipoint relay selections in link state QoS routing protocol for multi-hop wireless networks. - Takeaki Koga; Shigeaki Tagashira; Teruaki Kitasuka; Tsuneo Nakanishi; Akira Fukuda (WOWMOM, 2009)

Multipoint Relay Selections with QoS Support in Link State Routing Protocol for Multi-Hop Wireless Networks. - Takeaki Koga; Shigeaki Tagashira; Teruaki Kitasuka; Tsuneo Nakanishi; Akira Fukuda (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Application to glacier observation of high-precision three-dimensional position measurement using cameras. - Hiroaki Ota; Takeshi Hashimoto; Yohei Nagakura; Shuhei Takamura; Akira Fukuda; Masamu Aniya; Nozomu Naito; Hiroyuki Enomoto; Shin Sugiyama; Pedro Skvarca (Humans and Computers, 2010)

An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. - Weiqiang Kong; Tomohiro Shiraishi; Yuki Mizushima; Noriyuki Katahira; Akira Fukuda; Masahiko Watanabe (ICCSA Workshops, 2010)

Traceability Link for Product Line with RAS based Representation. - Yusuke Hattori; Go Hirakawa; Shuichi Ashihara; Tsuneo Nakanishi; Kenji Hisazumi; Akira Fukuda (Software Engineering Research and Practice, 2010)

Model Checking of Software Design in State Transition Matrix. - Tomohiro Shiraishi; Weiqiang Kong; Yuki Mizushima; Noriyuki Katahira; Michihiro Matsumoto; Masahiko Watanabe; Tetsuro Katayama; Akira Fukuda (Software Engineering Research and Practice, 2010)

A method for analysis and solution of scalability bottleneck in DBMS. - Takashi Horikawa; Akira Fukuda (SoICT, 2010)

An Experience Report of Introducing Product Line Engineering across the Board. - Takashi Iwasaki; Makoto Uchiba; Jun Otsuka; Koji Hachiya; Tsuneo Nakanishi; Kenji Hisazumi; Akira Fukuda (SPLC Workshops, 2010)

Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. - Weiqiang Kong; Noriyuki Katahira; Masahiko Watanabe; Tetsuro Katayama; Kenji Hisazumi; Akira Fukuda (APSEC, 2011)

An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. - Weiqiang Kong; Noriyuki Katahira; Wanpeng Qian; Masahiko Watanabe; Tetsuro Katayama; Akira Fukuda (ICCSA Workshops, 2011)

Critiquing Rules and Quality Quantification of Development-Related Documents. - Tadashi Nagano; Yoshifumi Sakamoto; Satoshi Haraguchi; Hironori Takeuchi; Shiho Ogino; Akira Fukuda (IWSM/Mensura, 2011)

Spatial Statistics with Three-Tier Breadth First Search for Analyzing Social Geocontents. - Yutaka Arakawa; Shigeaki Tagashira; Akira Fukuda (KES (4), 2011)

An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. - Weiqiang Kong; Tomohiro Shiraishi; Noriyuki Katahira; Masahiko Watanabe; Tetsuro Katayama; Akira Fukuda (IEICE Trans. Inf. Syst., 2011)

Collaborative Filtering for Position Estimation Error Correction in WLAN Positioning Systems. - Shigeaki Tagashira; Yuhei Kanekiyo; Yutaka Arakawa; Teruaki Kitasuka; Akira Fukuda (IEICE Trans. Commun., 2011)

Probabilistic Broadcast-Based Cache Invalidation Scheme for Location Dependent Data in Mobile Environments. - Shigeaki Tagashira; Yutaka Kaminishi; Yutaka Arakawa; Teruaki Kitasuka; Akira Fukuda (IEICE Trans. Inf. Syst., 2011)

WiFiTag: Direct Link from the Real World to Online Digital Contents. - Yutaka Arakawa; Yuki Sonoda; Shigeaki Tagashira; Akira Fukuda (3PGCIC, 2012)

Local Cloud Storage: Temporal Local File Sharing with Previously Paired Wireless Memories and Cross-Layer Simultaneous Data Transmission Mechanism. - Yutaka Arakawa; Yuta Tanaka; Shigeaki Tagashira; Akira Fukuda (CIT, 2012)

Formal Verification of Communicating HSTM Designs. - Leyuan Liu 002; Weiqiang Kong; Shijie Zhou 002; Zhiguang Qin; Akira Fukuda (CIT, 2012)

On Accelerating SMT-based Bounded Model Checking of HSTM Designs. - Weiqiang Kong; Leyuan Liu 002; Yoriyuki Yamagata; Kenji Taguchi 001; Hitoshi Ohsaki; Akira Fukuda (APSEC, 2012)

A Mobile Sink-initiated Proactive Routing Protocol for Deadline-Aware Data Aggregation Method in Energy-Efficient Wireless Sensor Networks. - Tatsuya Abe 002; Yutaka Arakawa; Shigeaki Tagashira; Akira Fukuda (ARCS Workshops, 2012)

Hot Topic Detection in Local Areas Using Twitter and Wikipedia. - Shota Ishikawa; Yutaka Arakawa; Shigeaki Tagashira; Akira Fukuda (ARCS Workshops, 2012)

A Robust Generation Technique of Common Information Based on Characteristic of Multipath Fading Channel by Shaking Handheld Devices. - Tomohiro Iwamoto; Shigeaki Tagashira; Yutaka Arakawa; Akira Fukuda (ARCS Workshops, 2012)

Study on Knowledge Management Platform about the Field of Agricultural Infomatization. - Eiji Aoki; Ken Kudo; Akira Fukuda; Tsuneo Nakanishi; Shigeaki Tagashira; Takashi Okayasu; Naoyuki Tsuruda; Satoru Yamasaki; Yasuhito Imura (CISIS, 2012)

Using the GPGPU for scaling up Mining Software Repositories. - Rina Nagano; Hiroki Nakamura; Yasutaka Kamei; Bram Adams; Kenji Hisazumi; Naoyasu Ubayashi; Akira Fukuda (ICSE, 2012)

A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems. - Ming Li; Long Han; Weiqiang Kong; Shigeaki Tagashira; Yutaka Arakawa; Akira Fukuda (IPIN, 2012)

QORAL: An External Domain-Specific Language for Mining Software Repositories. - Hiroki Nakamura; Rina Nagano; Kenji Hisazumi; Yasutaka Kamei; Naoyasu Ubayashi; Akira Fukuda (IWESEP, 2012)

Poster: an energy profiler for android applications used in the real world. - Hiroki Furusho; Kenji Hisazumi; Takeshi Kamiyama; Hiroshi Inamura; Tsuneo Nakanishi; Akira Fukuda (MobiSys, 2012)

Formal semantics of extended hierarchical state transition matrix by CSP. - Yoriyuki Yamagata; Weiqiang Kong; Akira Fukuda; Nguyen Van Tang; Hitoshi Ohsaki; Kenji Taguchi 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

Efficient Survey Database Construction Using Location Fingerprinting Interpolation. - Ryosuke Kubota; Shigeaki Tagashira; Yutaka Arakawa; Teruaki Kitasuka; Akira Fukuda (AINA, 2013)

A Multilateration-based Localization Scheme for Adhoc Wireless Positioning Networks Used in Information-oriented Construction. - Naoki Miwa; Shigeaki Tagashira; Hiroaki Matsuda; Takanori Tsutsui; Yutaka Arakawa; Akira Fukuda (AINA, 2013)

Proposal and Implementation of Encounter Data Transmission with Ultrasonic Sensor-Based Active Wakeup Mechanism for Energy Efficient Sparse Wireless Sensor Network. - Tatsuhiko Nakano; Yutaka Arakawa; Shigeaki Tagashira; Akira Fukuda; Riadh Dhaou (AINA Workshops, 2013)

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. - Weiqiang Kong; Leyuan Liu 002; Takahiro Ando; Hirokazu Yatsu; Kenji Hisazumi; Akira Fukuda (APSEC (1), 2013)

Formalization and Model Checking of SysML State Machine Diagrams by CSP#. - Takahiro Ando; Hirokazu Yatsu; Weiqiang Kong; Kenji Hisazumi; Akira Fukuda (ICCSA (3), 2013)

Towards Formal Description of Standards for Automotive Operating Systems. - Hirokazu Yatsu; Takahiro Ando; Weiqiang Kong; Kenji Hisazumi; Akira Fukuda; Toshiaki Aoki; Kokichi Futatsugi (ICST Workshops, 2013)

A 28nm High-κ metal-gate single-chip communications processor with 1.5GHz dual-core application processor and LTE/HSPA+-capable baseband processor. - Masaki Fujigaya; Noriaki Sakamoto; Takao Koike; Takahiro Irita; Kohei Wakahara; Tsugio Matsuyama; Keiji Hasegawa; Toshiharu Saito; Akira Fukuda; Kaname Teranishi; Kazuki Fukuoka; Noriaki Maeda; et al. (ISSCC, 2013)

Using Model-Driven Development Tools for Object-Oriented Modeling Education. - Seiko Akayama; Kenji Hisazumi; Syuhei Hiya; Akira Fukuda (EduSymp@MoDELS, 2013)

clooca : Web based tool for Domain Specific Modeling. - Shuhei Hiya; Kenji Hisazumi; Akira Fukuda; Tsuneo Nakanishi (MoDELS (Demos/Posters/StudentResearch), 2013)

mockSensor: faking remote sensors as embedded sensors for a functional enhancement of Android. - Yutaka Arakawa; Shigeaki Tagashira; Akira Fukuda (SenSys, 2013)

Energy-efficient Data Collection Method with Multiple Deadlines for Wireless Sensor Networks. - Tatsuya Abe 002; Yutaka Arakawa; Shigeaki Tagashira; Akira Fukuda (J. Inf. Process., 2013)

Power-Management Features of R-Mobile U2, an Integrated Application Processor and Baseband Processor. - Kazuki Fukuoka; Noriaki Maeda; Koji Nii; Masaki Fujigaya; Noriaki Sakamoto; Takao Koike; Takahiro Irita; Kohei Wakahara; Tsugio Matsuyama; Keiji Hasegawa; Toshiharu Saito; Akira Fukuda; et al. (IEEE Micro, 2013)

Implementation of WiFi/Bluetooth-based Smart Narrow Field Communication. - Yutaka Arakawa; Yuki Sonoda; Koki Tomoshige; Shigeaki Tagashira; Akira Fukuda (ICMU, 2014)

Movie Based Context-Aware Language Learning: Its Concept and System. - Hazriani; Tsuneo Nakanishi; Kenji Hisazumi; Akira Fukuda (T4E, 2014)

Implementation of On-Demand Indoor Location-Based Service Using Ad Hoc Wireless Positioning Network. - Shigemi Ishida; Koki Tomishige; Akira Izumi; Shigeaki Tagashira; Yutaka Arakawa; Akira Fukuda (UIC/ATC/ScalCom, 2014)

A formal semantics of extended hierarchical state transition matrices using CSP#. - Yoriyuki Yamagata; Weiqiang Kong; Akira Fukuda; Nguyen Van Tang; Hitoshi Ohsaki; Kenji Taguchi 001 (Formal Aspects Comput., 2014)

Translation rules of SysML state machine diagrams into CSP# toward formal model checking. - Takahiro Ando; Hirokazu Yatsu; Weiqiang Kong; Kenji Hisazumi; Akira Fukuda (Int. J. Web Inf. Syst., 2014)

On-demand Indoor Location-Based Service Using Ad-hoc Wireless Positioning Network. - Shigemi Ishida; Shigeaki Tagashira; Yutaka Arakawa; Akira Fukuda (HPCC/CSS/ICESS, 2015)

AP-assisted CTS-blocking for WiFi-ZigBee Coexistence. - Shigemi Ishida; Shigeaki Tagashira; Akira Fukuda (CANDAR, 2015)

Design of WiFi AP-RSS Monitoring System Using Sensor Nodes. - Kousaku Izumi; Shigemi Ishida; Shigeaki Tagashira; Akira Fukuda (CANDAR, 2015)

WiFi AP-RSS Monitoring Using Sensor Nodes toward Anchor-Free Sensor Localization. - Shigemi Ishida; Kousaku Izumi; Shigeaki Tagashira; Akira Fukuda (VTC Fall, 2015)

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. - Weiqiang Kong; Leyuan Liu 002; Takahiro Ando; Hirokazu Yatsu; Kenji Hisazumi; Akira Fukuda (Comput. J., 2015)

Operation Phase Metrics for Smart Mobility Platform. - Kenji Hisazumi; Tsuneo Nakanishi; Shota Ishibashi; Go Hirakawa; Tsunenori Mine; Takahiro Ando; Hiroki Furusho; Akira Fukuda (ICA, 2016)

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. - Weiqiang Kong; Gang Hou; Xiangpei Hu; Yasuhito Arimoto; Masahiko Watanabe; Takahiro Ando; Kenji Hisazumi; Akira Fukuda (ICA, 2016)

A Footprint Matching Method for Walking Users in Privacy-Aware User Tracking System Using Pressure Sensor Sheets. - Ryoya Wada; Shigeaki Tagashira; Masaki Ogino; Shigemi Ishida; Akira Fukuda (ICA, 2016)

Design of WiFi-AP operating channel estimation scheme for sensor node. - Shigemi Ishida; Yosuke Kunihiro; Kousaku Izumi; Shigeaki Tagashira; Akira Fukuda (ICMU, 2016)

Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview. - Akira Fukuda; Kenji Hisazumi; Shigemi Ishida; Tsunenori Mine; Tsuneo Nakanishi; Hiroki Furusho; Shigeaki Tagashira; Yutaka Arakawa; Kunihiko Kaneko; Weiqiang Kong (IIAI-AAI, 2016)

Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture. - Shota Ishibashi; Kenji Hisazumi; Tsuneo Nakanishi; Akira Fukuda (IIAI-AAI, 2016)

Proposal of Separate Channel Fingerprinting Using Bluetooth Low Energy. - Shigemi Ishida; Yoko Takashima; Shigeaki Tagashira; Akira Fukuda (IIAI-AAI, 2016)

Dynamic SPL and Derivative Development with Uncertainty Management for DevOps. - Tsuneo Nakanishi; Hiroki Furusho; Kenji Hisazumi; Akira Fukuda (IIAI-AAI, 2016)

A Privacy-Aware User Tracking System Using Footprint Data Measured across Multiple Pressure Sensor Sheets. - Ryoya Wada; Shigeaki Tagashira; Masaki Ogino; Shigemi Ishida; Akira Fukuda (IIAI-AAI, 2016)

Design of Distributed Calculation Scheme Using Network Address Translation for Ad-hoc Wireless Positioning Network. - Jumpei Kajimura; Shigemi Ishida; Shigeaki Tagashira; Akira Fukuda (ISIP, 2016)

Smartphone Usage Analysis Based on Actual-Use Survey. - Takeshi Kamiyama; Kenji Hisazumi; Hiroshi Inamura; Teppei Konishi; Ken Ohta; Akira Fukuda (MobiCASE, 2016)

Providing safe and affordable transportation to reduce female students dropout: A case study on college girls in rural Bangladesh. - Nuren Abedin; Jecinta Kamau; Hironobu Kitaoka; Hiroshi Okajima; Masaharu Okada; Akira Fukuda; Ashir Ahmed (SMC, 2016)

Introducing the case grammar concept to object-oriented movie context description. - Hazriani; Tsuneo Nakanishi; Akira Fukuda (TALE, 2016)

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. - Weiqiang Kong; Gang Hou; Xiangpei Hu; Takahiro Ando; Kenji Hisazumi; Akira Fukuda (J. Inf. Secur. Appl., 2016)

Using Fault Injection for Programming Task Generation. - Baso Habibi; Tsuneo Nakanishi; Kenji Hisazumi; Hiroki Furusho; Akira Fukuda (ICL (2), 2017)

Accuracy improvement in sensor localization system utilizing heterogeneous wireless technologies. - Takahiro Yamamoto; Shigemi Ishida; Kousaku Izumi; Shigeaki Tagashira; Akira Fukuda (ICMU, 2017)

An intelligent annotation-based image retrieval system based on RDF descriptions. - Hua Chen; Antoine Trouvé; Kazuaki J. Murakami; Akira Fukuda (Comput. Electr. Eng., 2017)

Verification Model Translation Method toward Behavior Model for CAST. - Takahiro Ando; Bo Wang; Kenji Hisazumi; Weiqiang Kong; Akira Fukuda; Yasutaka Michiura; Keita Sakemi; Michihiro Matsumoto (DSA, 2018)

Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting. - Congcong Ye; Guoqiang Li 001; Hongming Cai 001; Yonggen Gu; Akira Fukuda (DSA, 2018)

Automatic Test Case Generation Method for Large Scale Communication Node Software. - Kazuhiro Kikuma; Takeshi Yamada; Kiyoshi Ueda; Akira Fukuda (EIDWT, 2018)

Exploring a Topical Representation of Documents for Recommendation Systems. - Israel Mendonça; Antoine Trouvé; Akira Fukuda; Kazuaki J. Murakami (iCAST, 2018)

Evaluation of MultiZigLoc: Indoor ZigBee Localization System Using Inter-Channel Characteristics. - Ryota Kimoto; Takahiro Yamamoto; Shigemi Ishida; Shigeaki Tagashira; Akira Fukuda (ICMU, 2018)

Overview and Application Examples of Agent-Based Unified Simulation Environment. - Takahiro Ando; Ryo Fujii; Kenji Hisazumi; Tsunenori Mine; Tsuneo Nakanishi; Akira Fukuda (IIAI-AAI, 2018)

Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. - Akira Fukuda; Tsuneo Nakanishi; Kenji Hisazumi; Kunihiko Kaneko; Shigeaki Tagashira; Tsunenori Mine; Yutaka Arakawa; Shigemi Ishida; Takahiro Ando; Shuichi Ashihara; Masakatsu Ura; Yoshimichi Nakamura; et al. (IIAI-AAI, 2018)

Analysis of Interrupt Behavior Based on Probabilistic Model Checking. - Gang Hou; Weiqiang Kong; Kuanjiu Zhou; Jie Wang 004; Xun Cao; Akira Fukuda (IIAI-AAI, 2018)

A Process of Uncertainty Handling Method to Smart Mobility Application Development. - Hiromasa Inoki; Kenji Hisazumi; Takahiro Ando; Akira Fukuda; Tsuneo Nakanishi (IIAI-AAI, 2018)

Evaluation of BLE Separate Channel Fingerprinting in Practical Environment. - Shigemi Ishida; Sou Takaki; Takahiro Yamamoto; Shigeaki Tagashira; Akira Fukuda (IIAI-AAI, 2018)

A Survey of Formal Techniques for Hardware/Software Co-verification. - Kun Liu; Weiqiang Kong; Gang Hou; Akira Fukuda (IIAI-AAI, 2018)

ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility. - Tsunenori Mine; Shiro Mise; Hiroyuki Nakamura; Takuya Hiraoki; Shiori Koga; Takahiro Ando; Kenji Hisazumi; Tsuneo Nakanishi; Akira Fukuda (IIAI-AAI, 2018)

Software Engineering Practices for the Smart Mobility Market. - Tsuneo Nakanishi; Kenji Hisazumi; Takahiro Ando; Tsunenori Mine; Akira Fukuda (IIAI-AAI, 2018)

SAVeD: Acoustic Vehicle Detector with Speed Estimation capable of Sequential Vehicle Detection. - Shigemi Ishida; Jumpei Kajimura; Masato Uchino; Shigeaki Tagashira; Akira Fukuda (ITSC, 2018)

Teaching software product lines as a paradigm to engineers: an experience report in education programs and seminars for senior engineers in Japan. - Tsuneo Nakanishi; Kenji Hisazumi; Akira Fukuda (SPLC (2), 2018)

Semantic image retrieval for complex queries using a knowledge parser. - Hua Chen; Antoine Trouvé; Kazuaki J. Murakami; Akira Fukuda (Multim. Tools Appl., 2018)

Asynchronous multi-process timed automata. - Guoqiang Li 001; Li Liu; Akira Fukuda (Softw. Qual. J., 2018)

Multilevel Permission Extraction in Android Applications for Malware Detection. - Zhen Wang; Kai Li; Yan Hu; Akira Fukuda; Weiqiang Kong (CITS, 2019)

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. - Kun Liu; Xiaozhen Zhang; Weiqiang Kong; Gang Hou; Masahiko Watanabe; Akira Fukuda (DSA, 2019)

From Local to Global Semantic Clone Detection. - Yuan Yuan 020; Weiqiang Kong; Gang Hou; Yan Hu; Masahiko Watanabe; Akira Fukuda (DSA, 2019)

A Framework of Longitudinal Study to Understand Determinants of Actual Use of the Portable Health Clinic System. - Masuda Begum Sampa; Md. Nazmul Hossain; Md. Rakibul Hoque; Rafiqul Islam Maruf; Fumihiko Yokota; Mariko Nishikitani; Akira Fukuda; Ashir Ahmed (HCI (22), 2019)

Reducing TCP Errors in Accelerated Application Test in Android OS. - Ryosuke Onozato; Akira Fukuda; Takeshi Kamiyama; Masato Oguchi; Saneyasu Yamaguchi (ICCE-TW, 2019)

User's Height Estimation based on Acceleration from Smartphone Sensors. - Yusuke Sato; Saneyasu Yamaguchi; Takeshi Kamiyama; Akira Fukuda; Masato Oguchi (ICCE-TW, 2019)

DNN-based Outdoor NLOS Human Detection Using IEEE 802.11ac WLAN Signal. - Ryo Takahashi; Shigemi Ishida; Akira Fukuda; Tomoki Murakami; Shinya Otsuki (IEEE SENSORS, 2019)

Development of the Food Culture Database System using Kataribe Cloud to Support Open Science. - Go Hirakawa; Daisuke Ikeda; Kenji Hisazumi; Akira Fukuda (IIAI-AAI, 2019)

Design of Acoustic Vehicle Detector with Steady-Noise Suppression. - Shigemi Ishida; Masato Uchino; Chengyu Li; Shigeaki Tagashira; Akira Fukuda (ITSC, 2019)

DFEAM: Dynamic Feature-oriented Energy-aware Adaptive Modeling. - Fumiya Tanaka; Kenji Hisazumi; Akira Fukuda (MODELSWARD, 2019)

Initial Design of Acoustic Vehicle Detector with Wind Noise Suppressor. - Masato Uchino; Shigemi Ishida; Kazuo Kubo; Shigeaki Tagashira; Akira Fukuda (PerCom Workshops, 2019)

Initial Attempt on Outdoor Human Detection using IEEE 802.11ac WLAN Signal. - Masahiko Miyazaki; Shigemi Ishida; Akira Fukuda; Tomoki Murakami; Shinya Otsuki (SAS, 2019)

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. - Xiaozhen Zhang; Weiqiang Kong; Jianguo Jiang; Gang Hou; Akira Fukuda (TASE, 2019)

On Clustering Algorithms: Applications in Word-Embedding Documents. - Israel Mendonça; Antoine Trouvé; Akira Fukuda; Kazuaki J. Murakami (J. Comput., 2019)

Estimation of Power Consumption of Each Application Considering Software Dependency in Android. - Shun Kurihara; Shoki Fukuda; Takeshi Kamiyama; Akira Fukuda; Masato Oguchi; Saneyasu Yamaguchi (J. Inf. Process., 2019)

BET Estimation on Power Saving by Intermittent Disabling Network Interface on Android. - Tsubasa Murakami; Takeshi Kamiyama; Akira Fukuda; Masato Oguchi; Saneyasu Yamaguchi (J. Inf. Process., 2019)

MuCHLoc: Indoor ZigBee Localization System Utilizing Inter-Channel Characteristics. - Ryota Kimoto; Shigemi Ishida; Takahiro Yamamoto; Shigeaki Tagashira; Akira Fukuda (Sensors, 2019)

Danger-Pose Detection System Using Commodity Wi-Fi for Bathroom Monitoring. - Zizheng Zhang; Shigemi Ishida; Shigeaki Tagashira; Akira Fukuda (Sensors, 2019)

Personal Identification Methods Using Footsteps of One Step. - Yuki Hori; Takahiro Ando; Akira Fukuda (ICAIIC, 2020)

Monitoring System for Optimization based on Analyzing Android Application Launching Behavior. - Kazushi Nishinaka; Atsuhi Sonoyama; Takeshi Kamiyama; Akira Fukuda; Masato Oguchi; Saneyasu Yamaguchi (ICCE-TW, 2020)

Observation of Power Consumption of Each Application in an Accelerated Android OS. - Ryosuke Onozato; Takeshi Kamiyama; Akira Fukuda; Masato Oguchi; Saneyasu Yamaguchi (ICCE-TW, 2020)

Java Android Application Performance Improvement by Kotlin DEX Bytecode Analysis without JIT Compiler. - Ryoichi Shibata; Atsuya Sonoyama; Masato Oguchi; Takeshi Kamiyama; Akira Fukuda; Saneyasu Yamaguchi (ICCE-TW, 2020)

Performance Improvement of Kotlin Program in Consideration of JIT Compiler Optimization. - Atsuya Sonoyama; Masato Oguchi; Takeshi Kamiyama; Akira Fukuda; Saneyasu Yamaguchi (ICCE-TW, 2020)

A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre. - Wentao Tang; Hao Feng; Kenji Hisazumi; Akira Fukuda (ICISS, 2020)

An Inter-Organizational Software Architecture for Smart Mobility. - Tsuneo Nakanishi; Yutaka Arakawa; Takahiro Ando; Shigemi Ishida; Kenji Hisazumi; Tsunenori Mine; Akira Fukuda (ICSIE, 2020)

Initial Design of Two-Stage Acoustic Vehicle Detection System for High Traffic Roads. - Masato Uchino; Billy Dawton; Yuki Hori; Shigemi Ishida; Shigeaki Tagashira; Yutaka Arakawa; Akira Fukuda (PerCom Workshops, 2020)

A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. - Zhen Wang; Xiaoning Han; Weiqiang Kong; Yong Piao; Gang Hou; Masahiko Watanabe; Akira Fukuda (TASE, 2020)

Design Of Ble 2-Step Separate Channel Fingerprinting. - Takahiro Yamamoto; Shigemi Ishida; Ryota Kimoto; Shigeaki Tagashira; Akira Fukuda (VTC Spring, 2020)