Not finding it? Sign in to also search OpenAlex live.
-
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
4citations -
SAFEST: The Static and Dynamic Fault Tree Analysis Tool2023 European Safety and Reliability Conference (ESREL) conference-paper Decision Sciences Risk and Safety Analysis Open access
Matthias Volk, Muzammil Ibne Irshad, Joost-Pieter Katoen, Falak Sher, Mariëlle I. A. Stoelinga, Zafar Ahmad
0citations -
Leveraging Static Analysis to Accelerate Dynamic Race Detection for Remote Memory Access Programs2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques
Simon Schwitanski, Yussur Mustafa Oraji, Cornelius Pätzold, Joachim Jenke, Matthias Mueller
2citations -
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking2024 Proceedings, annual Reliability and Maintainability Symposium/Proceedings. Annual Reliability and Maintainability Symposium conference-paper Decision Sciences Risk and Safety Analysis Open access
Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle I. A. Stoelinga
13citations -
Capability analysis of Puck damage model in predicting the damage behavior of unidirectional composite laminates under different scenarios2020 IOP Conference Series Materials Science and Engineering conference-paper Engineering Mechanical Behavior of Composites Open access
Mohd Suhairil Meon, Hazran Husain, Juri Saedon, Syahar Shawal, N. H. Mohamad Nor, Narasimha Rao Mekala
1citations -
Performance-based drift detection for active machine learning model adaption: A comparative analysis across 35 HVAC devices2025 Journal of Physics Conference Series conference-paper Engineering Building Energy and Comfort Optimization Open access
K Derzsi, Florian Stinner, L Patrun, Jonas Klingebiel, Dirk Müller
1citations -
RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications2024 Proceedings of the International Conference on Parallel Processing conference-paper Computer Science Parallel Computing and Optimization Techniques Open access
Simon Schwitanski, Yussur Mustafa Oraji, Cornelius Pätzold, Joachim Jenke, Felix Tomski
4citations -
Dissecting Android Cryptocurrency Miners2020 ACM Conference on Data and Application Security and Privacy (CODASPY) conference-paper Computer Science Advanced Malware Detection Techniques Open access cited by 5 patents
Stanislav Dashevskyi, Yury Zhauniarovich, Olga Gadyatskaya, Aleksandr Pilgun, Hamza Ouhssain
21citations -
Eradicating the Unseen: Detecting, Exploiting, and Remediating a Path Traversal Vulnerability across GitHub2025 ACM Asia Conference on Computer and Communications Security (ASIA CCS) conference-paper Computer Science Web Application Security Vulnerabilities Open access
Jafar Akhoundali, Hamidreza Hamidi, Kristian F. D. Rietveld, Olga Gadyatskaya
3citations