| No. |
Title |
Author |
Year |
| 1 |
On Verifying Concurrent Programs Under Weakly Consistent Models (Invited Talk) |
Bouajjani, Ahmed |
2023 |
| 2 |
Verification of Infinite-state Systems (Dagstuhl Seminar 00141) |
Bouajjani, Ahmed et al. |
2021 |
| 3 |
Robustness Against Transactional Causal Consistency |
Beillahi, Sidi Mohamed et al. |
2019 |
| 4 |
Verification of Asynchronous Programs with Nested Locks |
Atig, Mohamed Faouzi et al. |
2018 |
| 5 |
Verifying Quantitative Temporal Properties of Procedural Programs |
Atig, Mohamed Faouzi et al. |
2018 |
| 6 |
Checking Linearizability of Concurrent Priority Queues |
Bouajjani, Ahmed et al. |
2017 |
| 7 |
The Benefits of Duality in Verifying Concurrent Programs under TSO |
Abdulla, Parosh Aziz et al. |
2016 |
| 8 |
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk) |
Bouajjani, Ahmed et al. |
2015 |
| 9 |
On Bounded Reachability Analysis of Shared Memory Systems |
Atig, Mohamed Faouzi et al. |
2014 |
| 10 |
Rewriting Systems over Nested Data Words |
Bouajjani, Ahmed et al. |
2009 |
| 11 |
Analyzing Asynchronous Programs with Preemption |
Atig, Mohamed Faouzi et al. |
2008 |
| 12 |
Shape Analysis via Monotonic Abstraction |
Aziz Abdulla, Parosh et al. |
2008 |
| 13 |
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis |
Abdulla, Parosh Aziz et al. |
2006 |
| 14 |
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis |
Abdulla, Parosh Aziz et al. |
2006 |
| 15 |
Reachability analysis of multithreaded software with asynchronous communication |
Bouajjani, Ahmed et al. |
2006 |
