Not finding it? Sign in to also search OpenAlex live.
-
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 -
Artifact-Based Analysis for the Development of Collaborative Embedded Systems2020 Springer eBooks book-chapter Computer Science Advanced Software Engineering Methodologies Open access
Steffen Hillemacher, Nicolas Jäckel, Christopher Kugler, Philipp Orth, David Schmalzing, Louis Wachtmeister
4citations -
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 -
Development and Evaluation of Collaborative Embedded Systems using Simulation2020 Springer eBooks book-chapter Computer Science Advanced Software Engineering Methodologies Open access
Emilia Cioroaica, Karsten Albers, Florian Pudlitz, Christian Granrath, Roland Rosen, Jan Christoph Wehrstedt
1citations -
FuzzyTM: a Software Package for Fuzzy Topic Modeling2022 Proceedings of ... IEEE International Conference on Fuzzy Systems conference-paper Computer Science Topic Modeling Open access
Emil Rijcken, Pablo J. Mosteiro, Kalliopi Zervanou, Marco René Spruit, Floortje E. Scheepers, Uzay Kaymak
5citations