| Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. | 0 | 0.34 | 2020 |
| Model-Based API Testing of Apache ZooKeeper | 9 | 0.60 | 2017 |
| Runtime Monitoring For Concurrent Systems | 0 | 0.34 | 2016 |
| GRT at the SBST 2015 tool competition | 9 | 0.62 | 2015 |
| Using Checkpointing and Virtualization for Fault Injection | 0 | 0.34 | 2015 |
| Software Model Checking of UDP-based Distributed Applications. | 0 | 0.34 | 2015 |
| Cardinality of UDP Transmission Outcomes. | 0 | 0.34 | 2015 |
| Software Model Checking of UDP-based Distributed Applications | 2 | 0.36 | 2014 |
| Using Checkpointing and Virtualization for Fault Injection | 0 | 0.34 | 2014 |
| Modbat: A Model-Based API Tester for Event-Driven Systems. | 15 | 0.71 | 2013 |
| Model checking distributed systems by combining caching and process checkpointing | 5 | 0.53 | 2011 |
| Introduction of Virtualization Technology to Multi-Process Model Checking. | 0 | 0.34 | 2009 |
| Cache-Based Model Checking of Networked Applications: From Linear to Branching Time | 12 | 1.21 | 2009 |
| Verifying networked programs using a model checker extension | 3 | 0.45 | 2009 |
| Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification | 1 | 0.35 | 2005 |
| A decision procedure for the alternation-free two-way modal µ-calculus | 9 | 0.58 | 2005 |
| Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic | 3 | 0.45 | 2004 |
| UML Scrapbook and Realization of Snapshot Programming Environment | 6 | 0.73 | 2003 |
| Decidability of Safety Properties of Timed Multiset Rewriting | 1 | 0.36 | 2002 |
| Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata | 0 | 0.34 | 2001 |
| Formalization of Graph Search Algorithms and Its Applications | 8 | 0.68 | 1998 |
| Formalization of Planar Graphs | 8 | 0.74 | 1995 |
