Mohamed Faouzi Atig

According to our database, Mohamed Faouzi Atig authored at least 117 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Checking Consistency of Event-driven Traces.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam

CoRR, August, 2025

When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report).

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer

CoRR, June, 2025

Verification of the Release-Acquire Semantics.

Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn

CoRR, June, 2025

When GNNs Met a Word Equations Solver: Learning to Rank Equations.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer

Proceedings of the Frontiers of Combining Systems - 15th International Symposium, 2025

Trading Space for Simplicity in Stateless Model Checking.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Proceedings of the Real Time and Such, 2025

2024

Artifact: Trading Space for Simplicity in Stateless Model Checking.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Dataset, August, 2024

Guiding Word Equation Solving using Graph Neural Networks.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer

Dataset, August, 2024

Artifact: Parsimonious Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Dataset, April, 2024

Artifact: Parsimonious Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Dataset, April, 2024

Verification under Intel-x86 with Persistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proc. ACM Program. Lang., 2024

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report).

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer

CoRR, 2024

Verification under TSO with an infinite Data Domain.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Parsimonious Optimal Dynamic Partial Order Reduction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Fairness and Liveness Under Weak Consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala

Proceedings of the Taming the Infinities of Concurrency, 2024

Guiding Word Equation Solving Using Graph Neural Networks.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer

Proceedings of the Automated Technology for Verification and Analysis, 2024

2023

Chain-Free String Constraints (Technical Report).

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku

CoRR, 2023

Overcoming Memory Weakness with Unified Fairness.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala

CoRR, 2023

Optimal Stateless Model Checking for Causal Consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

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

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Optimal SMC for Transactional Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe

CoRR, 2022

The Computing Journal gratefully acknowledges the editorial work of the scientists listed below on the special issue entitled "S.I. : NETYS 2019".

Mohamed Faouzi Atig

Computing, 2022

Verifying Reachability for TSO Programs with Dynamic Thread Creation.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Networked Systems - 10th International Conference, 2022

Probabilistic Total Store Ordering.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna

Proceedings of the Programming Languages and Systems, 2022

Consistency and Persistency in Program Verification: Challenges and Opportunities.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Principles of Systems Design, 2022

2021

Deciding reachability under persistent x86-TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proc. ACM Program. Lang., 2021

The Decidability of Verification under PS 2.0.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis

Proceedings of the Programming Languages and Systems, 2021

Solving Not-Substring Constraint withFlat Abstraction.

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

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

What is decidable under the TSO memory model?

Mohamed Faouzi Atig

ACM SIGLOG News, 2020

Parameterized verification under TSO is PSPACE-complete.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Rojin Rezvan

Proc. ACM Program. Lang., 2020

Preface to the VECoS 2018 special issue of ISSE.

Mohamed Faouzi Atig, Simon Bliudze

Innov. Syst. Softw. Eng., 2020

The Decidability of Verification under Promising 2.0.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis

CoRR, 2020

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, Lukás Holík, Wei-Cheng Wu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

On the Formalization of Decentralized Contact Tracing Protocols.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

On the State Reachability Problem for Concurrent Programs Under Power.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer

Proceedings of the Networked Systems - 8th International Conference, 2020

On the Separability Problem of String Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Boosting Sequential Consistency Checking Using Saturation.

Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas

Dataset, October, 2019

Optimal stateless model checking for reads-from equivalence under sequential consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas

Proc. ACM Program. Lang., 2019

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

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

Verification of programs under the release-acquire semantics.

Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial).

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo

Proceedings of the Networked Systems - 7th International Conference, 2019

Chain-Free String Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Optimal stateless model checking under the release-acquire semantics.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo

Proc. ACM Program. Lang., 2018

Mending Fences with Self-Invalidation and Self-Downgrade.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu

Log. Methods Comput. Sci., 2018

A Load-Buffer Semantics for Total Store Ordering.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Log. Methods Comput. Sci., 2018

Replacing Store Buffers by Load Buffers in TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Verification of Timed Asynchronous Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

Perfect Timed Communication Is Hard.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Trau: SMT solver for string constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Verifying Quantitative Temporal Properties of Procedural Programs.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Universal Safety for Timed Petri Nets is PSPACE-complete.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Complexity of Reachability for Data-Aware Dynamic Systems.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete.

Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl

Int. J. Found. Comput. Sci., 2017

What is Decidable about Perfect Timed Channels?

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna

