Decision problems in systolic circuit verification

von Abdulla, Parosh Aziz
Veröffentlicht 1990

Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 ; proceedings

Veröffentlicht 2013

Networked systems : 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers

Veröffentlicht 2016

Boosting Constrained Horn Solving by Unsat Core Learning

von Abdulla, Parosh Aziz
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)

Special issue on NETYS'2016

Veröffentlicht 2019

Special issue: reachability problems for infinite state systems

Veröffentlicht 2016

Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding

von Abdulla, Parosh Aziz
Veröffentlicht in ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (38. : 2019 : Amsterdam) PODS '19 (2019)

The Decidability of Verification under PS 2.0

von Abdulla, Parosh Aziz
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Verifying Reachability for TSO Programs with Dynamic Thread Creation

von Abdulla, Parosh Aziz
Veröffentlicht in NETYS (10. : 2022 : Online) Networked systems (2022)

Probabilistic Total Store Ordering

von Abdulla, Parosh Aziz
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practic...

Veröffentlicht 2011

On the State Reachability Problem for Concurrent Programs Under Power

von Abdulla, Parosh Aziz
Veröffentlicht in NETYS (8. : 2020 : Online) Networked systems (2021)

Parameterized Verification under TSO with Data Types

von Abdulla, Parosh Aziz
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Solving Not-Substring Constraint with Flat Abstraction

von Abdulla, Parosh Aziz
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)