Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Johannes Faber
@article{DBLP:journals/eaai/ShaFGLLSSSVWWZ22,
author = {Yu Sha and
Johannes Faber and
Shuiping Gou and
Bo Liu and
Wei Li and
Stefan Schramm and
Horst Stoecker and
Thomas Steckenreiter and
Domagoj Vnucec and
Nadine Wetzstein and
Andreas Widl and
Kai Zhou},
title = {A multi-task learning for cavitation detection and cavitation intensity
recognition of valve acoustic signals},
journal = {Eng. Appl. Artif. Intell.},
volume = {113},
pages = {104904},
year = {2022},
url = {https://doi.org/10.1016/j.engappai.2022.104904},
doi = {10.1016/J.ENGAPPAI.2022.104904},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eaai/ShaFGLLSSSVWWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/ShaGFLLSSSVWWZ22,
author = {Yu Sha and
Shuiping Gou and
Johannes Faber and
Bo Liu and
Wei Li and
Stefan Schramm and
Horst Stoecker and
Thomas Steckenreiter and
Domagoj Vnucec and
Nadine Wetzstein and
Andreas Widl and
Kai Zhou},
editor = {Aidong Zhang and
Huzefa Rangwala},
title = {Regional-Local Adversarially Learned One-Class Classifier Anomalous
Sound Detection in Global Long-Term Space},
booktitle = {{KDD} '22: The 28th {ACM} {SIGKDD} Conference on Knowledge Discovery
and Data Mining, Washington, DC, USA, August 14 - 18, 2022},
pages = {3858--3868},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3534678.3539133},
doi = {10.1145/3534678.3539133},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kdd/ShaGFLLSSSVWWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13226,
author = {Yu Sha and
Johannes Faber and
Shuiping Gou and
Bo Liu and
Wei Li and
Stefan Schramm and
Horst St{\"{o}}cker and
Thomas Steckenreiter and
Domagoj Vnucec and
Nadine Wetzstein and
Andreas Widl and
Kai Zhou},
title = {An acoustic signal cavitation detection framework based on XGBoost
with adaptive selection feature engineering},
journal = {CoRR},
volume = {abs/2202.13226},
year = {2022},
url = {https://arxiv.org/abs/2202.13226},
eprinttype = {arXiv},
eprint = {2202.13226},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13245,
author = {Yu Sha and
Johannes Faber and
Shuiping Gou and
Bo Liu and
Wei Li and
Stefan Schramm and
Horst Stoecker and
Thomas Steckenreiter and
Domagoj Vnucec and
Nadine Wetzstein and
Andreas Widl and
Kai Zhou},
title = {Regional-Local Adversarially Learned One-Class Classifier Anomalous
Sound Detection in Global Long-Term Space},
journal = {CoRR},
volume = {abs/2202.13245},
year = {2022},
url = {https://arxiv.org/abs/2202.13245},
eprinttype = {arXiv},
eprint = {2202.13245},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13245.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-01118,
author = {Yu Sha and
Johannes Faber and
Shuiping Gou and
Bo Liu and
Wei Li and
Stefan Schramm and
Horst Stoecker and
Thomas Steckenreiter and
Domagoj Vnucec and
Nadine Wetzstein and
Andreas Widl and
Kai Zhou},
title = {A multi-task learning for cavitation detection and cavitation intensity
recognition of valve acoustic signals},
journal = {CoRR},
volume = {abs/2203.01118},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.01118},
doi = {10.48550/ARXIV.2203.01118},
eprinttype = {arXiv},
eprint = {2203.01118},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-01118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DongFKL13,
author = {Ruzhen Dong and
Johannes Faber and
Wei Ke and
Zhiming Liu},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {rCOS: Defining Meanings of Component-Based Software Architectures},
booktitle = {Unifying Theories of Programming and Formal Engineering Methods -
International Training School on Software Engineering, Held at {ICTAC}
2013, Shanghai, China, August 26-30, 2013, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {8050},
pages = {1--66},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39721-9\_1},
doi = {10.1007/978-3-642-39721-9\_1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/DongFKL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/ChewFLMQ13,
author = {Han Ei Chew and
Johannes Faber and
Zhiming Liu and
Vanessa Madera and
Nafees Qamar},
editor = {Christoph Ulrich Lehmann and
Elske Ammenwerth and
Christian N{\o}hr},
title = {Actualizing a Mobile Integrated System for Geriatric Care},
booktitle = {{MEDINFO} 2013 - Proceedings of the 14th World Congress on Medical
and Health Informatics, 20-13 August 2013, Copenhagen, Denmark},
series = {Studies in Health Technology and Informatics},
volume = {192},
pages = {1109},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-289-9-1109},
doi = {10.3233/978-1-61499-289-9-1109},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medinfo/ChewFLMQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/DongFLSZZ12,
author = {Ruzhen Dong and
Johannes Faber and
Zhiming Liu and
Jir{\'{\i}} Srba and
Naijun Zhan and
Jiaqi Zhu},
editor = {Vincenzo Grassi and
Raffaela Mirandola and
Nenad Medvidovic and
Magnus Larsson},
title = {Unblockable compositions of software components},
booktitle = {Proceedings of the 15th {ACM} {SIGSOFT} Symposium on Component Based
Software Engineering, {CBSE} 2012, part of Comparch '12 Federated
Events on Component-Based Software Engineering and Software Architecture,
Bertinoro, Italy, June 25-28, 2012},
pages = {103--108},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2304736.2304754},
doi = {10.1145/2304736.2304754},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/DongFLSZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/QamarFLL12,
author = {Nafees Qamar and
Johannes Faber and
Yves Ledru and
Zhiming Liu},
editor = {Jens H. Weber and
Isabelle Perseil},
title = {Automated Reviewing of Healthcare Security Policies},
booktitle = {Foundations of Health Information Engineering and Systems - Second
International Symposium, {FHIES} 2012, Paris, France, August 27-28,
2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7789},
pages = {176--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39088-3\_12},
doi = {10.1007/978-3-642-39088-3\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fhies/QamarFLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Faber12,
author = {Johannes Faber},
editor = {Ruth Breu and
John Hatcliff},
title = {A timed model for healthcare workflows based on {CSP}},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering
in Health Care, {SEHC} 2012, Zurich, Switzerland, June 4-5, 2012},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEHC.2012.6227002},
doi = {10.1109/SEHC.2012.6227002},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/Faber12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Faber11,
author = {Johannes Faber},
title = {Verification architectures for complex real-time systems},
school = {Carl von Ossietzky University of Oldenburg},
year = {2011},
url = {https://d-nb.info/1016987560},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Faber11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/FaberLOQ11,
author = {Johannes Faber and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog and
Jan{-}David Quesel},
title = {Syspect - Modelling, Specifying, and Verifying Real-Time Systems with
Rich Data},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {117--137},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i78},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/FaberLOQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Faber10,
author = {Johannes Faber},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Verification Architectures: Compositional Reasoning for Real-Time
Systems},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {136--151},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_11},
doi = {10.1007/978-3-642-16265-7\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Faber10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FaberIJS10,
author = {Johannes Faber and
Carsten Ihlemann and
Swen Jacobs and
Viorica Sofronie{-}Stokkermans},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Automatic Verification of Parametric Specifications with Complex Topologies},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {152--167},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_12},
doi = {10.1007/978-3-642-16265-7\_12},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/FaberIJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-1602,
author = {Johannes Faber and
Carsten Ihlemann and
Swen Jacobs and
Viorica Sofronie{-}Stokkermans},
title = {Automatic Verification of Parametric Specifications with Complex Topologies},
journal = {CoRR},
volume = {abs/1010.1602},
year = {2010},
url = {http://arxiv.org/abs/1010.1602},
eprinttype = {arXiv},
eprint = {1010.1602},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-1602.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MeyerFHR08,
author = {Roland Meyer and
Johannes Faber and
Jochen Hoenicke and
Andrey Rybalchenko},
title = {Model checking Duration Calculus: a practical approach},
journal = {Formal Aspects Comput.},
volume = {20},
number = {4-5},
pages = {481--505},
year = {2008},
url = {https://doi.org/10.1007/s00165-008-0082-7},
doi = {10.1007/S00165-008-0082-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MeyerFHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FaberJS07,
author = {Johannes Faber and
Swen Jacobs and
Viorica Sofronie{-}Stokkermans},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Verifying {CSP-OZ-DC} Specifications with Complex Data Types and Timing
Parameters},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {233--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_13},
doi = {10.1007/978-3-540-73210-5\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/FaberJS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FaberM06,
author = {Johannes Faber and
Roland Meyer},
title = {Model Checking Data-Dependent Real-Time Properties of the European
Train Control System},
booktitle = {Formal Methods in Computer-Aided Design, 6th International Conference,
{FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
pages = {76--77},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/FMCAD.2006.21},
doi = {10.1109/FMCAD.2006.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/FaberM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MeyerFR06,
author = {Roland Meyer and
Johannes Faber and
Andrey Rybalchenko},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {Model Checking Duration Calculus: {A} Practical Approach},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {332--346},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_23},
doi = {10.1007/11921240\_23},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/MeyerFR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-01 22:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
