Not finding it? Sign in to also search OpenAlex live.
-
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
Model-driven software development and verification solutions for safety critical battery management systems : a quantitative evaluation of probabilistic inference & artificial intelligence methods0citations
-
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 -
Predictive averaging and Rubin’s rule-based model pooling to predict survival risk with imputations in the presence of missing patient data: methodology and verification using two case studies and simulations2026 BMC Medical Research Methodology article Mathematics Statistical Methods and Bayesian Inference Open access
Bart J.A. Mertens, Lars L. J. van der Burg, Erwan Donal, Nina Ajmone Marsan, Liesbeth C. de Wreede
1citations -
Development and verification of a cure-dependent visco-thermo-elastic simulation model for predicting the process-induced surface waviness of continuous fiber reinforced thermosets2023 Journal of Composite Materials article Engineering Fiber-reinforced polymer composites Open access
Niklas Lorenz, Benjamin Gröger, M. Müller, Johannes Gerritzen, Jonas Müller, Aying Wang, +3 more
5citations