| Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. | 0 | 0.34 | 2022 |
| Compositional Verification of Smart Contracts Through Communication Abstraction | 0 | 0.34 | 2021 |
| Local Reasoning For Parameterized First Order Protocols | 0 | 0.34 | 2019 |
| Symmetry Reduction for the Local Mu-Calculus. | 1 | 0.37 | 2018 |
| Symmetry Reduction for the Local Mu-Calculus. | 0 | 0.34 | 2018 |
| Parameterized Compositional Model Checking. | 4 | 0.42 | 2016 |
| Analysis of Dynamic Process Networks. | 2 | 0.37 | 2015 |
| Loop Freedom in AODVv2. | 6 | 0.45 | 2015 |
| Uncovering Symmetries In Irregular Process Networks | 10 | 0.54 | 2013 |
| Local symmetry and compositional verification | 6 | 0.46 | 2012 |
| On the completeness of compositional reasoning methods | 12 | 0.59 | 2010 |
| Fair Cycle Detection using Description Logic Reasoning | 0 | 0.34 | 2009 |
| Extending Symmetry Reduction by Exploiting System Architecture | 2 | 0.39 | 2009 |
| Modal vs. Propositional Reasoning for model checking with Description Logics | 0 | 0.34 | 2007 |
| Reducing model checking of the few to the one | 7 | 0.58 | 2006 |
| Model checking the basic modalities of CTL with Description Logic | 1 | 0.36 | 2006 |
| Visual Specifications for Modular Reasoning about Asynchronous Systems | 6 | 0.45 | 2002 |
| Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams | 20 | 0.97 | 2001 |
| On the Competeness of Compositional Reasoning | 29 | 1.19 | 2000 |
| Parametric Quantitative Temporal Reasoning | 41 | 1.67 | 1999 |
| From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking | 57 | 2.39 | 1999 |
| Model Checking Real-Time Properties of Symmetric Systems | 6 | 0.71 | 1998 |
| Generalized Quantitative Temporal Reasoning: An Automata Theoretic Approach | 12 | 0.66 | 1997 |
