![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Mohamed Faouzi Atig
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j18]Parosh Aziz Abdulla
, Mohamed Faouzi Atig
, Ahmed Bouajjani
, K. Narayan Kumar
, Prakash Saivasan
:
Verification under Intel-x86 with Persistency. Proc. ACM Program. Lang. 8(PLDI): 1189-1212 (2024) - [c85]Parosh Aziz Abdulla
, Mohamed Faouzi Atig
, Adwait Godbole
, Shankara Narayanan Krishna
, Mihir Vahanwala
:
Fairness and Liveness Under Weak Consistency. Taming the Infinities of Concurrency 2024: 1-21 - [c84]Parosh Aziz Abdulla
, Mohamed Faouzi Atig
, Sarbojit Das
, Bengt Jonsson
, Konstantinos Sagonas
:
Parsimonious Optimal Dynamic Partial Order Reduction. CAV (2) 2024: 19-43 - [c83]Parosh Aziz Abdulla, Mohamed Faouzi Atig
, Florian Furbach
, Shashwat Garg:
Verification under TSO with an infinite Data Domain. TACAS (3) 2024: 276-295 - [i24]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg:
Verification under TSO with an infinite Data Domain. CoRR abs/2401.10423 (2024) - [i23]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas:
Parsimonious Optimal Dynamic Partial Order Reduction. CoRR abs/2405.11128 (2024) - 2023
- [c82]Parosh Aziz Abdulla
, Mohamed Faouzi Atig
, Frederik Meyer Bønneland
, Sarbojit Das
, Bengt Jonsson
, Magnus Lång
, Konstantinos Sagonas
:
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. ATVA 2023: 176-198 - [c81]Parosh Aziz Abdulla
, Mohamed Faouzi Atig
, Adwait Godbole
, Shankaranarayanan Krishna
, Mihir Vahanwala
:
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models. CAV (1) 2023: 184-205 - [c80]Parosh Aziz Abdulla
, Mohamed Faouzi Atig
, S. Krishna
, Ashutosh Gupta, Omkar Tuppe:
Optimal Stateless Model Checking for Causal Consistency. TACAS (1) 2023: 105-125 - [c79]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler:
Parameterized Verification under TSO with Data Types. TACAS (1) 2023: 588-606 - [i22]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankaranarayanan Krishna, Stephan Spengler:
Parameterized Verification under TSO with Data Types. CoRR abs/2302.02163 (2023) - [i21]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala:
Overcoming Memory Weakness with Unified Fairness. CoRR abs/2305.17605 (2023) - [i20]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku:
Chain-Free String Constraints (Technical Report). CoRR abs/2307.03970 (2023) - [i19]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs. CoRR abs/2307.15930 (2023) - 2022
- [j17]Mohamed Faouzi Atig:
The Computing Journal gratefully acknowledges the editorial work of the scientists listed below on the special issue entitled "S.I. : NETYS 2019". Computing 104(10): 2157 (2022) - [c78]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan:
Consistency and Persistency in Program Verification: Challenges and Opportunities. Principles of Systems Design 2022: 494-510 - [c77]Parosh Aziz Abdulla
, Mohamed Faouzi Atig
, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
:
Probabilistic Total Store Ordering. ESOP 2022: 317-345 - [c76]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Verifying Reachability for TSO Programs with Dynamic Thread Creation. NETYS 2022: 283-300 - [i18]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna:
Probabilistic Total Store Ordering. CoRR abs/2201.10213 (2022) - [i17]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe:
Optimal SMC for Transactional Programs. CoRR abs/2211.09020 (2022) - 2021
- [j16]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Deciding reachability under persistent x86-TSO. Proc. ACM Program. Lang. 5(POPL): 1-32 (2021) - [c75]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen:
Solving Not-Substring Constraint withFlat Abstraction. APLAS 2021: 305-320 - [c74]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis
:
The Decidability of Verification under PS 2.0. ESOP 2021: 1-29 - 2020
- [j15]Mohamed Faouzi Atig, Simon Bliudze:
Preface to the VECoS 2018 special issue of ISSE. Innov. Syst. Softw. Eng. 16(2): 99-100 (2020) - [j14]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Rojin Rezvan:
Parameterized verification under TSO is PSPACE-complete. Proc. ACM Program. Lang. 4(POPL): 26:1-26:29 (2020) - [j13]Mohamed Faouzi Atig:
What is decidable under the TSO memory model? ACM SIGLOG News 7(4): 4-19 (2020) - [c73]Rachid Zennou
, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi:
Boosting Sequential Consistency Checking Using Saturation. ATVA 2020: 360-376 - [c72]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna:
On the Separability Problem of String Constraints. CONCUR 2020: 16:1-16:19 - [c71]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer:
On the State Reachability Problem for Concurrent Programs Under Power. NETYS 2020: 47-59 - [c70]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier:
On the Formalization of Decentralized Contact Tracing Protocols. OVERLAY 2020: 65-70 - [c69]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík
, Wei-Cheng Wu:
Efficient handling of string-number conversion. PLDI 2020: 943-957 - [i16]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna:
On the Separability Problem of String Constraints. CoRR abs/2005.09489 (2020) - [i15]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis:
The Decidability of Verification under Promising 2.0. CoRR abs/2007.09944 (2020)
2010 – 2019
- 2019
- [j12]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång
, Tuan Phong Ngo, Konstantinos Sagonas
:
Optimal stateless model checking for reads-from equivalence under sequential consistency. Proc. ACM Program. Lang. 3(OOPSLA): 150:1-150:29 (2019) - [c68]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík
, Petr Janku:
Chain-Free String Constraints. ATVA 2019: 277-293 - [c67]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo:
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial). NETYS 2019: 3-18 - [c66]Parosh Aziz Abdulla, Jatin Arora
, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Verification of programs under the release-acquire semantics. PLDI 2019: 1117-1132 - [c65]Parosh Aziz Abdulla, C. Aiswarya
, Mohamed Faouzi Atig, Marco Montali:
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. PODS 2019: 335-352 - [e3]Mohamed Faouzi Atig, Alexander A. Schwarzmann
:
Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11704, Springer 2019, ISBN 978-3-030-31276-3 [contents] - 2018
- [j11]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
A Load-Buffer Semantics for Total Store Ordering. Log. Methods Comput. Sci. 14(1) (2018) - [j10]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros
, Yunyun Zhu:
Mending Fences with Self-Invalidation and Self-Downgrade. Log. Methods Comput. Sci. 14(1) (2018) - [j9]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo:
Optimal stateless model checking under the release-acquire semantics. Proc. ACM Program. Lang. 2(OOPSLA): 135:1-135:29 (2018) - [c64]Parosh Aziz Abdulla, C. Aiswarya
, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Complexity of Reachability for Data-Aware Dynamic Systems. ACSD 2018: 11-20 - [c63]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
:
Universal Safety for Timed Petri Nets is PSPACE-complete. CONCUR 2018: 6:1-6:15 - [c62]Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Verifying Quantitative Temporal Properties of Procedural Programs. CONCUR 2018: 15:1-15:17 - [c61]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík
, Ahmed Rezine, Philipp Rümmer:
Trau: SMT solver for string constraints. FMCAD 2018: 1-5 - [c60]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
Perfect Timed Communication Is Hard. FORMATS 2018: 91-107 - [c59]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya:
Verification of Timed Asynchronous Programs. FSTTCS 2018: 8:1-8:16 - [c58]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
Replacing Store Buffers by Load Buffers in TSO. VECoS 2018: 22-28 - [e2]Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez:
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Lecture Notes in Computer Science 11181, Springer 2018, ISBN 978-3-030-00358-6 [contents] - [i14]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke:
Universal Safety for Timed Petri Nets is PSPACE-complete. CoRR abs/1806.08170 (2018) - [i13]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo:
Optimal Stateless Model Checking under the Release-Acquire Semantics. CoRR abs/1808.00843 (2018) - 2017
- [j8]Parosh Aziz Abdulla, Stavros Aronis
, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
:
Stateless model checking for TSO and PSO. Acta Informatica 54(8): 789-818 (2017) - [j7]Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl:
Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete. Int. J. Found. Comput. Sci. 28(8): 945-976 (2017) - [c57]Parosh Aziz Abdulla, C. Aiswarya
, Mohamed Faouzi Atig:
Data Multi-Pushdown Automata. CONCUR 2017: 38:1-38:17 - [c56]Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Verification of Asynchronous Programs with Nested Locks. FSTTCS 2017: 11:1-11:14 - [c55]Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla
, Prakash Saivasan:
On the Upward/Downward Closures of Petri Nets. MFCS 2017: 49:1-49:14 - [c54]Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Parity Games on Bounded Phase Multi-pushdown Systems. NETYS 2017: 272-287 - [c53]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Bui Phi Diep, Lukás Holík
, Ahmed Rezine, Philipp Rümmer:
Flatten and conquer: a framework for efficient analysis of string constraints. PLDI 2017: 602-617 - [c52]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
Context-Bounded Analysis for POWER. TACAS (2) 2017: 56-74 - [i12]Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan:
On the Upward/Downward Closures of Petri Nets. CoRR abs/1701.02927 (2017) - [i11]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
The Benefits of Duality in Verifying Concurrent Programs under TSO. CoRR abs/1701.08682 (2017) - [i10]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
Context-Bounded Analysis for POWER. CoRR abs/1702.01655 (2017) - [i9]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna:
What is Decidable about Perfect Timed Channels? CoRR abs/1708.05063 (2017) - 2016
- [c51]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson:
Stateless Model Checking for POWER. CAV (2) 2016: 134-156 - [c50]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo:
The Benefits of Duality in Verifying Concurrent Programs under TSO. CONCUR 2016: 5:1-5:15 - [c49]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep:
Counter-Example Guided Program Verification. FM 2016: 25-42 - [c48]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros
, Yunyun Zhu:
Fencing Programs with Self-Invalidation and Self-Downgrade. FORTE 2016: 19-35 - [c47]Parosh Aziz Abdulla, C. Aiswarya
, Mohamed Faouzi Atig:
Data Communicating Processes with Unreliable Channels. LICS 2016: 166-175 - [c46]Mohamed Faouzi Atig, Dmitry Chistikov
, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
:
The complexity of regular abstractions of one-counter languages. LICS 2016: 207-216 - [c45]Parosh Aziz Abdulla, C. Aiswarya
, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Recency-Bounded Verification of Dynamic Database-Driven Systems. PODS 2016: 195-210 - [c44]Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan:
Acceleration in Multi-PushDown Systems. TACAS 2016: 698-714 - [i8]Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche:
Complexity of regular abstractions of one-counter languages. CoRR abs/1602.03419 (2016) - [i7]Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine:
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version). CoRR abs/1604.03413 (2016) - [i6]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson:
Stateless Model Checking for POWER. CoRR abs/1605.02185 (2016) - [i5]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu:
Mending Fences with Self-Invalidation and Self-Downgrade. CoRR abs/1611.07372 (2016) - 2015
- [c43]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Lukás Holík
, Ahmed Rezine, Philipp Rümmer, Jari Stenman:
Norn: An SMT Solver for String Constraints. CAV (1) 2015: 462-469 - [c42]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong:
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO. ESOP 2015: 308-332 - [c41]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu:
Verification of Cache Coherence Protocols wrt. Trace Filters. FMCAD 2015: 9-16 - [c40]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer, Mehdi Seyed Salehi:
What's Decidable about Availability Languages?. FSTTCS 2015: 192-205 - [c39]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine:
Verification of Buffered Dynamic Register Automata. NETYS 2015: 15-31 - [c38]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång
, Tuan Phong Ngo:
Precise and Sound Automatic Fence Insertion Procedure under PSO. NETYS 2015: 32-47 - [c37]Parosh Aziz Abdulla, Stavros Aronis
, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
:
Stateless Model Checking for TSO and PSO. TACAS 2015: 353-367 - [i4]Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas:
Stateless Model Checking for TSO and PSO. CoRR abs/1501.02069 (2015) - 2014
- [j6]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman:
Budget-bounded model-checking pushdown systems. Formal Methods Syst. Des. 45(2): 273-301 (2014) - [j5]Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan:
Adjacent Ordered Multi-Pushdown Systems. Int. J. Found. Comput. Sci. 25(8): 1083-1096 (2014) - [c36]Mohamed Faouzi Atig, Sofia Cassel, Lisa Kaati, Amendra Shrestha:
Activity profiles in online social media. ASONAM 2014: 850-855 - [c35]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Lukás Holík
, Ahmed Rezine, Philipp Rümmer, Jari Stenman:
String Constraints for Verification. CAV 2014: 150-166 - [c34]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman
, Richard Mayr, K. Narayan Kumar, Patrick Totzke
:
Infinite-state energy games. CSL-LICS 2014: 7:1-7:10 - [c33]Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
:
Context-Bounded Analysis of TSO Systems. FPS@ETAPS 2014: 21-38 - [c32]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini:
MPass: An Efficient Tool for the Analysis of Message-Passing Programs. FACS 2014: 198-206 - [c31]Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
On Bounded Reachability Analysis of Shared Memory Systems. FSTTCS 2014: 611-623 - [c30]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine:
Verification of Dynamic Register Automata. FSTTCS 2014: 653-665 - [c29]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. LATA 2014: 62-75 - [i3]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke:
Infinite-State Energy Games. CoRR abs/1405.0628 (2014) - 2013
- [c28]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg:
Analysis of Message Passing Programs Using SMT-Solvers. ATVA 2013: 272-286 - [c27]Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan:
Adjacent Ordered Multi-Pushdown Systems. Developments in Language Theory 2013: 58-69 - [c26]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine:
Verification of Directed Acyclic Ad Hoc Networks. FMOODS/FORTE 2013: 193-208 - [c25]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski:
Push-Down Automata with Gap-Order Constraints. FSEN 2013: 199-216 - [c24]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Carl Leonardsson, Ahmed Rezine:
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. TACAS 2013: 530-536 - [c23]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
Zenoness for Timed Pushdown Automata. INFINITY 2013: 35-47 - 2012
- [j4]Mohamed Faouzi Atig:
Model-Checking of Ordered Multi-Pushdown Automata. Log. Methods Comput. Sci. 8(3) (2012) - [c22]Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. ATVA 2012: 152-166 - [c21]Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal:
Detecting Fair Non-termination in Multithreaded Programs. CAV 2012: 210-226 - [c20]Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi:
What's Decidable about Weak Memory Models? ESOP 2012: 26-46 - [c19]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman:
Multi-pushdown systems with budgets. FMCAD 2012: 24-33 - [c18]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg:
Timed Lossy Channel Systems. FSTTCS 2012: 374-386 - [c17]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems. LATA 2012: 58-69 - [c16]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
Dense-Timed Pushdown Automata. LICS 2012: 35-44 - [c15]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Carl Leonardsson, Ahmed Rezine:
Automatic Fence Insertion in Integer Programs via Predicate Abstraction. SAS 2012: 164-180 - [c14]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen
, Carl Leonardsson, Ahmed Rezine:
Counter-Example Guided Fence Insertion under TSO. TACAS 2012: 204-219 - [c13]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman:
Adding Time to Pushdown Automata. QFM 2012: 1-16 - [e1]Mohamed Faouzi Atig, Ahmed Rezine:
Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. EPTCS 107, 2012 [contents] - [i2]Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan:
Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard. CoRR abs/1205.6928 (2012) - 2011
- [j3]Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer:
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads. Log. Methods Comput. Sci. 7(4) (2011) - [j2]Mohamed Faouzi Atig, Peter Habermehl:
On Yen's Path Logic for Petri Nets. Int. J. Found. Comput. Sci. 22(4): 783-799 (2011) - [c12]Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
:
Getting Rid of Store-Buffers in TSO Analysis. CAV 2011: 99-115 - [c11]Mohamed Faouzi Atig, Pierre Ganty:
Approximating Petri Net Reachability Along Context-free Traces. FSTTCS 2011: 152-163 - [i1]Pierre Ganty, Mohamed Faouzi Atig:
Approximating Petri Net Reachability Along Context-free Traces. CoRR abs/1105.1657 (2011) - 2010
- [j1]Tayssir Touili, Mohamed Faouzi Atig:
Verifying parallel programs with dynamic communication structures. Theor. Comput. Sci. 411(38-39): 3460-3468 (2010) - [c10]Mohamed Faouzi Atig:
From Multi to Single Stack Automata. CONCUR 2010: 117-131 - [c9]Mohamed Faouzi Atig:
Global Model Checking of Ordered Multi-Pushdown Systems. FSTTCS 2010: 216-227 - [c8]Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi:
On the verification problem for weak memory models. POPL 2010: 7-18
2000 – 2009
- 2009
- [c7]Mohamed Faouzi Atig, Ahmed Bouajjani:
On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems. RP 2009: 1-2 - [c6]Mohamed Faouzi Atig, Peter Habermehl:
On Yen's Path Logic for Petri Nets. RP 2009: 51-63 - [c5]Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer:
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS 2009: 107-123 - [c4]Mohamed Faouzi Atig, Tayssir Touili:
Verifying Parallel Programs with Dynamic Communication Structures. CIAA 2009: 145-154 - 2008
- [c3]Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili:
On the Reachability Analysis of Acyclic Networks of Pushdown Systems. CONCUR 2008: 356-371 - [c2]Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl:
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete. Developments in Language Theory 2008: 121-133 - [c1]Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili:
Analyzing Asynchronous Programs with Preemption. FSTTCS 2008: 37-48
Coauthor Index
aka: Tuan Phong Ngo
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint