Papers matching “model-based verification” 22
Not finding it? Sign in to also search OpenAlex live.
-
Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness2025 Software & Systems Modeling erratum Computer Science Formal Methods in Verification Open access
Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab
0citations -
Scenario- and Model-Based Systems Engineering Procedure for the SOTIF-Compliant Design of Automated Driving Functions2022 IEEE Intelligent Vehicles Symposium conference-paper Engineering Safety Systems Engineering in Autonomy
Max‐Arno Meyer, Sebastian Silberg, Christian Granrath, Christopher Kugler, Louis Wachtmeister, Bernhard Rumpe⋆, +2 more
14citations -
Model-driven software development and verification solutions for safety critical battery management systems : a quantitative evaluation of probabilistic inference & artificial intelligence methods0citations
-
Repairing Conformance Violations with a Reference Model in the Context of Automata Decomposition2026 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Formal Methods in Verification Open access
Bahareh Taghavi, Max Stachon, Adrian Marin, Bao-Lan Le-Quang, Bernhard Rumpe⋆, Ralf Reussner, +1 more
0citations -
Reusable workflows for virtual testing of multidisciplinary products in system models2023 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access
Julius Moritz Berges, Kathrin Spütz, Yizhe Zhang, Gregor Höpfner, Joerg Berroth, Christian Konrad, +1 more
10citations -
Battery Thermal Runaway Fault Prognosis in Electric Vehicles Based on Abnormal Heat Generation and Deep Learning Algorithms2022 IEEE Transactions on Power Electronics article Engineering Advanced Battery Technologies Research cited by 2 patents
Da Li, Peng Liu, Zhaosheng Zhang, Lei Zhang, Junjun Deng, Zhenpo Wang, +3 more
220citations -
A Classification Method for the Systematic Identification of Models and Workflows in MBSE2022 Symposium Design for X (DFX) conference-paper Engineering Systems Engineering Methodologies and Applications Open access
Gregor Höpfner, Julia Kowalski, Clemens Faustmann, Thilo Zerwas, Philipp Kranabitl, Seyedmohammad Vafaei, +2 more
4citations -
Reusable solution element libraries for accelerated application of MBSE in mechanical product development2025 Forschung im Ingenieurwesen article Engineering Systems Engineering Methodologies and Applications Open access
Frederik Moers, Georg Jacobs, Manuel Mennicken, Lukas Irnich, Gregor Höpfner
5citations -
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
Progress in Research and Development of Solid Oxide Cells, Stacks and Systems at Forschungszentrum Jülich2023 ECS Meeting Abstracts conference-abstract Materials Science Advancements in Solid Oxide Fuel Cells
Felix Kunz, Roland Peters, Dominik Schäfer, Shidong Zhang, Nicolas Kruse, Lambertus G. J. de Haart, +8 more
0citations
22 results