Model checking of Scenario-Aware Dataflow with CADP. - Bart D. Theelen; Joost-Pieter Katoen; Hao Wu 013 (DATE, 2012)

Model-based energy optimization of automotive control systems. - Joost-Pieter Katoen; Thomas Noll 001; Hao Wu 013; Thomas Santen; Dirk Seifert (DATE, 2013)

Exponentially timed SADF: Compositional semantics, reductions, and analysis. - Joost-Pieter Katoen; Hao Wu 013 (EMSOFT, 2014)

Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics. - Joost-Pieter Katoen; Thomas Noll 001; Thomas Santen; Dirk Seifert; Hao Wu 013 (MMB/DFT, 2014)

Performance Evaluation of Concurrent Data Structures. - Hao Wu 013; Xiaoxiao Yang; Joost-Pieter Katoen (SETTA, 2016)

Proving Linearizability via Branching Bisimulation. - Xiaoxiao Yang; Joost-Pieter Katoen; Huimin Lin; Hao Wu 013 (CoRR, 2016)

Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow. - Joost-Pieter Katoen; Hao Wu 013 (ACM Trans. Design Autom. Electr. Syst., 2016)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation. - Xiaoxiao Yang; Joost-Pieter Katoen; Huimin Lin; Hao Wu 013 (CoRR, 2017)

Industrial Applications of Probabilistic Model Checking- A Model-based Approach for Embedded Networked Systems and Concurrent Data Structures -. - Hao Wu 013 (2017)

Branching Bisimulation and Concurrent Object Verification. - Xiaoxiao Yang; Joost-Pieter Katoen; Huimin Lin; Gaoang Liu; Hao Wu 013 (DSN, 2018)