Johannes Faber

According to our database, Johannes Faber authored at least 16 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

A multi-task learning for cavitation detection and cavitation intensity recognition of valve acoustic signals.

Yu Sha, Johannes Faber, Shuiping Gou, Bo Liu, Wei Li, Stefan Schramm, Horst Stoecker, Thomas Steckenreiter, Domagoj Vnucec, Nadine Wetzstein, Andreas Widl, Kai Zhou

Eng. Appl. Artif. Intell., 2022

An acoustic signal cavitation detection framework based on XGBoost with adaptive selection feature engineering.

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

CoRR, 2022

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

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

2013

Actualizing a Mobile Integrated System for Geriatric Care.

Han Ei Chew, Johannes Faber, Zhiming Liu, Vanessa Madera, Nafees Qamar

Proceedings of the MEDINFO 2013, 2013

rCOS: Defining Meanings of Component-Based Software Architectures.

Ruzhen Dong, Johannes Faber, Wei Ke, Zhiming Liu

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

2012

A timed model for healthcare workflows based on CSP.

Johannes Faber

Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

Automated Reviewing of Healthcare Security Policies.

Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Unblockable compositions of software components.

Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011

Verification architectures for complex real-time systems.

Johannes Faber

PhD thesis, 2011

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

2010

Automatic Verification of Parametric Specifications with Complex Topologies.

Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Verification Architectures: Compositional Reasoning for Real-Time Systems.

Johannes Faber

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2008

Model checking Duration Calculus: a practical approach.

Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko

Formal Aspects Comput., 2008

2007

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Model Checking Duration Calculus: A Practical Approach.

Roland Meyer, Johannes Faber, Andrey Rybalchenko

Proceedings of the Theoretical Aspects of Computing, 2006

Model Checking Data-Dependent Real-Time Properties of the European Train Control System.

Johannes Faber, Roland Meyer

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006