| Proving the Safety of a Sliding Window Protocol with Event-B. | 0 | 0.34 | 2021 |
| Abstract Application Modeling for System Design Space Exploration | 7 | 0.67 | 2006 |
| An Automatic Off-Line Feature Interaction Detection Method by Static Analysis of Specifications | 4 | 0.45 | 2005 |
| An Environment for Interactive Service Specification | 1 | 0.37 | 2003 |
| A Reuse-Oriented Framework for Hierarchical Specifications | 1 | 0.41 | 2000 |
| Hierarchical Heterogeneous Specifications | 2 | 0.42 | 1998 |
| Towards Heterogeneous Formal Specification | 4 | 0.49 | 1996 |
