| A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. | 2 | 0.36 | 2017 |
| Hierarchical System Schedulability Analysis Framework Using Uppaal | 1 | 0.37 | 2016 |
| Formal Modeling and Verification of SDN-OpenFlow | 3 | 0.44 | 2013 |
