Not finding it? Sign in to also search OpenAlex live.
-
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 -
Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Software Engineering Techniques and Practices Open access
Armin Mokhtarian, Alexandru Kampmann, Bassam Alrifaee, Stefan Kowalewski, Bastian Lampe, Lutz Eckstein
3citations -
Towards an Isabelle Theory for distributed, interactive systems : the untimed case2020 RWTH Publications (RWTH Aachen) report Computer Science Logic, programming, and type systems Open access
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe⋆, Sebastian Stüber, +1 more
3citations -
AVT-ECoClass-VR: An open-source audiovisual 360° video and immersive CGI multi-talker dataset to evaluate cognitive performance2024 International Conference on Quality of Multimedia Experience (QoMEX) conference-paper Computer Science Speech and Audio Processing
Stephan Fremerey, Carolin Breuer, Larissa Leist, Maria Klatte, Janina Fels, Alexander Raake
2citations -
Stateful Embedded Fuzzing Using Peripheral-Accurate SystemC Virtual Prototypes2026 ACM/IEEE Design Automation Conference (DAC) conference-paper Computer Science Software Testing and Debugging Techniques Open access
Chiara Ghinami, Igor Pontes Tresolavy, Luis Seibt, Nils Bosbach, Rainer Leupers
0citations -
Second funding phase proposal: NFDI4Microbiota – National Research Data Infrastructure for Microbiota Research2026 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access
Konrad U. Förstner, Sina V. Barysch, Anke Becker, Michael Beckstette, Sebastian Beyvers, Martin Bole, +32 more
0citations