Ahmed Rezine
发表
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2014,
CAV.
Ahmed Rezine,
P. Ganty,
2014
.
B. Jonsson,
Ahmed Rezine,
M. Saksena,
2007
.
B. Jonsson,
P. Abdulla,
L. Holík,
2016,
International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2008,
FORTE.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2012,
SAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2012,
TACAS.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2011
.
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2017,
International Journal on Software Tools for Technology Transfer.
Pierre Ganty,
Ahmed Rezine,
Ahmed Rezine,
2014,
LATA.
Parosh Aziz Abdulla,
Bengt Jonsson,
Lukás Holík,
2013,
TACAS.
Giorgio Delzanno,
Ahmed Rezine,
G. Delzanno,
2012,
International Journal on Software Tools for Technology Transfer.
Ahmed Rezine,
Ahmed Rezine,
2012,
ArXiv.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2011,
Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2009,
Int. J. Found. Comput. Sci..
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2009,
RP.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2009,
FMOODS/FORTE.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2009,
Formal Methods Syst. Des..
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2008,
ICTAC.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2008,
VMCAI.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2007,
CAV.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2007,
TACAS.
Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
2006,
J. Log. Algebraic Methods Program..
Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Rezine,
2006,
CONCUR.
Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
2005,
TACAS.
Ahmed Rezine,
Ahmed Rezine,
2008
.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Noomene Ben Henda,
2007
.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Yu-Fang Chen,
2010,
CONCUR.
Ahmed Rezine,
Lisa Kaati,
Ala Berzinji,
2012,
2012 European Intelligence and Security Informatics Conference.
Parosh Aziz Abdulla,
Ahmed Rezine,
Ahmed Bouajjani,
2008,
CAV.
Constantin Enea,
Ahmed Rezine,
Ahmed Bouajjani,
2010,
CAV.
Andreas Zeller,
Ahmed Rezine,
Sudipta Chattopadhyay,
2019,
ACM Trans. Embed. Comput. Syst..
Petru Eles,
Ludovic Henrio,
Zebo Peng,
2018,
TACAS.
Petru Eles,
Zebo Peng,
Ahmed Rezine,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Petru Eles,
Zebo Peng,
Ahmed Rezine,
2016,
VMCAI.
Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine,
2008,
RP.
Ahmed Rezine,
2008
.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2015,
CAV.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Philipp Rümmer,
2017,
PLDI.
Petru Eles,
Zebo Peng,
Amir Aminifar,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Petru Eles,
Zebo Peng,
Ahmed Rezine,
2016,
International Journal on Software Tools for Technology Transfer.
Andreas Zeller,
Ahmed Rezine,
Sudipta Chattopadhyay,
2017,
MEMOCODE.
Andreas Zeller,
Ahmed Rezine,
Sudipta Chattopadhyay,
2016,
ArXiv.
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen,
2013,
TACAS.