| 2024 | KDD | Hierarchical Knowledge Guided Fault Intensity Diagnosis of Complex Industrial Systems. | Yu Sha, Shuiping Gou, Bo Liu, Johannes Faber, Ningtao Liu, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou |
| 2022 | KDD | Regional-Local Adversarially Learned One-Class Classifier Anomalous Sound Detection in Global Long-Term Space. | Yu Sha, Shuiping Gou, Johannes Faber, Bo Liu, Wei Li, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou |
| 2013 | ICTAC | rCOS: Defining Meanings of Component-Based Software Architectures. | Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu |
| 2012 | ICSE | A timed model for healthcare workflows based on CSP. | Johannes Faber |
| 2010 | IFM | Verification Architectures: Compositional Reasoning for Real-Time Systems. | Johannes Faber |
| 2010 | IFM | Automatic Verification of Parametric Specifications with Complex Topologies. | Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2007 | IFM | Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. | Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2006 | FMCAD | Model Checking Data-Dependent Real-Time Properties of the European Train Control System. | Johannes Faber, Roland Meyer |
| 2006 | ICTAC | Model Checking Duration Calculus: A Practical Approach. | Roland Meyer, Johannes Faber, Andrey Rybalchenko |