Model Checking Data-Dependent Real-Time Properties of the European Train Control System. - Johannes Faber; Roland Meyer 001 (FMCAD, 2006)

Model Checking Duration Calculus: A Practical Approach. - Roland Meyer 001; Johannes Faber; Andrey Rybalchenko (ICTAC, 2006)

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. - Johannes Faber; Swen Jacobs; Viorica Sofronie-Stokkermans (IFM, 2007)

Model checking Duration Calculus: a practical approach. - Roland Meyer 001; Johannes Faber; Jochen Hoenicke; Andrey Rybalchenko (Formal Aspects Comput., 2008)

Verification Architectures: Compositional Reasoning for Real-Time Systems. - Johannes Faber (IFM, 2010)

Automatic Verification of Parametric Specifications with Complex Topologies. - Johannes Faber; Carsten Ihlemann; Swen Jacobs; Viorica Sofronie-Stokkermans (IFM, 2010)

Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. - Johannes Faber; Sven Linker; Ernst-Rüdiger Olderog; Jan-David Quesel (Int. J. Softw. Informatics, 2011)

Verification architectures for complex real-time systems. - Johannes Faber (2011)

Unblockable compositions of software components. - Ruzhen Dong; Johannes Faber; Zhiming Liu 001; Jirí Srba; Naijun Zhan; Jiaqi Zhu 001 (CBSE, 2012)

Automated Reviewing of Healthcare Security Policies. - Nafees Qamar; Johannes Faber; Yves Ledru; Zhiming Liu 001 (FHIES, 2012)

A timed model for healthcare workflows based on CSP. - Johannes Faber (SEHC@ICSE, 2012)

rCOS: Defining Meanings of Component-Based Software Architectures. - Ruzhen Dong; Johannes Faber; Wei Ke 001; Zhiming Liu 001 (ICTAC Training School on Software Engineering, 2013)

Actualizing a Mobile Integrated System for Geriatric Care. - Han Ei Chew; Johannes Faber; Zhiming Liu 001; Vanessa Madera; Nafees Qamar (MedInfo, 2013)

Regional-Local Adversarially Learned One-Class Classifier Anomalous Sound Detection in Global Long-Term Space. - Yu Sha; Shuiping Gou; Johannes Faber; Bo Liu 009; Wei Li; Stefan Schramm; Horst Stoecker; Thomas Steckenreiter; Domagoj Vnucec; Nadine Wetzstein; Andreas Widl; Kai Zhou (KDD, 2022)

An acoustic signal cavitation detection framework based on XGBoost with adaptive selection feature engineering. - Yu Sha; Johannes Faber; Shuiping Gou; Bo Liu 009; Wei Li; Stefan Schramm; Horst Stöcker; Thomas Steckenreiter; Domagoj Vnucec; Nadine Wetzstein; Andreas Widl; Kai Zhou (CoRR, 2022)

A multi-task learning for cavitation detection and cavitation intensity recognition of valve acoustic signals. - Yu Sha; Johannes Faber; Shuiping Gou; Bo Liu 009; Wei Li; Stefan Schramm; Horst Stoecker; Thomas Steckenreiter; Domagoj Vnucec; Nadine Wetzstein; Andreas Widl; Kai Zhou (Eng. Appl. Artif. Intell., 2022)

Hierarchical Knowledge Guided Fault Intensity Diagnosis of Complex Industrial Systems. - Yu Sha; Shuiping Gou; Bo Liu 009; Johannes Faber; Ningtao Liu; Stefan Schramm; Horst Stoecker; Thomas Steckenreiter; Domagoj Vnucec; Nadine Wetzstein; Andreas Widl; Kai Zhou (KDD, 2024)

Hierarchical cavitation intensity recognition using Sub-Master Transition Network-based acoustic signals in pipeline systems. - Shuiping Gou; Yu Sha; Bo Liu 009; Ningtao Liu; Johannes Faber; Stefan Schramm; Horst Stoecker; Thomas Steckenreiter; Domagoj Vnucec; Nadine Wetzstein; Andreas Widl; Kai Zhou (Expert Syst. Appl., 2024)

SAIPy: A Python package for single-station earthquake monitoring using deep learning. - Wei Li; Megha Chakraborty; Claudia Quinteros Cartaya; Jonas Köhler 004; Johannes Faber; Men-Andrin Meier; Georg Rümpker; Nishtha Srivastava (Comput. Geosci., 2024)