A Aralex Aachen research explorer

November 01, 2016 conference-paper

Flow-sensitive composition of thread-modular abstract interpretation

ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)

DOI: 10.1145/2950290.2950291 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 4 stored of 30

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems

4

citations
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

0

citations
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

15

citations
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

12

citations

4 results

References 0