Johannes Faber

24 papers A* 2B 4C 1Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
A deep learning pipeline for large earthquake analysis using high-rate global navigation satellite system data.
Earth Sci. Informatics
Claudia Quinteros Cartaya, Javier Quintero-Arenas, Andrea Padilla-Lafarga, Carlos Moraila, Johannes Faber, Wei Li, Jonas Köhler, Nishtha Srivastava
2025 J jnl
Hierarchical knowledge guided fault intensity diagnosis of complex industrial systems.
CoRR
Yu Sha, Shuiping Gou, Bo Liu, Johannes Faber, Ningtao Liu, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou
2024 A* conf
Hierarchical Knowledge Guided Fault Intensity Diagnosis of Complex Industrial Systems.
KDD
Yu Sha, Shuiping Gou, Bo Liu, Johannes Faber, Ningtao Liu, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou
2024 J jnl
Hierarchical cavitation intensity recognition using Sub-Master Transition Network-based acoustic signals in pipeline systems.
Expert Syst. Appl.
Shuiping Gou, Yu Sha, Bo Liu, Ningtao Liu, Johannes Faber, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou
2024 J jnl
SAIPy: A Python package for single-station earthquake monitoring using deep learning.
Comput. Geosci.
Wei Li, Megha Chakraborty, Claudia Quinteros Cartaya, Jonas Köhler, Johannes Faber, Men-Andrin Meier, Georg Rümpker, Nishtha Srivastava
2022 J jnl
A multi-task learning for cavitation detection and cavitation intensity recognition of valve acoustic signals.
CoRR
Yu Sha, Johannes Faber, Shuiping Gou, Bo Liu, Wei Li, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou
2022 J jnl
A multi-task learning for cavitation detection and cavitation intensity recognition of valve acoustic signals.
Eng. Appl. Artif. Intell.
Yu Sha, Johannes Faber, Shuiping Gou, Bo Liu, Wei Li, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou
2022 J jnl
An acoustic signal cavitation detection framework based on XGBoost with adaptive selection feature engineering.
CoRR
Yu Sha, Johannes Faber, Shuiping Gou, Bo Liu, Wei Li, Stefan Schramm, Horst Stöcker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou
2022 A* conf
Regional-Local Adversarially Learned One-Class Classifier Anomalous Sound Detection in Global Long-Term Space.
KDD
Yu Sha, Shuiping Gou, Johannes Faber, Bo Liu, Wei Li, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou
2022 J jnl
Regional-Local Adversarially Learned One-Class Classifier Anomalous Sound Detection in Global Long-Term Space.
CoRR
Yu Sha, Johannes Faber, Shuiping Gou, Bo Liu, Wei Li, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou
2013 — conf
Actualizing a Mobile Integrated System for Geriatric Care.
MedInfo
Han Ei Chew, Johannes Faber, Zhiming Liu, Vanessa Madera, Nafees Qamar
2013 — conf
rCOS: Defining Meanings of Component-Based Software Architectures.
ICTAC Training School on Software Engineering
Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu
2012 — conf
A timed model for healthcare workflows based on CSP.
SEHC@ICSE
Johannes Faber
2012 — conf
Automated Reviewing of Healthcare Security Policies.
FHIES
Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu
2012 — conf
Unblockable compositions of software components.
CBSE
Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu
2011 J jnl
Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.
Int. J. Softw. Informatics
Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel
2011 — —
Verification architectures for complex real-time systems.
Johannes Faber
2010 J jnl
Automatic Verification of Parametric Specifications with Complex Topologies
CoRR
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
2010 B conf
Automatic Verification of Parametric Specifications with Complex Topologies.
IFM
Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
2010 B conf
Verification Architectures: Compositional Reasoning for Real-Time Systems.
IFM
Johannes Faber
2008 J jnl
Model checking Duration Calculus: a practical approach.
Formal Aspects Comput.
Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko
2007 B conf
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.
IFM
Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans
2006 B conf
Model Checking Data-Dependent Real-Time Properties of the European Train Control System.
FMCAD
Johannes Faber, Roland Meyer
2006 C conf
Model Checking Duration Calculus: A Practical Approach.
ICTAC
Roland Meyer, Johannes Faber, Andrey Rybalchenko