Mohamed Faouzi Atig
发表
Mohamed Faouzi Atig,
M. Atig,
2012,
Log. Methods Comput. Sci..
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2015,
CAV.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2017
.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2017,
PLDI.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2019,
NETYS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
S. Krishna,
2017
.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
K. Narayan Kumar,
2012,
ArXiv.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2009,
RP.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Rezine,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Mohamed Faouzi Atig,
M. Atig,
2010,
FSTTCS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2017,
Log. Methods Comput. Sci..
Mohamed Faouzi Atig,
Ahmed Rezine,
2012,
Infinity.
Mohamed Faouzi Atig,
Constantin Enea,
Ahmed Bouajjani,
2020,
ATVA.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Lukás Holík,
2019,
ATVA.
Mohamed Faouzi Atig,
Roland Meyer,
Prakash Saivasan,
2017,
MFCS.
Tayssir Touili,
Mohamed Faouzi Atig,
M. Atig,
2009,
Theor. Comput. Sci..
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jari Stenman,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ngo Tuan Phong,
2015,
NETYS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2012,
SAS.
Parosh Aziz Abdulla,
C. Aiswarya,
Mohamed Faouzi Atig,
2017,
CONCUR.
Mohamed Faouzi Atig,
Alexander A. Schwarzmann,
M. Atig,
2019,
NETYS.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
Akash Lal,
2012,
CAV.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
Shaz Qadeer,
2009,
TACAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Shankara Narayanan Krishna,
2018,
FORMATS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Roland Meyer,
2015,
FSTTCS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Shankara Narayanan Krishna,
2017,
ArXiv.
Parosh Aziz Abdulla,
C. Aiswarya,
Marco Montali,
2019,
PODS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2018,
VECoS.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Andreas Podelski,
2013,
FSEN.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Richard Mayr,
2014,
CSL-LICS.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
K. Narayan Kumar,
2017,
NETYS.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2015,
Acta Informatica.
Tayssir Touili,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2008,
FSTTCS.
Mohamed Faouzi Atig,
K. Narayan Kumar,
Prakash Saivasan,
2013,
Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla,
Stefanos Kaxiras,
Alberto Ros,
2016,
FORTE.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jari Stenman,
2014,
INFINITY.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2016,
CAV.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
K. Narayan Kumar,
2017,
FSTTCS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Sebastian Burckhardt,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2010,
POPL '10.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jari Stenman,
2014,
Formal Methods Syst. Des..
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Othmane Rezine,
2014,
FSTTCS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jari Stenman,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Mohamed Faouzi Atig,
2013
.
Parosh Aziz Abdulla,
C. Aiswarya,
Marco Montali,
2018,
2018 18th International Conference on Application of Concurrency to System Design (ACSD).
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jari Stenman,
2012,
LATA.
Mohamed Faouzi Atig,
Sofia Cassel,
Lisa Kaati,
2014,
2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2014).
Parosh Aziz Abdulla,
Marco Montali,
Mohamed Faouzi Atig,
2020,
OVERLAY.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jari Stenman,
2014,
LATA.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2021,
Proc. ACM Program. Lang..
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2012,
TACAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2013,
TACAS.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
Gennaro Parlato,
2014,
FPS@ETAPS.
Mohamed Faouzi Atig,
K. Narayan Kumar,
Prakash Saivasan,
2016,
TACAS.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
K. Narayan Kumar,
2018,
CONCUR.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jonathan Cederberg,
2012,
FSTTCS.
Mohamed Faouzi Atig,
2010,
CONCUR.
Mohamed Faouzi Atig,
Ahmed Rezine,
2013
.
Mohamed Faouzi Atig,
K. Narayan Kumar,
Prakash Saivasan,
2014,
Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2019,
Proc. ACM Program. Lang..
Parosh Aziz Abdulla,
Stefanos Kaxiras,
Alberto Ros,
2018,
Log. Methods Comput. Sci..
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ngo Tuan Phong,
2015,
ESOP.
Parosh Aziz Abdulla,
C. Aiswarya,
Marco Montali,
2016,
PODS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Viktor Vafeiadis,
2020,
ArXiv.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jonathan Cederberg,
2013,
ATVA.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
Gennaro Parlato,
2011,
CAV.
Mohamed Faouzi Atig,
Pierre Ganty,
2011,
FSTTCS.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2018,
Proc. ACM Program. Lang..
Sebastian Burckhardt,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2012,
ESOP.
Mohamed Faouzi Atig,
2014
.
Parosh Aziz Abdulla,
Bengt Jonsson,
Mohamed Faouzi Atig,
2015,
TACAS.
Mohamed Faouzi Atig,
Sofia Cassel,
Lisa Kaati,
2013
.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Shankara Narayanan Krishna,
2018,
FSTTCS.
Benedikt Bollig,
Mohamed Faouzi Atig,
Peter Habermehl,
2008,
Developments in Language Theory.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2017,
CONCUR.
Tayssir Touili,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2008,
CONCUR.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Roland Meyer,
2020,
NETYS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2011
.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jatin Arora,
2019,
PLDI.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2014,
CAV.
Mohamed Faouzi Atig,
Simon Bliudze,
Bruno Monsuez,
2018,
Lecture Notes in Computer Science.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Bui Phi Diep,
2016,
FM.
Mohamed Faouzi Atig,
2013
.
Benedikt Bollig,
Mohamed Faouzi Atig,
Peter Habermehl,
2017,
Int. J. Found. Comput. Sci..
Mohamed Faouzi Atig,
Peter Habermehl,
2009,
RP.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
Shaz Qadeer,
2009,
TACAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2017,
TACAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Othmane Rezine,
2014,
FACS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Richard Mayr,
2018,
CONCUR.
Mohamed Faouzi Atig,
Georg Zetzsche,
K. Narayan Kumar,
2016,
ArXiv.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Shankara Narayanan Krishna,
2020,
CONCUR.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Othmane Rezine,
2013,
FMOODS/FORTE.
Mohamed Faouzi Atig,
2014
.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jari Stenman,
2012,
QFM.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Julian Dolby,
2020,
PLDI.
Parosh Aziz Abdulla,
C. Aiswarya,
Mohamed Faouzi Atig,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Tayssir Touili,
Mohamed Faouzi Atig,
2009,
CIAA.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Tuan Phong Ngo,
2018
.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Othmane Rezine,
2015,
NETYS.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
K. Narayan Kumar,
2012,
ATVA.
Mohamed Faouzi Atig,
Simon Bliudze,
2020,
Innovations in Systems and Software Engineering.
Mohamed Faouzi Atig,
2014
.
Mohamed Faouzi Atig,
Ahmed Bouajjani,
K. Narayan Kumar,
2014,
FSTTCS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Jari Stenman,
2014,
1402.6610.
Mohamed Faouzi Atig,
Peter Habermehl,
P. Habermehl,
2009,
Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Ahmed Bouajjani,
2021,
Proc. ACM Program. Lang..
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2021,
APLAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Krishna Shankara Narayanan,
2022,
ESOP.