Mohamed Faouzi Atig

140 papers A* 12A 9B 22C 9Journal 47Unranked 39
YearRankTypeTitle / Venue / Authors
2026 J jnl
Parametrised Verification of Intel-x86 Programs.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2025 B conf
Checking Consistency of Event-Driven Traces.
APLAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam
2025 J jnl
Checking Consistency of Event-driven Traces.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam
2025 — conf
Trading Space for Simplicity in Stateless Model Checking.
Real Time and Such
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
2025 C conf
Verification of the Release-Acquire Semantics.
ICTAC
Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
2025 J jnl
Verification of the Release-Acquire Semantics.
CoRR
Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn
2025 J jnl
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report).
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2025 — conf
When GNNs Met a Word Equations Solver: Learning to Rank Equations.
FroCoS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2024 — conf
Fairness and Liveness Under Weak Consistency.
Taming the Infinities of Concurrency
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankara Narayanan Krishna, Mihir Vahanwala
2024 B conf
Guiding Word Equation Solving Using Graph Neural Networks.
ATVA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2024 J jnl
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report).
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler, Chencheng Liang, Philipp Rümmer
2024 — conf
Parsimonious Optimal Dynamic Partial Order Reduction.
CAV (2)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
2024 J jnl
Parsimonious Optimal Dynamic Partial Order Reduction.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, Konstantinos Sagonas
2024 J jnl
Verification under Intel-x86 with Persistency.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2024 — conf
Verification under TSO with an infinite Data Domain.
TACAS (3)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg
2024 J jnl
Verification under TSO with an infinite Data Domain.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Shashwat Garg
2023 J jnl
Chain-Free String Constraints (Technical Report).
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku
2023 — conf
Optimal Stateless Model Checking for Causal Consistency.
TACAS (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe
2023 — conf
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models.
CAV (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 J jnl
Overcoming Memory Weakness with Unified Fairness.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
2023 — conf
Parameterized Verification under TSO with Data Types.
TACAS (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler
2023 J jnl
Parameterized Verification under TSO with Data Types.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankaranarayanan Krishna, Stephan Spengler
2023 J jnl
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2023 B conf
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs.
ATVA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, Konstantinos Sagonas
2022 — conf
Consistency and Persistency in Program Verification: Challenges and Opportunities.
Principles of Systems Design
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan
2022 J jnl
Optimal SMC for Transactional Programs.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe
2022 A conf
Probabilistic Total Store Ordering.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
2022 J jnl
Probabilistic Total Store Ordering.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna
2022 J jnl
The Computing Journal gratefully acknowledges the editorial work of the scientists listed below on the special issue entitled "S.I. : NETYS 2019".
Computing
Mohamed Faouzi Atig
2022 — conf
Verifying Reachability for TSO Programs with Dynamic Thread Creation.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2021 J jnl
Deciding reachability under persistent x86-TSO.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2021 B conf
Solving Not-Substring Constraint withFlat Abstraction.
APLAS
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
2021 A conf
The Decidability of Verification under PS 2.0.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, Viktor Vafeiadis
2020 B conf
Boosting Sequential Consistency Checking Using Saturation.
ATVA
Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
2020 A* conf
Efficient handling of string-number conversion.
PLDI
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
2020 — conf
On the Formalization of Decentralized Contact Tracing Protocols.
OVERLAY
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier
2020 B conf
On the Separability Problem of String Constraints.
CONCUR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
2020 J jnl
On the Separability Problem of String Constraints.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
2020 — conf
On the State Reachability Problem for Concurrent Programs Under Power.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer
2020 J jnl
Parameterized verification under TSO is PSPACE-complete.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Rojin Rezvan
2020 J jnl
Preface to the VECoS 2018 special issue of ISSE.
Innov. Syst. Softw. Eng.
Mohamed Faouzi Atig, Simon Bliudze
2020 J jnl
The Decidability of Verification under Promising 2.0.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis
2020 J jnl
What is decidable under the TSO memory model?
ACM SIGLOG News
Mohamed Faouzi Atig
2019 B conf
Chain-Free String Constraints.
ATVA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukás Holík, Petr Janku
2019 — conf
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial).
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
2019 — ed.
Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers
NETYS
Mohamed Faouzi Atig, Alexander A. Schwarzmann
2019 J jnl
Optimal stateless model checking for reads-from equivalence under sequential consistency.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas
2019 A* conf
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding.
PODS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali
2019 A* conf
Verification of programs under the release-acquire semantics.
PLDI
Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2018 J jnl
A Load-Buffer Semantics for Total Store Ordering.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2018 — conf
Complexity of Reachability for Data-Aware Dynamic Systems.
ACSD
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2018 J jnl
Mending Fences with Self-Invalidation and Self-Downgrade.
Log. Methods Comput. Sci.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
2018 J jnl
Optimal Stateless Model Checking under the Release-Acquire Semantics.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
2018 J jnl
Optimal stateless model checking under the release-acquire semantics.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
2018 — conf
Perfect Timed Communication Is Hard.
FORMATS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2018 C conf
Replacing Store Buffers by Load Buffers in TSO.
VECoS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2018 B conf
Trau: SMT solver for string constraints.
FMCAD
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
2018 B conf
Universal Safety for Timed Petri Nets is PSPACE-complete.
CONCUR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
2018 J jnl
Universal Safety for Timed Petri Nets is PSPACE-complete.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
2018 C ed.
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings
VECoS
Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez
2018 — conf
Verification of Timed Asynchronous Programs.
FSTTCS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya
2018 B conf
Verifying Quantitative Temporal Properties of Procedural Programs.
CONCUR
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2017 — conf
Context-Bounded Analysis for POWER.
TACAS (2)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2017 J jnl
Context-Bounded Analysis for POWER.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2017 B conf
Data Multi-Pushdown Automata.
CONCUR
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig
2017 J jnl
Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete.
Int. J. Found. Comput. Sci.
Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl
2017 A* conf
Flatten and conquer: a framework for efficient analysis of string constraints.
PLDI
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer
2017 B conf
On the Upward/Downward Closures of Petri Nets.
MFCS
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
2017 J jnl
On the Upward/Downward Closures of Petri Nets.
CoRR
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
2017 — conf
Parity Games on Bounded Phase Multi-pushdown Systems.
NETYS
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2017 J jnl
Stateless model checking for TSO and PSO.
Acta Informatica
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2017 J jnl
The Benefits of Duality in Verifying Concurrent Programs under TSO.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2017 — conf
Verification of Asynchronous Programs with Nested Locks.
FSTTCS
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2017 J jnl
What is Decidable about Perfect Timed Channels?
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna
2016 A conf
Acceleration in Multi-PushDown Systems.
TACAS
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2016 J jnl
Complexity of regular abstractions of one-counter languages.
CoRR
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2016 B conf
Counter-Example Guided Program Verification.
FM
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep
2016 A* conf
Data Communicating Processes with Unreliable Channels.
LICS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig
2016 C conf
Fencing Programs with Self-Invalidation and Self-Downgrade.
FORTE
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
2016 J jnl
Mending Fences with Self-Invalidation and Self-Downgrade.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
2016 J jnl
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).
CoRR
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2016 A* conf
Recency-Bounded Verification of Dynamic Database-Driven Systems.
PODS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2016 — conf
Stateless Model Checking for POWER.
CAV (2)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson
2016 J jnl
Stateless Model Checking for POWER.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson
2016 B conf
The Benefits of Duality in Verifying Concurrent Programs under TSO.
CONCUR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
2016 A* conf
The complexity of regular abstractions of one-counter languages.
LICS
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2015 — conf
Norn: An SMT Solver for String Constraints.
CAV (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
2015 — conf
Precise and Sound Automatic Fence Insertion Procedure under PSO.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång, Tuan Phong Ngo
2015 A conf
Stateless Model Checking for TSO and PSO.
TACAS
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2015 J jnl
Stateless Model Checking for TSO and PSO.
CoRR
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
2015 A conf
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO.
ESOP
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong
2015 — conf
Verification of Buffered Dynamic Register Automata.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine
2015 B conf
Verification of Cache Coherence Protocols wrt. Trace Filters.
FMCAD
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu
2015 — conf
What's Decidable about Availability Languages?.
FSTTCS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Roland Meyer, Mehdi Seyed Salehi
2014 B conf
Activity profiles in online social media.
ASONAM
Mohamed Faouzi Atig, Sofia Cassel, Lisa Kaati, Amendra Shrestha
2014 J jnl
Adjacent Ordered Multi-Pushdown Systems.
Int. J. Found. Comput. Sci.
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2014 J jnl
Budget-bounded model-checking pushdown systems.
Formal Methods Syst. Des.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
2014 C conf
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata.
LATA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2014 — conf
Context-Bounded Analysis of TSO Systems.
FPS@ETAPS
Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
2014 J jnl
Infinite-State Energy Games.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
2014 — conf
Infinite-state energy games.
CSL-LICS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
2014 — conf
MPass: An Efficient Tool for the Analysis of Message-Passing Programs.
FACS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini
2014 — conf
On Bounded Reachability Analysis of Shared Memory Systems.
FSTTCS
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2014 A* conf
String Constraints for Verification.
CAV
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Lukás Holík, Ahmed Rezine, Philipp Rümmer, Jari Stenman
2014 — conf
Verification of Dynamic Register Automata.
FSTTCS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, Othmane Rezine
2013 C conf
Adjacent Ordered Multi-Pushdown Systems.
Developments in Language Theory
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2013 B conf
Analysis of Message Passing Programs Using SMT-Solvers.
ATVA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg
2013 A conf
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.
TACAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2013 — conf
Push-Down Automata with Gap-Order Constraints.
FSEN
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski
2013 — conf
Verification of Directed Acyclic Ad Hoc Networks.
FMOODS/FORTE
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine
2013 — conf
Zenoness for Timed Pushdown Automata.
INFINITY
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2012 — conf
Adding Time to Pushdown Automata
QFM
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2012 B conf
Automatic Fence Insertion in Integer Programs via Predicate Abstraction.
SAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2012 A conf
Counter-Example Guided Fence Insertion under TSO.
TACAS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
2012 A* conf
Dense-Timed Pushdown Automata.
LICS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2012 A* conf
Detecting Fair Non-termination in Multithreaded Programs.
CAV
Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal
2012 B conf
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding.
ATVA
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2012 J jnl
Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard
CoRR
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2012 J jnl
Model-Checking of Ordered Multi-Pushdown Automata
Log. Methods Comput. Sci.
Mohamed Faouzi Atig
2012 B conf
Multi-pushdown systems with budgets.
FMCAD
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman
2012 — ed.
Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012.
Infinity
Mohamed Faouzi Atig, Ahmed Rezine
2012 C conf
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems.
LATA
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
2012 — conf
Timed Lossy Channel Systems.
FSTTCS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg
2012 A conf
What's Decidable about Weak Memory Models?
ESOP
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
2011 J jnl
Approximating Petri Net Reachability Along Context-free Traces
CoRR
Pierre Ganty, Mohamed Faouzi Atig
2011 — conf
Approximating Petri Net Reachability Along Context-free Traces.
FSTTCS
Mohamed Faouzi Atig, Pierre Ganty
2011 J jnl
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
Log. Methods Comput. Sci.
Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
2011 A* conf
Getting Rid of Store-Buffers in TSO Analysis.
CAV
Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
2011 J jnl
On Yen's Path Logic for Petri Nets.
Int. J. Found. Comput. Sci.
Mohamed Faouzi Atig, Peter Habermehl
2010 B conf
From Multi to Single Stack Automata.
CONCUR
Mohamed Faouzi Atig
2010 — conf
Global Model Checking of Ordered Multi-Pushdown Systems.
FSTTCS
Mohamed Faouzi Atig
2010 A* conf
On the verification problem for weak memory models.
POPL
Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi
2010 J jnl
Verifying parallel programs with dynamic communication structures.
Theor. Comput. Sci.
Tayssir Touili, Mohamed Faouzi Atig
2009 A conf
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.
TACAS
Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
2009 — conf
On Yen's Path Logic for Petri Nets.
RP
Mohamed Faouzi Atig, Peter Habermehl
2009 — conf
On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems.
RP
Mohamed Faouzi Atig, Ahmed Bouajjani
2009 C conf
Verifying Parallel Programs with Dynamic Communication Structures.
CIAA
Mohamed Faouzi Atig, Tayssir Touili
2008 — conf
Analyzing Asynchronous Programs with Preemption.
FSTTCS
Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili
2008 C conf
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete.
Developments in Language Theory
Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl
2008 B conf
On the Reachability Analysis of Acyclic Networks of Pushdown Systems.
CONCUR
Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili