Not finding it? Sign in to also search OpenAlex live.
-
Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics2025 Journal of Aerospace Information Systems article Computer Science Model-Driven Software Engineering Techniques Open access
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆
7citations -
A Hybrid Modeling Framework for Generalizable and Interpretable Predictions of ICU Mortality: Leveraging ICD Codes in a Multi-Hospital Study of Mechanically Ventilated Influenza Patients
Moein E. Samadi, Jorge Guzman-Maldonado, Kateryna Nikulina, Hedieh Mirzaieazar, Konstantin Sharafutdinov, Sebastian Johannes Fritsch, +1 more
2citations -
Bayesian calibration, process modeling and uncertainty quantification in biotechnology2021 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science Gaussian Processes and Bayesian Inference Open access
Laura M. Helleckes, Michael Osthege, Wolfgang Wiechert, Eric von Lieres, Marco Oldiges
4citations -
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations -
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more
0citations -
Estimation of Kinetic Parameters in Stochastic Biomedical Models Using Estimation Theory2021 IEEE International Symposium on Intelligent Systems and Informatics (SISY) conference-paper Computer Science Petri Nets in System Modeling
Lukas David Schuck, Lejla Begic Fazlic, Guido Dartmann, Anke Schmeink
0citations