| Self-Stabilizing Distributed Algorithms By Gellular Automata | 0 | 0.34 | 2021 |
| Self-stabilizing Distributed Algorithms by Gellular Automata. | 0 | 0.34 | 2020 |
| Model-Based Testing for MQTT Applications | 1 | 0.35 | 2020 |
| Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. | 0 | 0.34 | 2020 |
| Turing-completeness of asynchronous non-camouflage cellular automata | 0 | 0.34 | 2020 |
| Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. | 0 | 0.34 | 2019 |
| A Reservoir Computing Approach For Molecular Computing | 0 | 0.34 | 2018 |
| Evolutionary optimization of self-assembly in a swarm of bio-micro-robots. | 0 | 0.34 | 2017 |
| Model-Based API Testing of Apache ZooKeeper | 9 | 0.60 | 2017 |
| Universal Totalistic Asynchonous Cellular Automaton and Its Possible Implementation by DNA. | 0 | 0.34 | 2016 |
| Implementation of Turing Machine Using DNA Strand Displacement. | 1 | 0.35 | 2016 |
| Java Pathfinder on Android Devices. | 0 | 0.34 | 2016 |
| Runtime Monitoring For Concurrent Systems | 0 | 0.34 | 2016 |
| Molecular computers for molecular robots as hybrid systems | 2 | 0.45 | 2016 |
| GRT at the SBST 2015 tool competition | 9 | 0.62 | 2015 |
| An Approach to Constructing and Simulating Block Cellular Automata by Gellular Automata. | 1 | 0.38 | 2015 |
| Using Checkpointing and Virtualization for Fault Injection | 0 | 0.34 | 2015 |
| Defining Informatics across Bun-kei and Ri-kei. | 5 | 0.89 | 2015 |
| Software Model Checking of UDP-based Distributed Applications. | 0 | 0.34 | 2015 |
| Modular Software Model Checking for Distributed Systems | 10 | 0.56 | 2014 |
| On DNA-Based Gellular Automata. | 7 | 1.09 | 2014 |
| A Knoppix-based demonstration environment for JPF | 0 | 0.34 | 2014 |
| Enforcing logical delays in DNA computing systems | 3 | 0.44 | 2014 |
| Using Checkpointing and Virtualization for Fault Injection | 0 | 0.34 | 2014 |
| Molecular Robotics: A New Paradigm for Artifacts. | 27 | 3.73 | 2013 |
| Modbat: A Model-Based API Tester for Event-Driven Systems. | 15 | 0.71 | 2013 |
| Software model checking for distributed systems with selector-based, non-blocking communication | 10 | 0.58 | 2013 |
| Evolution of Cheating DNA-based Agents Playing the Game of Rock-Paper-Scissors | 2 | 0.42 | 2013 |
| Abstraction of graph-based models of bio-molecular reaction systems for efficient simulation | 2 | 0.40 | 2012 |
| Analysis on Secure and Effective Applications of a DNA-Based Cryptosystem | 1 | 0.41 | 2011 |
| Model checking distributed systems by combining caching and process checkpointing | 5 | 0.53 | 2011 |
| Using Coq in specification and program extraction of hadoop mapreduce applications | 9 | 0.57 | 2011 |
| Implementations of computational state transitions with biomolecules | 0 | 0.34 | 2011 |
| IT for synthetic biology and DNA nanotechnology | 1 | 0.35 | 2010 |
| Decidability and undecidability results on the modal µ-calculus with a natural number-valued semantics | 0 | 0.34 | 2010 |
| Introduction of Virtualization Technology to Multi-Process Model Checking. | 0 | 0.34 | 2009 |
| The 2nd International Workshop on Natural Computing | 0 | 0.34 | 2009 |
| Automatic Design of DNA Logic Gates Based on Kinetic Simulation | 4 | 0.55 | 2009 |
| Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption | 1 | 0.36 | 2009 |
| Hybrid Method for Simulating Small-Number Molecular Systems | 0 | 0.34 | 2009 |
| Fixed-Point Computations over Functions on Integers with Operations Min, Max and Plus | 0 | 0.34 | 2009 |
| Cache-Based Model Checking of Networked Applications: From Linear to Branching Time | 12 | 1.21 | 2009 |
| Designing Chemical and Biological Systems | 2 | 0.37 | 2008 |
| Multi-fueled Approach to DNA Nano-Robotics | 0 | 0.34 | 2008 |
| Efficient Model Checking of Networked Applications | 15 | 0.88 | 2008 |
| Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs | 0 | 0.34 | 2008 |
| Towards DNA Comparator: The Machine That Compares DNA Concentrations | 0 | 0.34 | 2008 |
| Tools and Techniques for Model Checking Networked Programs | 4 | 0.60 | 2008 |
| A decision procedure for alternation-free modal µ-calculi | 8 | 0.57 | 2008 |
| Unravel four hairpins! | 2 | 0.39 | 2008 |
