Zobrazeno 1 - 10
of 330
pro vyhledávání: '"Berger Philipp"'
Publikováno v:
In Progress in Neurobiology May 2024 236
This paper reports on our experiences with verifying automotive C code by state-of-the-art open source software model checkers. The embedded C code is automatically generated from Simulink open-loop controller models. Its diverse features (decision l
Externí odkaz:
http://arxiv.org/abs/2003.11689
Autor:
Berger, Philipp, Nellen, Johanna, Katoen, Joost-Pieter, Abraham, Erika, Waez, Md Tawhid Bin, Rambow, Thomas
In industrial model-based development (MBD) frameworks, requirements are typically specified informally using textual descriptions. To enable the application of formal methods, these specifications need to be formalized in the input languages of all
Externí odkaz:
http://arxiv.org/abs/1906.07083
Autor:
Jorch, Selina K., McNally, Annika, Berger, Philipp, Wolf, Jonas, Kaiser, Kim, Chetrusca Covash, Andrian, Robeck, Stefanie, Pastau, Isabell, Fehler, Olesja, Jauch-Speer, Saskia-L., Hermann, Sven, Schäfers, Michael, Van Gorp, Hanne, Kanneganti, Apurva, Dehoorne, Joke, Haerynck, Filomeen, Penco, Federica, Gattorno, Marco, Chae, Jae Jin, Kubes, Paul, Lamkanfi, Mohamed, Wullaert, Andy, Sperandio, Markus, Vogl, Thomas, Roth, Johannes, Austermann, Judith
Publikováno v:
In The Journal of Allergy and Clinical Immunology July 2023 152(1):230-243
Publikováno v:
In Micro and Nano Engineering June 2023 19
We demonstrate that effortlessly accessible digital records of behavior such as Facebook Likes can be obtained and utilized to automatically distinguish a wide range of highly delicate personal traits including: life satisfaction, cultural ethnicity,
Externí odkaz:
http://arxiv.org/abs/1812.04346
Autor:
Loch, Rolf Antonie, Wang, Hongzhi, Perálvarez-Marín, Alex, Berger, Philipp, Nielsen, Henrietta, Chroni, Angeliki, Luo, Jinghui
Publikováno v:
In Computational and Structural Biotechnology Journal 2023 21:1189-1204
Autor:
Romantini, Nina, Alam, Shahidul, Dobitz, Stefanie, Spillmann, Martin, De Foresta, Martina, Schibli, Roger, Schertler, Gebhard F. X., Wennemers, Helma, Deupi, Xavier, Behe, Martin, Berger, Philipp
Publikováno v:
Proceedings of the National Academy of Sciences of the United States of America, 2021 Nov . 118(48), 1-8.
Externí odkaz:
https://www.jstor.org/stable/27094086
Publikováno v:
In Trends in Cognitive Sciences November 2022 26(11):906-908