| Probabilistic Symmetry Reduction For A System With Ring Buffer | 0 | 0.34 | 2011 |
| Pre- And Post-Conditions Expressed In Variants Of The Modal Mu-Calculus | 1 | 0.36 | 2009 |
| Probabilistic Model Checking Of The One-Dimensional Ising Model | 0 | 0.34 | 2009 |
| Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic | 1 | 0.35 | 2008 |
| Incremental Verification of Large ScaleWorkflows Based on Extended Correctness | 0 | 0.34 | 2008 |
| A decision procedure for alternation-free modal µ-calculi | 8 | 0.57 | 2008 |
| Workflow Diagrams Based on Evidence Life Cycles | 1 | 0.40 | 2008 |
| Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams | 2 | 0.41 | 2007 |
| 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 |
| Searching for Mutual Exclusion Algorithms Using BDDs | 0 | 0.34 | 2002 |
| Verification of authentication protocols based on the binding relation | 1 | 0.37 | 2002 |
| Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection | 3 | 0.43 | 2000 |
| Formalization of Graph Search Algorithms and Its Applications | 8 | 0.68 | 1998 |
