Masami Hagiya

Publication Activity (10 Years)

Years Active: 1984-2022
Publications (10 Years): 27

Top Venues

CANDAR

UCNC

ACM SIGSOFT Softw. Eng. Notes

JCKBSE

Publications

Yoshinori Tanabe, Masami Hagiya
Automatic Scoring in Programming Examinations for Beginners. JCKBSE (2022)
Taiga Hongu, Masami Hagiya
Self-Stabilizing Distributed Algorithms by Gellular Automata. Complex Syst. 30 (2) (2021)
Tatsuya Yamashita, Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Masami Hagiya
Turing-completeness of asynchronous non-camouflage cellular automata. Inf. Comput. 274 (2020)
Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. 30 (7-8) (2020)
Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya
Model-Based Testing for MQTT Applications. JCKBSE (2020)
Taiga Hongu, Masami Hagiya
Self-stabilizing Distributed Algorithms by Gellular Automata. Automata (2020)
Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito
Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. SUZA (2019)
Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya
Model-based Network Fault Injection for IoT Protocols. ENASE (2019)
Tatsuya Yamashita, Akira Yagawa, Masami Hagiya
Self-stabilizing Gellular Automata. UCNC (2019)
Wataru Yahiro, Nathanaël Aubert-Kato, Masami Hagiya
A reservoir computing approach for molecular computing. ALIFE (2018)
Nathanaël Aubert-Kato, Charles Fosseprez, Guillaume Gines, Ibuki Kawamata, Quang Huy Dinh, Leo Cazenille, Andre Estevez-Torres, Masami Hagiya, Yannick Rondelez, Nicolas Bredèche
Evolutionary optimization of self-assembly in a swarm of bio-micro-robots. GECCO (2017)
Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model-Based API Testing of Apache ZooKeeper. ICST (2017)
Tatsuya Yamashita, Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Masami Hagiya
Turing-Completeness of Asynchronous Non-camouflage Cellular Automata. AUTOMATA (2017)
Masami Hagiya, Kazunori Ueda, Ryutaro Ichise, Ferdinand Peper, Satoshi Murata
Renewal of the Major Fields. New Gener. Comput. 35 (2) (2017)
Wataru Yahiro, Masami Hagiya
Implementation of Turing Machine Using DNA Strand Displacement. TPNC (2016)
Satoshi Murata, Masami Hagiya
Preface. Nat. Comput. 15 (2) (2016)
Teijiro Isokawa, Ferdinand Peper, Ibuki Kawamata, Nobuyuki Matsui, Satoshi Murata, Masami Hagiya
Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA. UCNC (2016)
Ibuki Kawamata, Takuto Hosoya, Fumi Takabatake, Ken Sugawara, Shin-ichiro M. Nomura, Teijiro Isokawa, Ferdinand Peper, Masami Hagiya, Satoshi Murata
Pattern Formation and Computation by Autonomous Chemical Reaction Diffusion Model Inspired by Cellular Automata. CANDAR (2016)
Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
Runtime Monitoring for Concurrent Systems. RV (2016)
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe
Java Pathfinder on Android Devices. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Masami Hagiya, Nathanaël Aubert-Kato, Shaoyu Wang, Satoshi Kobayashi
Molecular computers for molecular robots as hybrid systems. Theor. Comput. Sci. 632 (2016)
Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
Software Model Checking of UDP-based Distributed Applications. Int. J. Netw. Comput. 5 (2) (2015)
Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. Int. J. Netw. Comput. 5 (2) (2015)
Masami Hagiya
Defining Informatics across Bun-kei and Ri-kei. J. Inf. Process. 23 (4) (2015)
Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
Cardinality of UDP Transmission Outcomes. SETTA (2015)
Shaoyu Wang, Katsunobu Imai, Masami Hagiya
An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata. CANDAR (2015)
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
GRT at the SBST 2015 Tool Competition. SBST@ICSE (2015)
Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Software Model Checking of UDP-based Distributed Applications. CANDAR (2014)
Richard Potter, Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya
A Knoppix-based demonstration environment for JPF. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. CANDAR (2014)
Nathanael Aubert, Yannick Rondelez, Teruo Fujii, Masami Hagiya
Enforcing logical delays in DNA computing systems. Nat. Comput. 13 (4) (2014)
Masami Hagiya, Shaoyu Wang, Ibuki Kawamata, Satoshi Murata, Teijiro Isokawa, Ferdinand Peper, Katsunobu Imai
On DNA-Based Gellular Automata. UCNC (2014)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi
Modular Software Model Checking for Distributed Systems. IEEE Trans. Software Eng. 40 (5) (2014)
Shaoyu Wang, Katsunobu Imai, Masami Hagiya
On the Composition of Signals in Gellular Automata. CANDAR (2014)
Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto
Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference (2013)
Satoshi Murata, Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito, Masami Hagiya
Molecular Robotics: A New Paradigm for Artifacts. New Gener. Comput. 31 (1) (2013)
Nathanael Aubert, Quang Huy Dinh, Masami Hagiya, Hitoshi Iba, Teruo Fujii, Nicolas Bredèche, Yannick Rondelez
Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors. ECAL (2013)
Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Software model checking for distributed systems with selector-based, non-blocking communication. ASE (2013)
Ibuki Kawamata, Nathanael Aubert, Masahiro Hamano, Masami Hagiya
Abstraction of Graph-Based Models of Bio-molecular Reaction Systems for Efficient Simulation. CMSB (2012)
Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada
Computational Soundness of Indistinguishability Properties without Computable Parsing. ISPEC (2012)
Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. SEFM (2011)
Miki Hirabayashi, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya, Hiroaki Kojima, Kazuhiro Oiwa
Analysis on Secure and Effective Applications of a DNA-Based Cryptosystem. BIC-TA (2011)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model checking distributed systems by combining caching and process checkpointing. ASE (2011)
Masami Hagiya
Implementations of computational state transitions with biomolecules. Scholarpedia 6 (4) (2011)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC (2010)
Miki Hirabayashi, Hiroaki Kojima, Kazuhiro Oiwa, Akio Nishikawa, Fumiaki Tanaka, Masami Hagiya
Implementation of tile sequencing for DNA logical computation toward next-generation information security. BIC-TA (2010)
Masami Hagiya, Fumiaki Tanaka, Ibuki Kawamata
IT for synthetic biology and DNA nanotechnology. XRDS 17 (1) (2010)
Alexis Goyet, Masami Hagiya, Yoshinori Tanabe
-Calculus with a Natural Number-Valued Semantics. WoLLIC (2010)
Yusuke Kawamoto, Hideki Sakurada, Masami Hagiya
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. Formal to Practical Security (2009)
Ibuki Kawamata, Fumiaki Tanaka, Masami Hagiya
Automatic Design of DNA Logic Gates Based on Kinetic Simulation. DNA (2009)
Kazufumi Mizunuma, Masami Hagiya
Hybrid Method for Simulating Small-Number Molecular Systems. Algorithmic Bioprocesses (2009)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Verifying networked programs using a model checker extension. ICSE Companion (2009)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE (2009)
Yasuhiro Suzuki, Masami Hagiya, Hiroshi Umeo, Andrew Adamatzky
The 2nd International Workshop on Natural Computing. New Gener. Comput. 27 (2) (2009)
Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods (2009)
Yoshinori Tanabe, Masami Hagiya
Fixed-Point Computations over Functions on Integers with Operations min, max and plus. FICS (2009)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD (2008)
Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya
Unravel four hairpins! Nat. Comput. 7 (2) (2008)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Tools and Techniques for Model Checking Networked Programs. SNPD (2008)
Masami Hagiya
Designing Chemical and Biological Systems. New Gener. Comput. 26 (3) (2008)
Akio Nishikawa, Satsuki Yaegashi, Fumiaki Tanaka, Kazumasa Ohtake, Masami Hagiya
Multi-fueled approach to DNA nano-robotics. Nat. Comput. 7 (3) (2008)
Fumiaki Tanaka, Takashi Tsuda, Masami Hagiya
Towards DNA Comparator: The Machine That Compares DNA Concentrations. DNA (2008)
Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic (2008)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Efficient Model Checking of Networked Applications. TOOLS (46) (2008)
Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya
Combining Randomness and a High-Capacity DNA Memory. DNA (2007)
Carl Christian Frederiksen, Masami Hagiya
Sub-Computation Based Transition Predicate Abstraction. Inf. Media Technol. 2 (3) (2007)
Akio Nishikawa, Satsuki Yaegashi, Kazumasa Ohtake, Masami Hagiya
Multi-fueled Approach to DNA Nano-Robotics. DNA (2007)
Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi, Satsuki Yaegashi, Masami Hagiya
Unravel Four Hairpins! DNA (2006)
John A. Rose, Ken Komiya, Satsuki Yaegashi, Masami Hagiya
Displacement Whiplash PCR: Optimized Architecture and Experimental Validation. DNA (2006)
Ken Komiya, Satsuki Yaegashi, Masami Hagiya, Akira Suyama, John A. Rose
Experimental Validation of the Statistical Thermodynamic Model for Prediction of the Behavior of Autonomous Molecular Computers Based on DNA Hairpin Formation. DNA (2006)
Masami Hagiya, Satsuki Yaegashi, Keiichiro Takahashi
Computing with Hairpins and Secondary Structures of DNA. Nanotechnology: Science and Computation (2006)
Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX (2005)
Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi
Hairpin-based state machine and conformational addressing: Design and experiment. Nat. Comput. 4 (2) (2005)
Masami Hagiya
Molecular Computing and Real Number Computing. CCA (2005)
Keiichiro Takahashi, Satsuki Yaegashi, Atsushi Kameda, Masami Hagiya
Chain Reaction Systems Based on Loop Dissociation of DNA. DNA (2005)
Masami Hagiya
Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. UC (2005)
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE (2005)
Keiichiro Takahashi, Satsuki Yaegashi, Hiroyuki Asanuma, Masami Hagiya
Photo- and Thermoregulation of DNA Nanomachines. DNA (2005)
Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS (2004)
Mitsuhiro Kubota, Masami Hagiya
Minimum Basin Algorithm: An Effective Analysis Technique for DNA Energy Landscapes. DNA (2004)
John A. Rose, Masami Hagiya, Akira Suyama
The fidelity of the tag-antitag system II: reconciliation with the stringency picture. IEEE Congress on Evolutionary Computation (2003)
Hiroki Uejima, Masami Hagiya
Analyzing Secondary Structure Transition Paths of DNA/RNA Molecules. DNA (2003)
Atsushi Kameda, Masahito Yamamoto, Hiroki Uejima, Masami Hagiya, Kensaku Sakamoto, Azuma Ohuchi
Conformational Addressing Using the Hairpin Structure of Single-Strand DNA. DNA (2003)
Mitsuhiro Kubota, Kazumasa Ohtake, Ken Komiya, Kensaku Sakamoto, Masami Hagiya
Branching DNA machines based on transitions of hairpin structures. IEEE Congress on Evolutionary Computation (2003)
Akihiko Tozawa, Masami Hagiya
XML Schema Containment Checking Based on Semi-implicit Techniques. CIAA (2003)
Hiroki Uejima, Masami Hagiya
Secondary Structure Design of Multi-state DNA Machines Based on Sequential Structure Transitions. DNA (2003)
John A. Rose, Mitsunori Takano, Masami Hagiya, Akira Suyama
A DNA Computing-based Genetic Program for In Vitro Protein Evolution via Constrained Pseudomodule Shuffling. Genet. Program. Evolvable Mach. 4 (2) (2003)
Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya
UML Scrapbook and Realization of Snapshot Programming Environment. ISSS (2003)
Akihiko Tozawa, Masami Hagiya
Formalization and Analysis of Class Loading in Java. High. Order Symb. Comput. 15 (1) (2002)
Masayuki Yamamura, Tom Head, Masami Hagiya
Biomolecular Computing - Preface. New Gener. Comput. 20 (3) (2002)
Koichi Takahashi, Masami Hagiya
Searching for Mutual Exclusion Algorithms Using BDDs. Progress in Discovery Science (2002)
Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya
Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT (2002)
Masami Hagiya, John A. Rose, Ken Komiya, Kensaku Sakamoto
Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms. Theor. Comput. Sci. 287 (1) (2002)
Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito
Verification of Authentication Protocols Based on the Binding Relation. ISSS (2002)
Richard Potter, Masami Hagiya
Computation scrapbooks for software evolution. IWPSE (2002)
John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama
PNA-mediated Whiplash PCR. DNA (2001)
Akio Nishikawa, Masayuki Yamamura, Masami Hagiya
DNA computation simulator based on abstract bases. Soft Comput. 5 (1) (2001)
Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi
Horn Clause Computation by Self-assembly of DNA Molecules. DNA (2001)
Mitsuharu Yamamoto, Masami Hagiya
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. APLAS (2001)
John A. Rose, Russell J. Deaton, Masami Hagiya, Akira Suyama
The Fidelity of the Tag-Antitag System. DNA (2001)

Masami Hagiya.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Masami Hagiya