Mohamed Faouzi Atig

Available identifiers

zbMath Open atig.mohamed-faouziMaRDI QIDQ479840

List of research outcomes

Publication	Date of Publication	Type
Probabilistic total store ordering	2023-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q5090941	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089281	2022-07-18	Paper
The decidability of verification under PS 2.0	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5009418	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5009429	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4994711	2021-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q5136300	2020-11-25	Paper
Chain-Free String Constraints	2020-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q5111652	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111264	2020-05-26	Paper
Counter-example guided program verification	2020-01-03	Paper
Acceleration in multi-pushdown systems	2019-09-17	Paper
Stateless Model Checking for TSO and PSO	2019-09-17	Paper
Perfect timed communication is hard	2018-12-06	Paper
Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete	2018-05-14	Paper
Infinite-state energy games	2018-04-23	Paper
Data Communicating Processes with Unreliable Channels	2018-04-23	Paper
The complexity of regular abstractions of one-counter languages	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4608655	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q3130545	2018-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3130550	2018-01-23	Paper
Stateless model checking for TSO and PSO	2017-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q5275367	2017-07-13	Paper
Dense-Timed Pushdown Automata	2017-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q2978551	2017-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q2978554	2017-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q2957514	2017-01-26	Paper
Push-Down Automata with Gap-Order Constraints	2015-09-30	Paper
On the verification problem for weak memory models	2015-06-11	Paper
ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS	2015-04-23	Paper
Budget-bounded model-checking pushdown systems	2014-12-05	Paper
Context-Bounded Analysis of TSO Systems	2014-07-24	Paper
Analysis of Message Passing Programs Using SMT-Solvers	2014-07-08	Paper
Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata	2014-03-31	Paper
Adjacent Ordered Multi-Pushdown Systems	2013-06-28	Paper
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding	2012-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q3165945	2012-10-19	Paper
Model-Checking of Ordered Multi-Pushdown Automata	2012-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2911620	2012-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q2908851	2012-08-29	Paper
Counter-Example Guided Fence Insertion under TSO	2012-06-29	Paper
What’s Decidable about Weak Memory Models?	2012-06-22	Paper
The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems	2012-06-08	Paper
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads	2012-04-02	Paper
ON YEN'S PATH LOGIC FOR PETRI NETS	2011-07-14	Paper
Verifying parallel programs with dynamic communication structures	2010-10-07	Paper
From Multi to Single Stack Automata	2010-08-31	Paper
On Yen’s Path Logic for Petri Nets	2009-11-19	Paper
Verifying Parallel Programs with Dynamic Communication Structures	2009-07-09	Paper
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads	2009-03-31	Paper
On the Reachability Analysis of Acyclic Networks of Pushdown Systems	2008-11-25	Paper
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete	2008-10-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mohamed Faouzi Atig