Not finding it? Sign in to also search OpenAlex live.
-
Model-driven software development and verification solutions for safety critical battery management systems : a quantitative evaluation of probabilistic inference & artificial intelligence methods0citations
-
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling2025 Software & Systems Modeling article Computer Science Model-Driven Software Engineering Techniques Open access
Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆
0citations -
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 -
A modular and verifiable software architecture for interconnected medical systems in intensive care2023 Annals of Computer Science and Information Systems conference-paper Medicine Healthcare Technology and Patient Monitoring Open access
Marc Wiartalla, Florian Ottersbach, Mateusz Buglowski, Stefan Kowalewski, André Stollenwerk
1citations -
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Security and Verification in Computing Open access
Lennart M. Reimann, Jonathan Wiesner, Dominik Šišejković, Farhad Merchant, Rainer Leupers
0citations -
First three years of the international verification of neural networks competition (VNN-COMP)2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor Thomas Johnson, Changliu Liu
66citations -
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 -
A secure hardware-software solution based on RISC-V, logic locking and microkernel2020 International Workshop on Software and Compilers for Embedded Systems (SCOPES) conference-paper Computer Science Security and Verification in Computing
Dominik Šišejković, Farhad Merchant, Lennart M. Reimann, Rainer Leupers, Massimiliano Giacometti, Sascha Kegreiß
21citations -
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