CoRR, 2017

Context-Bounded Analysis for POWER.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Flatten and conquer: a framework for efficient analysis of string constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Parity Games on Bounded Phase Multi-pushdown Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Networked Systems - 5th International Conference, 2017

On the Upward/Downward Closures of Petri Nets.

Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Verification of Asynchronous Programs with Nested Locks.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Data Multi-Pushdown Automata.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

CoRR, 2016

Acceleration in Multi-PushDown Systems.

Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Recency-Bounded Verification of Dynamic Database-Driven Systems.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

The complexity of regular abstractions of one-counter languages.

Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Data Communicating Processes with Unreliable Channels.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Fencing Programs with Self-Invalidation and Self-Downgrade.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Counter-Example Guided Program Verification.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep

Proceedings of the FM 2016: Formal Methods, 2016

The Benefits of Duality in Verifying Concurrent Programs under TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Stateless Model Checking for POWER.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Stateless Model Checking for TSO and PSO.

Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Precise and Sound Automatic Fence Insertion Procedure under PSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång, Tuan Phong Ngo

Proceedings of the Networked Systems - Third International Conference, 2015

Verification of Buffered Dynamic Register Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine

Proceedings of the Networked Systems - Third International Conference, 2015

What's Decidable about Availability Languages?.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer, Mehdi Seyed Salehi

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Verification of Cache Coherence Protocols wrt. Trace Filters.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu

Proceedings of the Formal Methods in Computer-Aided Design, 2015

The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong

Proceedings of the Programming Languages and Systems, 2015

Norn: An SMT Solver for String Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Budget-bounded model-checking pushdown systems.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman

Formal Methods Syst. Des., 2014

Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Proceedings of the Language and Automata Theory and Applications, 2014

On Bounded Reachability Analysis of Shared Memory Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Verification of Dynamic Register Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

MPass: An Efficient Tool for the Analysis of Message-Passing Programs.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Context-Bounded Analysis of TSO Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Infinite-state energy games.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

String Constraints for Verification.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Activity profiles in online social media.

Mohamed Faouzi Atig, Sofia Cassel, Lisa Kaati, Amendra Shrestha

Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2014

2013

Zenoness for Timed Pushdown Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Push-Down Automata with Gap-Order Constraints.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Verification of Directed Acyclic Ad Hoc Networks.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine

Proceedings of the Formal Techniques for Distributed Systems, 2013

Adjacent Ordered Multi-Pushdown Systems.

Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

Analysis of Message Passing Programs Using SMT-Solvers.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Adding Time to Pushdown Automata

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Proceedings of the Proceedings Quantities in Formal Methods, 2012

Model-Checking of Ordered Multi-Pushdown Automata

Mohamed Faouzi Atig

Log. Methods Comput. Sci., 2012

Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

CoRR, 2012

Counter-Example Guided Fence Insertion under TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Automatic Fence Insertion in Integer Programs via Predicate Abstraction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine

Proceedings of the Static Analysis - 19th International Symposium, 2012

Dense-Timed Pushdown Automata.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman

Proceedings of the Language and Automata Theory and Applications, 2012

Timed Lossy Channel Systems.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Multi-pushdown systems with budgets.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman

Proceedings of the Formal Methods in Computer-Aided Design, 2012

What's Decidable about Weak Memory Models?

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the Programming Languages and Systems, 2012

Detecting Fair Non-termination in Multithreaded Programs.

Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Approximating Petri Net Reachability Along Context-free Traces.

Mohamed Faouzi Atig, Pierre Ganty

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Getting Rid of Store-Buffers in TSO Analysis.

Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

On the verification problem for weak memory models.

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Global Model Checking of Ordered Multi-Pushdown Systems.

Mohamed Faouzi Atig

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

From Multi to Single Stack Automata.

Mohamed Faouzi Atig

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Verifying Parallel Programs with Dynamic Communication Structures.

Mohamed Faouzi Atig, Tayssir Touili

Proceedings of the Implementation and Application of Automata, 2009

Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.

Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

On Yen's Path Logic for Petri Nets.

Mohamed Faouzi Atig, Peter Habermehl

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2008

Analyzing Asynchronous Programs with Preemption.

Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

Emptiness of Multi-pushdown Automata Is 2ETIME-Complete.

Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl

Proceedings of the Developments in Language Theory, 12th International Conference, 2008

On the Reachability Analysis of Acyclic Networks of Pushdown Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008