Mohamed Faouzi Atig
Mohamed Faouzi Atig
Bestätigte E-Mail-Adresse bei it.uu.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
On the verification problem for weak memory models
MF Atig, A Bouajjani, S Burckhardt, M Musuvathi
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1642010
Stateless model checking for TSO and PSO
PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas
Acta Informatica 54 (8), 789-818, 2017
1282017
String constraints for verification
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
International Conference on Computer Aided Verification, 150-166, 2014
882014
Dense-timed pushdown automata
PA Abdulla, MF Atig, J Stenman
2012 27th Annual IEEE Symposium on Logic in Computer Science, 35-44, 2012
812012
Emptiness of multi-pushdown automata is 2ETIME-complete
MF Atig, B Bollig, P Habermehl
International Conference on Developments in Language Theory, 121-133, 2008
752008
Norn: An SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
International conference on computer aided verification, 462-469, 2015
742015
Getting rid of store-buffers in TSO analysis
MF Atig, A Bouajjani, G Parlato
International Conference on Computer Aided Verification, 99-115, 2011
722011
Counter-example guided fence insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
International Conference on Tools and Algorithms for the Construction and …, 2012
672012
Context-bounded analysis for concurrent programs with dynamic creation of threads
MF Atig, A Bouajjani, S Qadeer
International Conference on Tools and Algorithms for the Construction and …, 2009
622009
Stateless model checking for POWER
PA Abdulla, MF Atig, B Jonsson, C Leonardsson
International Conference on Computer Aided Verification, 134-156, 2016
552016
On the reachability analysis of acyclic networks of pushdown systems
MF Atig, A Bouajjani, T Touili
International Conference on Concurrency Theory, 356-371, 2008
512008
Context-bounded analysis for concurrent programs with dynamic creation of threads
MF Atig, A Bouajjani, S Qadeer
arXiv preprint arXiv:1111.1011, 2011
492011
What’s decidable about weak memory models?
MF Atig, A Bouajjani, S Burckhardt, M Musuvathi
European Symposium on Programming, 26-46, 2012
472012
Optimal stateless model checking under the release-acquire semantics
PA Abdulla, MF Atig, B Jonsson, TP Ngo
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
442018
Flatten and conquer: a framework for efficient analysis of string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
ACM SIGPLAN Notices 52 (6), 602-617, 2017
412017
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
International Conference on Tools and Algorithms for the Construction and …, 2013
392013
On Yen's path logic for Petri nets
MF Atig, P Habermehl
International Journal of Foundations of Computer Science 22 (04), 783-799, 2011
372011
Automatic fence insertion in integer programs via predicate abstraction
PA Abdulla, MF Atig, YF Chen, C Leonardsson, A Rezine
International Static Analysis Symposium, 164-180, 2012
332012
Detecting fair non-termination in multithreaded programs
MF Atig, A Bouajjani, M Emmi, A Lal
International Conference on Computer Aided Verification, 210-226, 2012
332012
The best of both worlds: Trading efficiency and optimality in fence insertion for TSO
PA Abdulla, MF Atig, TP Ngo
European Symposium on Programming Languages and Systems, 308-332, 2015
312015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20