AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Mohamed Faouzi Atig

Mohamed Faouzi Atig

Uppsala University - Uppsala / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1151565
Uppsala Universitet
person_outline Mohamed Faouzi Atig's MOST POPULAR ARTICLES
1-) On the verification problem for weak memory models Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
2-) Stateless model checking for TSO and PSO Acta Informatica 54 (8), 789-818, 2017
3-) String constraints for verification International Conference on Computer Aided Verification, 150-166, 2014
4-) Context-bounded analysis for concurrent programs with dynamic creation of threads Logical Methods in Computer Science 7, 2011
5-) Norn: An SMT solver for string constraints International conference on computer aided verification, 462-469, 2015