Mohamed Faouzi Atig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
60
Venues
20
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
60 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | On the Verification Problem of Remote Direct Memory Access Programs. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Govind Rajanbabu, Stephan Spengler |
| 2025 | APLAS | Checking Consistency of Event-Driven Traces. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam |
| 2025 | ICTAC | Verification of the Release-Acquire Semantics. | Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn |
| 2024 | ATVA | Guiding Word Equation Solving Using Graph Neural Networks. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rmmer |
| 2024 | CAV | Parsimonious Optimal Dynamic Partial Order Reduction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas |
| 2024 | TACAS | Verification under TSO with an infinite Data Domain. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg |
| 2023 | ATVA | Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bnneland, Sarbojit Das, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2023 | CAV | Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala |
| 2023 | TACAS | Parameterized Verification under TSO with Data Types. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler |
| 2023 | TACAS | Optimal Stateless Model Checking for Causal Consistency. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe |
| 2022 | ESOP | Probabilistic Total Store Ordering. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna |
| 2021 | APLAS | Solving Not-Substring Constraint withFlat Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen |
| 2021 | ESOP | The Decidability of Verification under PS 2.0. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis |
| 2020 | ATVA | Boosting Sequential Consistency Checking Using Saturation. | Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi |
| 2020 | CONCUR | On the Separability Problem of String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna |
| 2020 | PLDI | Efficient handling of string-number conversion. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Luks Holk, Wei-Cheng Wu |
| 2019 | ATVA | Chain-Free String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Luks Holk, Petr Janku |
| 2019 | PLDI | Verification of programs under the release-acquire semantics. | Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna |
| 2019 | PODS | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali |
| 2018 | CONCUR | Universal Safety for Timed Petri Nets is PSPACE-complete. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke |
| 2018 | CONCUR | Verifying Quantitative Temporal Properties of Procedural Programs. | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
| 2018 | FMCAD | Trau: SMT solver for string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2018 | VECoS | Replacing Store Buffers by Load Buffers in TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
| 2017 | CONCUR | Data Multi-Pushdown Automata. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
| 2017 | MFCS | On the Upward/Downward Closures of Petri Nets. | Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan |
| 2017 | PLDI | Flatten and conquer: a framework for efficient analysis of string constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Luks Holk, Ahmed Rezine, Philipp Rmmer |
| 2017 | TACAS | Context-Bounded Analysis for POWER. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
| 2016 | CAV | Stateless Model Checking for POWER. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson |
| 2016 | CONCUR | The Benefits of Duality in Verifying Concurrent Programs under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
| 2016 | FM | Counter-Example Guided Program Verification. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep |
| 2016 | FORTE | Fencing Programs with Self-Invalidation and Self-Downgrade. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu |
| 2016 | LICS | Data Communicating Processes with Unreliable Channels. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
| 2016 | LICS | The complexity of regular abstractions of one-counter languages. | Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche |
| 2016 | PODS | Recency-Bounded Verification of Dynamic Database-Driven Systems. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine |
| 2016 | TACAS | Acceleration in Multi-PushDown Systems. | Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan |
| 2015 | CAV | Norn: An SMT Solver for String Constraints. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman |
| 2015 | ESOP | The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong |
| 2015 | FMCAD | Verification of Cache Coherence Protocols wrt. Trace Filters. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu |
| 2015 | TACAS | Stateless Model Checking for TSO and PSO. | Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas |
| 2014 | CAV | String Constraints for Verification. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Luks Holk, Ahmed Rezine, Philipp Rmmer, Jari Stenman |
| 2014 | CSL | Infinite-state energy games. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke |
| 2014 | LATA | Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2013 | ATVA | Analysis of Message Passing Programs Using SMT-Solvers. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg |
| 2013 | DLT | Adjacent Ordered Multi-Pushdown Systems. | Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan |
| 2013 | FORTE | Verification of Directed Acyclic Ad Hoc Networks. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine |
| 2013 | TACAS | Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2012 | ATVA | Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
| 2012 | CAV | Detecting Fair Non-termination in Multithreaded Programs. | Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal |
| 2012 | ESOP | What's Decidable about Weak Memory Models? | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
| 2012 | FMCAD | Multi-pushdown systems with budgets. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman |
| 2012 | LATA | The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2012 | LICS | Dense-Timed Pushdown Automata. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
| 2012 | SAS | Automatic Fence Insertion in Integer Programs via Predicate Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2012 | TACAS | Counter-Example Guided Fence Insertion under TSO. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2011 | CAV | Getting Rid of Store-Buffers in TSO Analysis. | Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato |
| 2010 | CONCUR | From Multi to Single Stack Automata. | Mohamed Faouzi Atig |
| 2010 | POPL | On the verification problem for weak memory models. | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
| 2009 | TACAS | Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. | Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer |
| 2008 | CONCUR | On the Reachability Analysis of Acyclic Networks of Pushdown Systems. | Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili |
| 2008 | DLT | Emptiness of Multi-pushdown Automata Is 2ETIME-Complete. | Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl |